runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13240 MiB free)
  memory of node 1: 16087 MiB (13545 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net70-60-1.shuffled.cnf 

running on 1 cores: 7

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1191622, runsolver pid=1191621
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27369484/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=44644 memory=17640 CPUtime=0.08 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 3260 0 0 0 8 0 0 0 20 0 1 0 347654738 45715456 4410 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 11161 4410 1517 2 0 3573 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44644 KiB
Current children cumulated memory: 17640 KiB

[startup+0.22914 s]*
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27345152/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=48136 memory=21568 CPUtime=0.19 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 4514 0 0 0 18 1 0 0 20 0 1 0 347654738 49291264 5392 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12034 5392 1517 2 0 4446 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48136 KiB
Current children cumulated memory: 21568 KiB

[startup+0.319141 s]*
/proc/loadavg: 0.01 1.69 3.70 15/570 1191623
/proc/meminfo: memFree=27343212/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=0.26 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5029 0 0 0 25 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+0.701145 s]
/proc/loadavg: 0.01 1.69 3.70 14/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=0.59 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5029 0 0 0 58 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+1.50115 s]
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=1.36 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5029 0 0 0 135 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+3.12515 s]
/proc/loadavg: 0.65 1.79 3.72 13/570 1191623
/proc/meminfo: memFree=27340612/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=2.94 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5030 0 0 0 293 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+6.30115 s]
/proc/loadavg: 0.65 1.79 3.72 13/570 1191623
/proc/meminfo: memFree=27340588/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=6.04 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5030 0 0 0 603 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+12.7011 s]
/proc/loadavg: 1.32 1.91 3.75 12/570 1191631
/proc/meminfo: memFree=27340148/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=12.28 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5030 0 0 0 1227 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+25.5011 s]
/proc/loadavg: 2.87 2.23 3.83 13/570 1191632
/proc/meminfo: memFree=27340920/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=23412 CPUtime=24.77 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5030 0 0 0 2476 1 0 0 20 0 1 0 347654738 51388416 5853 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 5853 1517 2 0 4958 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23412 KiB

[startup+51.1291 s]
/proc/loadavg: 4.84 2.74 3.95 14/570 1191632
/proc/meminfo: memFree=27329384/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25316 CPUtime=49.74 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5050 0 0 0 4973 1 0 0 20 0 1 0 347654738 51388416 6329 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6329 1517 2 0 4958 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25316 KiB

[startup+102.301 s]
/proc/loadavg: 6.83 3.62 4.19 14/570 1191641
/proc/meminfo: memFree=27328852/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25316 CPUtime=99.61 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5076 0 0 0 9960 1 0 0 20 0 1 0 347654738 51388416 6329 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6329 1517 2 0 4958 0
Current children cumulated CPU time: 99.61 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25316 KiB

[startup+162.301 s]
/proc/loadavg: 7.65 4.44 4.44 12/570 1191650
/proc/meminfo: memFree=27328560/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25316 CPUtime=158.06 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5091 0 0 0 15805 1 0 0 20 0 1 0 347654738 51388416 6329 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6329 1517 2 0 4958 0
Current children cumulated CPU time: 158.06 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25316 KiB

[startup+222.301 s]
/proc/loadavg: 7.97 5.12 4.68 12/570 1191661
/proc/meminfo: memFree=27326876/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25316 CPUtime=216.51 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5096 0 0 0 21650 1 0 0 20 0 1 0 347654738 51388416 6329 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6329 1517 2 0 4958 0
Current children cumulated CPU time: 216.51 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25316 KiB

[startup+282.301 s]
/proc/loadavg: 8.08 5.68 4.90 12/569 1191670
/proc/meminfo: memFree=27327012/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25316 CPUtime=274.93 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5101 0 0 0 27492 1 0 0 20 0 1 0 347654738 51388416 6329 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6329 1517 2 0 4958 0
Current children cumulated CPU time: 274.93 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25316 KiB

[startup+342.301 s]
/proc/loadavg: 8.35 6.18 5.12 13/567 1191679
/proc/meminfo: memFree=27326356/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25316 CPUtime=333.37 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5106 0 0 0 33336 1 0 0 20 0 1 0 347654738 51388416 6329 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6329 1517 2 0 4958 0
Current children cumulated CPU time: 333.37 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25316 KiB

[startup+402.301 s]
/proc/loadavg: 8.38 6.59 5.33 12/567 1191689
/proc/meminfo: memFree=27326164/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=391.83 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5111 0 0 0 39182 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 391.83 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+462.301 s]
/proc/loadavg: 8.40 6.94 5.53 12/567 1191698
/proc/meminfo: memFree=27325704/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=450.26 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5116 0 0 0 45025 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 450.26 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+522.301 s]
/proc/loadavg: 8.52 7.24 5.72 12/568 1191709
/proc/meminfo: memFree=27325656/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=508.7 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5121 0 0 0 50869 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 508.7 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+582.301 s]
/proc/loadavg: 8.57 7.49 5.91 13/568 1191719
/proc/meminfo: memFree=27325524/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=567.13 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5126 0 0 0 56712 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 567.13 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+642.301 s]
/proc/loadavg: 8.59 7.69 6.08 13/568 1191728
/proc/meminfo: memFree=27325448/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=625.55 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5152 0 0 0 62554 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 625.55 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+702.301 s]
/proc/loadavg: 8.78 7.93 6.26 12/569 1191749
/proc/meminfo: memFree=27323280/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=683.93 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5157 0 0 0 68392 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 683.93 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+762.301 s]
/proc/loadavg: 8.44 7.99 6.39 13/569 1191758
/proc/meminfo: memFree=27324228/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50184 memory=25320 CPUtime=742.31 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5162 0 0 0 74230 1 0 0 20 0 1 0 347654738 51388416 6330 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12546 6330 1517 2 0 4958 0
Current children cumulated CPU time: 742.31 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 25320 KiB

