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-3728594-1338672253/watcher-3728594-1338672253 -o /tmp/evaluation-result-3728594-1338672253/solver-3728594-1338672253 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728594-1338672253.wbo
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.95 3.87 3.11 4/178 28950
/proc/meminfo: memFree=27763172/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=162468 CPUtime=0 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 883 0 0 0 0 0 0 0 20 0 3 0 333351193 166367232 832 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 40617 833 195 433 0 40181 0
[pid=28950/tid=28951] ppid=28948 vsize=162468 CPUtime=0 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 3 0 333351194 166367232 833 33554432000 4194304 5964478 140733998626384 140237407689776 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=162468 CPUtime=0 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 3 0 333351194 166367232 833 33554432000 4194304 5964478 140733998626384 140237397199960 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.104606 s]
/proc/loadavg: 3.95 3.87 3.11 4/178 28950
/proc/meminfo: memFree=27763172/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=189700 CPUtime=0.19 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 11939 0 0 0 17 2 0 0 20 0 3 0 333351193 194252800 11811 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47425 11817 205 433 0 46989 0
[pid=28950/tid=28951] ppid=28948 vsize=189700 CPUtime=0.08 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 360 0 0 0 8 0 0 0 20 0 3 0 333351194 194252800 11818 33554432000 4194304 5964478 140733998626384 140237407688696 4392835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=189700 CPUtime=0.09 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 10810 0 0 0 6 3 0 0 20 0 3 0 333351194 194252800 11824 33554432000 4194304 5964478 140733998626384 140237397197864 4395406 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) 189700
[startup+0.20038 s]
/proc/loadavg: 3.95 3.87 3.11 4/178 28950
/proc/meminfo: memFree=27763172/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=190740 CPUtime=0.38 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 14039 0 0 0 36 2 0 0 20 0 3 0 333351193 195317760 13911 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47685 13911 206 433 0 47249 0
[pid=28950/tid=28951] ppid=28948 vsize=190740 CPUtime=0.18 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 575 0 0 0 18 0 0 0 20 0 3 0 333351194 195317760 13911 33554432000 4194304 5964478 140733998626384 140237407688688 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=190740 CPUtime=0.19 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 12682 0 0 0 16 3 0 0 20 0 3 0 333351194 195317760 13911 33554432000 4194304 5964478 140733998626384 140237397199304 4403425 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 190740
[startup+0.300395 s]
/proc/loadavg: 3.95 3.87 3.11 4/178 28950
/proc/meminfo: memFree=27763172/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=190740 CPUtime=0.59 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 14302 0 0 0 56 3 0 0 20 0 3 0 333351193 195317760 14174 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47685 14174 206 433 0 47249 0
[pid=28950/tid=28951] ppid=28948 vsize=190740 CPUtime=0.28 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 733 0 0 0 28 0 0 0 20 0 3 0 333351194 195317760 14174 33554432000 4194304 5964478 140733998626384 140237407688688 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=190740 CPUtime=0.28 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 12787 0 0 0 25 3 0 0 20 0 3 0 333351194 195317760 14174 33554432000 4194304 5964478 140733998626384 140237397199304 4400010 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) 190740
[startup+0.70031 s]
/proc/loadavg: 3.95 3.87 3.11 4/178 28950
/proc/meminfo: memFree=27763172/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=190740 CPUtime=1.39 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 14973 0 0 0 136 3 0 0 20 0 3 0 333351193 195317760 14845 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47685 14845 206 433 0 47249 0
[pid=28950/tid=28951] ppid=28948 vsize=190740 CPUtime=0.68 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 1259 0 0 0 68 0 0 0 20 0 3 0 333351194 195317760 14845 33554432000 4194304 5964478 140733998626384 140237407688688 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=190740 CPUtime=0.68 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 12932 0 0 0 65 3 0 0 20 0 3 0 333351194 195317760 14845 33554432000 4194304 5964478 140733998626384 140237397199304 4220848 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 190740
[startup+1.50032 s]
/proc/loadavg: 3.95 3.87 3.11 5/181 28953
/proc/meminfo: memFree=27701140/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=190884 CPUtime=2.98 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 15509 0 0 0 295 3 0 0 20 0 3 0 333351193 195465216 15381 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47721 15381 206 433 0 47285 0
[pid=28950/tid=28951] ppid=28948 vsize=190884 CPUtime=1.48 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 1634 0 0 0 148 0 0 0 20 0 3 0 333351194 195465216 15381 33554432000 4194304 5964478 140733998626384 140237407688688 4400516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=190884 CPUtime=1.48 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 13093 0 0 0 145 3 0 0 20 0 3 0 333351194 195465216 15381 33554432000 4194304 5964478 140733998626384 140237397199152 4400001 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 190884
[startup+3.10031 s]
/proc/loadavg: 3.95 3.87 3.11 5/181 28953
/proc/meminfo: memFree=27697916/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=191028 CPUtime=6.19 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 16556 0 0 0 615 4 0 0 20 0 3 0 333351193 195612672 16428 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47757 16428 206 433 0 47321 0
[pid=28950/tid=28951] ppid=28948 vsize=191028 CPUtime=3.08 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 2349 0 0 0 307 1 0 0 20 0 3 0 333351194 195612672 16428 33554432000 4194304 5964478 140733998626384 140237407688504 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=191028 CPUtime=3.08 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 13425 0 0 0 305 3 0 0 20 0 3 0 333351194 195612672 16428 33554432000 4194304 5964478 140733998626384 140237397199160 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 191028
[startup+6.30031 s]
/proc/loadavg: 3.96 3.87 3.11 5/181 28953
/proc/meminfo: memFree=27687624/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=191172 CPUtime=12.58 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 18849 0 0 0 1253 5 0 0 20 0 3 0 333351193 195760128 18721 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47793 18721 206 433 0 47357 0
[pid=28950/tid=28951] ppid=28948 vsize=191172 CPUtime=6.29 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 3932 0 0 0 626 3 0 0 20 0 3 0 333351194 195760128 18721 33554432000 4194304 5964478 140733998626384 140237407688696 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=191172 CPUtime=6.28 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14135 0 0 0 625 3 0 0 20 0 3 0 333351194 195760128 18721 33554432000 4194304 5964478 140733998626384 140237397198968 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 191172
[startup+12.7003 s]
/proc/loadavg: 3.88 3.86 3.11 5/181 28993
/proc/meminfo: memFree=27730440/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=191224 CPUtime=25.38 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 21848 0 0 0 2530 8 0 0 20 0 3 0 333351193 195813376 21648 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 47806 21648 208 433 0 47370 0
[pid=28950/tid=28951] ppid=28948 vsize=191224 CPUtime=12.68 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 5754 0 0 0 1264 4 0 0 20 0 3 0 333351194 195813376 21648 33554432000 4194304 5964478 140733998626384 140237407688688 4379008 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=191224 CPUtime=12.69 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 15312 0 0 0 1264 5 0 0 20 0 3 0 333351194 195813376 21648 33554432000 4194304 5964478 140733998626384 140237397199160 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 191224
[startup+25.5003 s]
/proc/loadavg: 3.91 3.86 3.12 5/181 28993
/proc/meminfo: memFree=27679504/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=192376 CPUtime=50.95 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 28691 0 0 0 5084 11 0 0 20 0 3 0 333351193 196993024 28502 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 48094 28502 208 433 0 47658 0
[pid=28950/tid=28951] ppid=28948 vsize=192376 CPUtime=25.46 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 7311 0 0 0 2541 5 0 0 20 0 3 0 333351194 196993024 28502 33554432000 4194304 5964478 140733998626384 140237407688800 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=192376 CPUtime=25.48 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 20598 0 0 0 2540 8 0 0 20 0 3 0 333351194 196993024 28502 33554432000 4194304 5964478 140733998626384 140237397199208 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 192376
[startup+51.1004 s]
/proc/loadavg: 3.80 3.84 3.13 5/181 29033
/proc/meminfo: memFree=27613424/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=259860 CPUtime=102.13 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 39251 0 0 0 10193 20 0 0 20 0 3 0 333351193 266096640 39055 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 64965 39055 208 433 0 64529 0
[pid=28950/tid=28951] ppid=28948 vsize=259860 CPUtime=51.06 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 8508 0 0 0 5100 6 0 0 20 0 3 0 333351194 266096640 39055 33554432000 4194304 5964478 140733998626384 140237407688800 4378992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=259860 CPUtime=51.07 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 29961 0 0 0 5091 16 0 0 20 0 3 0 333351194 266096640 39055 33554432000 4194304 5964478 140733998626384 140237397198968 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 259860
[startup+102.3 s]
/proc/loadavg: 3.91 3.86 3.18 5/181 29033
/proc/meminfo: memFree=27487900/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=204.52 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 54552 0 0 0 20415 37 0 0 20 0 3 0 333351193 335683584 55139 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 55139 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=102.26 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 10852 0 0 0 10218 8 0 0 20 0 3 0 333351194 335683584 55139 33554432000 4194304 5964478 140733998626384 140237407688800 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=102.26 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 42918 0 0 0 10194 32 0 0 20 0 3 0 333351194 335683584 55139 33554432000 4194304 5964478 140733998626384 140237397199208 4399946 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 327816
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 3.91 3.86 3.18 5/181 29033
/proc/meminfo: memFree=27487900/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=204.72 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 54577 0 0 0 20435 37 0 0 20 0 3 0 333351193 335683584 55164 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 55164 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=102.36 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 10852 0 0 0 10228 8 0 0 20 0 3 0 333351194 335683584 55164 33554432000 4194304 5964478 140733998626384 140237407688800 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=102.36 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 42943 0 0 0 10204 32 0 0 20 0 3 0 333351194 335683584 55164 33554432000 4194304 5964478 140733998626384 140237397199208 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.72
Current children cumulated vsize (KiB) 327816
[startup+128 s]
/proc/loadavg: 3.94 3.87 3.20 5/181 29033
/proc/meminfo: memFree=27461548/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=255.9 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 55572 0 0 0 25552 38 0 0 20 0 3 0 333351193 335683584 56159 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 56159 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=127.95 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 10943 0 0 0 12787 8 0 0 20 0 3 0 333351194 335683584 56159 33554432000 4194304 5964478 140733998626384 140237407688800 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=127.96 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43847 0 0 0 12763 33 0 0 20 0 3 0 333351194 335683584 56159 33554432000 4194304 5964478 140733998626384 140237397199072 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 255.9
Current children cumulated vsize (KiB) 327816
[startup+140.8 s]
/proc/loadavg: 3.95 3.88 3.21 5/181 29033
/proc/meminfo: memFree=27449132/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=281.5 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 56729 0 0 0 28112 38 0 0 20 0 3 0 333351193 335683584 57316 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 57316 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=140.75 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 12099 0 0 0 14066 9 0 0 20 0 3 0 333351194 335683584 57316 33554432000 4194304 5964478 140733998626384 140237407688504 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=140.77 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43848 0 0 0 14043 34 0 0 20 0 3 0 333351194 335683584 57316 33554432000 4194304 5964478 140733998626384 140237397199072 4399975 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 281.5
Current children cumulated vsize (KiB) 327816
[startup+147.2 s]
/proc/loadavg: 3.96 3.88 3.21 5/181 29033
/proc/meminfo: memFree=27437708/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=294.28 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59419 0 0 0 29389 39 0 0 20 0 3 0 333351193 335683584 59877 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59877 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=147.14 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14788 0 0 0 14704 10 0 0 20 0 3 0 333351194 335683584 59877 33554432000 4194304 5964478 140733998626384 140237407688800 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=147.16 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43849 0 0 0 14682 34 0 0 20 0 3 0 333351194 335683584 59877 33554432000 4194304 5964478 140733998626384 140237397199072 4400044 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 294.28
Current children cumulated vsize (KiB) 327816
[startup+153.6 s]
/proc/loadavg: 3.96 3.88 3.22 5/181 29033
/proc/meminfo: memFree=27435600/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=307.08 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59422 0 0 0 30669 39 0 0 20 0 3 0 333351193 335683584 59880 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59880 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=153.54 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14789 0 0 0 15344 10 0 0 20 0 3 0 333351194 335683584 59880 33554432000 4194304 5964478 140733998626384 140237407688800 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=153.56 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43851 0 0 0 15322 34 0 0 20 0 3 0 333351194 335683584 59880 33554432000 4194304 5964478 140733998626384 140237397199072 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 307.08
Current children cumulated vsize (KiB) 327816
[startup+156.8 s]
/proc/loadavg: 3.96 3.88 3.22 5/181 29033
/proc/meminfo: memFree=27425912/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=313.48 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59423 0 0 0 31309 39 0 0 20 0 3 0 333351193 335683584 59881 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59881 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=156.74 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14790 0 0 0 15664 10 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237407688800 4400106 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=156.76 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43851 0 0 0 15642 34 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237397199072 4400033 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 313.48
Current children cumulated vsize (KiB) 327816
[startup+158.4 s]
/proc/loadavg: 3.96 3.88 3.22 5/181 29033
/proc/meminfo: memFree=27425664/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=316.69 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59423 0 0 0 31630 39 0 0 20 0 3 0 333351193 335683584 59881 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59881 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=158.35 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14790 0 0 0 15825 10 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237407688800 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=158.37 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43851 0 0 0 15803 34 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237397199072 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 316.69
Current children cumulated vsize (KiB) 327816
[startup+158.8 s]
/proc/loadavg: 3.96 3.88 3.22 5/181 29033
/proc/meminfo: memFree=27425664/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=317.48 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59423 0 0 0 31709 39 0 0 20 0 3 0 333351193 335683584 59881 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59881 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=158.74 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14790 0 0 0 15864 10 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237407688800 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=158.76 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43851 0 0 0 15842 34 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237397199072 4400519 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 317.48
Current children cumulated vsize (KiB) 327816
[startup+159.2 s]
/proc/loadavg: 3.96 3.88 3.22 5/181 29033
/proc/meminfo: memFree=27425664/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=318.28 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59423 0 0 0 31789 39 0 0 20 0 3 0 333351193 335683584 59881 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59881 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=159.14 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14790 0 0 0 15904 10 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237407688800 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=159.16 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43851 0 0 0 15882 34 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237397199072 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 318.28
Current children cumulated vsize (KiB) 327816
[startup+159.3 s]
/proc/loadavg: 3.96 3.88 3.22 5/181 29033
/proc/meminfo: memFree=27425664/32873648 swapFree=7112/7112
[pid=28950] ppid=28948 vsize=327816 CPUtime=318.48 cores=1,3,5,7
/proc/28950/stat : 28950 (pwbo2.02) S 28948 28950 28397 0 -1 4202496 59423 0 0 0 31809 39 0 0 20 0 3 0 333351193 335683584 59881 33554432000 4194304 5964478 140733998626384 140733998625904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28950/statm: 81954 59881 208 433 0 81518 0
[pid=28950/tid=28951] ppid=28948 vsize=327816 CPUtime=159.24 cores=1,3,5,7
/proc/28950/task/28951/stat : 28951 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 14790 0 0 0 15914 10 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237407688800 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=28950/tid=28952] ppid=28948 vsize=327816 CPUtime=159.26 cores=1,3,5,7
/proc/28950/task/28952/stat : 28952 (pwbo2.02) R 28948 28950 28397 0 -1 4202560 43851 0 0 0 15892 34 0 0 20 0 3 0 333351194 335683584 59881 33554432000 4194304 5964478 140733998626384 140237397199072 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 318.48
Current children cumulated vsize (KiB) 327816
Child status: 255
Real time (s): 159.315
CPU time (s): 318.556
CPU user time (s): 318.084
CPU system time (s): 0.471928
CPU usage (%): 199.953
Max. virtual memory (cumulated for all children) (KiB): 328540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 318.084
system time used= 0.471928
maximum resident set size= 239996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59426
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= 384
involuntary context switches= 322
runsolver used 0.474927 second user time and 0.832873 second system time
The end