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-3725884-1338651552/watcher-3725884-1338651552 -o /tmp/evaluation-result-3725884-1338651552/solver-3725884-1338651552 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725884-1338651552.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: 1.00 1.00 1.20 3/172 17560
/proc/meminfo: memFree=27156788/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=4364 CPUtime=0 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) R 17558 17560 15996 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 1 0 331283743 4468736 360 33554432000 4194304 5964478 140736511731744 140734325764392 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 1091 361 164 433 0 644 0
[startup+0.0311361 s]
/proc/loadavg: 1.00 1.00 1.20 3/172 17560
/proc/meminfo: memFree=27156788/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166204 CPUtime=0.04 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 2616 0 0 0 3 1 0 0 20 0 3 0 331283743 170192896 2557 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41551 2557 203 433 0 41115 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 166204
[startup+0.100224 s]
/proc/loadavg: 1.00 1.00 1.20 3/172 17560
/proc/meminfo: memFree=27156788/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166204 CPUtime=0.18 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 3182 0 0 0 16 2 0 0 20 0 3 0 331283743 170192896 3123 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41551 3123 204 433 0 41115 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 166204
[startup+0.300172 s]
/proc/loadavg: 1.00 1.00 1.20 3/172 17560
/proc/meminfo: memFree=27156788/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166204 CPUtime=0.57 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 3608 0 0 0 55 2 0 0 20 0 3 0 331283743 170192896 3549 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41551 3549 204 433 0 41115 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 166204
[startup+0.700168 s]
/proc/loadavg: 1.00 1.00 1.20 3/172 17560
/proc/meminfo: memFree=27156788/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166204 CPUtime=1.38 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 4386 0 0 0 135 3 0 0 20 0 3 0 331283743 170192896 4327 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41551 4327 204 433 0 41115 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 166204
[startup+1.50039 s]
/proc/loadavg: 1.24 1.05 1.22 5/181 17574
/proc/meminfo: memFree=27085812/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166204 CPUtime=2.98 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 5452 0 0 0 294 4 0 0 20 0 3 0 331283743 170192896 5368 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41551 5368 204 433 0 41115 0
[pid=17560/tid=17562] ppid=17558 vsize=166204 CPUtime=1.48 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 2308 0 0 0 146 2 0 0 20 0 3 0 331283744 170192896 5368 33554432000 4194304 5964478 140736511731744 140708119043000 4388228 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=166204 CPUtime=1.47 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 2236 0 0 0 145 2 0 0 20 0 3 0 331283744 170192896 5368 33554432000 4194304 5964478 140736511731744 140708108552552 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 166204
[startup+3.10038 s]
/proc/loadavg: 1.24 1.05 1.22 5/181 17574
/proc/meminfo: memFree=27055896/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166204 CPUtime=6.17 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 7234 0 0 0 612 5 0 0 20 0 3 0 331283743 170192896 7151 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41551 7151 204 433 0 41115 0
[pid=17560/tid=17562] ppid=17558 vsize=166204 CPUtime=3.06 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 2983 0 0 0 304 2 0 0 20 0 3 0 331283744 170192896 7151 33554432000 4194304 5964478 140736511731744 140708119041848 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=166204 CPUtime=3.06 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 3343 0 0 0 303 3 0 0 20 0 3 0 331283744 170192896 7151 33554432000 4194304 5964478 140736511731744 140708108552504 4399969 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 166204
[startup+6.30039 s]
/proc/loadavg: 1.46 1.10 1.23 5/181 17574
/proc/meminfo: memFree=26977336/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166744 CPUtime=12.56 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 11074 0 0 0 1249 7 0 0 20 0 3 0 331283743 170745856 10991 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41686 10991 204 433 0 41250 0
[pid=17560/tid=17562] ppid=17558 vsize=166744 CPUtime=6.25 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 5296 0 0 0 622 3 0 0 20 0 3 0 331283744 170745856 10991 33554432000 4194304 5964478 140736511731744 140708119042088 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=166744 CPUtime=6.26 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 4870 0 0 0 622 4 0 0 20 0 3 0 331283744 170745856 10991 33554432000 4194304 5964478 140736511731744 140708108552504 4399827 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) 166744
[startup+12.7004 s]
/proc/loadavg: 1.66 1.15 1.25 5/181 17574
/proc/meminfo: memFree=26759740/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=166852 CPUtime=25.36 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 16432 0 0 0 2526 10 0 0 20 0 3 0 331283743 170856448 16291 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41713 16291 204 433 0 41277 0
[pid=17560/tid=17562] ppid=17558 vsize=166852 CPUtime=12.62 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 7367 0 0 0 1258 4 0 0 20 0 3 0 331283744 170856448 16291 33554432000 4194304 5964478 140736511731744 140708119042040 4400557 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=166852 CPUtime=12.64 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 8157 0 0 0 1259 5 0 0 20 0 3 0 331283744 170856448 16291 33554432000 4194304 5964478 140736511731744 140708108552504 4400076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166852
[startup+25.5004 s]
/proc/loadavg: 2.18 1.29 1.29 5/181 17574
/proc/meminfo: memFree=26589160/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=167012 CPUtime=50.94 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 23381 0 0 0 5080 14 0 0 20 0 3 0 331283743 171020288 23249 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 41753 23249 204 433 0 41317 0
[pid=17560/tid=17562] ppid=17558 vsize=167012 CPUtime=25.38 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 12774 0 0 0 2531 7 0 0 20 0 3 0 331283744 171020288 23249 33554432000 4194304 5964478 140736511731744 140708119041848 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=167012 CPUtime=25.41 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 9699 0 0 0 2535 6 0 0 20 0 3 0 331283744 171020288 23249 33554432000 4194304 5964478 140736511731744 140708108552504 4399941 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 167012
[startup+51.1004 s]
/proc/loadavg: 2.80 1.50 1.36 5/182 17577
/proc/meminfo: memFree=26212052/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=232948 CPUtime=102.11 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 34604 0 0 0 10191 20 0 0 20 0 3 0 331283743 238538752 34506 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 58237 34506 204 433 0 57801 0
[pid=17560/tid=17562] ppid=17558 vsize=232948 CPUtime=50.9 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 21803 0 0 0 5078 12 0 0 20 0 3 0 331283744 238538752 34506 33554432000 4194304 5964478 140736511731744 140708119042040 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=232948 CPUtime=50.94 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 11893 0 0 0 5086 8 0 0 20 0 3 0 331283744 238538752 34506 33554432000 4194304 5964478 140736511731744 140708108552504 5133940 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 232948
[startup+102.307 s]
/proc/loadavg: 3.48 1.89 1.50 5/182 17577
/proc/meminfo: memFree=25279052/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=298484 CPUtime=204.51 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 49191 0 0 0 20420 31 0 0 20 0 3 0 331283743 305647616 50344 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 74621 50344 204 433 0 74185 0
[pid=17560/tid=17562] ppid=17558 vsize=298484 CPUtime=101.97 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 34934 0 0 0 10175 22 0 0 20 0 3 0 331283744 305647616 50344 33554432000 4194304 5964478 140736511731744 140708119041848 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=298484 CPUtime=102.02 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 13349 0 0 0 10191 11 0 0 20 0 3 0 331283744 305647616 50344 33554432000 4194304 5964478 140736511731744 140708108552648 4399827 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 298484
[startup+162.3 s]
/proc/loadavg: 3.81 2.27 1.65 5/181 17577
/proc/meminfo: memFree=24480120/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=366076 CPUtime=324.49 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 65698 0 0 0 32402 47 0 0 20 0 3 0 331283743 374861824 66847 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 91519 66847 204 433 0 91083 0
[pid=17560/tid=17562] ppid=17558 vsize=366076 CPUtime=161.81 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 45309 0 0 0 16148 33 0 0 20 0 3 0 331283744 374861824 66847 33554432000 4194304 5964478 140736511731744 140708119042088 4399975 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=366076 CPUtime=161.86 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 19481 0 0 0 16169 17 0 0 20 0 3 0 331283744 374861824 66847 33554432000 4194304 5964478 140736511731744 140708108552504 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 366076
[startup+222.3 s]
/proc/loadavg: 3.96 2.59 1.80 5/181 17577
/proc/meminfo: memFree=24044560/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=366436 CPUtime=444.46 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 75717 0 0 0 44386 60 0 0 20 0 3 0 331283743 375230464 76862 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 91609 76862 204 433 0 91173 0
[pid=17560/tid=17562] ppid=17558 vsize=366436 CPUtime=221.66 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 46267 0 0 0 22132 34 0 0 20 0 3 0 331283744 375230464 76862 33554432000 4194304 5964478 140736511731744 140708119041848 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=366436 CPUtime=221.7 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 28542 0 0 0 22139 31 0 0 20 0 3 0 331283744 375230464 76862 33554432000 4194304 5964478 140736511731744 140708108552504 4400109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 366436
[startup+282.3 s]
/proc/loadavg: 3.98 2.85 1.93 5/181 17578
/proc/meminfo: memFree=23446888/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=498372 CPUtime=564.44 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 92405 0 0 0 56365 79 0 0 20 0 3 0 331283743 510332928 93550 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 124593 93550 204 433 0 124157 0
[pid=17560/tid=17562] ppid=17558 vsize=498372 CPUtime=281.5 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 56037 0 0 0 28104 46 0 0 20 0 3 0 331283744 510332928 93550 33554432000 4194304 5964478 140736511731744 140708119042040 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=498372 CPUtime=281.55 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 35460 0 0 0 28115 40 0 0 20 0 3 0 331283744 510332928 93550 33554432000 4194304 5964478 140736511731744 140708108552312 4400432 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 498372
[startup+342.3 s]
/proc/loadavg: 3.99 3.05 2.06 5/181 17578
/proc/meminfo: memFree=23088224/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=498372 CPUtime=684.43 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 99941 0 0 0 68354 89 0 0 20 0 3 0 331283743 510332928 101086 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 124593 101086 204 433 0 124157 0
################
# More data... #
################
[pid=17560/tid=17563] ppid=17558 vsize=498372 CPUtime=341.39 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 36752 0 0 0 34095 44 0 0 20 0 3 0 331283744 510332928 101086 33554432000 4194304 5964478 140736511731744 140708108552504 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 498372
[startup+402.3 s]
/proc/loadavg: 3.99 3.22 2.18 5/181 17578
/proc/meminfo: memFree=21773840/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=630092 CPUtime=804.41 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 122425 0 0 0 80311 130 0 0 20 0 3 0 331283743 645214208 123570 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 157523 123570 204 433 0 157087 0
[pid=17560/tid=17562] ppid=17558 vsize=630092 CPUtime=401.2 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 66854 0 0 0 40059 61 0 0 20 0 3 0 331283744 645214208 123570 33554432000 4194304 5964478 140736511731744 140708119042040 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=630092 CPUtime=401.24 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 54663 0 0 0 40044 80 0 0 20 0 3 0 331283744 645214208 123570 33554432000 4194304 5964478 140736511731744 140708108552552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (KiB) 630092
[startup+462.3 s]
/proc/loadavg: 3.99 3.36 2.29 5/181 17578
/proc/meminfo: memFree=21418740/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=631224 CPUtime=924.39 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 136551 0 0 0 92291 148 0 0 20 0 3 0 331283743 646373376 137695 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 157806 137695 204 433 0 157370 0
[pid=17560/tid=17562] ppid=17558 vsize=631224 CPUtime=461.04 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 74574 0 0 0 46036 68 0 0 20 0 3 0 331283744 646373376 137695 33554432000 4194304 5964478 140736511731744 140708119042040 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=631224 CPUtime=461.09 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 61069 0 0 0 46018 91 0 0 20 0 3 0 331283744 646373376 137695 33554432000 4194304 5964478 140736511731744 140708108552504 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (KiB) 631224
[startup+522.3 s]
/proc/loadavg: 4.03 3.49 2.40 5/181 17578
/proc/meminfo: memFree=21122988/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=697948 CPUtime=1044.38 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 145332 0 0 0 104278 160 0 0 20 0 3 0 331283743 714698752 146474 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 174487 146474 204 433 0 174051 0
[pid=17560/tid=17562] ppid=17558 vsize=697948 CPUtime=520.89 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 83355 0 0 0 52008 81 0 0 20 0 3 0 331283744 714698752 146474 33554432000 4194304 5964478 140736511731744 140708119042040 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=697948 CPUtime=520.93 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 61069 0 0 0 52001 92 0 0 20 0 3 0 331283744 714698752 146474 33554432000 4194304 5964478 140736511731744 140708108552504 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.38
Current children cumulated vsize (KiB) 697948
[startup+582.3 s]
/proc/loadavg: 4.01 3.58 2.50 5/181 17579
/proc/meminfo: memFree=20541752/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=697948 CPUtime=1164.36 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 145408 0 0 0 116276 160 0 0 20 0 3 0 331283743 714698752 146550 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 174487 146550 204 433 0 174051 0
[pid=17560/tid=17562] ppid=17558 vsize=697948 CPUtime=580.73 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 83428 0 0 0 57991 82 0 0 20 0 3 0 331283744 714698752 146550 33554432000 4194304 5964478 140736511731744 140708119042040 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=697948 CPUtime=580.78 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 61072 0 0 0 57985 93 0 0 20 0 3 0 331283744 714698752 146550 33554432000 4194304 5964478 140736511731744 140708108552504 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.36
Current children cumulated vsize (KiB) 697948
[startup+642.3 s]
/proc/loadavg: 4.00 3.65 2.59 5/181 17579
/proc/meminfo: memFree=20368148/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=764292 CPUtime=1284.35 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 154271 0 0 0 128259 176 0 0 20 0 3 0 331283743 782635008 155413 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 191073 155413 204 433 0 190637 0
[pid=17560/tid=17562] ppid=17558 vsize=764292 CPUtime=640.59 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 83470 0 0 0 63976 83 0 0 20 0 3 0 331283744 782635008 155413 33554432000 4194304 5964478 140736511731744 140708119042040 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=764292 CPUtime=640.63 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 69893 0 0 0 63953 110 0 0 20 0 3 0 331283744 782635008 155413 33554432000 4194304 5964478 140736511731744 140708108552552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.35
Current children cumulated vsize (KiB) 764292
[startup+702.3 s]
/proc/loadavg: 4.00 3.71 2.67 5/182 17582
/proc/meminfo: memFree=20220524/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=764452 CPUtime=1404.32 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 156958 0 0 0 140253 179 0 0 20 0 3 0 331283743 782798848 158100 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 191113 158100 204 433 0 190677 0
[pid=17560/tid=17562] ppid=17558 vsize=764452 CPUtime=700.43 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 86157 0 0 0 69956 87 0 0 20 0 3 0 331283744 782798848 158100 33554432000 4194304 5964478 140736511731744 140708119042088 4403370 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=764452 CPUtime=700.47 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 69893 0 0 0 69936 111 0 0 20 0 3 0 331283744 782798848 158100 33554432000 4194304 5964478 140736511731744 140708108552552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.32
Current children cumulated vsize (KiB) 764452
[startup+762.307 s]
/proc/loadavg: 4.00 3.76 2.75 5/181 17582
/proc/meminfo: memFree=20036280/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=766556 CPUtime=1524.3 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 165718 0 0 0 152239 191 0 0 20 0 3 0 331283743 784953344 167091 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 191639 167091 204 433 0 191203 0
[pid=17560/tid=17562] ppid=17558 vsize=766556 CPUtime=760.27 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 94916 0 0 0 75927 100 0 0 20 0 3 0 331283744 784953344 167091 33554432000 4194304 5964478 140736511731744 140708119041848 4410877 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=766556 CPUtime=760.32 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 69894 0 0 0 75920 112 0 0 20 0 3 0 331283744 784953344 167091 33554432000 4194304 5964478 140736511731744 140708108552552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.3
Current children cumulated vsize (KiB) 766556
[startup+822.3 s]
/proc/loadavg: 4.00 3.80 2.83 5/181 17582
/proc/meminfo: memFree=19872364/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=832416 CPUtime=1644.25 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 173202 0 0 0 164222 203 0 0 20 0 3 0 331283743 852393984 174664 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 208104 174664 204 433 0 207668 0
[pid=17560/tid=17562] ppid=17558 vsize=832416 CPUtime=820.1 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 102362 0 0 0 81897 113 0 0 20 0 3 0 331283744 852393984 174664 33554432000 4194304 5964478 140736511731744 140708119042040 4399975 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=832416 CPUtime=820.13 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 69932 0 0 0 81900 113 0 0 20 0 3 0 331283744 852393984 174664 33554432000 4194304 5964478 140736511731744 140708108552552 4400006 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.25
Current children cumulated vsize (KiB) 832416
[startup+882.3 s]
/proc/loadavg: 4.00 3.84 2.90 5/181 17583
/proc/meminfo: memFree=19255584/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=833872 CPUtime=1764.2 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 175925 0 0 0 176214 206 0 0 20 0 3 0 331283743 853884928 177580 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 208468 177580 204 433 0 208032 0
[pid=17560/tid=17562] ppid=17558 vsize=833872 CPUtime=879.9 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 105085 0 0 0 87873 117 0 0 20 0 3 0 331283744 853884928 177580 33554432000 4194304 5964478 140736511731744 140708119041848 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=833872 CPUtime=879.98 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 69932 0 0 0 87884 114 0 0 20 0 3 0 331283744 853884928 177580 33554432000 4194304 5964478 140736511731744 140708108552552 4400576 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.2
Current children cumulated vsize (KiB) 833872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.85 2.92 5/181 17583
/proc/meminfo: memFree=19212936/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=833872 CPUtime=1800.19 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 178499 0 0 0 179808 211 0 0 20 0 3 0 331283743 853884928 180291 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 208468 180291 204 433 0 208032 0
[pid=17560/tid=17562] ppid=17558 vsize=833872 CPUtime=897.85 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 105127 0 0 0 89668 117 0 0 20 0 3 0 331283744 853884928 180291 33554432000 4194304 5964478 140736511731744 140708119041848 4399932 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=833872 CPUtime=897.94 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 72464 0 0 0 89675 119 0 0 20 0 3 0 331283744 853884928 180291 33554432000 4194304 5964478 140736511731744 140708108552504 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 833872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 3.85 2.92 5/181 17583
/proc/meminfo: memFree=19212936/32873844 swapFree=7628/7628
[pid=17560] ppid=17558 vsize=833872 CPUtime=1800.19 cores=1,3,5,7
/proc/17560/stat : 17560 (pwbo2.02) S 17558 17560 15996 0 -1 4202496 178499 0 0 0 179808 211 0 0 20 0 3 0 331283743 853884928 180291 33554432000 4194304 5964478 140736511731744 140736511731264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17560/statm: 208468 180291 204 433 0 208032 0
[pid=17560/tid=17562] ppid=17558 vsize=833872 CPUtime=897.85 cores=1,3,5,7
/proc/17560/task/17562/stat : 17562 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 105127 0 0 0 89668 117 0 0 20 0 3 0 331283744 853884928 180291 33554432000 4194304 5964478 140736511731744 140708119041848 4399932 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17560/tid=17563] ppid=17558 vsize=833872 CPUtime=897.94 cores=1,3,5,7
/proc/17560/task/17563/stat : 17563 (pwbo2.02) R 17558 17560 15996 0 -1 4202560 72464 0 0 0 89675 119 0 0 20 0 3 0 331283744 853884928 180291 33554432000 4194304 5964478 140736511731744 140708108552504 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 833872
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17560 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=452353
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=400635
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.338
CPU time (s): 1800.19
CPU user time (s): 1798.08
CPU system time (s): 2.11
CPU usage (%): 199.946
Max. virtual memory (cumulated for all children) (KiB): 833872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.45
system time used= 2.40063
maximum resident set size= 721176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178502
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= 392
involuntary context switches= 2015
runsolver used 1.56176 second user time and 5.9231 second system time
The end