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-3703892-1338096278/watcher-3703892-1338096278 -o /tmp/evaluation-result-3703892-1338096278/solver-3703892-1338096278 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703892-1338096278.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: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=4660 CPUtime=0 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) R 480 482 31075 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 275752686 4771840 377 33554432000 4194304 5965102 140734490894496 140736333464184 4396306 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/482/statm: 1165 377 165 433 0 678 0
[startup+0.095006 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=0.15 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 2389 0 0 0 15 0 0 0 20 0 3 0 275752686 169426944 2289 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 2289 195 433 0 40928 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 165456
[startup+0.100218 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=0.16 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 2399 0 0 0 16 0 0 0 20 0 3 0 275752686 169426944 2299 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 2299 195 433 0 40928 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165456
[startup+0.300122 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=0.57 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 2945 0 0 0 56 1 0 0 20 0 3 0 275752686 169426944 2845 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 2845 195 433 0 40928 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165456
[startup+0.700122 s]
/proc/loadavg: 4.00 3.98 3.98 4/178 482
/proc/meminfo: memFree=30991292/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165456 CPUtime=1.36 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 3978 0 0 0 135 1 0 0 20 0 3 0 275752686 169426944 3878 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41364 3878 195 433 0 40928 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 165456
[startup+1.50033 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30974160/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165744 CPUtime=2.96 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 5330 0 0 0 293 3 0 0 20 0 3 0 275752686 169721856 5230 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41436 5230 195 433 0 41000 0
[pid=482/tid=484] ppid=480 vsize=165744 CPUtime=1.46 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 2257 0 0 0 144 2 0 0 20 0 3 0 275752689 169721856 5230 33554432000 4194304 5965102 140734490894496 139978981373936 4389285 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=165744 CPUtime=1.46 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 1500 0 0 0 145 1 0 0 20 0 3 0 275752689 169721856 5230 33554432000 4194304 5965102 140734490894496 139978970884400 4404767 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165744
[startup+3.10029 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30969804/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=165744 CPUtime=6.15 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 6660 0 0 0 612 3 0 0 20 0 3 0 275752686 169721856 6560 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41436 6560 195 433 0 41000 0
[pid=482/tid=484] ppid=480 vsize=165744 CPUtime=3.05 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 2864 0 0 0 303 2 0 0 20 0 3 0 275752689 169721856 6560 33554432000 4194304 5965102 140734490894496 139978981373944 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=165744 CPUtime=3.05 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 2223 0 0 0 304 1 0 0 20 0 3 0 275752689 169721856 6560 33554432000 4194304 5965102 140734490894496 139978970884400 5244967 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 165744
[startup+6.30038 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30950460/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=166028 CPUtime=12.56 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 11826 0 0 0 1249 7 0 0 20 0 3 0 275752686 170012672 11726 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41507 11726 195 433 0 41071 0
[pid=482/tid=484] ppid=480 vsize=166028 CPUtime=6.24 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 6059 0 0 0 620 4 0 0 20 0 3 0 275752689 170012672 11726 33554432000 4194304 5965102 140734490894496 139978981373944 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=166028 CPUtime=6.24 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 4194 0 0 0 622 2 0 0 20 0 3 0 275752689 170012672 11726 33554432000 4194304 5965102 140734490894496 139978970884408 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 166028
[startup+12.7004 s]
/proc/loadavg: 4.00 3.98 3.98 5/181 485
/proc/meminfo: memFree=30923188/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=166908 CPUtime=25.35 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 17103 0 0 0 2526 9 0 0 20 0 3 0 275752686 170913792 17003 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 41727 17003 195 433 0 41291 0
[pid=482/tid=484] ppid=480 vsize=166908 CPUtime=12.62 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 8575 0 0 0 1257 5 0 0 20 0 3 0 275752689 170913792 17003 33554432000 4194304 5965102 140734490894496 139978981373936 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=166908 CPUtime=12.63 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 6955 0 0 0 1260 3 0 0 20 0 3 0 275752689 170913792 17003 33554432000 4194304 5965102 140734490894496 139978970884168 4401046 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 166908
[startup+25.5004 s]
/proc/loadavg: 4.08 3.99 3.99 5/181 485
/proc/meminfo: memFree=30885988/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=168168 CPUtime=50.95 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 26426 0 0 0 5073 22 0 0 20 0 3 0 275752686 172204032 26326 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 42042 26326 195 433 0 41606 0
[pid=482/tid=484] ppid=480 vsize=168168 CPUtime=25.39 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 14801 0 0 0 2522 17 0 0 20 0 3 0 275752689 172204032 26326 33554432000 4194304 5965102 140734490894496 139978981373752 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=168168 CPUtime=25.39 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 10052 0 0 0 2535 4 0 0 20 0 3 0 275752689 172204032 26326 33554432000 4194304 5965102 140734490894496 139978970884168 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 168168
[startup+51.1004 s]
/proc/loadavg: 4.05 3.99 3.99 5/181 485
/proc/meminfo: memFree=30856428/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=235468 CPUtime=102.13 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 33522 0 0 0 10187 26 0 0 20 0 3 0 275752686 241119232 33366 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 58867 33366 195 433 0 58431 0
[pid=482/tid=484] ppid=480 vsize=235468 CPUtime=50.92 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 18993 0 0 0 5073 19 0 0 20 0 3 0 275752689 241119232 33366 33554432000 4194304 5965102 140734490894496 139978981373944 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=235468 CPUtime=50.93 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 12956 0 0 0 5087 6 0 0 20 0 3 0 275752689 241119232 33366 33554432000 4194304 5965102 140734490894496 139978970884320 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 235468
[startup+102.307 s]
/proc/loadavg: 4.02 3.99 3.99 5/181 485
/proc/meminfo: memFree=30779036/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=237508 CPUtime=204.53 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 51206 0 0 0 20410 43 0 0 20 0 3 0 275752686 243208192 51025 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 59377 51025 195 433 0 58941 0
[pid=482/tid=484] ppid=480 vsize=237508 CPUtime=101.99 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 32693 0 0 0 10164 35 0 0 20 0 3 0 275752689 243208192 51025 33554432000 4194304 5965102 140734490894496 139978981373976 4401096 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=237508 CPUtime=102 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 16940 0 0 0 10191 9 0 0 20 0 3 0 275752689 243208192 51025 33554432000 4194304 5965102 140734490894496 139978970884168 4401510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 237508
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 485
/proc/meminfo: memFree=30728080/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=371176 CPUtime=324.48 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 62304 0 0 0 32397 51 0 0 20 0 3 0 275752686 380084224 62333 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 92794 62333 195 433 0 92358 0
[pid=482/tid=484] ppid=480 vsize=371176 CPUtime=161.82 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 36673 0 0 0 16142 40 0 0 20 0 3 0 275752689 380084224 62333 33554432000 4194304 5965102 140734490894496 139978981373992 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=371176 CPUtime=161.84 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 24058 0 0 0 16169 15 0 0 20 0 3 0 275752689 380084224 62333 33554432000 4194304 5965102 140734490894496 139978970884408 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 371176
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 486
/proc/meminfo: memFree=30612540/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=438192 CPUtime=444.42 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 90150 0 0 0 44369 73 0 0 20 0 3 0 275752686 448708608 90207 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 109548 90207 195 433 0 109112 0
[pid=482/tid=484] ppid=480 vsize=438192 CPUtime=221.61 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 55557 0 0 0 22107 54 0 0 20 0 3 0 275752689 448708608 90207 33554432000 4194304 5965102 140734490894496 139978981373944 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=438192 CPUtime=221.69 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 33020 0 0 0 22144 25 0 0 20 0 3 0 275752689 448708608 90207 33554432000 4194304 5965102 140734490894496 139978970884408 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 438192
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 486
/proc/meminfo: memFree=30577352/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=439736 CPUtime=564.36 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 95949 0 0 0 56357 79 0 0 20 0 3 0 275752686 450289664 96012 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 109934 96012 195 433 0 109498 0
[pid=482/tid=484] ppid=480 vsize=439736 CPUtime=281.45 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 59373 0 0 0 28087 58 0 0 20 0 3 0 275752689 450289664 96012 33554432000 4194304 5965102 140734490894496 139978981373992 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=439736 CPUtime=281.5 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 35003 0 0 0 28121 29 0 0 20 0 3 0 275752689 450289664 96012 33554432000 4194304 5965102 140734490894496 139978970884168 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 439736
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/182 489
/proc/meminfo: memFree=30522812/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=573920 CPUtime=684.3 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 108719 0 0 0 68334 96 0 0 20 0 3 0 275752686 587694080 108753 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 143480 108753 195 433 0 143044 0
[pid=482/tid=484] ppid=480 vsize=573920 CPUtime=341.26 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 66411 0 0 0 34059 67 0 0 20 0 3 0 275752689 587694080 108753 33554432000 4194304 5965102 140734490894496 139978981373752 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=573920 CPUtime=341.33 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 40735 0 0 0 34095 38 0 0 20 0 3 0 275752689 587694080 108753 33554432000 4194304 5965102 140734490894496 139978970884408 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.3
Current children cumulated vsize (KiB) 573920
[startup+402.3 s]
/proc/loadavg: 4.04 4.01 3.99 5/181 489
/proc/meminfo: memFree=30355668/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=641032 CPUtime=804.26 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 127195 0 0 0 80311 115 0 0 20 0 3 0 275752686 656416768 128423 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 160258 128423 195 433 0 159822 0
[pid=482/tid=484] ppid=480 vsize=641032 CPUtime=401.11 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 70408 0 0 0 40040 71 0 0 20 0 3 0 275752689 656416768 128423 33554432000 4194304 5965102 140734490894496 139978981374048 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=641032 CPUtime=401.16 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55214 0 0 0 40060 56 0 0 20 0 3 0 275752689 656416768 128423 33554432000 4194304 5965102 140734490894496 139978970884320 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (KiB) 641032
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.99 5/181 489
/proc/meminfo: memFree=30345980/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=642332 CPUtime=924.24 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 129006 0 0 0 92308 116 0 0 20 0 3 0 275752686 657747968 130009 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 160583 130009 195 433 0 160147 0
[pid=482/tid=484] ppid=480 vsize=642332 CPUtime=460.96 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 71968 0 0 0 46024 72 0 0 20 0 3 0 275752689 657747968 130009 33554432000 4194304 5965102 140734490894496 139978981373752 4382849 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=642332 CPUtime=461.01 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55465 0 0 0 46045 56 0 0 20 0 3 0 275752689 657747968 130009 33554432000 4194304 5965102 140734490894496 139978970884168 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 642332
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/182 491
/proc/meminfo: memFree=30326268/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=643896 CPUtime=1044.22 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 130951 0 0 0 104304 118 0 0 20 0 3 0 275752686 659349504 131920 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 160974 131920 195 433 0 160538 0
[pid=482/tid=484] ppid=480 vsize=643896 CPUtime=520.8 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 73703 0 0 0 52005 75 0 0 20 0 3 0 275752689 659349504 131920 33554432000 4194304 5965102 140734490894496 139978981374048 4383063 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=643896 CPUtime=520.85 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55675 0 0 0 52028 57 0 0 20 0 3 0 275752689 659349504 131920 33554432000 4194304 5965102 140734490894496 139978970884320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.22
Current children cumulated vsize (KiB) 643896
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/181 491
/proc/meminfo: memFree=30299740/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=646200 CPUtime=1164.2 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 136103 0 0 0 116294 126 0 0 20 0 3 0 275752686 661708800 137072 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 161550 137072 195 433 0 161114 0
[pid=482/tid=484] ppid=480 vsize=646200 CPUtime=580.65 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 78578 0 0 0 57981 84 0 0 20 0 3 0 275752689 661708800 137072 33554432000 4194304 5965102 140734490894496 139978981373856 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=646200 CPUtime=580.7 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 55952 0 0 0 58012 58 0 0 20 0 3 0 275752689 661708800 137072 33554432000 4194304 5965102 140734490894496 139978970884512 4401516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 646200
[startup+642.3 s]
/proc/loadavg: 3.80 3.94 3.97 5/181 653
/proc/meminfo: memFree=30806464/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=648804 CPUtime=1284.16 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 138547 0 0 0 128284 132 0 0 20 0 3 0 275752686 664375296 139882 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 162201 139882 195 433 0 161765 0
[pid=482/tid=484] ppid=480 vsize=648804 CPUtime=640.48 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 80853 0 0 0 63957 91 0 0 20 0 3 0 275752689 664375296 139882 33554432000 4194304 5965102 140734490894496 139978981373944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=648804 CPUtime=640.54 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56121 0 0 0 63995 59 0 0 20 0 3 0 275752689 664375296 139882 33554432000 4194304 5965102 140734490894496 139978970884456 4400981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.16
Current children cumulated vsize (KiB) 648804
[startup+702.3 s]
/proc/loadavg: 3.92 3.95 3.97 5/181 653
/proc/meminfo: memFree=30745244/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=716192 CPUtime=1404.09 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 141815 0 0 0 140271 138 0 0 20 0 3 0 275752686 733380608 143163 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 179048 143163 195 433 0 178612 0
[pid=482/tid=484] ppid=480 vsize=716192 CPUtime=700.31 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 83820 0 0 0 69934 97 0 0 20 0 3 0 275752689 733380608 143163 33554432000 4194304 5965102 140734490894496 139978981373752 4401041 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=716192 CPUtime=700.35 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56422 0 0 0 69975 60 0 0 20 0 3 0 275752689 733380608 143163 33554432000 4194304 5965102 140734490894496 139978970884512 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.09
Current children cumulated vsize (KiB) 716192
[startup+762.307 s]
/proc/loadavg: 3.97 3.95 3.97 5/181 653
/proc/meminfo: memFree=30688780/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=716896 CPUtime=1524.07 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 147095 0 0 0 152263 144 0 0 20 0 3 0 275752686 734101504 148450 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 179224 148450 195 433 0 178788 0
[pid=482/tid=484] ppid=480 vsize=716896 CPUtime=760.14 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 88937 0 0 0 75910 104 0 0 20 0 3 0 275752689 734101504 148450 33554432000 4194304 5965102 140734490894496 139978981373944 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=716896 CPUtime=760.2 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56585 0 0 0 75959 61 0 0 20 0 3 0 275752689 734101504 148450 33554432000 4194304 5965102 140734490894496 139978970884168 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.07
Current children cumulated vsize (KiB) 716896
[startup+822.3 s]
/proc/loadavg: 3.99 3.96 3.97 5/181 654
/proc/meminfo: memFree=30648580/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=717176 CPUtime=1644.02 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 150097 0 0 0 164254 148 0 0 20 0 3 0 275752686 734388224 151458 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 179294 151458 195 433 0 178858 0
[pid=482/tid=484] ppid=480 vsize=717176 CPUtime=819.97 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 91901 0 0 0 81888 109 0 0 20 0 3 0 275752689 734388224 151458 33554432000 4194304 5965102 140734490894496 139978981373944 4411917 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=717176 CPUtime=820.04 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 56623 0 0 0 81942 62 0 0 20 0 3 0 275752689 734388224 151458 33554432000 4194304 5965102 140734490894496 139978970884320 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.02
Current children cumulated vsize (KiB) 717176
[startup+882.3 s]
/proc/loadavg: 4.04 3.98 3.98 5/181 654
/proc/meminfo: memFree=30517324/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=787280 CPUtime=1764 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 171164 0 0 0 176228 172 0 0 20 0 3 0 275752686 806174720 172505 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 196820 172505 195 433 0 196384 0
[pid=482/tid=484] ppid=480 vsize=787280 CPUtime=879.81 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 112242 0 0 0 87848 133 0 0 20 0 3 0 275752689 806174720 172505 33554432000 4194304 5965102 140734490894496 139978981373944 4401109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=787280 CPUtime=879.89 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 57349 0 0 0 87925 64 0 0 20 0 3 0 275752689 806174720 172505 33554432000 4194304 5965102 140734490894496 139978970884216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764
Current children cumulated vsize (KiB) 787280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.03 3.98 3.98 5/181 654
/proc/meminfo: memFree=30499096/32873844 swapFree=7112/7112
[pid=482] ppid=480 vsize=788160 CPUtime=1800.2 cores=1,3,5,7
/proc/482/stat : 482 (pwbo2.0) S 480 482 31075 0 -1 4202496 174431 0 0 0 179843 177 0 0 20 0 3 0 275752686 807075840 175772 33554432000 4194304 5965102 140734490894496 140734490894016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/482/statm: 197040 175772 195 433 0 196604 0
[pid=482/tid=484] ppid=480 vsize=788160 CPUtime=897.87 cores=1,3,5,7
/proc/482/task/484/stat : 484 (pwbo2.0) R 480 482 31075 0 -1 4202560 115364 0 0 0 89648 139 0 0 20 0 3 0 275752689 807075840 175772 33554432000 4194304 5965102 140734490894496 139978981373944 4401475 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=788160 CPUtime=897.95 cores=1,3,5,7
/proc/482/task/485/stat : 485 (pwbo2.0) R 480 482 31075 0 -1 4202560 57494 0 0 0 89731 64 0 0 20 0 3 0 275752689 807075840 175772 33554432000 4194304 5965102 140734490894496 139978970884456 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 788160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 482 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=828296
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=60686
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.425
CPU time (s): 1800.2
CPU user time (s): 1798.43
CPU system time (s): 1.77
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 788160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.83
system time used= 2.06069
maximum resident set size= 703096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174433
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= 838
involuntary context switches= 2080
runsolver used 2.32065 second user time and 5.2842 second system time
The end