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-3712785-1338202994/watcher-3712785-1338202994 -o /tmp/evaluation-result-3712785-1338202994/solver-3712785-1338202994 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712785-1338202994.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.95 4.03 4.00 4/178 22743
/proc/meminfo: memFree=29818884/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22743/stat : 22743 (runsolver) D 22741 22743 20320 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 286423458 12095488 50 33554432000 4194304 5436572 140735761459360 140735761455656 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/22743/statm: 2953 50 31 304 0 2645 0
[startup+0.0791949 s]
/proc/loadavg: 3.95 4.03 4.00 4/178 22743
/proc/meminfo: memFree=29818884/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=162488 CPUtime=0.13 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 1327 0 0 0 13 0 0 0 20 0 3 0 286423458 166387712 1276 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40622 1276 198 433 0 40186 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 162488
[startup+0.100168 s]
/proc/loadavg: 3.95 4.03 4.00 4/178 22743
/proc/meminfo: memFree=29818884/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=162488 CPUtime=0.18 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 1438 0 0 0 18 0 0 0 20 0 3 0 286423458 166387712 1387 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40622 1387 198 433 0 40186 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.30012 s]
/proc/loadavg: 3.95 4.03 4.00 4/178 22743
/proc/meminfo: memFree=29818884/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=162488 CPUtime=0.57 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 2077 0 0 0 57 0 0 0 20 0 3 0 286423458 166387712 2026 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40622 2026 198 433 0 40186 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 162488
[startup+0.700121 s]
/proc/loadavg: 3.95 4.03 4.00 4/178 22743
/proc/meminfo: memFree=29818884/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=162488 CPUtime=1.38 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 2869 0 0 0 137 1 0 0 20 0 3 0 286423458 166387712 2818 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40622 2818 198 433 0 40186 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50024 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22746
/proc/meminfo: memFree=29806492/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=162632 CPUtime=2.97 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 3341 0 0 0 296 1 0 0 20 0 3 0 286423458 166535168 3290 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40658 3290 198 433 0 40222 0
[pid=22743/tid=22745] ppid=22741 vsize=162632 CPUtime=1.47 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 1770 0 0 0 147 0 0 0 20 0 3 0 286423459 166535168 3290 33554432000 4194304 5964478 140737187502240 140488796616504 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=162632 CPUtime=1.48 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 786 0 0 0 148 0 0 0 20 0 3 0 286423459 166535168 3290 33554432000 4194304 5964478 140737187502240 140488786127072 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 162632
[startup+3.1002 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22746
/proc/meminfo: memFree=29803888/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=162776 CPUtime=6.17 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 4297 0 0 0 614 3 0 0 20 0 3 0 286423458 166682624 4246 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40694 4246 198 433 0 40258 0
[pid=22743/tid=22745] ppid=22741 vsize=162776 CPUtime=3.08 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 2420 0 0 0 305 3 0 0 20 0 3 0 286423459 166682624 4246 33554432000 4194304 5964478 140737187502240 140488796616696 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=162776 CPUtime=3.08 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 1092 0 0 0 308 0 0 0 20 0 3 0 286423459 166682624 4246 33554432000 4194304 5964478 140737187502240 140488786126968 4389094 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 162776
[startup+6.30027 s]
/proc/loadavg: 3.95 4.03 4.00 5/181 22746
/proc/meminfo: memFree=29793968/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163052 CPUtime=12.57 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 6714 0 0 0 1251 6 0 0 20 0 3 0 286423458 166965248 6663 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40763 6663 198 433 0 40327 0
[pid=22743/tid=22745] ppid=22741 vsize=163052 CPUtime=6.27 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 3736 0 0 0 622 5 0 0 20 0 3 0 286423459 166965248 6663 33554432000 4194304 5964478 140737187502240 140488796616744 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163052 CPUtime=6.28 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 2193 0 0 0 626 2 0 0 20 0 3 0 286423459 166965248 6663 33554432000 4194304 5964478 140737187502240 140488786126968 4403648 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163052
[startup+12.7003 s]
/proc/loadavg: 3.96 4.03 4.00 5/181 22746
/proc/meminfo: memFree=29778020/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163400 CPUtime=25.37 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 10158 0 0 0 2523 14 0 0 20 0 3 0 286423458 167321600 10107 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40850 10107 198 433 0 40414 0
[pid=22743/tid=22745] ppid=22741 vsize=163400 CPUtime=12.67 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 6748 0 0 0 1254 13 0 0 20 0 3 0 286423459 167321600 10107 33554432000 4194304 5964478 140737187502240 140488796616504 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163400 CPUtime=12.68 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 2625 0 0 0 1266 2 0 0 20 0 3 0 286423459 167321600 10107 33554432000 4194304 5964478 140737187502240 140488786127208 4399838 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 163400
[startup+25.5003 s]
/proc/loadavg: 3.97 4.02 4.00 5/181 22746
/proc/meminfo: memFree=29770524/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163208 CPUtime=50.97 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 11677 0 0 0 5082 15 0 0 20 0 3 0 286423458 167124992 11550 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40802 11550 200 433 0 40366 0
[pid=22743/tid=22745] ppid=22741 vsize=163208 CPUtime=25.47 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 6838 0 0 0 2534 13 0 0 20 0 3 0 286423459 167124992 11550 33554432000 4194304 5964478 140737187502240 140488796616608 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163208 CPUtime=25.47 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 4054 0 0 0 2545 2 0 0 20 0 3 0 286423459 167124992 11550 33554432000 4194304 5964478 140737187502240 140488786126968 4403661 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 163208
[startup+51.1002 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22786
/proc/meminfo: memFree=29793352/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163500 CPUtime=102.14 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 16815 0 0 0 10187 27 0 0 20 0 3 0 286423458 167424000 16572 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40875 16572 200 433 0 40439 0
[pid=22743/tid=22745] ppid=22741 vsize=163500 CPUtime=51.06 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11138 0 0 0 5082 24 0 0 20 0 3 0 286423459 167424000 16572 33554432000 4194304 5964478 140737187502240 140488796616608 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163500 CPUtime=51.07 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 4892 0 0 0 5103 4 0 0 20 0 3 0 286423459 167424000 16572 33554432000 4194304 5964478 140737187502240 140488786127152 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 163500
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22786
/proc/meminfo: memFree=29778732/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163636 CPUtime=114.93 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 16981 0 0 0 11466 27 0 0 20 0 3 0 286423458 167563264 16738 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40909 16738 200 433 0 40473 0
[pid=22743/tid=22745] ppid=22741 vsize=163636 CPUtime=57.46 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11143 0 0 0 5722 24 0 0 20 0 3 0 286423459 167563264 16738 33554432000 4194304 5964478 140737187502240 140488796616608 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163636 CPUtime=57.47 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5053 0 0 0 5743 4 0 0 20 0 3 0 286423459 167563264 16738 33554432000 4194304 5964478 140737187502240 140488786127160 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 114.93
Current children cumulated vsize (KiB) 163636
[startup+63.9003 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22826
/proc/meminfo: memFree=29821532/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163636 CPUtime=127.73 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 17012 0 0 0 12746 27 0 0 20 0 3 0 286423458 167563264 17240 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40909 17240 200 433 0 40473 0
[pid=22743/tid=22745] ppid=22741 vsize=163636 CPUtime=63.86 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11174 0 0 0 6362 24 0 0 20 0 3 0 286423459 167563264 17240 33554432000 4194304 5964478 140737187502240 140488796616800 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163636 CPUtime=63.87 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5053 0 0 0 6383 4 0 0 20 0 3 0 286423459 167563264 17240 33554432000 4194304 5964478 140737187502240 140488786127072 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 127.73
Current children cumulated vsize (KiB) 163636
[startup+65.5003 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22826
/proc/meminfo: memFree=29816492/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163828 CPUtime=130.93 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 17044 0 0 0 13066 27 0 0 20 0 3 0 286423458 167759872 17272 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40957 17272 200 433 0 40521 0
[pid=22743/tid=22745] ppid=22741 vsize=163828 CPUtime=65.46 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11182 0 0 0 6522 24 0 0 20 0 3 0 286423459 167759872 17272 33554432000 4194304 5964478 140737187502240 140488796616800 4400008 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163828 CPUtime=65.47 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5077 0 0 0 6543 4 0 0 20 0 3 0 286423459 167759872 17272 33554432000 4194304 5964478 140737187502240 140488786126920 4392952 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 130.93
Current children cumulated vsize (KiB) 163828
[startup+67.1064 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22826
/proc/meminfo: memFree=29813392/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163828 CPUtime=134.14 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 17048 0 0 0 13387 27 0 0 20 0 3 0 286423458 167759872 17255 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40957 17255 200 433 0 40521 0
[pid=22743/tid=22745] ppid=22741 vsize=163828 CPUtime=67.07 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11185 0 0 0 6682 25 0 0 20 0 3 0 286423459 167759872 17255 33554432000 4194304 5964478 140737187502240 140488796616800 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163828 CPUtime=67.08 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5078 0 0 0 6703 5 0 0 20 0 3 0 286423459 167759872 17255 33554432000 4194304 5964478 140737187502240 140488786126920 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 134.14
Current children cumulated vsize (KiB) 163828
[startup+67.9003 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22826
/proc/meminfo: memFree=29813392/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163988 CPUtime=135.73 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 17344 0 0 0 13546 27 0 0 20 0 3 0 286423458 167923712 17551 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40997 17551 200 433 0 40561 0
[pid=22743/tid=22745] ppid=22741 vsize=163988 CPUtime=67.86 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11185 0 0 0 6761 25 0 0 20 0 3 0 286423459 167923712 17551 33554432000 4194304 5964478 140737187502240 140488796616328 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163988 CPUtime=67.87 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5374 0 0 0 6782 5 0 0 20 0 3 0 286423459 167923712 17551 33554432000 4194304 5964478 140737187502240 140488786126920 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 135.73
Current children cumulated vsize (KiB) 163988
[startup+68.3003 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22826
/proc/meminfo: memFree=29811416/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163988 CPUtime=136.53 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 17649 0 0 0 13626 27 0 0 20 0 3 0 286423458 167923712 17856 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40997 17856 200 433 0 40561 0
[pid=22743/tid=22745] ppid=22741 vsize=163988 CPUtime=68.26 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11185 0 0 0 6801 25 0 0 20 0 3 0 286423459 167923712 17856 33554432000 4194304 5964478 140737187502240 140488796616328 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163988 CPUtime=68.27 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5679 0 0 0 6822 5 0 0 20 0 3 0 286423459 167923712 17856 33554432000 4194304 5964478 140737187502240 140488786127160 4400026 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.53
Current children cumulated vsize (KiB) 163988
[startup+68.4003 s]
/proc/loadavg: 3.98 4.02 4.00 5/181 22826
/proc/meminfo: memFree=29811416/32873648 swapFree=7368/7368
[pid=22743] ppid=22741 vsize=163988 CPUtime=136.73 cores=0,2,4,6
/proc/22743/stat : 22743 (pwbo2.01) S 22741 22743 20320 0 -1 4202496 17710 0 0 0 13646 27 0 0 20 0 3 0 286423458 167923712 17917 33554432000 4194304 5964478 140737187502240 140737187501760 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22743/statm: 40997 17917 200 433 0 40561 0
[pid=22743/tid=22745] ppid=22741 vsize=163988 CPUtime=68.36 cores=0,2,4,6
/proc/22743/task/22745/stat : 22745 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 11185 0 0 0 6811 25 0 0 20 0 3 0 286423459 167923712 17917 33554432000 4194304 5964478 140737187502240 140488796616328 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22743/tid=22746] ppid=22741 vsize=163988 CPUtime=68.37 cores=0,2,4,6
/proc/22743/task/22746/stat : 22746 (pwbo2.01) R 22741 22743 20320 0 -1 4202560 5740 0 0 0 6832 5 0 0 20 0 3 0 286423459 167923712 17917 33554432000 4194304 5964478 140737187502240 140488786127160 4400073 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.73
Current children cumulated vsize (KiB) 163988
Child status: 255
Real time (s): 68.4207
CPU time (s): 136.812
CPU user time (s): 136.49
CPU system time (s): 0.321951
CPU usage (%): 199.957
Max. virtual memory (cumulated for all children) (KiB): 163988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.49
system time used= 0.321951
maximum resident set size= 71724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17724
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= 85
involuntary context switches= 242
runsolver used 0.098984 second user time and 0.279957 second system time
The end