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-3726047-1338656322/watcher-3726047-1338656322 -o /tmp/evaluation-result-3726047-1338656322/solver-3726047-1338656322 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726047-1338656322.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.83 3.94 3.90 4/178 484
/proc/meminfo: memFree=28850656/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 801 0 0 0 0 0 0 0 20 0 3 0 331756554 166207488 752 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40578 752 188 433 0 40142 0
[pid=484/tid=485] ppid=482 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 3 0 331756555 166207488 764 33554432000 4194304 5964478 140734391770736 140243115732016 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 3 0 331756555 166207488 764 33554432000 4194304 5964478 140734391770736 140243105242160 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.017464 s]
/proc/loadavg: 3.83 3.94 3.90 4/178 484
/proc/meminfo: memFree=28850656/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162312 CPUtime=0.02 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 858 0 0 0 2 0 0 0 20 0 3 0 331756554 166207488 809 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40578 809 191 433 0 40142 0
[pid=484/tid=485] ppid=482 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 3 0 331756555 166207488 809 33554432000 4194304 5964478 140734391770736 140243115732016 5244295 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 3 0 331756555 166207488 810 33554432000 4194304 5964478 140734391770736 140243105242160 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 162312
[startup+0.100278 s]
/proc/loadavg: 3.83 3.94 3.90 4/178 484
/proc/meminfo: memFree=28850656/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162312 CPUtime=0.19 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 1164 0 0 0 19 0 0 0 20 0 3 0 331756554 166207488 1115 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40578 1115 191 433 0 40142 0
[pid=484/tid=485] ppid=482 vsize=162312 CPUtime=0.08 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 233 0 0 0 8 0 0 0 20 0 3 0 331756555 166207488 1115 33554432000 4194304 5964478 140734391770736 140243115730744 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162312 CPUtime=0.08 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 174 0 0 0 8 0 0 0 20 0 3 0 331756555 166207488 1115 33554432000 4194304 5964478 140734391770736 140243105242160 4400416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162312
[startup+0.300253 s]
/proc/loadavg: 3.83 3.94 3.90 4/178 484
/proc/meminfo: memFree=28850656/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162312 CPUtime=0.59 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 1782 0 0 0 59 0 0 0 20 0 3 0 331756554 166207488 1733 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40578 1733 191 433 0 40142 0
[pid=484/tid=485] ppid=482 vsize=162312 CPUtime=0.28 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 595 0 0 0 28 0 0 0 20 0 3 0 331756555 166207488 1733 33554432000 4194304 5964478 140734391770736 140243115730936 4399912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162312 CPUtime=0.28 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 430 0 0 0 28 0 0 0 20 0 3 0 331756555 166207488 1733 33554432000 4194304 5964478 140734391770736 140243105241208 4222304 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162312
[startup+0.700264 s]
/proc/loadavg: 3.83 3.94 3.90 4/178 484
/proc/meminfo: memFree=28850656/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162600 CPUtime=1.38 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 2547 0 0 0 138 0 0 0 20 0 3 0 331756554 166502400 2498 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40650 2498 191 433 0 40214 0
[pid=484/tid=485] ppid=482 vsize=162600 CPUtime=0.68 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 1049 0 0 0 68 0 0 0 20 0 3 0 331756555 166502400 2498 33554432000 4194304 5964478 140734391770736 140243115730936 4400812 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162600 CPUtime=0.68 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 741 0 0 0 68 0 0 0 20 0 3 0 331756555 166502400 2498 33554432000 4194304 5964478 140734391770736 140243105241400 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162600
[startup+1.50037 s]
/proc/loadavg: 3.83 3.94 3.90 5/181 487
/proc/meminfo: memFree=28840580/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162600 CPUtime=2.99 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 3053 0 0 0 298 1 0 0 20 0 3 0 331756554 166502400 3004 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40650 3004 191 433 0 40214 0
[pid=484/tid=485] ppid=482 vsize=162600 CPUtime=1.48 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 1448 0 0 0 148 0 0 0 20 0 3 0 331756555 166502400 3004 33554432000 4194304 5964478 140734391770736 140243115730744 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162600 CPUtime=1.48 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 848 0 0 0 148 0 0 0 20 0 3 0 331756555 166502400 3004 33554432000 4194304 5964478 140734391770736 140243105241400 4400024 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162600
[startup+3.10037 s]
/proc/loadavg: 3.83 3.94 3.90 5/181 487
/proc/meminfo: memFree=28835232/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162744 CPUtime=6.19 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 4919 0 0 0 616 3 0 0 20 0 3 0 331756554 166649856 4870 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40686 4870 191 433 0 40250 0
[pid=484/tid=485] ppid=482 vsize=162744 CPUtime=3.07 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 2662 0 0 0 306 1 0 0 20 0 3 0 331756555 166649856 4870 33554432000 4194304 5964478 140734391770736 140243115730456 4399969 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162744 CPUtime=3.07 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 1500 0 0 0 306 1 0 0 20 0 3 0 331756555 166649856 4870 33554432000 4194304 5964478 140734391770736 140243105241400 4388850 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 162744
[startup+6.30037 s]
/proc/loadavg: 3.85 3.94 3.90 5/181 487
/proc/meminfo: memFree=28822468/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=162960 CPUtime=12.59 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 6647 0 0 0 1254 5 0 0 20 0 3 0 331756554 166871040 6598 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 40740 6598 191 433 0 40304 0
[pid=484/tid=485] ppid=482 vsize=162960 CPUtime=6.27 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 3847 0 0 0 626 1 0 0 20 0 3 0 331756555 166871040 6598 33554432000 4194304 5964478 140734391770736 140243115730744 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=162960 CPUtime=6.26 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 2043 0 0 0 623 3 0 0 20 0 3 0 331756555 166871040 6598 33554432000 4194304 5964478 140734391770736 140243105241400 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 162960
[startup+12.7004 s]
/proc/loadavg: 3.86 3.94 3.90 5/181 487
/proc/meminfo: memFree=28811052/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=164000 CPUtime=25.39 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 9080 0 0 0 2532 7 0 0 20 0 3 0 331756554 167936000 9031 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 41000 9031 191 433 0 40564 0
[pid=484/tid=485] ppid=482 vsize=164000 CPUtime=12.65 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 5562 0 0 0 1262 3 0 0 20 0 3 0 331756555 167936000 9031 33554432000 4194304 5964478 140734391770736 140243115730744 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=164000 CPUtime=12.65 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 2761 0 0 0 1262 3 0 0 20 0 3 0 331756555 167936000 9031 33554432000 4194304 5964478 140734391770736 140243105241400 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 164000
[startup+25.5004 s]
/proc/loadavg: 3.89 3.94 3.90 5/181 487
/proc/meminfo: memFree=28794428/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=165656 CPUtime=50.98 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 12741 0 0 0 5086 12 0 0 20 0 3 0 331756554 169631744 12692 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 41414 12692 191 433 0 40978 0
[pid=484/tid=485] ppid=482 vsize=165656 CPUtime=25.41 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 8366 0 0 0 2535 6 0 0 20 0 3 0 331756555 169631744 12692 33554432000 4194304 5964478 140734391770736 140243115730936 4403708 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=165656 CPUtime=25.41 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 3618 0 0 0 2536 5 0 0 20 0 3 0 331756555 169631744 12692 33554432000 4194304 5964478 140734391770736 140243105241400 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 165656
[startup+51.1004 s]
/proc/loadavg: 3.93 3.94 3.90 5/181 488
/proc/meminfo: memFree=28757816/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=169772 CPUtime=102.18 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 18329 0 0 0 10198 20 0 0 20 0 3 0 331756554 173846528 18124 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 42443 18124 191 433 0 42007 0
[pid=484/tid=485] ppid=482 vsize=169772 CPUtime=50.95 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 12608 0 0 0 5085 10 0 0 20 0 3 0 331756555 173846528 18124 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=169772 CPUtime=50.95 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 4964 0 0 0 5086 9 0 0 20 0 3 0 331756555 173846528 18124 33554432000 4194304 5964478 140734391770736 140243105241448 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 169772
[startup+102.307 s]
/proc/loadavg: 4.02 3.97 3.91 5/182 491
/proc/meminfo: memFree=28700188/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=238976 CPUtime=204.57 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 26792 0 0 0 20421 36 0 0 20 0 3 0 331756554 244711424 26082 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 59744 26082 191 433 0 59308 0
[pid=484/tid=485] ppid=482 vsize=238976 CPUtime=102.02 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 19362 0 0 0 10180 22 0 0 20 0 3 0 331756555 244711424 26082 33554432000 4194304 5964478 140734391770736 140243115730456 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=238976 CPUtime=102.02 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 6673 0 0 0 10187 15 0 0 20 0 3 0 331756555 244711424 26082 33554432000 4194304 5964478 140734391770736 140243105240920 4379008 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 238976
[startup+162.3 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 515
/proc/meminfo: memFree=28657328/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=240864 CPUtime=324.52 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 33395 0 0 0 32404 48 0 0 20 0 3 0 331756554 246644736 32684 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 60216 32684 191 433 0 59780 0
[pid=484/tid=485] ppid=482 vsize=240864 CPUtime=161.85 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 24636 0 0 0 16153 32 0 0 20 0 3 0 331756555 246644736 32684 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=240864 CPUtime=161.86 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 8002 0 0 0 16167 19 0 0 20 0 3 0 331756555 246644736 32684 33554432000 4194304 5964478 140734391770736 140243105240920 4400401 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 240864
[startup+222.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 515
/proc/meminfo: memFree=28609624/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=241368 CPUtime=444.45 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 39192 0 0 0 44384 61 0 0 20 0 3 0 331756554 247160832 38218 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 60342 38218 191 433 0 59906 0
[pid=484/tid=485] ppid=482 vsize=241368 CPUtime=221.63 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 30005 0 0 0 22118 45 0 0 20 0 3 0 331756555 247160832 38218 33554432000 4194304 5964478 140734391770736 140243115730936 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=241368 CPUtime=221.7 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 8430 0 0 0 22149 21 0 0 20 0 3 0 331756555 247160832 38218 33554432000 4194304 5964478 140734391770736 140243105240920 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 241368
################
# More data... #
################
[pid=484/tid=486] ppid=482 vsize=312920 CPUtime=341.38 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 10662 0 0 0 34108 30 0 0 20 0 3 0 331756555 320430080 51784 33554432000 4194304 5964478 140734391770736 140243105241432 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 312920
[startup+402.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/181 516
/proc/meminfo: memFree=28495184/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=313980 CPUtime=804.38 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 54658 0 0 0 80346 92 0 0 20 0 3 0 331756554 321515520 55104 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 78495 55104 191 433 0 78059 0
[pid=484/tid=485] ppid=482 vsize=313980 CPUtime=401.16 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 43185 0 0 0 40043 73 0 0 20 0 3 0 331756555 321515520 55104 33554432000 4194304 5964478 140734391770736 140243115730456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=313980 CPUtime=401.22 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 10716 0 0 0 40091 31 0 0 20 0 3 0 331756555 321515520 55104 33554432000 4194304 5964478 140734391770736 140243105241448 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 313980
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 516
/proc/meminfo: memFree=28461952/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=315216 CPUtime=924.37 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 59499 0 0 0 92336 101 0 0 20 0 3 0 331756554 322781184 59945 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 78804 59945 191 433 0 78368 0
[pid=484/tid=485] ppid=482 vsize=315216 CPUtime=461 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 47228 0 0 0 46020 80 0 0 20 0 3 0 331756555 322781184 59945 33554432000 4194304 5964478 140734391770736 140243115730456 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=315216 CPUtime=461.07 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 11514 0 0 0 46074 33 0 0 20 0 3 0 331756555 322781184 59945 33554432000 4194304 5964478 140734391770736 140243105241448 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.37
Current children cumulated vsize (KiB) 315216
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 516
/proc/meminfo: memFree=28441628/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=316480 CPUtime=1044.33 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 63090 0 0 0 104325 108 0 0 20 0 3 0 331756554 324075520 63534 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 79120 63534 191 433 0 78684 0
[pid=484/tid=485] ppid=482 vsize=316480 CPUtime=520.82 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 49964 0 0 0 51996 86 0 0 20 0 3 0 331756555 324075520 63534 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=316480 CPUtime=520.92 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 12369 0 0 0 52057 35 0 0 20 0 3 0 331756555 324075520 63534 33554432000 4194304 5964478 140734391770736 140243105240920 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 316480
[startup+582.3 s]
/proc/loadavg: 4.06 4.00 3.92 5/181 516
/proc/meminfo: memFree=28416252/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=383100 CPUtime=1164.3 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 66471 0 0 0 116314 116 0 0 20 0 3 0 331756554 392294400 66911 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 95775 66911 191 433 0 95339 0
[pid=484/tid=485] ppid=482 vsize=383100 CPUtime=580.65 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 53232 0 0 0 57970 95 0 0 20 0 3 0 331756555 392294400 66911 33554432000 4194304 5964478 140734391770736 140243115730984 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=383100 CPUtime=580.76 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 12482 0 0 0 58039 37 0 0 20 0 3 0 331756555 392294400 66911 33554432000 4194304 5964478 140734391770736 140243105241400 4400628 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 383100
[startup+642.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/180 597
/proc/meminfo: memFree=28779376/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=384040 CPUtime=1284.29 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 71549 0 0 0 128300 129 0 0 20 0 3 0 331756554 393256960 71204 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 96010 71204 191 433 0 95574 0
[pid=484/tid=485] ppid=482 vsize=384040 CPUtime=640.5 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 57580 0 0 0 63945 105 0 0 20 0 3 0 331756555 393256960 71204 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=384040 CPUtime=640.61 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 13212 0 0 0 64020 41 0 0 20 0 3 0 331756555 393256960 71204 33554432000 4194304 5964478 140734391770736 140243105241432 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 384040
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 601
/proc/meminfo: memFree=28750432/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=385296 CPUtime=1404.26 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 73524 0 0 0 140294 132 0 0 20 0 3 0 331756554 394543104 73179 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 96324 73179 191 433 0 95888 0
[pid=484/tid=485] ppid=482 vsize=385296 CPUtime=700.34 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 59514 0 0 0 69925 109 0 0 20 0 3 0 331756555 394543104 73179 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=385296 CPUtime=700.45 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 13253 0 0 0 70003 42 0 0 20 0 3 0 331756555 394543104 73179 33554432000 4194304 5964478 140734391770736 140243105241448 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 385296
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 601
/proc/meminfo: memFree=28713812/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=386720 CPUtime=1524.24 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 78238 0 0 0 152282 142 0 0 20 0 3 0 331756554 396001280 77888 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 96680 77888 191 433 0 96244 0
[pid=484/tid=485] ppid=482 vsize=386720 CPUtime=760.17 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 63621 0 0 0 75898 119 0 0 20 0 3 0 331756555 396001280 77888 33554432000 4194304 5964478 140734391770736 140243115730456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=386720 CPUtime=760.3 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 13860 0 0 0 75986 44 0 0 20 0 3 0 331756555 396001280 77888 33554432000 4194304 5964478 140734391770736 140243105241208 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 386720
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 601
/proc/meminfo: memFree=28691864/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=387120 CPUtime=1644.2 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 81488 0 0 0 164272 148 0 0 20 0 3 0 331756554 396410880 81138 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 96780 81138 191 433 0 96344 0
[pid=484/tid=485] ppid=482 vsize=387120 CPUtime=820 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 66871 0 0 0 81874 126 0 0 20 0 3 0 331756555 396410880 81138 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=387120 CPUtime=820.14 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 13860 0 0 0 81969 45 0 0 20 0 3 0 331756555 396410880 81138 33554432000 4194304 5964478 140734391770736 140243105241208 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 387120
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 601
/proc/meminfo: memFree=28667184/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=455764 CPUtime=1764.18 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 86373 0 0 0 176259 159 0 0 20 0 3 0 331756554 466702336 86023 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 113941 86023 191 433 0 113505 0
[pid=484/tid=485] ppid=482 vsize=455764 CPUtime=879.85 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 69819 0 0 0 87851 134 0 0 20 0 3 0 331756555 466702336 86023 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=455764 CPUtime=879.98 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 15797 0 0 0 87948 50 0 0 20 0 3 0 331756555 466702336 86023 33554432000 4194304 5964478 140734391770736 140243105240920 4379232 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 455764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 601
/proc/meminfo: memFree=28661728/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=456284 CPUtime=1800.19 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 87309 0 0 0 179857 162 0 0 20 0 3 0 331756554 467234816 86959 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 114071 86959 191 433 0 113635 0
[pid=484/tid=485] ppid=482 vsize=456284 CPUtime=897.81 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 70755 0 0 0 89644 137 0 0 20 0 3 0 331756555 467234816 86959 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=456284 CPUtime=897.94 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 15797 0 0 0 89744 50 0 0 20 0 3 0 331756555 467234816 86959 33554432000 4194304 5964478 140734391770736 140243105240920 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 456284
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 4.00 3.92 5/181 601
/proc/meminfo: memFree=28661728/32873844 swapFree=7644/7644
[pid=484] ppid=482 vsize=456284 CPUtime=1800.19 cores=1,3,5,7
/proc/484/stat : 484 (pwbo2.02) S 482 484 30509 0 -1 4202496 87309 0 0 0 179857 162 0 0 20 0 3 0 331756554 467234816 86959 33554432000 4194304 5964478 140734391770736 140734391770256 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/484/statm: 114071 86959 191 433 0 113635 0
[pid=484/tid=485] ppid=482 vsize=456284 CPUtime=897.81 cores=1,3,5,7
/proc/484/task/485/stat : 485 (pwbo2.02) R 482 484 30509 0 -1 4202560 70755 0 0 0 89644 137 0 0 20 0 3 0 331756555 467234816 86959 33554432000 4194304 5964478 140734391770736 140243115730456 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=484/tid=486] ppid=482 vsize=456284 CPUtime=897.94 cores=1,3,5,7
/proc/484/task/486/stat : 486 (pwbo2.02) R 482 484 30509 0 -1 4202560 15797 0 0 0 89744 50 0 0 20 0 3 0 331756555 467234816 86959 33554432000 4194304 5964478 140734391770736 140243105240920 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 456284
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 484 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=908284
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=890712
# CPU time returned by wait4() is 1795.8
# 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.319
CPU time (s): 1800.19
CPU user time (s): 1798.57
CPU system time (s): 1.62
CPU usage (%): 199.95
Max. virtual memory (cumulated for all children) (KiB): 456284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 1.89071
maximum resident set size= 347840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87310
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= 229
involuntary context switches= 2344
runsolver used 2.27165 second user time and 5.32519 second system time
The end