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-3752772-1339213495/watcher-3752772-1339213495 -o /tmp/evaluation-result-3752772-1339213495/solver-3752772-1339213495 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752772-1339213495.wbo 1517387358 HOME HOME
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: 2.06 2.05 2.00 2/179 24567
/proc/meminfo: memFree=26862760/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[startup+0.0889509 s]
/proc/loadavg: 2.06 2.05 2.00 2/179 24567
/proc/meminfo: memFree=26862760/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100221 s]
/proc/loadavg: 2.06 2.05 2.00 2/179 24567
/proc/meminfo: memFree=26862760/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300147 s]
/proc/loadavg: 2.06 2.05 2.00 2/179 24567
/proc/meminfo: memFree=26862760/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700161 s]
/proc/loadavg: 2.06 2.05 2.00 2/179 24567
/proc/meminfo: memFree=26862760/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 24576
/proc/meminfo: memFree=26757732/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=227236 CPUtime=1.48 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) R 24567 24567 7736 0 -1 4202496 21870 0 0 0 141 7 0 0 20 0 1 0 387475039 232689664 39156 33554432000 4194304 6006132 140737097482192 140737097476872 4964060 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24568/statm: 56809 39156 139 443 0 56362 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 236384
[startup+3.10027 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 24583
/proc/meminfo: memFree=26642532/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=403512 CPUtime=3.08 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) R 24567 24567 7736 0 -1 4202496 68867 0 0 0 291 17 0 0 20 0 1 0 387475039 413196288 100547 33554432000 4194304 6006132 140737097482192 140737097477688 4582640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 100878 100547 148 443 0 100431 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 412660
[startup+6.30026 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 24597
/proc/meminfo: memFree=26275008/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=665656 CPUtime=6.28 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) R 24567 24567 7736 0 -1 4202496 70607 0 0 0 604 24 0 0 20 0 1 0 387475039 681631744 157379 33554432000 4194304 6006132 140737097482192 140737097475928 4580492 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 166414 157379 158 443 0 165967 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 674804
[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 24705
/proc/meminfo: memFree=25844604/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=1452088 CPUtime=12.68 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) R 24567 24567 7736 0 -1 4202496 72229 0 0 0 1226 42 0 0 20 0 1 0 387475039 1486938112 267971 33554432000 4194304 6006132 140737097482192 140737097475720 4579310 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 363022 267971 158 443 0 362575 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1461236
[startup+25.5002 s]
/proc/loadavg: 2.12 2.06 2.00 3/182 24870
/proc/meminfo: memFree=22109660/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=21.84 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75970 0 0 0 2037 147 0 0 20 0 1 0 387475039 2560684032 583882 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583882 172 443 0 624720 0
Current children cumulated CPU time (s) 21.84
Current children cumulated vsize (KiB) 2509816
[startup+51.1002 s]
/proc/loadavg: 3.10 2.30 2.08 1/182 25004
/proc/meminfo: memFree=19640808/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
heavy processes:
%CPU=27 pid=24816 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+51.9002 s]
/proc/loadavg: 3.10 2.30 2.08 3/181 25012
/proc/meminfo: memFree=19647676/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+77.5002 s]
/proc/loadavg: 3.75 2.51 2.15 2/182 25262
/proc/meminfo: memFree=19664980/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+83.9002 s]
/proc/loadavg: 3.85 2.55 2.17 2/182 25346
/proc/meminfo: memFree=19665004/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+90.3002 s]
/proc/loadavg: 4.03 2.63 2.20 2/183 25431
/proc/meminfo: memFree=19672592/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+93.5003 s]
/proc/loadavg: 4.03 2.63 2.20 2/182 25470
/proc/meminfo: memFree=19682380/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+94.3066 s]
/proc/loadavg: 4.03 2.63 2.20 1/181 25482
/proc/meminfo: memFree=19726560/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+95.1002 s]
/proc/loadavg: 4.03 2.63 2.20 1/181 25482
/proc/meminfo: memFree=19726560/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+95.3002 s]
/proc/loadavg: 4.18 2.69 2.22 2/182 25494
/proc/meminfo: memFree=19724068/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
[startup+95.4065 s]
/proc/loadavg: 4.18 2.69 2.22 2/182 25494
/proc/meminfo: memFree=19724068/32873648 swapFree=7376/7376
[pid=24567] ppid=24565 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24567/stat : 24567 (npSolver-wbo-It) S 24565 24567 7736 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387475039 9367552 275 33554432000 4194304 5064252 140736334973328 140736334972240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24567/statm: 2287 275 233 213 0 72 0
[pid=24568] ppid=24567 vsize=2500668 CPUtime=22.5 cores=0,2,4,6
/proc/24568/stat : 24568 (npSolver-wbo) S 24567 24567 7736 0 -1 4204032 75971 0 0 0 2037 213 0 0 20 0 1 0 387475039 2560684032 583883 33554432000 4194304 6006132 140737097482192 140737097477608 5252949 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24568/statm: 625167 583883 173 443 0 624720 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 2509816
Child status: 0
Real time (s): 95.428
CPU time (s): 22.5206
CPU user time (s): 20.3709
CPU system time (s): 2.14967
CPU usage (%): 23.5995
Max. virtual memory (cumulated for all children) (KiB): 3999320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3709
system time used= 2.14967
maximum resident set size= 3384648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76346
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= 607016
involuntary context switches= 69
runsolver used 0.306953 second user time and 0.733888 second system time
The end