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-3728574-1338672117/watcher-3728574-1338672117 -o /tmp/evaluation-result-3728574-1338672117/solver-3728574-1338672117 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728574-1338672117.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.80 3.90 3.82 3/178 20049
/proc/meminfo: memFree=28435300/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162468 CPUtime=0 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 880 0 0 0 0 0 0 0 20 0 3 0 333336236 166367232 829 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40617 829 195 433 0 40181 0
[pid=20049/tid=20050] ppid=20047 vsize=162468 CPUtime=0 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 3 0 333336236 166367232 829 33554432000 4194304 5964478 140736027042384 140624116341808 4971904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162468 CPUtime=0 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 3 0 333336236 166367232 831 33554432000 4194304 5964478 140736027042384 140733352200184 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.0422291 s]
/proc/loadavg: 3.80 3.90 3.82 3/178 20049
/proc/meminfo: memFree=28435300/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162468 CPUtime=0.06 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 1142 0 0 0 6 0 0 0 20 0 3 0 333336236 166367232 1091 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40617 1091 198 433 0 40181 0
[pid=20049/tid=20050] ppid=20047 vsize=162468 CPUtime=0.02 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 199 0 0 0 2 0 0 0 20 0 3 0 333336236 166367232 1091 33554432000 4194304 5964478 140736027042384 140624116340720 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162468 CPUtime=0.02 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 160 0 0 0 2 0 0 0 20 0 3 0 333336236 166367232 1091 33554432000 4194304 5964478 140736027042384 140624105851336 4409635 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 162468
[startup+0.100277 s]
/proc/loadavg: 3.80 3.90 3.82 3/178 20049
/proc/meminfo: memFree=28435300/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162468 CPUtime=0.19 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 1456 0 0 0 18 1 0 0 20 0 3 0 333336236 166367232 1405 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40617 1405 198 433 0 40181 0
[pid=20049/tid=20050] ppid=20047 vsize=162468 CPUtime=0.08 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 367 0 0 0 8 0 0 0 20 0 3 0 333336236 166367232 1405 33554432000 4194304 5964478 140736027042384 140624116340720 4373352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162468 CPUtime=0.08 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 306 0 0 0 8 0 0 0 20 0 3 0 333336236 166367232 1405 33554432000 4194304 5964478 140736027042384 140624105851128 4389188 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) 162468
[startup+0.300232 s]
/proc/loadavg: 3.80 3.90 3.82 3/178 20049
/proc/meminfo: memFree=28435300/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162468 CPUtime=0.58 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 1992 0 0 0 57 1 0 0 20 0 3 0 333336236 166367232 1941 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40617 1941 198 433 0 40181 0
[pid=20049/tid=20050] ppid=20047 vsize=162468 CPUtime=0.28 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 782 0 0 0 27 1 0 0 20 0 3 0 333336236 166367232 1941 33554432000 4194304 5964478 140736027042384 140624116340720 5179243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162468 CPUtime=0.28 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 427 0 0 0 28 0 0 0 20 0 3 0 333336236 166367232 1941 33554432000 4194304 5964478 140736027042384 140624105851192 4400001 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162468
[startup+0.700237 s]
/proc/loadavg: 3.80 3.90 3.82 3/178 20049
/proc/meminfo: memFree=28435300/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162468 CPUtime=1.38 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 2866 0 0 0 137 1 0 0 20 0 3 0 333336236 166367232 2815 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40617 2815 198 433 0 40181 0
[pid=20049/tid=20050] ppid=20047 vsize=162468 CPUtime=0.68 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 1342 0 0 0 67 1 0 0 20 0 3 0 333336236 166367232 2815 33554432000 4194304 5964478 140736027042384 140624116340456 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162468 CPUtime=0.68 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 741 0 0 0 68 0 0 0 20 0 3 0 333336236 166367232 2815 33554432000 4194304 5964478 140736027042384 140624105851184 4399926 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) 162468
[startup+1.50024 s]
/proc/loadavg: 3.80 3.90 3.82 5/181 20052
/proc/meminfo: memFree=28422676/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162612 CPUtime=2.98 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 3227 0 0 0 297 1 0 0 20 0 3 0 333336236 166514688 3176 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40653 3176 198 433 0 40217 0
[pid=20049/tid=20050] ppid=20047 vsize=162612 CPUtime=1.48 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 1653 0 0 0 147 1 0 0 20 0 3 0 333336236 166514688 3176 33554432000 4194304 5964478 140736027042384 140624116340536 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162612 CPUtime=1.47 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 791 0 0 0 147 0 0 0 20 0 3 0 333336236 166514688 3176 33554432000 4194304 5964478 140736027042384 140624105851184 4400056 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) 162612
[startup+3.10026 s]
/proc/loadavg: 3.80 3.90 3.82 5/181 20052
/proc/meminfo: memFree=28418708/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162612 CPUtime=6.18 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 4229 0 0 0 616 2 0 0 20 0 3 0 333336236 166514688 4178 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40653 4178 198 433 0 40217 0
[pid=20049/tid=20050] ppid=20047 vsize=162612 CPUtime=3.08 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 2262 0 0 0 306 2 0 0 20 0 3 0 333336236 166514688 4178 33554432000 4194304 5964478 140736027042384 140624116340536 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162612 CPUtime=3.07 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 1184 0 0 0 307 0 0 0 20 0 3 0 333336236 166514688 4178 33554432000 4194304 5964478 140736027042384 140624105851336 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162612
[startup+6.30032 s]
/proc/loadavg: 3.81 3.90 3.82 5/181 20052
/proc/meminfo: memFree=28408048/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=162964 CPUtime=12.58 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 5603 0 0 0 1253 5 0 0 20 0 3 0 333336236 166875136 5552 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40741 5552 198 433 0 40305 0
[pid=20049/tid=20050] ppid=20047 vsize=162964 CPUtime=6.26 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 3278 0 0 0 622 4 0 0 20 0 3 0 333336236 166875136 5552 33554432000 4194304 5964478 140736027042384 140624116340536 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=162964 CPUtime=6.26 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 1542 0 0 0 626 0 0 0 20 0 3 0 333336236 166875136 5552 33554432000 4194304 5964478 140736027042384 140624105851296 4400106 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162964
[startup+12.7003 s]
/proc/loadavg: 3.83 3.91 3.82 5/181 20052
/proc/meminfo: memFree=28391552/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=163180 CPUtime=25.38 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 8291 0 0 0 2530 8 0 0 20 0 3 0 333336236 167096320 8240 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40795 8240 198 433 0 40359 0
[pid=20049/tid=20050] ppid=20047 vsize=163180 CPUtime=12.65 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 4869 0 0 0 1259 6 0 0 20 0 3 0 333336236 167096320 8240 33554432000 4194304 5964478 140736027042384 140624116340728 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=163180 CPUtime=12.64 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 2639 0 0 0 1263 1 0 0 20 0 3 0 333336236 167096320 8240 33554432000 4194304 5964478 140736027042384 140624105851192 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163180
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 3.84 3.91 3.82 5/181 20052
/proc/meminfo: memFree=28368000/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=163396 CPUtime=38.17 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 12024 0 0 0 3800 17 0 0 20 0 3 0 333336236 167317504 11973 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40849 11973 198 433 0 40413 0
[pid=20049/tid=20050] ppid=20047 vsize=163396 CPUtime=19.03 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 6517 0 0 0 1893 10 0 0 20 0 3 0 333336236 167317504 11973 33554432000 4194304 5964478 140736027042384 140624116340536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=163396 CPUtime=19.03 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 4724 0 0 0 1896 7 0 0 20 0 3 0 333336236 167317504 11973 33554432000 4194304 5964478 140736027042384 140624105851192 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 38.17
Current children cumulated vsize (KiB) 163396
[startup+22.3004 s]
/proc/loadavg: 3.85 3.91 3.82 5/181 20052
/proc/meminfo: memFree=28361784/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=163396 CPUtime=44.57 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 12801 0 0 0 4437 20 0 0 20 0 3 0 333336236 167317504 12750 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40849 12750 198 433 0 40413 0
[pid=20049/tid=20050] ppid=20047 vsize=163396 CPUtime=22.22 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 7252 0 0 0 2210 12 0 0 20 0 3 0 333336236 167317504 12750 33554432000 4194304 5964478 140736027042384 140624116340536 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=163396 CPUtime=22.22 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 4766 0 0 0 2215 7 0 0 20 0 3 0 333336236 167317504 12750 33554432000 4194304 5964478 140736027042384 140624105851184 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 44.57
Current children cumulated vsize (KiB) 163396
[startup+23.9003 s]
/proc/loadavg: 3.85 3.91 3.82 5/181 20052
/proc/meminfo: memFree=28357816/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=163716 CPUtime=47.77 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 14217 0 0 0 4753 24 0 0 20 0 3 0 333336236 167645184 14166 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40929 14166 198 433 0 40493 0
[pid=20049/tid=20050] ppid=20047 vsize=163716 CPUtime=23.82 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 8015 0 0 0 2367 15 0 0 20 0 3 0 333336236 167645184 14166 33554432000 4194304 5964478 140736027042384 140624116340728 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=163716 CPUtime=23.81 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 5419 0 0 0 2372 9 0 0 20 0 3 0 333336236 167645184 14166 33554432000 4194304 5964478 140736027042384 140624105851192 4400024 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.77
Current children cumulated vsize (KiB) 163716
[startup+24.7003 s]
/proc/loadavg: 3.85 3.91 3.82 5/181 20052
/proc/meminfo: memFree=28352484/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=163860 CPUtime=49.37 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 14870 0 0 0 4911 26 0 0 20 0 3 0 333336236 167792640 14819 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40965 14819 198 433 0 40529 0
[pid=20049/tid=20050] ppid=20047 vsize=163860 CPUtime=24.62 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 8246 0 0 0 2446 16 0 0 20 0 3 0 333336236 167792640 14819 33554432000 4194304 5964478 140736027042384 140624116340776 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=163860 CPUtime=24.61 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 5841 0 0 0 2452 9 0 0 20 0 3 0 333336236 167792640 14819 33554432000 4194304 5964478 140736027042384 140624105851192 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 163860
[startup+24.9003 s]
/proc/loadavg: 3.85 3.91 3.82 5/181 20052
/proc/meminfo: memFree=28352484/32873648 swapFree=7388/7388
[pid=20049] ppid=20047 vsize=163860 CPUtime=49.77 cores=0,2,4,6
/proc/20049/stat : 20049 (pwbo2.02) S 20047 20049 19426 0 -1 4202496 14870 0 0 0 4951 26 0 0 20 0 3 0 333336236 167792640 14819 33554432000 4194304 5964478 140736027042384 140736027041904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20049/statm: 40965 14819 198 433 0 40529 0
[pid=20049/tid=20050] ppid=20047 vsize=163860 CPUtime=24.82 cores=0,2,4,6
/proc/20049/task/20050/stat : 20050 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 8246 0 0 0 2466 16 0 0 20 0 3 0 333336236 167792640 14819 33554432000 4194304 5964478 140736027042384 140624116340776 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20049/tid=20051] ppid=20047 vsize=163860 CPUtime=24.81 cores=0,2,4,6
/proc/20049/task/20051/stat : 20051 (pwbo2.02) R 20047 20049 19426 0 -1 4202560 5841 0 0 0 2472 9 0 0 20 0 3 0 333336236 167792640 14819 33554432000 4194304 5964478 140736027042384 140624105851192 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (KiB) 163860
Child status: 255
Real time (s): 24.998
CPU time (s): 49.8504
CPU user time (s): 49.5735
CPU system time (s): 0.276957
CPU usage (%): 199.418
Max. virtual memory (cumulated for all children) (KiB): 163860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5735
system time used= 0.276957
maximum resident set size= 59672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14969
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= 78
involuntary context switches= 71
runsolver used 0.042993 second user time and 0.102984 second system time
The end