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-3749139-1339159940/watcher-3749139-1339159940 -o /tmp/evaluation-result-3749139-1339159940/solver-3749139-1339159940 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749139-1339159940.opb 1048801929 HOME HOME
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: 2.19 1.48 1.47 3/179 8870
/proc/meminfo: memFree=31359352/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[startup+0.0333069 s]
/proc/loadavg: 2.19 1.48 1.47 3/179 8870
/proc/meminfo: memFree=31359352/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.19 1.48 1.47 3/179 8870
/proc/meminfo: memFree=31359352/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30031 s]
/proc/loadavg: 2.19 1.48 1.47 3/179 8870
/proc/meminfo: memFree=31359352/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700307 s]
/proc/loadavg: 2.19 1.48 1.47 3/179 8870
/proc/meminfo: memFree=31359352/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.19 1.48 1.47 3/181 8872
/proc/meminfo: memFree=31227204/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=292236 CPUtime=1.48 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) R 8870 8870 4304 0 -1 4202496 15696 0 0 0 142 6 0 0 20 0 1 0 382120145 299249664 56274 33554432000 4194304 6004724 140736521646560 140736521641160 5056502 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8871/statm: 73059 56274 153 442 0 72613 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 301384
[startup+3.10029 s]
/proc/loadavg: 2.19 1.48 1.47 3/181 8872
/proc/meminfo: memFree=31098852/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=180352 CPUtime=2.23 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4202496 15870 0 0 0 199 24 0 0 20 0 1 0 382120145 184680448 38584 33554432000 4194304 6004724 140736521646560 140736521641024 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 45088 38584 162 442 0 44642 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 189500
heavy processes:
[startup+6.30045 s]
/proc/loadavg: 2.17 1.49 1.48 3/183 8874
/proc/meminfo: memFree=30611364/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=180352 CPUtime=2.23 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4202496 15870 0 0 0 199 24 0 0 20 0 1 0 382120145 184680448 38584 33554432000 4194304 6004724 140736521646560 140736521641024 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 45088 38584 162 442 0 44642 0
[pid=8873] ppid=8871 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8873/stat : 8873 (cp2_pre.sh) S 8871 8870 4304 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382120371 9367552 277 33554432000 4194304 5064252 140735267309312 140735267308016 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8873/statm: 2287 277 234 213 0 72 0
[pid=8874] ppid=8873 vsize=540980 CPUtime=4.02 cores=1,3,5,7
/proc/8874/stat : 8874 (coprocessor) R 8873 8870 4304 0 -1 4202496 62288 0 0 0 385 17 0 0 20 0 1 0 382120372 553963520 132381 33554432000 4194304 6586260 140736082288976 140736082284904 4774851 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8874/statm: 135245 132381 173 584 0 134657 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 739628
[startup+12.7005 s]
/proc/loadavg: 2.16 1.50 1.48 3/182 8876
/proc/meminfo: memFree=30965364/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=180352 CPUtime=11.19 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4202496 15888 70761 0 0 199 25 844 51 20 0 1 0 382120145 184680448 38588 33554432000 4194304 6004724 140736521646560 140736521632840 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 45088 38588 166 442 0 44642 0
[pid=8876] ppid=8871 vsize=236844 CPUtime=1.46 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) R 8871 8870 4304 0 -1 4202496 38952 0 0 0 139 7 0 0 20 0 1 0 382121267 242528256 48716 33554432000 4194304 5654031 140735973627312 140735973625096 4233021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8876/statm: 59211 48716 131 357 0 58851 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 426344
Solver just ended. Dumping a history of the last processes samples
[startup+13.2004 s]
/proc/loadavg: 2.16 1.50 1.48 3/182 8876
/proc/meminfo: memFree=30965364/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=180352 CPUtime=11.19 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4202496 15888 70761 0 0 199 25 844 51 20 0 1 0 382120145 184680448 38588 33554432000 4194304 6004724 140736521646560 140736521632840 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 45088 38588 166 442 0 44642 0
[pid=8876] ppid=8871 vsize=236976 CPUtime=1.96 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) R 8871 8870 4304 0 -1 4202496 38976 0 0 0 189 7 0 0 20 0 1 0 382121267 242663424 48740 33554432000 4194304 5654031 140735973627312 140735973625096 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8876/statm: 59244 48740 131 357 0 58884 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 426476
[startup+19.6004 s]
/proc/loadavg: 2.13 1.51 1.48 3/182 8876
/proc/meminfo: memFree=30946700/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=180352 CPUtime=11.19 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4202496 15888 70761 0 0 199 25 844 51 20 0 1 0 382120145 184680448 38588 33554432000 4194304 6004724 140736521646560 140736521632840 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 45088 38588 166 442 0 44642 0
[pid=8876] ppid=8871 vsize=237652 CPUtime=8.36 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) R 8871 8870 4304 0 -1 4202496 39180 0 0 0 829 7 0 0 20 0 1 0 382121267 243355648 49455 33554432000 4194304 5654031 140735973627312 140735973615128 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8876/statm: 59413 49455 140 357 0 59053 0
Current children cumulated CPU time (s) 19.55
Current children cumulated vsize (KiB) 427152
[startup+21.2004 s]
/proc/loadavg: 2.13 1.51 1.48 4/182 8876
/proc/meminfo: memFree=30943980/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=190356 CPUtime=11.66 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) R 8870 8870 4304 0 -1 4204032 20498 70761 0 0 222 49 844 51 20 0 1 0 382120145 194924544 41079 33554432000 4194304 6004724 140736521646560 140736521641112 5251733 0 0 4096 0 0 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 47589 41079 187 442 0 47143 0
[pid=8876] ppid=8871 vsize=239876 CPUtime=9.13 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) S 8871 8870 4304 0 -1 4202496 39970 0 0 0 906 7 0 0 20 0 1 0 382121267 245633024 50245 33554432000 4194304 5654031 140735973627312 140735973625624 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8876/statm: 59969 50245 146 357 0 59609 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 439380
[startup+22.8003 s]
/proc/loadavg: 2.13 1.51 1.48 2/183 8877
/proc/meminfo: memFree=30596564/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=190356 CPUtime=11.68 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4204032 20499 70761 0 0 222 51 844 51 20 0 1 0 382120145 194924544 41080 33554432000 4194304 6004724 140736521646560 140736521641112 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 47589 41080 188 442 0 47143 0
[pid=8876] ppid=8871 vsize=239876 CPUtime=9.13 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) S 8871 8870 4304 0 -1 4202496 39970 0 0 0 906 7 0 0 20 0 1 0 382121267 245633024 50245 33554432000 4194304 5654031 140735973627312 140735973625624 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8876/statm: 59969 50245 146 357 0 59609 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 439380
[startup+23.6065 s]
/proc/loadavg: 2.12 1.52 1.49 2/183 8877
/proc/meminfo: memFree=30598548/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=190356 CPUtime=11.68 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4204032 20499 70761 0 0 222 51 844 51 20 0 1 0 382120145 194924544 41080 33554432000 4194304 6004724 140736521646560 140736521641112 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 47589 41080 188 442 0 47143 0
[pid=8876] ppid=8871 vsize=239876 CPUtime=9.13 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) S 8871 8870 4304 0 -1 4202496 39970 0 0 0 906 7 0 0 20 0 1 0 382121267 245633024 50245 33554432000 4194304 5654031 140735973627312 140735973625624 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8876/statm: 59969 50245 146 357 0 59609 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 439380
[startup+24.0003 s]
/proc/loadavg: 2.12 1.52 1.49 2/183 8877
/proc/meminfo: memFree=30598548/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=190356 CPUtime=11.68 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4204032 20499 70761 0 0 222 51 844 51 20 0 1 0 382120145 194924544 41080 33554432000 4194304 6004724 140736521646560 140736521641112 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 47589 41080 188 442 0 47143 0
[pid=8876] ppid=8871 vsize=239876 CPUtime=9.13 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) S 8871 8870 4304 0 -1 4202496 39970 0 0 0 906 7 0 0 20 0 1 0 382121267 245633024 50245 33554432000 4194304 5654031 140735973627312 140735973625624 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8876/statm: 59969 50245 146 357 0 59609 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 439380
[startup+24.1003 s]
/proc/loadavg: 2.12 1.52 1.49 2/183 8877
/proc/meminfo: memFree=30598548/32873844 swapFree=7380/7380
[pid=8870] ppid=8868 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8870/stat : 8870 (npSolver-pbo-I.) S 8868 8870 4304 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382120145 9367552 275 33554432000 4194304 5064252 140733904466912 140733904465824 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8870/statm: 2287 275 233 213 0 72 0
[pid=8871] ppid=8870 vsize=190356 CPUtime=11.68 cores=1,3,5,7
/proc/8871/stat : 8871 (npSolver-pbo) S 8870 8870 4304 0 -1 4204032 20499 70761 0 0 222 51 844 51 20 0 1 0 382120145 194924544 41080 33554432000 4194304 6004724 140736521646560 140736521641112 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/8871/statm: 47589 41080 188 442 0 47143 0
[pid=8876] ppid=8871 vsize=239876 CPUtime=9.13 cores=1,3,5,7
/proc/8876/stat : 8876 (glucosInc) S 8871 8870 4304 0 -1 4202496 39970 0 0 0 906 7 0 0 20 0 1 0 382121267 245633024 50245 33554432000 4194304 5654031 140735973627312 140735973625624 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8876/statm: 59969 50245 146 357 0 59609 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 439380
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8870 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=675377
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=32842
# CPU time returned by wait4() is 11.7082
# while last known CPU time is 20.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 24.1163
CPU time (s): 20.81
CPU user time (s): 19.72
CPU system time (s): 1.09
CPU usage (%): 86.2903
Max. virtual memory (cumulated for all children) (KiB): 817980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6754
system time used= 1.03284
maximum resident set size= 610896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91635
page faults= 0
swaps= 0
block input operations= 8
block output operations= 285280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45216
involuntary context switches= 20
runsolver used 0.036994 second user time and 0.12598 second system time
The end