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-3749171-1339160082/watcher-3749171-1339160082 -o /tmp/evaluation-result-3749171-1339160082/solver-3749171-1339160082 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749171-1339160082.opb 1713973144 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.00 2.00 2.00 3/181 15759
/proc/meminfo: memFree=29762392/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[startup+0.0502229 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15759
/proc/meminfo: memFree=29762392/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15759
/proc/meminfo: memFree=29762392/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15759
/proc/meminfo: memFree=29762392/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15759
/proc/meminfo: memFree=29762392/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15761
/proc/meminfo: memFree=29216680/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=195448 CPUtime=1.49 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) R 15759 15759 11784 0 -1 4202496 22418 0 0 0 144 5 0 0 20 0 1 0 25975140 200138752 44021 33554432000 4194304 6004724 140736161584688 140736161578968 4582623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 48862 44021 154 442 0 48416 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204596
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15761
/proc/meminfo: memFree=29003308/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=545208 CPUtime=3.08 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) R 15759 15759 11784 0 -1 4202496 24065 0 0 0 293 15 0 0 20 0 1 0 25975140 558292992 108936 33554432000 4194304 6004724 140736161584688 140736161579288 5193835 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 136302 108936 157 442 0 135856 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 554356
[startup+6.30038 s]
/proc/loadavg: 2.16 2.03 2.01 3/185 15763
/proc/meminfo: memFree=28085592/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=3.25 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24072 0 0 0 293 32 0 0 20 0 1 0 25975140 401465344 70654 33554432000 4194304 6004724 140736161584688 140736161579152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70654 163 442 0 97568 0
[pid=15762] ppid=15760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15762/stat : 15762 (cp2_pre.sh) S 15760 15759 11784 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 25975466 9367552 276 33554432000 4194304 5064252 140735718952464 140735718951168 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15762/statm: 2287 276 234 213 0 72 0
[pid=15763] ppid=15762 vsize=610732 CPUtime=3.02 cores=0,2,4,6
/proc/15763/stat : 15763 (coprocessor) R 15762 15759 11784 0 -1 4202496 53298 0 0 0 286 16 0 0 20 0 1 0 25975467 625389568 136254 33554432000 4194304 6586260 140736919250560 140736919246824 4249082 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/15763/statm: 152683 136254 164 584 0 152095 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1021084
[startup+12.7004 s]
/proc/loadavg: 2.23 2.05 2.02 3/185 15763
/proc/meminfo: memFree=27571376/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=3.25 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24072 0 0 0 293 32 0 0 20 0 1 0 25975140 401465344 70654 33554432000 4194304 6004724 140736161584688 140736161579152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70654 163 442 0 97568 0
[pid=15762] ppid=15760 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15762/stat : 15762 (cp2_pre.sh) S 15760 15759 11784 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 25975466 9367552 276 33554432000 4194304 5064252 140735718952464 140735718951168 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15762/statm: 2287 276 234 213 0 72 0
[pid=15763] ppid=15762 vsize=794212 CPUtime=9.43 cores=0,2,4,6
/proc/15763/stat : 15763 (coprocessor) R 15762 15759 11784 0 -1 4202496 86490 0 0 0 880 63 0 0 20 0 1 0 25975467 813273088 195018 33554432000 4194304 6586260 140736919250560 140736919246312 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/15763/statm: 198553 195018 199 584 0 197965 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1204564
[startup+25.5003 s]
/proc/loadavg: 2.19 2.05 2.01 3/183 15767
/proc/meminfo: memFree=29294704/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=13.97 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24091 87391 0 0 293 32 998 74 20 0 1 0 25975140 401465344 70658 33554432000 4194304 6004724 140736161584688 140736161570968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70658 167 442 0 97568 0
[pid=15765] ppid=15760 vsize=281100 CPUtime=11.49 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) R 15760 15759 11784 0 -1 4202496 46848 0 0 0 1141 8 0 0 20 0 1 0 25976540 287846400 63143 33554432000 4194304 5654031 140736538244176 140736538231992 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15765/statm: 70275 63143 140 357 0 69915 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 682304
[startup+51.1004 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 15767
/proc/meminfo: memFree=29273612/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=13.97 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24091 87391 0 0 293 32 998 74 20 0 1 0 25975140 401465344 70658 33554432000 4194304 6004724 140736161584688 140736161570968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70658 167 442 0 97568 0
[pid=15765] ppid=15760 vsize=285916 CPUtime=37.09 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) R 15760 15759 11784 0 -1 4202496 47648 0 0 0 3700 9 0 0 20 0 1 0 25976540 292777984 65476 33554432000 4194304 5654031 140736538244176 140736538231992 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15765/statm: 71479 65476 140 357 0 71119 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 687120
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/183 15767
/proc/meminfo: memFree=29250712/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=13.97 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24091 87391 0 0 293 32 998 74 20 0 1 0 25975140 401465344 70658 33554432000 4194304 6004724 140736161584688 140736161570968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70658 167 442 0 97568 0
[pid=15765] ppid=15760 vsize=288612 CPUtime=88.28 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) R 15760 15759 11784 0 -1 4202496 48946 0 0 0 8818 10 0 0 20 0 1 0 25976540 295538688 65786 33554432000 4194304 5654031 140736538244176 140736538231992 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15765/statm: 72153 65786 141 357 0 71793 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 689816
[startup+162.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 15767
/proc/meminfo: memFree=29240588/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=13.97 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24091 87391 0 0 293 32 998 74 20 0 1 0 25975140 401465344 70658 33554432000 4194304 6004724 140736161584688 140736161570968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70658 167 442 0 97568 0
[pid=15765] ppid=15760 vsize=322052 CPUtime=148.26 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) R 15760 15759 11784 0 -1 4202496 50030 0 0 0 14816 10 0 0 20 0 1 0 25976540 329781248 68895 33554432000 4194304 5654031 140736538244176 140736538231992 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15765/statm: 80513 68895 141 357 0 80153 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 723256
Solver just ended. Dumping a history of the last processes samples
[startup+166.6 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 15767
/proc/meminfo: memFree=29250656/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=13.97 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24091 87391 0 0 293 32 998 74 20 0 1 0 25975140 401465344 70658 33554432000 4194304 6004724 140736161584688 140736161570968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70658 167 442 0 97568 0
[pid=15765] ppid=15760 vsize=291232 CPUtime=152.57 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) R 15760 15759 11784 0 -1 4202496 50631 0 0 0 15245 12 0 0 20 0 1 0 25976540 298221568 66268 33554432000 4194304 5654031 140736538244176 140736538231992 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15765/statm: 72808 66268 141 357 0 72448 0
Current children cumulated CPU time (s) 166.54
Current children cumulated vsize (KiB) 692436
[startup+179.4 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 15767
/proc/meminfo: memFree=29245632/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392056 CPUtime=13.97 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4202496 24091 87391 0 0 293 32 998 74 20 0 1 0 25975140 401465344 70658 33554432000 4194304 6004724 140736161584688 140736161570968 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98014 70658 167 442 0 97568 0
[pid=15765] ppid=15760 vsize=291232 CPUtime=165.37 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) R 15760 15759 11784 0 -1 4202496 50823 0 0 0 16525 12 0 0 20 0 1 0 25976540 298221568 66971 33554432000 4194304 5654031 140736538244176 140736538231992 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15765/statm: 72808 66971 141 357 0 72448 0
Current children cumulated CPU time (s) 179.34
Current children cumulated vsize (KiB) 692436
[startup+185.8 s]
/proc/loadavg: 2.07 2.04 2.00 2/184 15768
/proc/meminfo: memFree=28663380/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392060 CPUtime=14.58 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4204032 31095 87391 0 0 333 53 998 74 20 0 1 0 25975140 401469440 70681 33554432000 4194304 6004724 140736161584688 140736161579240 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98015 70681 189 442 0 97569 0
[pid=15765] ppid=15760 vsize=291240 CPUtime=168.13 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) S 15760 15759 11784 0 -1 4202496 51074 0 0 0 16801 12 0 0 20 0 1 0 25976540 298229760 67222 33554432000 4194304 5654031 140736538244176 140736538242488 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 72810 67222 147 357 0 72450 0
Current children cumulated CPU time (s) 182.71
Current children cumulated vsize (KiB) 692448
[startup+189 s]
/proc/loadavg: 2.06 2.04 2.00 4/184 15768
/proc/meminfo: memFree=28662140/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392060 CPUtime=14.58 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4204032 31095 87391 0 0 333 53 998 74 20 0 1 0 25975140 401469440 70681 33554432000 4194304 6004724 140736161584688 140736161579240 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98015 70681 189 442 0 97569 0
[pid=15765] ppid=15760 vsize=291240 CPUtime=168.13 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) S 15760 15759 11784 0 -1 4202496 51074 0 0 0 16801 12 0 0 20 0 1 0 25976540 298229760 67222 33554432000 4194304 5654031 140736538244176 140736538242488 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 72810 67222 147 357 0 72450 0
Current children cumulated CPU time (s) 182.71
Current children cumulated vsize (KiB) 692448
[startup+189.8 s]
/proc/loadavg: 2.06 2.04 2.00 2/184 15768
/proc/meminfo: memFree=28661892/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392060 CPUtime=14.58 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4204032 31095 87391 0 0 333 53 998 74 20 0 1 0 25975140 401469440 70681 33554432000 4194304 6004724 140736161584688 140736161579240 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98015 70681 189 442 0 97569 0
[pid=15765] ppid=15760 vsize=291240 CPUtime=168.13 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) S 15760 15759 11784 0 -1 4202496 51074 0 0 0 16801 12 0 0 20 0 1 0 25976540 298229760 67222 33554432000 4194304 5654031 140736538244176 140736538242488 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 72810 67222 147 357 0 72450 0
Current children cumulated CPU time (s) 182.71
Current children cumulated vsize (KiB) 692448
[startup+190.607 s]
/proc/loadavg: 2.06 2.04 2.00 2/184 15768
/proc/meminfo: memFree=28662016/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392060 CPUtime=14.58 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4204032 31095 87391 0 0 333 53 998 74 20 0 1 0 25975140 401469440 70681 33554432000 4194304 6004724 140736161584688 140736161579240 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98015 70681 189 442 0 97569 0
[pid=15765] ppid=15760 vsize=291240 CPUtime=168.13 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) S 15760 15759 11784 0 -1 4202496 51074 0 0 0 16801 12 0 0 20 0 1 0 25976540 298229760 67222 33554432000 4194304 5654031 140736538244176 140736538242488 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 72810 67222 147 357 0 72450 0
Current children cumulated CPU time (s) 182.71
Current children cumulated vsize (KiB) 692448
[startup+191 s]
/proc/loadavg: 2.06 2.04 2.00 2/184 15768
/proc/meminfo: memFree=28662016/32873844 swapFree=7124/7124
[pid=15759] ppid=15757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15759/stat : 15759 (npSolver-pbo-I.) S 15757 15759 11784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 25975140 9367552 275 33554432000 4194304 5064252 140737427392496 140737427391408 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15759/statm: 2287 275 233 213 0 72 0
[pid=15760] ppid=15759 vsize=392060 CPUtime=14.58 cores=0,2,4,6
/proc/15760/stat : 15760 (npSolver-pbo) S 15759 15759 11784 0 -1 4204032 31095 87391 0 0 333 53 998 74 20 0 1 0 25975140 401469440 70681 33554432000 4194304 6004724 140736161584688 140736161579240 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15760/statm: 98015 70681 189 442 0 97569 0
[pid=15765] ppid=15760 vsize=291240 CPUtime=168.13 cores=0,2,4,6
/proc/15765/stat : 15765 (glucosInc) S 15760 15759 11784 0 -1 4202496 51074 0 0 0 16801 12 0 0 20 0 1 0 25976540 298229760 67222 33554432000 4194304 5654031 140736538244176 140736538242488 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15765/statm: 72810 67222 147 357 0 72450 0
Current children cumulated CPU time (s) 182.71
Current children cumulated vsize (KiB) 692448
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15759 and gives
# childrusage.ru_utime.tv_sec=13
# childrusage.ru_utime.tv_usec=320974
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=290803
# CPU time returned by wait4() is 14.6118
# while last known CPU time is 182.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 191.017
CPU time (s): 182.71
CPU user time (s): 181.32
CPU system time (s): 1.39
CPU usage (%): 95.651
Max. virtual memory (cumulated for all children) (KiB): 1229000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.321
system time used= 1.2908
maximum resident set size= 804500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 402200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99499
involuntary context switches= 24
runsolver used 0.38994 second user time and 1.11683 second system time
The end