runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3377602-1305456084/watcher-3377602-1305456084 -o /tmp/evaluation-result-3377602-1305456084/solver-3377602-1305456084 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3377602-1305456084.cnf -seed 679249076 -budget 2400
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.81 4.02 3.70 7/432 26993
/proc/meminfo: memFree=23727012/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=11796 CPUtime=0 cores=4,6
/proc/26993/stat : 26993 (runsolver) R 26991 26993 24847 0 -1 4202560 44 0 0 0 0 0 0 0 21 0 1 0 735839066 12079104 53 33554432000 4194304 5432360 140736809595248 18446744073709551615 5055511 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/26993/statm: 2949 53 33 303 0 2643 0
[startup+0.0906839 s]
/proc/loadavg: 3.81 4.02 3.70 7/432 26993
/proc/meminfo: memFree=23727012/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=29792 CPUtime=0.04 cores=4,6
/proc/26993/stat : 26993 (python) D 26991 26993 24847 0 -1 4202496 1460 0 0 0 3 1 0 0 17 0 1 0 735839066 30507008 1301 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367542629 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/26993/statm: 7448 1301 443 364 0 818 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29792
[startup+0.100948 s]
/proc/loadavg: 3.81 4.02 3.70 7/432 26993
/proc/meminfo: memFree=23727012/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=36512 CPUtime=0.04 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 1576 0 0 0 3 1 0 0 17 0 1 0 735839066 37388288 1412 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/26993/statm: 9128 1445 452 364 0 945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36512
[startup+0.318302 s]
/proc/loadavg: 3.81 4.02 3.70 7/432 26993
/proc/meminfo: memFree=23727012/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=126664 CPUtime=0.2 cores=4,6
/proc/26993/stat : 26993 (python) D 26991 26993 24847 0 -1 4202496 5096 931 1 0 11 9 0 0 19 0 1 0 735839066 129703936 3924 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367542629 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/26993/statm: 31666 3924 1003 364 0 2961 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 126664
[startup+0.700955 s]
/proc/loadavg: 3.81 4.02 3.70 7/432 26993
/proc/meminfo: memFree=23727012/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=154348 CPUtime=0.38 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 6358 931 1 0 19 19 0 0 16 0 1 0 735839066 158052352 4475 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/26993/statm: 38587 4475 1250 364 0 3215 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 154348
[startup+1.50074 s]
/proc/loadavg: 3.81 4.02 3.70 6/434 27011
/proc/meminfo: memFree=23648184/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=288808 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 9871 931 1 0 49 26 0 0 17 0 2 0 735839066 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26993/statm: 72202 7064 1867 364 0 8120 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 288808
[startup+3.10046 s]
/proc/loadavg: 3.83 4.02 3.70 7/443 27055
/proc/meminfo: memFree=23633420/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=288808 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 9871 931 1 0 49 26 0 0 17 0 2 0 735839066 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26993/statm: 72202 7064 1867 364 0 8120 0
[pid=27022] ppid=26993 vsize=278564 CPUtime=0 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 735839184 285249536 5547 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566863 0 0 16781312 514 4453818418084151554 0 0 17 6 0 0 0
/proc/27022/statm: 69641 5547 354 364 0 5559 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=1.9 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) R 27022 27027 27027 0 -1 4202496 455 0 0 0 190 0 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134545572 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=26993/tid=27026] ppid=26991 vsize=288808 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 735839184 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 1585312
[startup+6.3008 s]
/proc/loadavg: 3.83 4.02 3.70 5/443 27132
/proc/meminfo: memFree=23640352/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=288808 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 9871 931 1 0 49 26 0 0 17 0 2 0 735839066 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26993/statm: 72202 7064 1867 364 0 8120 0
[pid=27022] ppid=26993 vsize=278564 CPUtime=0.02 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 972 0 0 0 1 1 0 0 18 0 1 0 735839184 285249536 5575 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566863 0 0 16781312 514 4453818418084151554 0 0 17 6 0 0 0
/proc/27022/statm: 69641 5575 382 364 0 5559 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=5.11 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) R 27022 27027 27027 0 -1 4202496 455 0 0 0 510 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134525222 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=26993/tid=27026] ppid=26991 vsize=288808 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 735839184 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 1585312
[startup+12.7007 s]
/proc/loadavg: 3.85 4.02 3.70 5/446 27135
/proc/meminfo: memFree=23625372/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=288808 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 9871 931 1 0 49 26 0 0 17 0 2 0 735839066 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26993/statm: 72202 7064 1867 364 0 8120 0
[pid=27022] ppid=26993 vsize=278564 CPUtime=0.03 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 978 0 0 0 2 1 0 0 18 0 1 0 735839184 285249536 5575 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566863 0 0 16781312 514 8367195526445105410 0 0 17 6 0 0 0
/proc/27022/statm: 69641 5575 382 364 0 5559 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=11.5 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) R 27022 27027 27027 0 -1 4202496 455 0 0 0 1149 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=26993/tid=27026] ppid=26991 vsize=288808 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 735839184 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 1585312
[startup+25.5013 s]
/proc/loadavg: 3.87 4.02 3.71 5/446 27136
/proc/meminfo: memFree=23625912/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=288808 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 9871 931 1 0 49 26 0 0 17 0 2 0 735839066 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26993/statm: 72202 7064 1867 364 0 8120 0
[pid=27022] ppid=26993 vsize=278564 CPUtime=0.07 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 982 0 0 0 4 3 0 0 18 0 1 0 735839184 285249536 5575 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566863 0 0 16781312 514 8367195526445105410 0 0 17 6 0 0 0
/proc/27022/statm: 69641 5575 382 364 0 5559 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=24.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) R 27022 27027 27027 0 -1 4202496 455 0 0 0 2429 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134525302 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=26993/tid=27026] ppid=26991 vsize=288808 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 735839184 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 1585312
[startup+51.1006 s]
/proc/loadavg: 3.92 4.01 3.72 5/446 27136
/proc/meminfo: memFree=23626024/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=288808 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 9871 931 1 0 49 26 0 0 17 0 2 0 735839066 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26993/statm: 72202 7064 1867 364 0 8120 0
[pid=27022] ppid=26993 vsize=278564 CPUtime=0.14 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 994 0 0 0 7 7 0 0 18 0 1 0 735839184 285249536 5575 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566863 0 0 16781312 514 8367195526445105410 0 0 17 6 0 0 0
/proc/27022/statm: 69641 5575 382 364 0 5559 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=49.9 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) R 27022 27027 27027 0 -1 4202496 455 0 0 0 4989 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=26993/tid=27026] ppid=26991 vsize=288808 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 735839184 295739392 7064 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 1585312
[startup+102.301 s]
/proc/loadavg: 3.96 4.01 3.73 5/454 27148
/proc/meminfo: memFree=23615428/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=299568 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 10722 931 1 0 49 26 0 0 20 0 3 0 735839066 306757632 7215 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26993/statm: 74892 7215 1870 364 0 10807 0
[pid=27022] ppid=26993 vsize=288808 CPUtime=0.31 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 1151 0 0 0 16 15 0 0 19 0 2 0 735839184 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72202 5613 415 364 0 8120 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=99.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) T 27022 27027 27027 0 -1 4202496 455 0 0 0 9929 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=27022/tid=27139] ppid=26993 vsize=288808 CPUtime=0 cores=4,6
/proc/27022/task/27139/stat : 27139 (python) S 26993 26993 24847 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 735849116 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604445359744064 0 0 -1 4 0 0 0
[pid=27140] ppid=26993 vsize=289324 CPUtime=0 cores=4,6
/proc/27140/stat : 27140 (python) S 26993 26993 24847 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 735849117 296267776 5689 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566918 0 0 16781312 514 2912004598535258369 0 0 17 4 0 0 0
/proc/27140/statm: 72331 5689 348 364 0 8246 0
[pid=27142] ppid=27140 vsize=1017940 CPUtime=1.77 cores=4,6
/proc/27142/stat : 27142 (gnovelty+2) R 27140 27142 27142 0 -1 4202496 456 0 0 0 177 0 0 0 25 0 1 0 735849118 1042370560 191 33554432000 134512640 135663704 4292785648 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27142/statm: 254485 191 113 282 0 254201 0
[pid=26993/tid=27026] ppid=26991 vsize=299568 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 735839184 306757632 7215 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
[pid=26993/tid=27141] ppid=26991 vsize=299568 CPUtime=0 cores=4,6
/proc/26993/task/27141/stat : 27141 (python) S 26991 26993 24847 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 3 0 735849117 306757632 7215 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 2913580
[startup+162.301 s]
/proc/loadavg: 4.05 4.02 3.75 5/462 27157
/proc/meminfo: memFree=23601568/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=299568 CPUtime=0.75 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 10722 931 1 0 49 26 0 0 20 0 3 0 735839066 306757632 7215 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26993/statm: 74892 7215 1870 364 0 10807 0
[pid=27022] ppid=26993 vsize=288808 CPUtime=0.31 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 1151 0 0 0 16 15 0 0 19 0 2 0 735839184 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72202 5613 415 364 0 8120 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=99.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) T 27022 27027 27027 0 -1 4202496 455 0 0 0 9929 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=27022/tid=27139] ppid=26993 vsize=288808 CPUtime=0 cores=4,6
/proc/27022/task/27139/stat : 27139 (python) S 26993 26993 24847 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 735849116 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604445359744064 0 0 -1 4 0 0 0
[pid=27140] ppid=26993 vsize=289324 CPUtime=0.18 cores=4,6
################
# More data... #
################
[startup+1182.32 s]
/proc/loadavg: 4.00 4.03 3.92 5/486 27729
/proc/meminfo: memFree=23232216/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=309400 CPUtime=0.77 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 11558 931 1 0 51 26 0 0 19 0 4 0 735839066 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26993/statm: 77350 7130 1872 364 0 13262 0
[pid=27022] ppid=26993 vsize=288808 CPUtime=0.31 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 1151 0 0 0 16 15 0 0 19 0 2 0 735839184 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72202 5613 415 364 0 8120 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=99.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) T 27022 27027 27027 0 -1 4202496 455 0 0 0 9929 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=27022/tid=27139] ppid=26993 vsize=288808 CPUtime=0 cores=4,6
/proc/27022/task/27139/stat : 27139 (python) S 26993 26993 24847 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 735849116 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604445359744064 0 0 -1 4 0 0 0
[pid=27140] ppid=26993 vsize=289324 CPUtime=0.31 cores=4,6
/proc/27140/stat : 27140 (python) S 26993 26993 24847 0 -1 4202560 1076 0 0 0 16 15 0 0 19 0 2 0 735849117 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27140/statm: 72331 5742 400 364 0 8246 0
[pid=27142] ppid=27140 vsize=1017940 CPUtime=100.03 cores=4,6
/proc/27142/stat : 27142 (gnovelty+2) T 27140 27142 27142 0 -1 4202496 456 0 0 0 10003 0 0 0 25 0 1 0 735849118 1042370560 191 33554432000 134512640 135663704 4292785648 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27142/statm: 254485 191 113 282 0 254201 0
[pid=27140/tid=27159] ppid=26993 vsize=289324 CPUtime=0 cores=4,6
/proc/27140/task/27159/stat : 27159 (python) S 26993 26993 24847 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 735859149 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604453590697152 0 0 -1 4 0 0 0
[pid=27160] ppid=26993 vsize=299156 CPUtime=3.28 cores=4,6
/proc/27160/stat : 27160 (python) S 26993 26993 24847 0 -1 4202560 977 0 0 0 179 149 0 0 15 0 1 0 735859150 306335744 5625 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566918 0 0 16781312 514 8367195526445105411 0 0 17 6 0 0 0
/proc/27160/statm: 74789 5625 371 364 0 10701 0
[pid=27162] ppid=27160 vsize=208548 CPUtime=981.49 cores=4,6
/proc/27162/stat : 27162 (march_hi) R 27160 27162 27162 0 -1 4202496 46224 0 0 0 98138 11 0 0 25 0 1 0 735859150 213553152 45952 33554432000 4194304 4955518 140733288036368 18446744073709551615 4224826 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27162/statm: 52137 45952 106 186 0 51950 0
[pid=26993/tid=27026] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 4 0 735839184 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
[pid=26993/tid=27141] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27141/stat : 27141 (python) S 26991 26993 24847 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 4 0 735849117 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
[pid=26993/tid=27161] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27161/stat : 27161 (python) S 26991 26993 24847 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 735859150 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1185.49
Current children cumulated vsize (KiB) 3431116
[startup+1242.3 s]
/proc/loadavg: 4.28 4.09 3.94 5/486 27730
/proc/meminfo: memFree=23191840/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=309400 CPUtime=0.77 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 11558 931 1 0 51 26 0 0 19 0 4 0 735839066 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26993/statm: 77350 7130 1872 364 0 13262 0
[pid=27022] ppid=26993 vsize=288808 CPUtime=0.31 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 1151 0 0 0 16 15 0 0 19 0 2 0 735839184 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72202 5613 415 364 0 8120 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=99.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) T 27022 27027 27027 0 -1 4202496 455 0 0 0 9929 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=27022/tid=27139] ppid=26993 vsize=288808 CPUtime=0 cores=4,6
/proc/27022/task/27139/stat : 27139 (python) S 26993 26993 24847 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 735849116 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604445359744064 0 0 -1 4 0 0 0
[pid=27140] ppid=26993 vsize=289324 CPUtime=0.31 cores=4,6
/proc/27140/stat : 27140 (python) S 26993 26993 24847 0 -1 4202560 1076 0 0 0 16 15 0 0 19 0 2 0 735849117 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27140/statm: 72331 5742 400 364 0 8246 0
[pid=27142] ppid=27140 vsize=1017940 CPUtime=100.03 cores=4,6
/proc/27142/stat : 27142 (gnovelty+2) T 27140 27142 27142 0 -1 4202496 456 0 0 0 10003 0 0 0 25 0 1 0 735849118 1042370560 191 33554432000 134512640 135663704 4292785648 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27142/statm: 254485 191 113 282 0 254201 0
[pid=27140/tid=27159] ppid=26993 vsize=289324 CPUtime=0 cores=4,6
/proc/27140/task/27159/stat : 27159 (python) S 26993 26993 24847 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 735859149 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604453590697152 0 0 -1 4 0 0 0
[pid=27160] ppid=26993 vsize=299156 CPUtime=3.51 cores=4,6
/proc/27160/stat : 27160 (python) S 26993 26993 24847 0 -1 4202560 977 0 0 0 191 160 0 0 15 0 1 0 735859150 306335744 5625 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566918 0 0 16781312 514 8367195526445105411 0 0 17 6 0 0 0
/proc/27160/statm: 74789 5625 371 364 0 10701 0
[pid=27162] ppid=27160 vsize=208548 CPUtime=1041.48 cores=4,6
/proc/27162/stat : 27162 (march_hi) R 27160 27162 27162 0 -1 4202496 48781 0 0 0 104136 12 0 0 25 0 1 0 735859150 213553152 48509 33554432000 4194304 4955518 140733288036368 18446744073709551615 4297061 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27162/statm: 52137 48509 106 186 0 51950 0
[pid=26993/tid=27026] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 4 0 735839184 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
[pid=26993/tid=27141] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27141/stat : 27141 (python) S 26991 26993 24847 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 4 0 735849117 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
[pid=26993/tid=27161] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27161/stat : 27161 (python) S 26991 26993 24847 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 735859150 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1245.71
Current children cumulated vsize (KiB) 3431116
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300.02 s]
/proc/loadavg: 4.17 4.09 3.95 5/486 27732
/proc/meminfo: memFree=23154484/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=309400 CPUtime=0.77 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 11558 931 1 0 51 26 0 0 19 0 4 0 735839066 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26993/statm: 77350 7130 1872 364 0 13262 0
[pid=27022] ppid=26993 vsize=288808 CPUtime=0.31 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 1151 0 0 0 16 15 0 0 19 0 2 0 735839184 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72202 5613 415 364 0 8120 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=99.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) T 27022 27027 27027 0 -1 4202496 455 0 0 0 9929 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=27022/tid=27139] ppid=26993 vsize=288808 CPUtime=0 cores=4,6
/proc/27022/task/27139/stat : 27139 (python) S 26993 26993 24847 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 735849116 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604445359744064 0 0 -1 4 0 0 0
[pid=27140] ppid=26993 vsize=289324 CPUtime=0.31 cores=4,6
/proc/27140/stat : 27140 (python) S 26993 26993 24847 0 -1 4202560 1076 0 0 0 16 15 0 0 19 0 2 0 735849117 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27140/statm: 72331 5742 400 364 0 8246 0
[pid=27142] ppid=27140 vsize=1017940 CPUtime=100.03 cores=4,6
/proc/27142/stat : 27142 (gnovelty+2) T 27140 27142 27142 0 -1 4202496 456 0 0 0 10003 0 0 0 25 0 1 0 735849118 1042370560 191 33554432000 134512640 135663704 4292785648 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27142/statm: 254485 191 113 282 0 254201 0
[pid=27140/tid=27159] ppid=26993 vsize=289324 CPUtime=0 cores=4,6
/proc/27140/task/27159/stat : 27159 (python) S 26993 26993 24847 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 735859149 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604453590697152 0 0 -1 4 0 0 0
[pid=27160] ppid=26993 vsize=299156 CPUtime=3.68 cores=4,6
/proc/27160/stat : 27160 (python) S 26993 26993 24847 0 -1 4202560 980 0 0 0 199 169 0 0 15 0 1 0 735859150 306335744 5625 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566918 0 0 16781312 514 12888682013271228675 0 0 17 6 0 0 0
/proc/27160/statm: 74789 5625 371 364 0 10701 0
[pid=27162] ppid=27160 vsize=216268 CPUtime=1099.21 cores=4,6
/proc/27162/stat : 27162 (march_hi) R 27160 27162 27162 0 -1 4202496 51066 0 0 0 109908 13 0 0 25 0 1 0 735859150 221458432 50794 33554432000 4194304 4955518 140733288036368 18446744073709551615 4285145 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27162/statm: 54067 50794 106 186 0 53880 0
[pid=26993/tid=27026] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 4 0 735839184 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
[pid=26993/tid=27141] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27141/stat : 27141 (python) S 26991 26993 24847 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 4 0 735849117 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
[pid=26993/tid=27161] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27161/stat : 27161 (python) S 26991 26993 24847 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 735859150 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1303.61
Current children cumulated vsize (KiB) 3438836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.02 s]
/proc/loadavg: 4.17 4.09 3.95 5/486 27732
/proc/meminfo: memFree=23154484/32950928 swapFree=38710892/67111528
[pid=26993] ppid=26991 vsize=309400 CPUtime=0.77 cores=4,6
/proc/26993/stat : 26993 (python) S 26991 26993 24847 0 -1 4202496 11558 931 1 0 51 26 0 0 19 0 4 0 735839066 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26993/statm: 77350 7130 1872 364 0 13262 0
[pid=27022] ppid=26993 vsize=288808 CPUtime=0.31 cores=4,6
/proc/27022/stat : 27022 (python) S 26993 26993 24847 0 -1 4202560 1151 0 0 0 16 15 0 0 19 0 2 0 735839184 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72202 5613 415 364 0 8120 0
[pid=27027] ppid=27022 vsize=1017940 CPUtime=99.3 cores=4,6
/proc/27027/stat : 27027 (gnovelty+2) T 27022 27027 27027 0 -1 4202496 455 0 0 0 9929 1 0 0 25 0 1 0 735839184 1042370560 191 33554432000 134512640 135663704 4289150864 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27027/statm: 254485 191 113 282 0 254201 0
[pid=27022/tid=27139] ppid=26993 vsize=288808 CPUtime=0 cores=4,6
/proc/27022/task/27139/stat : 27139 (python) S 26993 26993 24847 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 735849116 295739392 5613 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604445359744064 0 0 -1 4 0 0 0
[pid=27140] ppid=26993 vsize=289324 CPUtime=0.31 cores=4,6
/proc/27140/stat : 27140 (python) S 26993 26993 24847 0 -1 4202560 1076 0 0 0 16 15 0 0 19 0 2 0 735849117 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379373515 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27140/statm: 72331 5742 400 364 0 8246 0
[pid=27142] ppid=27140 vsize=1017940 CPUtime=100.03 cores=4,6
/proc/27142/stat : 27142 (gnovelty+2) T 27140 27142 27142 0 -1 4202496 456 0 0 0 10003 0 0 0 25 0 1 0 735849118 1042370560 191 33554432000 134512640 135663704 4292785648 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27142/statm: 254485 191 113 282 0 254201 0
[pid=27140/tid=27159] ppid=26993 vsize=289324 CPUtime=0 cores=4,6
/proc/27140/task/27159/stat : 27159 (python) S 26993 26993 24847 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 735859149 296267776 5742 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 514 18446604453590697152 0 0 -1 4 0 0 0
[pid=27160] ppid=26993 vsize=299156 CPUtime=3.68 cores=4,6
/proc/27160/stat : 27160 (python) S 26993 26993 24847 0 -1 4202560 980 0 0 0 199 169 0 0 15 0 1 0 735859150 306335744 5625 33554432000 4194304 5683644 140734283635952 18446744073709551615 251367566918 0 0 16781312 514 12888682013271228675 0 0 17 6 0 0 0
/proc/27160/statm: 74789 5625 371 364 0 10701 0
[pid=27162] ppid=27160 vsize=216268 CPUtime=1099.21 cores=4,6
/proc/27162/stat : 27162 (march_hi) R 27160 27162 27162 0 -1 4202496 51066 0 0 0 109908 13 0 0 25 0 1 0 735859150 221458432 50794 33554432000 4194304 4955518 140733288036368 18446744073709551615 4285145 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27162/statm: 54067 50794 106 186 0 53880 0
[pid=26993/tid=27026] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27026/stat : 27026 (python) S 26991 26993 24847 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 4 0 735839184 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 6 0 0 0
[pid=26993/tid=27141] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27141/stat : 27141 (python) S 26991 26993 24847 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 4 0 735849117 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
[pid=26993/tid=27161] ppid=26991 vsize=309400 CPUtime=0 cores=4,6
/proc/26993/task/27161/stat : 27161 (python) S 26991 26993 24847 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 4 0 735859150 316825600 7130 33554432000 4194304 5683644 140734283635952 18446744073709551615 251379370417 0 0 16781312 2 18446604441764275200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1303.61
Current children cumulated vsize (KiB) 3438836
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26993 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=512922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=272958
# CPU time returned by wait4() is 0.78588
# while last known CPU time is 1303.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.05
CPU time (s): 1303.61
CPU user time (s): 1301.22
CPU system time (s): 2.39
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 3438836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.512922
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12489
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30545
involuntary context switches= 33
runsolver used 6.03408 second user time and 11.8102 second system time
The end