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-3699992-1338086677/watcher-3699992-1338086677 -o /tmp/evaluation-result-3699992-1338086677/solver-3699992-1338086677 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699992-1338086677.opb 1556251501 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.46 2.33 2.16 3/179 19453
/proc/meminfo: memFree=19855820/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[startup+0.0932629 s]
/proc/loadavg: 2.46 2.33 2.16 3/179 19453
/proc/meminfo: memFree=19855820/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100156 s]
/proc/loadavg: 2.46 2.33 2.16 3/179 19453
/proc/meminfo: memFree=19855820/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.46 2.33 2.16 3/179 19453
/proc/meminfo: memFree=19855820/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.46 2.33 2.16 3/179 19453
/proc/meminfo: memFree=19855820/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.46 2.33 2.16 3/181 19455
/proc/meminfo: memFree=19790984/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=130368 CPUtime=1.49 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) R 19453 19453 14700 0 -1 4202496 19158 0 0 0 145 4 0 0 20 0 1 0 274793159 133496832 30865 33554432000 4194304 5992684 140737193297296 140737193292712 4523485 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19454/statm: 32592 30865 158 440 0 32148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 139516
[startup+3.10022 s]
/proc/loadavg: 2.46 2.33 2.16 2/181 19455
/proc/meminfo: memFree=19568496/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=226940 CPUtime=2.16 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4202496 27896 0 0 0 197 19 0 0 20 0 1 0 274793159 232386560 45768 33554432000 4194304 5992684 140737193297296 140737193291744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 56735 45768 165 440 0 56291 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 236088
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.50 2.35 2.17 3/183 19457
/proc/meminfo: memFree=19223804/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=226940 CPUtime=2.16 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4202496 27896 0 0 0 197 19 0 0 20 0 1 0 274793159 232386560 45768 33554432000 4194304 5992684 140737193297296 140737193291744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 56735 45768 165 440 0 56291 0
[pid=19456] ppid=19454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19456/stat : 19456 (cp2_pre.sh) S 19454 19453 14700 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274793379 9367552 277 33554432000 4194304 5064252 140737236637856 140737236636560 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19456/statm: 2287 277 234 213 0 72 0
[pid=19457] ppid=19456 vsize=442736 CPUtime=4.07 cores=1,3,5,7
/proc/19457/stat : 19457 (coprocessor) R 19456 19453 14700 0 -1 4202496 17214 0 0 0 385 22 0 0 20 0 1 0 274793380 453361664 79722 33554432000 4194304 6586260 140735359032880 140735359028632 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/19457/statm: 110684 79722 158 584 0 110096 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 687972
[startup+12.7004 s]
/proc/loadavg: 2.46 2.34 2.17 3/182 19459
/proc/meminfo: memFree=19059776/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=226940 CPUtime=7.49 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4202496 27912 18118 0 0 197 19 503 30 20 0 1 0 274793159 232386560 45770 33554432000 4194304 5992684 140737193297296 140737193283560 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 56735 45770 167 440 0 56291 0
[pid=19459] ppid=19454 vsize=589476 CPUtime=5.14 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) R 19454 19453 14700 0 -1 4202496 86734 0 0 0 495 19 0 0 20 0 1 0 274793914 603623424 131713 33554432000 4194304 5654031 140737241537472 140737241535352 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 147369 131713 130 357 0 147009 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 825564
[startup+25.5004 s]
/proc/loadavg: 2.36 2.32 2.16 3/182 19459
/proc/meminfo: memFree=19059688/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=226940 CPUtime=7.49 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4202496 27912 18118 0 0 197 19 503 30 20 0 1 0 274793159 232386560 45770 33554432000 4194304 5992684 140737193297296 140737193283560 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 56735 45770 167 440 0 56291 0
[pid=19459] ppid=19454 vsize=591208 CPUtime=17.93 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) R 19454 19453 14700 0 -1 4202496 87157 0 0 0 1774 19 0 0 20 0 1 0 274793914 605396992 132136 33554432000 4194304 5654031 140737241537472 140737241535352 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 147802 132136 140 357 0 147442 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 827296
Solver just ended. Dumping a history of the last processes samples
[startup+31.9069 s]
/proc/loadavg: 2.33 2.32 2.16 3/182 19459
/proc/meminfo: memFree=19059672/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=226940 CPUtime=7.49 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4202496 27912 18118 0 0 197 19 503 30 20 0 1 0 274793159 232386560 45770 33554432000 4194304 5992684 140737193297296 140737193283560 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 56735 45770 167 440 0 56291 0
[pid=19459] ppid=19454 vsize=591472 CPUtime=24.33 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) R 19454 19453 14700 0 -1 4202496 87228 0 0 0 2414 19 0 0 20 0 1 0 274793914 605667328 132207 33554432000 4194304 5654031 140737241537472 140737241535256 4232509 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19459/statm: 147868 132207 140 357 0 147508 0
Current children cumulated CPU time (s) 31.82
Current children cumulated vsize (KiB) 827560
[startup+35.1003 s]
/proc/loadavg: 2.30 2.31 2.16 3/182 19459
/proc/meminfo: memFree=19057624/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=226940 CPUtime=7.49 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4202496 27912 18118 0 0 197 19 503 30 20 0 1 0 274793159 232386560 45770 33554432000 4194304 5992684 140737193297296 140737193283560 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 56735 45770 167 440 0 56291 0
[pid=19459] ppid=19454 vsize=591472 CPUtime=27.53 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) R 19454 19453 14700 0 -1 4202496 87244 0 0 0 2734 19 0 0 20 0 1 0 274793914 605667328 132734 33554432000 4194304 5654031 140737241537472 140737241535256 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19459/statm: 147868 132734 140 357 0 147508 0
Current children cumulated CPU time (s) 35.02
Current children cumulated vsize (KiB) 827560
[startup+38.3003 s]
/proc/loadavg: 2.30 2.31 2.16 4/183 19460
/proc/meminfo: memFree=18889916/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=284232 CPUtime=8.14 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4204032 34534 18118 0 0 240 41 503 30 20 0 1 0 274793159 291053568 60111 33554432000 4194304 5992684 140737193297296 140737193291832 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 71058 60111 185 440 0 70614 0
[pid=19459] ppid=19454 vsize=605276 CPUtime=29.13 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) S 19454 19453 14700 0 -1 4202496 89907 0 0 0 2893 20 0 0 20 0 1 0 274793914 619802624 137441 33554432000 4194304 5654031 140737241537472 140737241535784 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 151319 137441 146 357 0 150959 0
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (KiB) 898656
[startup+39.9003 s]
/proc/loadavg: 2.28 2.31 2.16 2/183 19460
/proc/meminfo: memFree=18516172/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=284232 CPUtime=8.14 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4204032 34534 18118 0 0 240 41 503 30 20 0 1 0 274793159 291053568 60111 33554432000 4194304 5992684 140737193297296 140737193291832 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 71058 60111 185 440 0 70614 0
[pid=19459] ppid=19454 vsize=605276 CPUtime=29.13 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) S 19454 19453 14700 0 -1 4202496 89907 0 0 0 2893 20 0 0 20 0 1 0 274793914 619802624 137441 33554432000 4194304 5654031 140737241537472 140737241535784 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 151319 137441 146 357 0 150959 0
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (KiB) 898656
[startup+40.7067 s]
/proc/loadavg: 2.28 2.31 2.16 2/183 19460
/proc/meminfo: memFree=18517152/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=284232 CPUtime=8.14 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4204032 34534 18118 0 0 240 41 503 30 20 0 1 0 274793159 291053568 60111 33554432000 4194304 5992684 140737193297296 140737193291832 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 71058 60111 185 440 0 70614 0
[pid=19459] ppid=19454 vsize=605276 CPUtime=29.13 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) S 19454 19453 14700 0 -1 4202496 89907 0 0 0 2893 20 0 0 20 0 1 0 274793914 619802624 137441 33554432000 4194304 5654031 140737241537472 140737241535784 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 151319 137441 146 357 0 150959 0
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (KiB) 898656
[startup+40.9002 s]
/proc/loadavg: 2.28 2.31 2.16 2/183 19460
/proc/meminfo: memFree=18517152/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=284232 CPUtime=8.14 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4204032 34534 18118 0 0 240 41 503 30 20 0 1 0 274793159 291053568 60111 33554432000 4194304 5992684 140737193297296 140737193291832 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 71058 60111 185 440 0 70614 0
[pid=19459] ppid=19454 vsize=605276 CPUtime=29.13 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) S 19454 19453 14700 0 -1 4202496 89907 0 0 0 2893 20 0 0 20 0 1 0 274793914 619802624 137441 33554432000 4194304 5654031 140737241537472 140737241535784 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 151319 137441 146 357 0 150959 0
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (KiB) 898656
[startup+41.0002 s]
/proc/loadavg: 2.28 2.31 2.16 2/183 19460
/proc/meminfo: memFree=18517152/32873648 swapFree=7104/7104
[pid=19453] ppid=19451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19453/stat : 19453 (npSolver-pbo-I.) S 19451 19453 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274793159 9367552 275 33554432000 4194304 5064252 140734303434176 140734303433088 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19453/statm: 2287 275 233 213 0 72 0
[pid=19454] ppid=19453 vsize=284232 CPUtime=8.14 cores=1,3,5,7
/proc/19454/stat : 19454 (npSolver-pbo) S 19453 19453 14700 0 -1 4204032 34534 18118 0 0 240 41 503 30 20 0 1 0 274793159 291053568 60111 33554432000 4194304 5992684 140737193297296 140737193291832 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/19454/statm: 71058 60111 185 440 0 70614 0
[pid=19459] ppid=19454 vsize=605276 CPUtime=29.13 cores=1,3,5,7
/proc/19459/stat : 19459 (glucosInc) S 19454 19453 14700 0 -1 4202496 89907 0 0 0 2893 20 0 0 20 0 1 0 274793914 619802624 137441 33554432000 4194304 5654031 140737241537472 140737241535784 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/19459/statm: 151319 137441 146 357 0 150959 0
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (KiB) 898656
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19453 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=443868
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=727889
# CPU time returned by wait4() is 8.17176
# while last known CPU time is 37.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 41.0271
CPU time (s): 37.27
CPU user time (s): 36.36
CPU system time (s): 0.91
CPU usage (%): 90.8424
Max. virtual memory (cumulated for all children) (KiB): 898656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.44387
system time used= 0.727889
maximum resident set size= 318896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53027
page faults= 0
swaps= 0
block input operations= 8
block output operations= 346792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70955
involuntary context switches= 31
runsolver used 0.065989 second user time and 0.201969 second system time
The end