runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3704086-1338100115/watcher-3704086-1338100115 -o /tmp/evaluation-result-3704086-1338100115/solver-3704086-1338100115 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704086-1338100115.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.96 3.99 3.97 4/178 10154
/proc/meminfo: memFree=27962692/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=32816 CPUtime=0 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 621 0 0 0 0 0 0 0 20 0 1 0 276137534 33603584 573 33554432000 4194304 5965102 140733328760560 140733994171320 4396379 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 8204 573 169 433 0 874 0
[startup+0.086472 s]
/proc/loadavg: 3.96 3.99 3.97 4/178 10154
/proc/meminfo: memFree=27962692/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=47568 CPUtime=0.07 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 4378 0 0 0 7 0 0 0 20 0 1 0 276137534 48709632 4248 33554432000 4194304 5965102 140733328760560 140733994171320 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 11892 4250 395 433 0 4562 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 47568
[startup+0.100282 s]
/proc/loadavg: 3.96 3.99 3.97 4/178 10154
/proc/meminfo: memFree=27962692/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=50664 CPUtime=0.08 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 4745 0 0 0 8 0 0 0 20 0 1 0 276137534 51879936 4615 33554432000 4194304 5965102 140733328760560 140733994171320 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 12666 4616 434 433 0 5336 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50664
[startup+0.300242 s]
/proc/loadavg: 3.96 3.99 3.97 4/178 10154
/proc/meminfo: memFree=27962692/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=69856 CPUtime=0.29 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 10656 0 0 0 27 2 0 0 20 0 1 0 276137534 71532544 10259 33554432000 4194304 5965102 140733328760560 140733994171320 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 17464 10260 975 433 0 10134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69856
[startup+0.70024 s]
/proc/loadavg: 3.96 3.99 3.97 4/178 10154
/proc/meminfo: memFree=27962692/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=116408 CPUtime=0.69 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 23189 0 0 0 66 3 0 0 20 0 1 0 276137534 119201792 22262 33554432000 4194304 5965102 140733328760560 140733328757976 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 29102 22266 2006 433 0 21772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116408
[startup+1.50025 s]
/proc/loadavg: 3.96 3.99 3.97 4/179 10155
/proc/meminfo: memFree=27832364/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=212640 CPUtime=1.49 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 45969 0 0 0 141 8 0 0 20 0 1 0 276137534 217743360 46537 33554432000 4194304 5965102 140733328760560 140733328758792 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 53160 46538 3824 433 0 45830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 212640
[startup+3.10019 s]
/proc/loadavg: 3.89 3.97 3.96 4/179 10155
/proc/meminfo: memFree=27723840/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=336748 CPUtime=3.09 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) R 10152 10154 7065 0 -1 4202496 75315 0 0 0 297 12 0 0 20 0 1 0 276137534 344829952 77356 33554432000 4194304 5965102 140733328760560 140733328758760 4351027 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 84187 77356 6899 433 0 76857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336748
[startup+6.30031 s]
/proc/loadavg: 3.89 3.97 3.96 5/181 10157
/proc/meminfo: memFree=27221748/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=894120 CPUtime=9.31 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 163537 0 0 0 895 36 0 0 20 0 3 0 276137534 915578880 189409 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 223530 189409 198 433 0 223094 0
[pid=10154/tid=10156] ppid=10152 vsize=894120 CPUtime=3.07 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 62168 0 0 0 290 17 0 0 20 0 3 0 276137852 915578880 189409 33554432000 4194304 5965102 140733328760560 140430739786056 4376299 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=894120 CPUtime=3.02 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 24256 0 0 0 297 5 0 0 20 0 3 0 276137852 915578880 189409 33554432000 4194304 5965102 140733328760560 140430729296184 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (KiB) 894120
[startup+12.7003 s]
/proc/loadavg: 3.90 3.97 3.96 5/181 10157
/proc/meminfo: memFree=27139180/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=894040 CPUtime=22.11 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 172376 0 0 0 2171 40 0 0 20 0 3 0 276137534 915496960 193114 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 223510 193114 199 433 0 223074 0
[pid=10154/tid=10156] ppid=10152 vsize=894040 CPUtime=9.47 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 70846 0 0 0 926 21 0 0 20 0 3 0 276137852 915496960 193114 33554432000 4194304 5965102 140733328760560 140430739786136 5132689 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=894040 CPUtime=9.42 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 24417 0 0 0 936 6 0 0 20 0 3 0 276137852 915496960 193114 33554432000 4194304 5965102 140733328760560 140430729296184 4390125 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 22.11
Current children cumulated vsize (KiB) 894040
[startup+25.5003 s]
/proc/loadavg: 3.92 3.97 3.96 5/181 10157
/proc/meminfo: memFree=26958060/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=1041516 CPUtime=47.71 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 189358 0 0 0 4724 47 0 0 20 0 3 0 276137534 1066512384 221655 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 260379 221655 199 433 0 259943 0
[pid=10154/tid=10156] ppid=10152 vsize=1041516 CPUtime=22.27 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 87386 0 0 0 2200 27 0 0 20 0 3 0 276137852 1066512384 221655 33554432000 4194304 5965102 140733328760560 140430739786024 4420410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=1041516 CPUtime=22.22 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 24859 0 0 0 2216 6 0 0 20 0 3 0 276137852 1066512384 221655 33554432000 4194304 5965102 140733328760560 140430729296184 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.71
Current children cumulated vsize (KiB) 1041516
[startup+51.1003 s]
/proc/loadavg: 3.94 3.97 3.96 5/181 10157
/proc/meminfo: memFree=26583408/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=1238124 CPUtime=98.89 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 226539 0 0 0 9823 66 0 0 20 0 3 0 276137534 1267838976 263996 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 309531 263996 199 433 0 309095 0
[pid=10154/tid=10156] ppid=10152 vsize=1238124 CPUtime=47.87 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 124132 0 0 0 4741 46 0 0 20 0 3 0 276137852 1267838976 263996 33554432000 4194304 5965102 140733328760560 140430739786264 5139774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=1238124 CPUtime=47.82 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 25294 0 0 0 4775 7 0 0 20 0 3 0 276137852 1267838976 263996 33554432000 4194304 5965102 140733328760560 140430729296184 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 98.89
Current children cumulated vsize (KiB) 1238124
[startup+102.306 s]
/proc/loadavg: 3.98 3.97 3.96 5/182 10160
/proc/meminfo: memFree=26027436/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=1533076 CPUtime=201.29 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 249521 0 0 0 20039 90 0 0 20 0 3 0 276137534 1569869824 330110 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 383269 330110 199 433 0 382833 0
[pid=10154/tid=10156] ppid=10152 vsize=1533076 CPUtime=99.08 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 146380 0 0 0 9838 70 0 0 20 0 3 0 276137852 1569869824 330110 33554432000 4194304 5965102 140733328760560 140430739785992 5180494 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=1533076 CPUtime=99.03 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 26028 0 0 0 9893 10 0 0 20 0 3 0 276137852 1569869824 330110 33554432000 4194304 5965102 140733328760560 140430729296184 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 201.29
Current children cumulated vsize (KiB) 1533076
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.96 5/181 10160
/proc/meminfo: memFree=25451832/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=2008152 CPUtime=321.26 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 286150 0 0 0 32001 125 0 0 20 0 3 0 276137534 2056347648 416674 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 502038 416674 199 433 0 501602 0
[pid=10154/tid=10156] ppid=10152 vsize=2008152 CPUtime=159.08 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 182252 0 0 0 15803 105 0 0 20 0 3 0 276137852 2056347648 416674 33554432000 4194304 5965102 140733328760560 140430739786024 5139774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=2008152 CPUtime=159.02 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 26785 0 0 0 15890 12 0 0 20 0 3 0 276137852 2056347648 416674 33554432000 4194304 5965102 140733328760560 140430729296184 4393922 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 321.26
Current children cumulated vsize (KiB) 2008152
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.96 5/181 10160
/proc/meminfo: memFree=24917236/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=2352408 CPUtime=441.22 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 386015 0 0 0 43896 226 0 0 20 0 3 0 276137534 2408865792 494415 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 588102 494415 199 433 0 587666 0
[pid=10154/tid=10156] ppid=10152 vsize=2352408 CPUtime=219.08 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 281104 0 0 0 21703 205 0 0 20 0 3 0 276137852 2408865792 494415 33554432000 4194304 5965102 140733328760560 140430739786264 4445892 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=2352408 CPUtime=219.01 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 27798 0 0 0 21885 16 0 0 20 0 3 0 276137852 2408865792 494415 33554432000 4194304 5965102 140733328760560 140430729296184 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 441.22
Current children cumulated vsize (KiB) 2352408
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.96 5/181 10161
/proc/meminfo: memFree=24250284/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=2711524 CPUtime=561.18 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 568335 0 0 0 55735 383 0 0 20 0 3 0 276137534 2776600576 582601 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 677881 582601 199 433 0 677445 0
[pid=10154/tid=10156] ppid=10152 vsize=2711524 CPUtime=279.08 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 462831 0 0 0 27546 362 0 0 20 0 3 0 276137852 2776600576 582601 33554432000 4194304 5965102 140733328760560 140430739786136 4430804 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=2711524 CPUtime=278.99 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 28391 0 0 0 27881 18 0 0 20 0 3 0 276137852 2776600576 582601 33554432000 4194304 5965102 140733328760560 140430729296232 4390169 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 561.18
Current children cumulated vsize (KiB) 2711524
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.96 5/181 10161
/proc/meminfo: memFree=23713896/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=3104740 CPUtime=681.15 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 702761 0 0 0 67596 519 0 0 20 0 3 0 276137534 3179253760 662133 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 776185 662133 199 433 0 775749 0
[pid=10154/tid=10156] ppid=10152 vsize=3104740 CPUtime=339.08 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 595913 0 0 0 33412 496 0 0 20 0 3 0 276137852 3179253760 662133 33554432000 4194304 5965102 140733328760560 140430739786088 5131650 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=3104740 CPUtime=338.98 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 29735 0 0 0 33877 21 0 0 20 0 3 0 276137852 3179253760 662133 33554432000 4194304 5965102 140733328760560 140430729296184 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 681.15
Current children cumulated vsize (KiB) 3104740
[startup+402.3 s]
/proc/loadavg: 4.03 3.99 3.97 5/181 10161
/proc/meminfo: memFree=23251556/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=3351764 CPUtime=801.08 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 877719 0 0 0 79451 657 0 0 20 0 3 0 276137534 3432206336 717716 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 837941 717716 199 433 0 837505 0
[pid=10154/tid=10156] ppid=10152 vsize=3351764 CPUtime=399.09 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 770177 0 0 0 39276 633 0 0 20 0 3 0 276137852 3432206336 717716 33554432000 4194304 5965102 140733328760560 140430739786072 5123080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=3351764 CPUtime=398.92 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 30429 0 0 0 39868 24 0 0 20 0 3 0 276137852 3432206336 717716 33554432000 4194304 5965102 140733328760560 140430729295704 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 801.08
Current children cumulated vsize (KiB) 3351764
[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.97 5/181 10161
/proc/meminfo: memFree=22916684/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=3683464 CPUtime=921.04 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 957579 0 0 0 91365 739 0 0 20 0 3 0 276137534 3771867136 796566 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 920866 796566 199 433 0 920430 0
[pid=10154/tid=10156] ppid=10152 vsize=3683464 CPUtime=459.09 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 849221 0 0 0 45195 714 0 0 20 0 3 0 276137852 3771867136 796566 33554432000 4194304 5965102 140733328760560 140430739786680 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=3683464 CPUtime=458.91 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 31245 0 0 0 45866 25 0 0 20 0 3 0 276137852 3771867136 796566 33554432000 4194304 5965102 140733328760560 140430729296184 4390204 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 921.04
Current children cumulated vsize (KiB) 3683464
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.97 5/181 10161
/proc/meminfo: memFree=22668912/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=3749000 CPUtime=1041.01 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 977347 0 0 0 103341 760 0 0 20 0 3 0 276137534 3838976000 808330 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 937250 808330 199 433 0 936814 0
[pid=10154/tid=10156] ppid=10152 vsize=3749000 CPUtime=519.09 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 868266 0 0 0 51173 736 0 0 20 0 3 0 276137852 3838976000 808330 33554432000 4194304 5965102 140733328760560 140430739786680 4404372 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=3749000 CPUtime=518.91 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 31968 0 0 0 51864 27 0 0 20 0 3 0 276137852 3838976000 808330 33554432000 4194304 5965102 140733328760560 140430729296184 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1041.01
Current children cumulated vsize (KiB) 3749000
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.97 5/181 10162
/proc/meminfo: memFree=22463956/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=3785912 CPUtime=1160.99 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 996630 0 0 0 115316 783 0 0 20 0 3 0 276137534 3876773888 824434 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 946478 824434 199 433 0 946042 0
[pid=10154/tid=10156] ppid=10152 vsize=3785912 CPUtime=579.09 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 886261 0 0 0 57152 757 0 0 20 0 3 0 276137852 3876773888 824434 33554432000 4194304 5965102 140733328760560 140430739786680 4404330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=3785912 CPUtime=578.91 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 33256 0 0 0 57860 31 0 0 20 0 3 0 276137852 3876773888 824434 33554432000 4194304 5965102 140733328760560 140430729296184 4393903 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1160.99
Current children cumulated vsize (KiB) 3785912
[startup+642.3 s]
/proc/loadavg: 4.05 4.00 3.97 5/181 10162
/proc/meminfo: memFree=22268068/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=3851448 CPUtime=1280.99 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1024833 0 0 0 127291 808 0 0 20 0 3 0 276137534 3943882752 829587 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 962862 829587 199 433 0 962426 0
[pid=10154/tid=10156] ppid=10152 vsize=3851448 CPUtime=639.1 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 913445 0 0 0 63129 781 0 0 20 0 3 0 276137852 3943882752 829587 33554432000 4194304 5965102 140733328760560 140430739786568 4404571 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=3851448 CPUtime=638.92 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 34275 0 0 0 63858 34 0 0 20 0 3 0 276137852 3943882752 829587 33554432000 4194304 5965102 140733328760560 140430729295992 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1280.99
Current children cumulated vsize (KiB) 3851448
[startup+702.3 s]
/proc/loadavg: 4.02 4.00 3.97 5/182 10165
/proc/meminfo: memFree=21954168/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=4084968 CPUtime=1400.96 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1057598 0 0 0 139261 835 0 0 20 0 3 0 276137534 4183007232 884655 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 1021242 884655 199 433 0 1020806 0
[pid=10154/tid=10156] ppid=10152 vsize=4084968 CPUtime=699.1 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 945600 0 0 0 69102 808 0 0 20 0 3 0 276137852 4183007232 884655 33554432000 4194304 5965102 140733328760560 140430739786568 5139774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=4084968 CPUtime=698.91 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 34885 0 0 0 69856 35 0 0 20 0 3 0 276137852 4183007232 884655 33554432000 4194304 5965102 140733328760560 140430729296184 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1400.96
Current children cumulated vsize (KiB) 4084968
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 10165
/proc/meminfo: memFree=21770356/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=4072660 CPUtime=1520.96 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1064508 0 0 0 151244 852 0 0 20 0 3 0 276137534 4170403840 883069 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 1018165 883069 199 433 0 1017729 0
[pid=10154/tid=10156] ppid=10152 vsize=4072660 CPUtime=759.11 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 951533 0 0 0 75086 825 0 0 20 0 3 0 276137852 4170403840 883069 33554432000 4194304 5965102 140733328760560 140430739786680 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=4072660 CPUtime=758.92 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 35862 0 0 0 75855 37 0 0 20 0 3 0 276137852 4170403840 883069 33554432000 4194304 5965102 140733328760560 140430729296184 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1520.96
Current children cumulated vsize (KiB) 4072660
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 10165
/proc/meminfo: memFree=21520388/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=4101284 CPUtime=1640.92 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1088970 0 0 0 163212 880 0 0 20 0 3 0 276137534 4199714816 898021 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 1025321 898021 199 433 0 1024885 0
[pid=10154/tid=10156] ppid=10152 vsize=4101284 CPUtime=819.1 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 974352 0 0 0 81058 852 0 0 20 0 3 0 276137852 4199714816 898021 33554432000 4194304 5965102 140733328760560 140430739786680 4393747 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=4101284 CPUtime=818.92 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 37505 0 0 0 81852 40 0 0 20 0 3 0 276137852 4199714816 898021 33554432000 4194304 5965102 140733328760560 140430729296184 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.92
Current children cumulated vsize (KiB) 4101284
[startup+882.3 s]
/proc/loadavg: 3.66 3.92 3.95 4/179 10325
/proc/meminfo: memFree=25221920/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=4154516 CPUtime=1760.9 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1114797 0 0 0 175182 908 0 0 20 0 3 0 276137534 4254224384 912701 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 1038629 912701 199 433 0 1038193 0
[pid=10154/tid=10156] ppid=10152 vsize=4154516 CPUtime=879.11 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 999172 0 0 0 87032 879 0 0 20 0 3 0 276137852 4254224384 912701 33554432000 4194304 5965102 140733328760560 140430739786680 4404738 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=4154516 CPUtime=878.91 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 38512 0 0 0 87848 43 0 0 20 0 3 0 276137852 4254224384 912701 33554432000 4194304 5965102 140733328760560 140430729296232 4390210 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1760.9
Current children cumulated vsize (KiB) 4154516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.9 s]
/proc/loadavg: 3.52 3.87 3.93 4/176 10414
/proc/meminfo: memFree=25208552/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=4273288 CPUtime=1800.12 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1128616 0 0 0 179092 920 0 0 20 0 3 0 276137534 4375846912 918069 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 1068322 918069 199 433 0 1067886 0
[pid=10154/tid=10156] ppid=10152 vsize=4273288 CPUtime=898.72 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 1012344 0 0 0 88981 891 0 0 20 0 3 0 276137852 4375846912 918069 33554432000 4194304 5965102 140733328760560 140430739786680 4388976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=4273288 CPUtime=898.52 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 39159 0 0 0 89808 44 0 0 20 0 3 0 276137852 4375846912 918069 33554432000 4194304 5965102 140733328760560 140430729296184 4390150 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 4273288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.9 s]
/proc/loadavg: 3.52 3.87 3.93 4/176 10414
/proc/meminfo: memFree=25208552/32873648 swapFree=7372/7372
[pid=10154] ppid=10152 vsize=4273288 CPUtime=1800.12 cores=1,3,5,7
/proc/10154/stat : 10154 (pwbo2.0) S 10152 10154 7065 0 -1 4202496 1128616 0 0 0 179092 920 0 0 20 0 3 0 276137534 4375846912 918069 33554432000 4194304 5965102 140733328760560 140733328760080 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10154/statm: 1068322 918069 199 433 0 1067886 0
[pid=10154/tid=10156] ppid=10152 vsize=4273288 CPUtime=898.72 cores=1,3,5,7
/proc/10154/task/10156/stat : 10156 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 1012344 0 0 0 88981 891 0 0 20 0 3 0 276137852 4375846912 918069 33554432000 4194304 5965102 140733328760560 140430739786680 4388976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=10154/tid=10157] ppid=10152 vsize=4273288 CPUtime=898.52 cores=1,3,5,7
/proc/10154/task/10157/stat : 10157 (pwbo2.0) R 10152 10154 7065 0 -1 4202560 39159 0 0 0 89808 44 0 0 20 0 3 0 276137852 4375846912 918069 33554432000 4194304 5965102 140733328760560 140430729296184 4390150 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 4273288
Child status: 0
Real time (s): 902
CPU time (s): 1800.54
CPU user time (s): 1790.96
CPU system time (s): 9.57754
CPU usage (%): 199.616
Max. virtual memory (cumulated for all children) (KiB): 4371796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.96
system time used= 9.57754
maximum resident set size= 3812776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1128617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7319
involuntary context switches= 1832
runsolver used 1.93071 second user time and 5.13622 second system time
The end