[startup+822.301 s]
/proc/loadavg: 8.51 8.07 6.52 13/569 1191768
/proc/meminfo: memFree=27324024/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=800.74 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5201 0 0 0 80073 1 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 800.74 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+882.301 s]
/proc/loadavg: 10.16 8.62 6.81 13/568 1191777
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=859.2 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5206 0 0 0 85919 1 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 859.2 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+942.301 s]
/proc/loadavg: 11.38 9.23 7.13 12/568 1191786
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=917.66 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5211 0 0 0 91765 1 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 917.66 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+1002.3 s]
/proc/loadavg: 11.73 9.70 7.42 12/567 1191796
/proc/meminfo: memFree=27324148/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=976.14 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5216 0 0 0 97613 1 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 976.14 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+1062.3 s]
/proc/loadavg: 12.00 10.16 7.73 12/567 1191805
/proc/meminfo: memFree=27324040/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=1034.57 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5221 0 0 0 103455 2 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 1034.57 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+1122.3 s]
/proc/loadavg: 11.83 10.47 7.99 14/569 1191827
/proc/meminfo: memFree=27323612/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=1093.03 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5226 0 0 0 109301 2 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 1093.03 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+1182.3 s]
/proc/loadavg: 10.24 10.28 8.08 15/570 1191838
/proc/meminfo: memFree=27323860/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=1151.52 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5231 0 0 0 115150 2 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 1151.52 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+1242.3 s]
/proc/loadavg: 9.27 10.01 8.13 12/571 1191848
/proc/meminfo: memFree=27323608/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25448 CPUtime=1210.01 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5236 0 0 0 120999 2 0 0 20 0 1 0 347654738 51609600 6362 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6362 1517 2 0 5012 0
Current children cumulated CPU time: 1210.01 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25448 KiB

[startup+1302.3 s]
/proc/loadavg: 8.73 9.72 8.15 12/571 1191857
/proc/meminfo: memFree=27323740/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1268.52 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5241 0 0 0 126850 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1268.52 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1362.3 s]
/proc/loadavg: 8.42 9.45 8.15 14/571 1191866
/proc/meminfo: memFree=27323632/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1327.03 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5246 0 0 0 132701 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1327.03 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1422.3 s]
/proc/loadavg: 8.20 9.20 8.15 12/569 1191876
/proc/meminfo: memFree=27323752/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1385.52 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5251 0 0 0 138550 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1385.52 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1482.3 s]
/proc/loadavg: 8.53 9.10 8.18 12/568 1191885
/proc/meminfo: memFree=27323604/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1443.96 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5256 0 0 0 144394 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1443.96 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1542.3 s]
/proc/loadavg: 8.36 8.94 8.18 12/568 1191894
/proc/meminfo: memFree=27323996/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1502.4 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5261 0 0 0 150238 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1502.4 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1602.3 s]
/proc/loadavg: 8.43 8.86 8.20 12/567 1191912
/proc/meminfo: memFree=27323776/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1560.8 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5266 0 0 0 156078 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1560.8 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1662.3 s]
/proc/loadavg: 8.55 8.81 8.23 14/567 1191921
/proc/meminfo: memFree=27323792/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1619.28 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5271 0 0 0 161926 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1619.28 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1722.3 s]
/proc/loadavg: 8.45 8.74 8.24 12/567 1191931
/proc/meminfo: memFree=27323156/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1677.77 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5276 0 0 0 167775 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1677.77 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

[startup+1782.3 s]
/proc/loadavg: 8.48 8.69 8.25 12/567 1191941
/proc/meminfo: memFree=27323812/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1736.26 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5281 0 0 0 173624 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1736.26 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800.01 s]*
/proc/loadavg: 8.41 8.66 8.25 10/566 1191942
/proc/meminfo: memFree=27359228/32713960 swapFree=33554428/33554428
[pid=1191622] ppid=1191621 vsize=50400 memory=25540 CPUtime=1753.51 cores=7
/proc/1191622/stat : 1191622 (pigeonPur.py) R 1191621 1191622 1191589 0 -1 4194304 5281 0 0 0 175349 2 0 0 20 0 1 0 347654738 51609600 6385 18446744073709551615 94255239696384 94255239700496 140732653354352 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94255241800960 94255241801732 94255274696704 140732653355502 140732653355603 140732653355603 140732653359081 0
/proc/1191622/statm: 12600 6385 1517 2 0 5012 0
Current children cumulated CPU time: 1753.51 s
Current children cumulated vsize: 50400 KiB
Current children cumulated memory: 25540 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 1191622 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1753.52 s, system=0.026541 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.05
CPU time (s): 1753.54
CPU user time (s): 1753.52
CPU system time (s): 0.026541
CPU usage (%): 97.4162
Max. virtual memory (cumulated for all children) (KiB): 50400
Max. memory (cumulated for all children) (KiB): 25540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.52
system time used= 0.026541
maximum resident set size= 25540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5283
page faults= 0
swaps= 0
block input operations= 720
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 57423


# summary of solver processes directly reported to runsolver:
#   pid: 1191622
#   total CPU time (s): 1753.54
#   total CPU user time (s): 1753.52
#   total CPU system time (s): 0.026541

??? end of timestamper thread
runsolver used 15.953 second user time and 20.5339 second system time

The end
