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-3703737-1338094121/watcher-3703737-1338094121 -o /tmp/evaluation-result-3703737-1338094121/solver-3703737-1338094121 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703737-1338094121.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 4.00 3.93 4/180 17725
/proc/meminfo: memFree=29601448/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 3 0 275536874 166121472 755 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 40557 755 193 433 0 40121 0
[pid=17725/tid=17726] ppid=17723 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 3 0 275536874 166121472 755 33554432000 4194304 5965102 140734713838512 140734713837832 5137146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=162228 CPUtime=0 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 3 0 275536874 166121472 756 33554432000 4194304 5965102 140734713838512 140734713837832 5137146 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0552181 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17725
/proc/meminfo: memFree=29601448/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=162228 CPUtime=0.1 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 1134 0 0 0 10 0 0 0 20 0 3 0 275536874 166121472 1086 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 40557 1086 195 433 0 40121 0
[pid=17725/tid=17726] ppid=17723 vsize=162228 CPUtime=0.03 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 218 0 0 0 3 0 0 0 20 0 3 0 275536874 166121472 1090 33554432000 4194304 5965102 140734713838512 139993647208432 5179915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=162228 CPUtime=0.03 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 184 0 0 0 3 0 0 0 20 0 3 0 275536874 166121472 1090 33554432000 4194304 5965102 140734713838512 139993636718896 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 162228
[startup+0.100316 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17725
/proc/meminfo: memFree=29601448/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=162228 CPUtime=0.18 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 1371 0 0 0 18 0 0 0 20 0 3 0 275536874 166121472 1323 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 40557 1323 195 433 0 40121 0
[pid=17725/tid=17726] ppid=17723 vsize=162228 CPUtime=0.08 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 341 0 0 0 8 0 0 0 20 0 3 0 275536874 166121472 1323 33554432000 4194304 5965102 140734713838512 139993647208432 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=162228 CPUtime=0.08 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 294 0 0 0 8 0 0 0 20 0 3 0 275536874 166121472 1323 33554432000 4194304 5965102 140734713838512 139993636718896 4401462 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162228
[startup+0.300272 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17725
/proc/meminfo: memFree=29601448/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=162228 CPUtime=0.58 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 1795 0 0 0 58 0 0 0 20 0 3 0 275536874 166121472 1747 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 40557 1747 195 433 0 40121 0
[pid=17725/tid=17726] ppid=17723 vsize=162228 CPUtime=0.27 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 676 0 0 0 27 0 0 0 20 0 3 0 275536874 166121472 1747 33554432000 4194304 5965102 140734713838512 139993647208432 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=162228 CPUtime=0.27 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 383 0 0 0 27 0 0 0 20 0 3 0 275536874 166121472 1747 33554432000 4194304 5965102 140734713838512 139993636718896 4390204 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162228
[startup+0.700257 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17725
/proc/meminfo: memFree=29601448/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=162516 CPUtime=1.37 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 2358 0 0 0 137 0 0 0 20 0 3 0 275536874 166416384 2310 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 40629 2310 195 433 0 40193 0
[pid=17725/tid=17726] ppid=17723 vsize=162516 CPUtime=0.67 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 1097 0 0 0 67 0 0 0 20 0 3 0 275536874 166416384 2310 33554432000 4194304 5965102 140734713838512 139993647208432 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=162516 CPUtime=0.67 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 525 0 0 0 67 0 0 0 20 0 3 0 275536874 166416384 2310 33554432000 4194304 5965102 140734713838512 139993636718896 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 162516
[startup+1.50028 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17728
/proc/meminfo: memFree=29591232/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=163164 CPUtime=2.96 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 3080 0 0 0 296 0 0 0 20 0 3 0 275536874 167079936 3032 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 40791 3032 195 433 0 40355 0
[pid=17725/tid=17726] ppid=17723 vsize=163164 CPUtime=1.47 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 1590 0 0 0 147 0 0 0 20 0 3 0 275536874 167079936 3032 33554432000 4194304 5965102 140734713838512 139993647208432 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=163164 CPUtime=1.46 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 754 0 0 0 146 0 0 0 20 0 3 0 275536874 167079936 3032 33554432000 4194304 5965102 140734713838512 139993636718896 4400986 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 163164
[startup+3.10035 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17728
/proc/meminfo: memFree=29586272/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=164748 CPUtime=6.14 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 4267 0 0 0 613 1 0 0 20 0 3 0 275536874 168701952 4219 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 41187 4219 195 433 0 40751 0
[pid=17725/tid=17726] ppid=17723 vsize=164748 CPUtime=3.07 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 2451 0 0 0 307 0 0 0 20 0 3 0 275536874 168701952 4219 33554432000 4194304 5965102 140734713838512 139993647208432 4400966 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=164748 CPUtime=3.04 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 1080 0 0 0 304 0 0 0 20 0 3 0 275536874 168701952 4219 33554432000 4194304 5965102 140734713838512 139993636718896 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 164748
[startup+6.30037 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17728
/proc/meminfo: memFree=29574740/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=167164 CPUtime=12.5 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 5838 0 0 0 1248 2 0 0 20 0 3 0 275536874 171175936 5790 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 41791 5790 195 433 0 41355 0
[pid=17725/tid=17726] ppid=17723 vsize=167164 CPUtime=6.27 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 3669 0 0 0 625 2 0 0 20 0 3 0 275536874 171175936 5790 33554432000 4194304 5965102 140734713838512 139993647208248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=167164 CPUtime=6.21 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 1433 0 0 0 621 0 0 0 20 0 3 0 275536874 171175936 5790 33554432000 4194304 5965102 140734713838512 139993636718896 4404407 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 167164
[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17728
/proc/meminfo: memFree=29559744/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=171508 CPUtime=25.25 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 7808 0 0 0 2522 3 0 0 20 0 3 0 275536874 175624192 7760 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 42877 7760 195 433 0 42441 0
[pid=17725/tid=17726] ppid=17723 vsize=171508 CPUtime=12.67 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5234 0 0 0 1264 3 0 0 20 0 3 0 275536874 175624192 7760 33554432000 4194304 5965102 140734713838512 139993647208488 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=171508 CPUtime=12.57 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 1838 0 0 0 1257 0 0 0 20 0 3 0 275536874 175624192 7760 33554432000 4194304 5965102 140734713838512 139993636718896 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 171508
[startup+25.5004 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17728
/proc/meminfo: memFree=29536160/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=177044 CPUtime=50.76 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 11149 0 0 0 5071 5 0 0 20 0 3 0 275536874 181293056 11101 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 44261 11101 195 433 0 43825 0
[pid=17725/tid=17726] ppid=17723 vsize=177044 CPUtime=25.47 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 8093 0 0 0 2542 5 0 0 20 0 3 0 275536874 181293056 11101 33554432000 4194304 5965102 140734713838512 139993647208488 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=177044 CPUtime=25.28 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 2320 0 0 0 2528 0 0 0 20 0 3 0 275536874 181293056 11101 33554432000 4194304 5965102 140734713838512 139993636718896 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 177044
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17728
/proc/meminfo: memFree=29516164/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=184164 CPUtime=101.83 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 15544 0 0 0 10174 9 0 0 20 0 3 0 275536874 188583936 15496 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 46041 15496 195 433 0 45605 0
[pid=17725/tid=17726] ppid=17723 vsize=184164 CPUtime=51.07 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 11989 0 0 0 5099 8 0 0 20 0 3 0 275536874 188583936 15496 33554432000 4194304 5965102 140734713838512 139993647208248 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=184164 CPUtime=50.75 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 2819 0 0 0 5073 2 0 0 20 0 3 0 275536874 188583936 15496 33554432000 4194304 5965102 140734713838512 139993636719008 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 184164
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.93 3/180 17732
/proc/meminfo: memFree=29955668/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=197032 CPUtime=204.01 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 22351 0 0 0 20388 13 0 0 20 0 3 0 275536874 201760768 22303 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 49258 22303 195 433 0 48822 0
[pid=17725/tid=17726] ppid=17723 vsize=197032 CPUtime=102.28 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 18041 0 0 0 10216 12 0 0 20 0 3 0 275536874 201760768 22303 33554432000 4194304 5965102 140734713838512 139993647207960 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=197032 CPUtime=101.75 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 3574 0 0 0 10171 4 0 0 20 0 3 0 275536874 201760768 22303 33554432000 4194304 5965102 140734713838512 139993636719008 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 197032
[startup+162.3 s]
/proc/loadavg: 3.93 3.97 3.92 5/183 17772
/proc/meminfo: memFree=29844212/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=208212 CPUtime=323.77 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 28540 0 0 0 32359 18 0 0 20 0 3 0 275536874 213209088 30573 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 52053 30573 195 433 0 51617 0
[pid=17725/tid=17726] ppid=17723 vsize=208212 CPUtime=162.25 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 23651 0 0 0 16207 18 0 0 20 0 3 0 275536874 213209088 30573 33554432000 4194304 5965102 140734713838512 139993647208456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=208212 CPUtime=161.57 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 4153 0 0 0 16151 6 0 0 20 0 3 0 275536874 213209088 30573 33554432000 4194304 5965102 140734713838512 139993636719008 4380351 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 208212
[startup+222.3 s]
/proc/loadavg: 3.93 3.96 3.91 5/183 17773
/proc/meminfo: memFree=29779096/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=281644 CPUtime=443.57 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 33927 0 0 0 44335 22 0 0 20 0 3 0 275536874 288403456 35960 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 70411 35960 195 433 0 69975 0
[pid=17725/tid=17726] ppid=17723 vsize=281644 CPUtime=222.25 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 28570 0 0 0 22203 22 0 0 20 0 3 0 275536874 288403456 35960 33554432000 4194304 5965102 140734713838512 139993647207960 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=281644 CPUtime=221.39 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 4621 0 0 0 22131 8 0 0 20 0 3 0 275536874 288403456 35960 33554432000 4194304 5965102 140734713838512 139993636718952 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 443.57
Current children cumulated vsize (KiB) 281644
[startup+282.3 s]
/proc/loadavg: 3.97 3.96 3.91 5/183 17773
/proc/meminfo: memFree=29729892/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=288424 CPUtime=563.42 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 38023 0 0 0 56317 25 0 0 20 0 3 0 275536874 295346176 40057 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 72106 40057 195 433 0 71670 0
[pid=17725/tid=17726] ppid=17723 vsize=288424 CPUtime=282.24 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 32505 0 0 0 28198 26 0 0 20 0 3 0 275536874 295346176 40057 33554432000 4194304 5965102 140734713838512 139993647208488 4401041 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=288424 CPUtime=281.27 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 4782 0 0 0 28118 9 0 0 20 0 3 0 275536874 295346176 40057 33554432000 4194304 5965102 140734713838512 139993636719008 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 563.42
Current children cumulated vsize (KiB) 288424
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/183 17773
/proc/meminfo: memFree=29687716/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=289776 CPUtime=683.26 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 41627 0 0 0 68298 28 0 0 20 0 3 0 275536874 296730624 43923 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 72444 43923 195 433 0 72008 0
[pid=17725/tid=17726] ppid=17723 vsize=289776 CPUtime=342.24 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 35961 0 0 0 34195 29 0 0 20 0 3 0 275536874 296730624 43923 33554432000 4194304 5965102 140734713838512 139993647207960 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=289776 CPUtime=341.13 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 4930 0 0 0 34103 10 0 0 20 0 3 0 275536874 296730624 43923 33554432000 4194304 5965102 140734713838512 139993636718712 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 683.26
Current children cumulated vsize (KiB) 289776
[startup+402.3 s]
/proc/loadavg: 4.10 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29657656/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=297616 CPUtime=803.13 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 45420 0 0 0 80282 31 0 0 20 0 3 0 275536874 304758784 47716 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 74404 47716 195 433 0 73968 0
[pid=17725/tid=17726] ppid=17723 vsize=297616 CPUtime=402.24 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 39179 0 0 0 40191 33 0 0 20 0 3 0 275536874 304758784 47716 33554432000 4194304 5965102 140734713838512 139993647207960 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=297616 CPUtime=401.02 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5505 0 0 0 40090 12 0 0 20 0 3 0 275536874 304758784 47716 33554432000 4194304 5965102 140734713838512 139993636719008 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 803.13
Current children cumulated vsize (KiB) 297616
[startup+462.3 s]
/proc/loadavg: 4.04 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29619484/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=302616 CPUtime=922.99 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 48448 0 0 0 92265 34 0 0 20 0 3 0 275536874 309878784 50740 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 75654 50740 195 433 0 75218 0
[pid=17725/tid=17726] ppid=17723 vsize=302616 CPUtime=462.23 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 41944 0 0 0 46187 36 0 0 20 0 3 0 275536874 309878784 50740 33554432000 4194304 5965102 140734713838512 139993647207960 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=302616 CPUtime=460.92 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5768 0 0 0 46079 13 0 0 20 0 3 0 275536874 309878784 50740 33554432000 4194304 5965102 140734713838512 139993636718952 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 922.99
Current children cumulated vsize (KiB) 302616
Solver just ended. Dumping a history of the last processes samples
[startup+473.5 s]
/proc/loadavg: 4.03 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29610492/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=945.38 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 48758 0 0 0 94504 34 0 0 20 0 3 0 275536874 311369728 51561 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51561 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=473.43 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42251 0 0 0 47307 36 0 0 20 0 3 0 275536874 311369728 51561 33554432000 4194304 5965102 140734713838512 139993647208456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=472.11 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 47198 13 0 0 20 0 3 0 275536874 311369728 51561 33554432000 4194304 5965102 140734713838512 139993636719008 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 945.38
Current children cumulated vsize (KiB) 304072
[startup+479.9 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29606400/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=958.17 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 48903 0 0 0 95783 34 0 0 20 0 3 0 275536874 311369728 51706 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51706 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=479.83 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42396 0 0 0 47946 37 0 0 20 0 3 0 275536874 311369728 51706 33554432000 4194304 5965102 140734713838512 139993647208352 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=478.51 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 47838 13 0 0 20 0 3 0 275536874 311369728 51706 33554432000 4194304 5965102 140734713838512 139993636719008 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 958.17
Current children cumulated vsize (KiB) 304072
[startup+483.1 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29604788/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=964.57 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 48955 0 0 0 96423 34 0 0 20 0 3 0 275536874 311369728 51758 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51758 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=483.03 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42448 0 0 0 48266 37 0 0 20 0 3 0 275536874 311369728 51758 33554432000 4194304 5965102 140734713838512 139993647208456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=481.71 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 48158 13 0 0 20 0 3 0 275536874 311369728 51758 33554432000 4194304 5965102 140734713838512 139993636719008 4380336 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 964.57
Current children cumulated vsize (KiB) 304072
[startup+484.7 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29604416/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=967.77 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 49007 0 0 0 96742 35 0 0 20 0 3 0 275536874 311369728 51810 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51810 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=484.63 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42500 0 0 0 48426 37 0 0 20 0 3 0 275536874 311369728 51810 33554432000 4194304 5965102 140734713838512 139993647208440 4401041 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=483.31 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 48318 13 0 0 20 0 3 0 275536874 311369728 51810 33554432000 4194304 5965102 140734713838512 139993636719008 4380048 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 967.77
Current children cumulated vsize (KiB) 304072
[startup+485.5 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29604292/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=969.37 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 49028 0 0 0 96902 35 0 0 20 0 3 0 275536874 311369728 51831 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51831 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=485.43 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42521 0 0 0 48506 37 0 0 20 0 3 0 275536874 311369728 51831 33554432000 4194304 5965102 140734713838512 139993647208440 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=484.11 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 48398 13 0 0 20 0 3 0 275536874 311369728 51831 33554432000 4194304 5965102 140734713838512 139993636719008 4380288 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 969.37
Current children cumulated vsize (KiB) 304072
[startup+485.7 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29604292/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=969.77 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 49030 0 0 0 96942 35 0 0 20 0 3 0 275536874 311369728 51833 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51833 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=485.63 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42523 0 0 0 48526 37 0 0 20 0 3 0 275536874 311369728 51833 33554432000 4194304 5965102 140734713838512 139993647208440 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=484.31 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 48418 13 0 0 20 0 3 0 275536874 311369728 51833 33554432000 4194304 5965102 140734713838512 139993636719008 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 969.77
Current children cumulated vsize (KiB) 304072
[startup+485.8 s]
/proc/loadavg: 4.02 4.00 3.92 5/183 17773
/proc/meminfo: memFree=29604292/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=304072 CPUtime=969.97 cores=1,3,5,7
/proc/17725/stat : 17725 (pwbo2.0) S 17723 17725 15889 0 -1 4202496 49032 0 0 0 96962 35 0 0 20 0 3 0 275536874 311369728 51835 33554432000 4194304 5965102 140734713838512 140734713838032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 76018 51835 195 433 0 75582 0
[pid=17725/tid=17726] ppid=17723 vsize=304072 CPUtime=485.73 cores=1,3,5,7
/proc/17725/task/17726/stat : 17726 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 42525 0 0 0 48536 37 0 0 20 0 3 0 275536874 311369728 51835 33554432000 4194304 5965102 140734713838512 139993647208440 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17725/tid=17727] ppid=17723 vsize=304072 CPUtime=484.41 cores=1,3,5,7
/proc/17725/task/17727/stat : 17727 (pwbo2.0) R 17723 17725 15889 0 -1 4202560 5771 0 0 0 48428 13 0 0 20 0 3 0 275536874 311369728 51835 33554432000 4194304 5965102 140734713838512 139993636719008 4400992 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 969.97
Current children cumulated vsize (KiB) 304072
Child status: 255
Real time (s): 485.834
CPU time (s): 970.225
CPU user time (s): 969.695
CPU system time (s): 0.529919
CPU usage (%): 199.703
Max. virtual memory (cumulated for all children) (KiB): 304072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 969.695
system time used= 0.529919
maximum resident set size= 207360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49037
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= 485
involuntary context switches= 1013
runsolver used 1.85472 second user time and 3.71943 second system time
The end