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-3728585-1338672015/watcher-3728585-1338672015 -o /tmp/evaluation-result-3728585-1338672015/solver-3728585-1338672015 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728585-1338672015.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: 3.68 3.79 2.87 4/179 28749
/proc/meminfo: memFree=27800932/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 905 0 0 0 0 0 0 0 20 0 3 0 333327369 166387712 854 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40622 854 197 433 0 40186 0
[pid=28749/tid=28750] ppid=28747 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 3 0 333327369 166387712 854 33554432000 4194304 5964478 140734913067840 140566155009072 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=162488 CPUtime=0 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 3 0 333327369 166387712 854 33554432000 4194304 5964478 140734913067840 140566144519256 4387951 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.062623 s]
/proc/loadavg: 3.68 3.79 2.87 4/179 28749
/proc/meminfo: memFree=27800932/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=162488 CPUtime=0.11 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 1271 0 0 0 11 0 0 0 20 0 3 0 333327369 166387712 1220 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40622 1220 198 433 0 40186 0
[pid=28749/tid=28750] ppid=28747 vsize=162488 CPUtime=0.04 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 275 0 0 0 4 0 0 0 20 0 3 0 333327369 166387712 1220 33554432000 4194304 5964478 140734913067840 140566155007800 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=162488 CPUtime=0.04 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 211 0 0 0 4 0 0 0 20 0 3 0 333327369 166387712 1220 33554432000 4194304 5964478 140734913067840 140566144518456 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 162488
[startup+0.100217 s]
/proc/loadavg: 3.68 3.79 2.87 4/179 28749
/proc/meminfo: memFree=27800932/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=162488 CPUtime=0.19 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 1478 0 0 0 19 0 0 0 20 0 3 0 333327369 166387712 1427 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40622 1427 198 433 0 40186 0
[pid=28749/tid=28750] ppid=28747 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 383 0 0 0 8 0 0 0 20 0 3 0 333327369 166387712 1427 33554432000 4194304 5964478 140734913067840 140566155007984 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=162488 CPUtime=0.08 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 310 0 0 0 8 0 0 0 20 0 3 0 333327369 166387712 1427 33554432000 4194304 5964478 140734913067840 140566144518448 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162488
[startup+0.300239 s]
/proc/loadavg: 3.68 3.79 2.87 4/179 28749
/proc/meminfo: memFree=27800932/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=162488 CPUtime=0.59 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 2105 0 0 0 59 0 0 0 20 0 3 0 333327369 166387712 2054 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40622 2054 198 433 0 40186 0
[pid=28749/tid=28750] ppid=28747 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 792 0 0 0 28 0 0 0 20 0 3 0 333327369 166387712 2054 33554432000 4194304 5964478 140734913067840 140566155007984 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=162488 CPUtime=0.28 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 528 0 0 0 28 0 0 0 20 0 3 0 333327369 166387712 2054 33554432000 4194304 5964478 140734913067840 140566144518448 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162488
[startup+0.700245 s]
/proc/loadavg: 3.68 3.79 2.87 4/179 28749
/proc/meminfo: memFree=27800932/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=162488 CPUtime=1.38 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 2824 0 0 0 138 0 0 0 20 0 3 0 333327369 166387712 2773 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40622 2773 198 433 0 40186 0
[pid=28749/tid=28750] ppid=28747 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 1351 0 0 0 68 0 0 0 20 0 3 0 333327369 166387712 2773 33554432000 4194304 5964478 140734913067840 140566155007984 4400033 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=162488 CPUtime=0.68 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 688 0 0 0 68 0 0 0 20 0 3 0 333327369 166387712 2774 33554432000 4194304 5964478 140734913067840 140566144518448 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50026 s]
/proc/loadavg: 3.68 3.79 2.87 5/182 28752
/proc/meminfo: memFree=27783176/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=162632 CPUtime=2.98 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 3532 0 0 0 298 0 0 0 20 0 3 0 333327369 166535168 3481 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40658 3481 198 433 0 40222 0
[pid=28749/tid=28750] ppid=28747 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 1886 0 0 0 148 0 0 0 20 0 3 0 333327369 166535168 3481 33554432000 4194304 5964478 140734913067840 140566155007984 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 861 0 0 0 148 0 0 0 20 0 3 0 333327369 166535168 3481 33554432000 4194304 5964478 140734913067840 140566144518448 4389110 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162632
[startup+3.10023 s]
/proc/loadavg: 3.68 3.79 2.87 5/182 28752
/proc/meminfo: memFree=27776828/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163124 CPUtime=6.17 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 5296 0 0 0 616 1 0 0 20 0 3 0 333327369 167038976 5245 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40781 5245 198 433 0 40345 0
[pid=28749/tid=28750] ppid=28747 vsize=163124 CPUtime=3.08 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 2829 0 0 0 308 0 0 0 20 0 3 0 333327369 167038976 5245 33554432000 4194304 5964478 140734913067840 140566155007992 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163124 CPUtime=3.08 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 1682 0 0 0 306 2 0 0 20 0 3 0 333327369 167038976 5245 33554432000 4194304 5964478 140734913067840 140566144518456 4400010 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163124
[startup+6.30021 s]
/proc/loadavg: 3.71 3.80 2.88 5/182 28752
/proc/meminfo: memFree=27757724/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163268 CPUtime=12.57 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 7022 0 0 0 1255 2 0 0 20 0 3 0 333327369 167186432 6971 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40817 6971 198 433 0 40381 0
[pid=28749/tid=28750] ppid=28747 vsize=163268 CPUtime=6.29 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 4361 0 0 0 627 2 0 0 20 0 3 0 333327369 167186432 6971 33554432000 4194304 5964478 140734913067840 140566155007984 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163268 CPUtime=6.28 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 1876 0 0 0 626 2 0 0 20 0 3 0 333327369 167186432 6971 33554432000 4194304 5964478 140734913067840 140566144518368 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163268
[startup+12.7003 s]
/proc/loadavg: 3.73 3.80 2.89 5/182 28752
/proc/meminfo: memFree=27734964/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163568 CPUtime=25.37 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 9678 0 0 0 2534 3 0 0 20 0 3 0 333327369 167493632 9494 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40892 9494 200 433 0 40456 0
[pid=28749/tid=28750] ppid=28747 vsize=163568 CPUtime=12.68 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 6931 0 0 0 1265 3 0 0 20 0 3 0 333327369 167493632 9494 33554432000 4194304 5964478 140734913067840 140566155007904 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163568 CPUtime=12.68 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 1962 0 0 0 1266 2 0 0 20 0 3 0 333327369 167493632 9494 33554432000 4194304 5964478 140734913067840 140566144518560 4399969 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 163568
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 3.77 3.81 2.90 5/182 28752
/proc/meminfo: memFree=27717116/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163676 CPUtime=38.17 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 10756 0 0 0 3813 4 0 0 20 0 3 0 333327369 167604224 10572 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40919 10572 200 433 0 40483 0
[pid=28749/tid=28750] ppid=28747 vsize=163676 CPUtime=19.08 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 6969 0 0 0 1905 3 0 0 20 0 3 0 333327369 167604224 10572 33554432000 4194304 5964478 140734913067840 140566155007904 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163676 CPUtime=19.07 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 3002 0 0 0 1905 2 0 0 20 0 3 0 333327369 167604224 10572 33554432000 4194304 5964478 140734913067840 140566144518560 4403708 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.17
Current children cumulated vsize (KiB) 163676
[startup+22.3003 s]
/proc/loadavg: 3.77 3.81 2.90 5/182 28752
/proc/meminfo: memFree=27712040/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163676 CPUtime=44.57 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 11117 0 0 0 4453 4 0 0 20 0 3 0 333327369 167604224 10933 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40919 10933 200 433 0 40483 0
[pid=28749/tid=28750] ppid=28747 vsize=163676 CPUtime=22.28 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 6982 0 0 0 2225 3 0 0 20 0 3 0 333327369 167604224 10933 33554432000 4194304 5964478 140734913067840 140566155007904 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163676 CPUtime=22.27 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 3350 0 0 0 2225 2 0 0 20 0 3 0 333327369 167604224 10933 33554432000 4194304 5964478 140734913067840 140566144518456 4392897 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 44.57
Current children cumulated vsize (KiB) 163676
[startup+23.1067 s]
/proc/loadavg: 3.79 3.81 2.90 5/182 28752
/proc/meminfo: memFree=27710428/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163676 CPUtime=46.18 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 11119 0 0 0 4614 4 0 0 20 0 3 0 333327369 167604224 10935 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40919 10935 200 433 0 40483 0
[pid=28749/tid=28750] ppid=28747 vsize=163676 CPUtime=23.09 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 6984 0 0 0 2306 3 0 0 20 0 3 0 333327369 167604224 10935 33554432000 4194304 5964478 140734913067840 140566155007904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163676 CPUtime=23.08 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 3350 0 0 0 2306 2 0 0 20 0 3 0 333327369 167604224 10935 33554432000 4194304 5964478 140734913067840 140566144518456 4400422 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 46.18
Current children cumulated vsize (KiB) 163676
[startup+23.5003 s]
/proc/loadavg: 3.79 3.81 2.90 5/182 28752
/proc/meminfo: memFree=27710428/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163676 CPUtime=46.97 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 11414 0 0 0 4693 4 0 0 20 0 3 0 333327369 167604224 11230 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40919 11230 200 433 0 40483 0
[pid=28749/tid=28750] ppid=28747 vsize=163676 CPUtime=23.48 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 6986 0 0 0 2345 3 0 0 20 0 3 0 333327369 167604224 11230 33554432000 4194304 5964478 140734913067840 140566155007904 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163676 CPUtime=23.47 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 3643 0 0 0 2345 2 0 0 20 0 3 0 333327369 167604224 11230 33554432000 4194304 5964478 140734913067840 140566144518456 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 46.97
Current children cumulated vsize (KiB) 163676
[startup+23.7003 s]
/proc/loadavg: 3.79 3.81 2.90 5/182 28752
/proc/meminfo: memFree=27710428/32873648 swapFree=7112/7112
[pid=28749] ppid=28747 vsize=163676 CPUtime=47.36 cores=0,2,4,6
/proc/28749/stat : 28749 (pwbo2.02) S 28747 28749 28397 0 -1 4202496 11576 0 0 0 4732 4 0 0 20 0 3 0 333327369 167604224 11392 33554432000 4194304 5964478 140734913067840 140734913067360 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28749/statm: 40919 11392 200 433 0 40483 0
[pid=28749/tid=28750] ppid=28747 vsize=163676 CPUtime=23.68 cores=0,2,4,6
/proc/28749/task/28750/stat : 28750 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 6988 0 0 0 2365 3 0 0 20 0 3 0 333327369 167604224 11392 33554432000 4194304 5964478 140734913067840 140566155007904 4400038 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=28749/tid=28751] ppid=28747 vsize=163676 CPUtime=23.67 cores=0,2,4,6
/proc/28749/task/28751/stat : 28751 (pwbo2.02) R 28747 28749 28397 0 -1 4202560 3803 0 0 0 2365 2 0 0 20 0 3 0 333327369 167604224 11392 33554432000 4194304 5964478 140734913067840 140566144518456 5244295 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 47.36
Current children cumulated vsize (KiB) 163676
Child status: 255
Real time (s): 23.7987
CPU time (s): 47.5848
CPU user time (s): 47.5048
CPU system time (s): 0.079987
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 163892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.5048
system time used= 0.079987
maximum resident set size= 45948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11671
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= 117
involuntary context switches= 64
runsolver used 0.104984 second user time and 0.202969 second system time
The end