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-3712780-1338203046/watcher-3712780-1338203046 -o /tmp/evaluation-result-3712780-1338203046/solver-3712780-1338203046 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712780-1338203046.wbo
running on 4 cores: 0,2,4,6
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.01 4.01 3.96 4/178 16070
/proc/meminfo: memFree=30973292/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 892 0 0 0 0 0 0 0 20 0 3 0 286430105 166387712 841 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40622 842 195 433 0 40186 0
[pid=16070/tid=16071] ppid=16068 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 3 0 286430105 166387712 842 33554432000 4194304 5964478 140735574764016 140560556497968 5136474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 3 0 286430105 166387712 843 33554432000 4194304 5964478 140735574764016 140560546008152 5136474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0204481 s]
/proc/loadavg: 4.01 4.01 3.96 4/178 16070
/proc/meminfo: memFree=30973292/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162488 CPUtime=0.02 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 1021 0 0 0 2 0 0 0 20 0 3 0 286430105 166387712 970 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40622 970 198 433 0 40186 0
[pid=16070/tid=16071] ppid=16068 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 3 0 286430105 166387712 970 33554432000 4194304 5964478 140735574764016 140560556496936 4389154 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 3 0 286430105 166387712 970 33554432000 4194304 5964478 140735574764016 140560546008152 4399865 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 162488
[startup+0.100318 s]
/proc/loadavg: 4.01 4.01 3.96 4/178 16070
/proc/meminfo: memFree=30973292/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162488 CPUtime=0.18 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 1484 0 0 0 17 1 0 0 20 0 3 0 286430105 166387712 1433 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40622 1433 198 433 0 40186 0
[pid=16070/tid=16071] ppid=16068 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 390 0 0 0 7 1 0 0 20 0 3 0 286430105 166387712 1434 33554432000 4194304 5964478 140735574764016 140560556496888 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 307 0 0 0 8 0 0 0 20 0 3 0 286430105 166387712 1434 33554432000 4194304 5964478 140735574764016 140560546007160 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.300166 s]
/proc/loadavg: 4.01 4.01 3.96 4/178 16070
/proc/meminfo: memFree=30973292/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162488 CPUtime=0.58 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 2109 0 0 0 56 2 0 0 20 0 3 0 286430105 166387712 2058 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40622 2058 198 433 0 40186 0
[pid=16070/tid=16071] ppid=16068 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 751 0 0 0 26 2 0 0 20 0 3 0 286430105 166387712 2058 33554432000 4194304 5964478 140735574764016 140560556496888 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 570 0 0 0 28 0 0 0 20 0 3 0 286430105 166387712 2058 33554432000 4194304 5964478 140735574764016 140560546007160 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162488
[startup+0.700176 s]
/proc/loadavg: 4.01 4.01 3.96 4/178 16070
/proc/meminfo: memFree=30973292/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162488 CPUtime=1.38 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 2821 0 0 0 136 2 0 0 20 0 3 0 286430105 166387712 2770 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40622 2770 198 433 0 40186 0
[pid=16070/tid=16071] ppid=16068 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 1285 0 0 0 65 3 0 0 20 0 3 0 286430105 166387712 2770 33554432000 4194304 5964478 140735574764016 140560556496936 4390961 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 748 0 0 0 68 0 0 0 20 0 3 0 286430105 166387712 2770 33554432000 4194304 5964478 140735574764016 140560546007352 4400008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50019 s]
/proc/loadavg: 4.01 4.01 3.96 5/181 16073
/proc/meminfo: memFree=30961572/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162632 CPUtime=2.99 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 3524 0 0 0 296 3 0 0 20 0 3 0 286430105 166535168 3473 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40658 3473 198 433 0 40222 0
[pid=16070/tid=16071] ppid=16068 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 1810 0 0 0 145 3 0 0 20 0 3 0 286430105 166535168 3473 33554432000 4194304 5964478 140735574764016 140560556496936 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 926 0 0 0 148 0 0 0 20 0 3 0 286430105 166535168 3473 33554432000 4194304 5964478 140735574764016 140560546007352 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162632
[startup+3.10016 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30958108/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162632 CPUtime=6.18 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 4197 0 0 0 615 3 0 0 20 0 3 0 286430105 166535168 4146 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40658 4146 198 433 0 40222 0
[pid=16070/tid=16071] ppid=16068 vsize=162632 CPUtime=3.08 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2398 0 0 0 305 3 0 0 20 0 3 0 286430105 166535168 4146 33554432000 4194304 5964478 140735574764016 140560556496696 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162632 CPUtime=3.07 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 1011 0 0 0 307 0 0 0 20 0 3 0 286430105 166535168 4146 33554432000 4194304 5964478 140735574764016 140560546007496 4400454 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162632
[startup+6.3002 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30950296/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162980 CPUtime=12.58 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 6089 0 0 0 1255 3 0 0 20 0 3 0 286430105 166891520 6038 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40745 6038 198 433 0 40309 0
[pid=16070/tid=16071] ppid=16068 vsize=162980 CPUtime=6.26 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 3736 0 0 0 623 3 0 0 20 0 3 0 286430105 166891520 6038 33554432000 4194304 5964478 140735574764016 140560556496696 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162980 CPUtime=6.26 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 1565 0 0 0 626 0 0 0 20 0 3 0 286430105 166891520 6038 33554432000 4194304 5964478 140735574764016 140560546007352 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162980
[startup+12.7002 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30935928/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162836 CPUtime=25.38 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 8487 0 0 0 2533 5 0 0 20 0 3 0 286430105 166744064 8384 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40709 8384 200 433 0 40273 0
[pid=16070/tid=16071] ppid=16068 vsize=162836 CPUtime=12.65 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5142 0 0 0 1261 4 0 0 20 0 3 0 286430105 166744064 8384 33554432000 4194304 5964478 140735574764016 140560556496800 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162836 CPUtime=12.65 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2557 0 0 0 1265 0 0 0 20 0 3 0 286430105 166744064 8384 33554432000 4194304 5964478 140735574764016 140560546007352 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 162836
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30935316/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162968 CPUtime=31.78 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 8504 0 0 0 3173 5 0 0 20 0 3 0 286430105 166879232 8401 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40742 8401 200 433 0 40306 0
[pid=16070/tid=16071] ppid=16068 vsize=162968 CPUtime=15.84 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5148 0 0 0 1580 4 0 0 20 0 3 0 286430105 166879232 8401 33554432000 4194304 5964478 140735574764016 140560556496992 4400419 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162968 CPUtime=15.84 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2568 0 0 0 1584 0 0 0 20 0 3 0 286430105 166879232 8401 33554432000 4194304 5964478 140735574764016 140560546007344 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (KiB) 162968
[startup+19.1003 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30933688/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162968 CPUtime=38.18 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 8532 0 0 0 3813 5 0 0 20 0 3 0 286430105 166879232 8429 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40742 8429 200 433 0 40306 0
[pid=16070/tid=16071] ppid=16068 vsize=162968 CPUtime=19.03 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5165 0 0 0 1899 4 0 0 20 0 3 0 286430105 166879232 8429 33554432000 4194304 5964478 140735574764016 140560556496800 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162968 CPUtime=19.03 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2579 0 0 0 1903 0 0 0 20 0 3 0 286430105 166879232 8429 33554432000 4194304 5964478 140735574764016 140560546007456 4399910 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.18
Current children cumulated vsize (KiB) 162968
[startup+20.7003 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30931704/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162968 CPUtime=41.38 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 8535 0 0 0 4133 5 0 0 20 0 3 0 286430105 166879232 8432 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40742 8432 200 433 0 40306 0
[pid=16070/tid=16071] ppid=16068 vsize=162968 CPUtime=20.63 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5168 0 0 0 2059 4 0 0 20 0 3 0 286430105 166879232 8432 33554432000 4194304 5964478 140735574764016 140560556496800 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162968 CPUtime=20.63 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2579 0 0 0 2063 0 0 0 20 0 3 0 286430105 166879232 8432 33554432000 4194304 5964478 140735574764016 140560546007456 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 41.38
Current children cumulated vsize (KiB) 162968
[startup+21.1003 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30931580/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=162968 CPUtime=42.18 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 8767 0 0 0 4213 5 0 0 20 0 3 0 286430105 166879232 8664 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40742 8664 200 433 0 40306 0
[pid=16070/tid=16071] ppid=16068 vsize=162968 CPUtime=21.03 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5400 0 0 0 2099 4 0 0 20 0 3 0 286430105 166879232 8664 33554432000 4194304 5964478 140735574764016 140560556496800 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=162968 CPUtime=21.03 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2579 0 0 0 2103 0 0 0 20 0 3 0 286430105 166879232 8664 33554432000 4194304 5964478 140735574764016 140560546007456 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 42.18
Current children cumulated vsize (KiB) 162968
[startup+21.5003 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30931580/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=163292 CPUtime=42.97 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 9092 0 0 0 4292 5 0 0 20 0 3 0 286430105 167211008 8989 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40823 8989 200 433 0 40387 0
[pid=16070/tid=16071] ppid=16068 vsize=163292 CPUtime=21.42 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5726 0 0 0 2138 4 0 0 20 0 3 0 286430105 167211008 8990 33554432000 4194304 5964478 140735574764016 140560556496800 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=163292 CPUtime=21.43 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2579 0 0 0 2143 0 0 0 20 0 3 0 286430105 167211008 8990 33554432000 4194304 5964478 140735574764016 140560546007456 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 42.97
Current children cumulated vsize (KiB) 163292
[startup+21.6003 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 16073
/proc/meminfo: memFree=30931580/32873648 swapFree=7116/7116
[pid=16070] ppid=16068 vsize=163292 CPUtime=43.17 cores=0,2,4,6
/proc/16070/stat : 16070 (pwbo2.01) S 16068 16070 14514 0 -1 4202496 9202 0 0 0 4312 5 0 0 20 0 3 0 286430105 167211008 9099 33554432000 4194304 5964478 140735574764016 140735574763536 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 40823 9099 200 433 0 40387 0
[pid=16070/tid=16071] ppid=16068 vsize=163292 CPUtime=21.52 cores=0,2,4,6
/proc/16070/task/16071/stat : 16071 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 5835 0 0 0 2148 4 0 0 20 0 3 0 286430105 167211008 9099 33554432000 4194304 5964478 140735574764016 140560556496800 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=16070/tid=16072] ppid=16068 vsize=163292 CPUtime=21.52 cores=0,2,4,6
/proc/16070/task/16072/stat : 16072 (pwbo2.01) R 16068 16070 14514 0 -1 4202560 2579 0 0 0 2152 0 0 0 20 0 3 0 286430105 167211008 9099 33554432000 4194304 5964478 140735574764016 140560546007456 4399936 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 43.17
Current children cumulated vsize (KiB) 163292
Child status: 255
Real time (s): 21.6648
CPU time (s): 43.2164
CPU user time (s): 43.1444
CPU system time (s): 0.071989
CPU usage (%): 199.478
Max. virtual memory (cumulated for all children) (KiB): 163292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.1444
system time used= 0.071989
maximum resident set size= 36704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9279
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= 45
involuntary context switches= 59
runsolver used 0.053991 second user time and 0.121981 second system time
The end