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-3712694-1338206129/watcher-3712694-1338206129 -o /tmp/evaluation-result-3712694-1338206129/solver-3712694-1338206129 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712694-1338206129.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.86 3.97 3.99 4/178 23295
/proc/meminfo: memFree=28965684/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=5492 CPUtime=0 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) R 23293 23295 20320 0 -1 4202496 690 0 0 0 0 0 0 0 20 0 1 0 286736992 5623808 630 33554432000 4194304 5964478 140736662787744 140735782737544 4297174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 1373 643 167 433 0 937 0
[startup+0.023027 s]
/proc/loadavg: 3.86 3.97 3.99 4/178 23295
/proc/meminfo: memFree=28965684/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=0.03 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 2232 0 0 0 3 0 0 0 20 0 3 0 286736992 168542208 1736 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 1736 200 433 0 40712 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164592
[startup+0.100174 s]
/proc/loadavg: 3.86 3.97 3.99 4/178 23295
/proc/meminfo: memFree=28965684/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=0.18 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 2973 0 0 0 18 0 0 0 20 0 3 0 286736992 168542208 2369 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 2369 201 433 0 40712 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164592
[startup+0.300138 s]
/proc/loadavg: 3.86 3.97 3.99 4/178 23295
/proc/meminfo: memFree=28965684/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=0.58 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 4288 0 0 0 58 0 0 0 20 0 3 0 286736992 168542208 3307 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 3307 201 433 0 40712 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164592
[startup+0.700182 s]
/proc/loadavg: 3.86 3.97 3.99 4/178 23295
/proc/meminfo: memFree=28965684/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=1.38 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 7183 0 0 0 138 0 0 0 20 0 3 0 286736992 168542208 4684 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 4684 201 433 0 40712 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164592
[startup+1.50037 s]
/proc/loadavg: 3.86 3.97 3.99 5/181 23298
/proc/meminfo: memFree=28939652/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=2.98 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 12682 0 0 0 297 1 0 0 20 0 3 0 286736992 168542208 6751 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 6751 201 433 0 40712 0
[pid=23295/tid=23297] ppid=23293 vsize=164592 CPUtime=1.48 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 9607 0 0 0 146 2 0 0 20 0 3 0 286736993 168542208 6751 33554432000 4194304 5964478 140736662787744 140248516893568 4394782 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=164592 CPUtime=1.48 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 2193 0 0 0 148 0 0 0 20 0 3 0 286736993 168542208 6751 33554432000 4194304 5964478 140736662787744 140248506403104 4390862 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164592
[startup+3.10036 s]
/proc/loadavg: 3.86 3.97 3.99 5/181 23298
/proc/meminfo: memFree=28926236/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=6.18 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 22910 0 0 0 615 3 0 0 20 0 3 0 286736992 168542208 9342 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 9342 201 433 0 40712 0
[pid=23295/tid=23297] ppid=23293 vsize=164592 CPUtime=3.08 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 18869 0 0 0 305 3 0 0 20 0 3 0 286736993 168542208 9342 33554432000 4194304 5964478 140736662787744 140248516893208 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=164592 CPUtime=3.07 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 3159 0 0 0 307 0 0 0 20 0 3 0 286736993 168542208 9342 33554432000 4194304 5964478 140736662787744 140248506403104 4400002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164592
[startup+6.30037 s]
/proc/loadavg: 3.87 3.97 3.99 5/181 23298
/proc/meminfo: memFree=28889344/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=164592 CPUtime=12.58 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 42571 0 0 0 1252 6 0 0 20 0 3 0 286736992 168542208 15687 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 41148 15687 201 433 0 40712 0
[pid=23295/tid=23297] ppid=23293 vsize=164592 CPUtime=6.28 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 34936 0 0 0 622 6 0 0 20 0 3 0 286736993 168542208 15687 33554432000 4194304 5964478 140736662787744 140248516893568 5143981 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=164592 CPUtime=6.27 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 6753 0 0 0 626 1 0 0 20 0 3 0 286736993 168542208 15687 33554432000 4194304 5964478 140736662787744 140248506403104 4403676 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164592
[startup+12.7004 s]
/proc/loadavg: 3.88 3.97 3.99 5/181 23298
/proc/meminfo: memFree=28834520/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230260 CPUtime=25.37 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 62237 0 0 0 2528 9 0 0 20 0 3 0 286736992 235786240 21034 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57565 21034 201 433 0 57129 0
[pid=23295/tid=23297] ppid=23293 vsize=230260 CPUtime=12.68 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 48101 0 0 0 1260 8 0 0 20 0 3 0 286736993 235786240 21034 33554432000 4194304 5964478 140736662787744 140248516893016 4392902 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230260 CPUtime=12.67 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 13254 0 0 0 1264 3 0 0 20 0 3 0 286736993 235786240 21034 33554432000 4194304 5964478 140736662787744 140248506403480 4403705 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 230260
[startup+25.5004 s]
/proc/loadavg: 3.98 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28787908/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230260 CPUtime=50.97 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 72293 0 0 0 5086 11 0 0 20 0 3 0 286736992 235786240 21275 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57565 21275 201 433 0 57129 0
[pid=23295/tid=23297] ppid=23293 vsize=230260 CPUtime=25.48 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 50065 0 0 0 2540 8 0 0 20 0 3 0 286736993 235786240 21275 33554432000 4194304 5964478 140736662787744 140248516893080 4400578 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230260 CPUtime=25.47 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 21346 0 0 0 2543 4 0 0 20 0 3 0 286736993 235786240 21275 33554432000 4194304 5964478 140736662787744 140248506403480 4390862 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 230260
[startup+51.1004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28699280/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230800 CPUtime=102.16 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 80885 0 0 0 10201 15 0 0 20 0 3 0 286736992 236339200 23424 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57700 23424 201 433 0 57264 0
[pid=23295/tid=23297] ppid=23293 vsize=230800 CPUtime=51.07 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 51936 0 0 0 5096 11 0 0 20 0 3 0 286736993 236339200 23424 33554432000 4194304 5964478 140736662787744 140248516892664 4379376 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230800 CPUtime=51.07 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 28067 0 0 0 5102 5 0 0 20 0 3 0 286736993 236339200 23424 33554432000 4194304 5964478 140736662787744 140248506402888 4389069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 230800
Solver just ended. Dumping a history of the last processes samples
[startup+57.5004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28675348/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230800 CPUtime=114.96 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 82387 0 0 0 11481 15 0 0 20 0 3 0 286736992 236339200 23703 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57700 23703 201 433 0 57264 0
[pid=23295/tid=23297] ppid=23293 vsize=230800 CPUtime=57.47 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 52036 0 0 0 5736 11 0 0 20 0 3 0 286736993 236339200 23703 33554432000 4194304 5964478 140736662787744 140248516892472 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230800 CPUtime=57.47 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 29469 0 0 0 5742 5 0 0 20 0 3 0 286736993 236339200 23703 33554432000 4194304 5964478 140736662787744 140248506403480 4388252 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 114.96
Current children cumulated vsize (KiB) 230800
[startup+60.7004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28647244/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230936 CPUtime=121.35 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 86063 0 0 0 12120 15 0 0 20 0 3 0 286736992 236478464 27887 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57734 27887 201 433 0 57298 0
[pid=23295/tid=23297] ppid=23293 vsize=230936 CPUtime=60.67 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 55703 0 0 0 6056 11 0 0 20 0 3 0 286736993 236478464 27887 33554432000 4194304 5964478 140736662787744 140248516892536 4403559 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230936 CPUtime=60.67 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 29478 0 0 0 6062 5 0 0 20 0 3 0 286736993 236478464 27887 33554432000 4194304 5964478 140736662787744 140248506403104 4403648 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 121.35
Current children cumulated vsize (KiB) 230936
[startup+63.9004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28647616/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230936 CPUtime=127.75 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 86217 0 0 0 12760 15 0 0 20 0 3 0 286736992 236478464 28041 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57734 28041 201 433 0 57298 0
[pid=23295/tid=23297] ppid=23293 vsize=230936 CPUtime=63.87 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 55703 0 0 0 6376 11 0 0 20 0 3 0 286736993 236478464 28041 33554432000 4194304 5964478 140736662787744 140248516893568 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230936 CPUtime=63.87 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 29632 0 0 0 6382 5 0 0 20 0 3 0 286736993 236478464 28041 33554432000 4194304 5964478 140736662787744 140248506403104 4403648 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 127.75
Current children cumulated vsize (KiB) 230936
[startup+64.7004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28647616/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230936 CPUtime=129.35 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 87133 0 0 0 12920 15 0 0 20 0 3 0 286736992 236478464 28120 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57734 28120 201 433 0 57298 0
[pid=23295/tid=23297] ppid=23293 vsize=230936 CPUtime=64.67 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 55703 0 0 0 6456 11 0 0 20 0 3 0 286736993 236478464 28120 33554432000 4194304 5964478 140736662787744 140248516893568 4403552 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230936 CPUtime=64.67 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 30548 0 0 0 6462 5 0 0 20 0 3 0 286736993 236478464 28120 33554432000 4194304 5964478 140736662787744 140248506403104 4403705 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 129.35
Current children cumulated vsize (KiB) 230936
[startup+65.5004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28646868/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230936 CPUtime=130.96 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 87541 0 0 0 13080 16 0 0 20 0 3 0 286736992 236478464 28120 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57734 28120 201 433 0 57298 0
[pid=23295/tid=23297] ppid=23293 vsize=230936 CPUtime=65.47 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 55703 0 0 0 6536 11 0 0 20 0 3 0 286736993 236478464 28120 33554432000 4194304 5964478 140736662787744 140248516893568 4400592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230936 CPUtime=65.47 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 30956 0 0 0 6542 5 0 0 20 0 3 0 286736993 236478464 28120 33554432000 4194304 5964478 140736662787744 140248506403480 4403682 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 130.96
Current children cumulated vsize (KiB) 230936
[startup+65.9004 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23298
/proc/meminfo: memFree=28646956/32873648 swapFree=7368/7368
[pid=23295] ppid=23293 vsize=230936 CPUtime=131.77 cores=1,3,5,7
/proc/23295/stat : 23295 (pwbo2.01) S 23293 23295 20320 0 -1 4202496 87541 0 0 0 13161 16 0 0 20 0 3 0 286736992 236478464 28120 33554432000 4194304 5964478 140736662787744 140736662787264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23295/statm: 57734 28120 201 433 0 57298 0
[pid=23295/tid=23297] ppid=23293 vsize=230936 CPUtime=65.88 cores=1,3,5,7
/proc/23295/task/23297/stat : 23297 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 55703 0 0 0 6577 11 0 0 20 0 3 0 286736993 236478464 28120 33554432000 4194304 5964478 140736662787744 140248516893568 4403293 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23295/tid=23298] ppid=23293 vsize=230936 CPUtime=65.87 cores=1,3,5,7
/proc/23295/task/23298/stat : 23298 (pwbo2.01) R 23293 23295 20320 0 -1 4202560 30956 0 0 0 6581 6 0 0 20 0 3 0 286736993 236478464 28120 33554432000 4194304 5964478 140736662787744 140248506403480 4403648 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 131.77
Current children cumulated vsize (KiB) 230936
Child status: 255
Real time (s): 66.0043
CPU time (s): 131.986
CPU user time (s): 131.775
CPU system time (s): 0.210967
CPU usage (%): 199.966
Max. virtual memory (cumulated for all children) (KiB): 230936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.775
system time used= 0.210967
maximum resident set size= 114176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87546
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= 171
involuntary context switches= 200
runsolver used 0.26296 second user time and 0.686895 second system time
The end