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-3698113-1338067260/watcher-3698113-1338067260 -o /tmp/evaluation-result-3698113-1338067260/solver-3698113-1338067260 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698113-1338067260.opb 1555260821 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.71 2.34 2.13 3/180 5826
/proc/meminfo: memFree=19804768/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[startup+0.0395731 s]
/proc/loadavg: 2.71 2.34 2.13 3/180 5826
/proc/meminfo: memFree=19804768/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 2.71 2.34 2.13 3/180 5826
/proc/meminfo: memFree=19804768/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300285 s]
/proc/loadavg: 2.71 2.34 2.13 3/180 5826
/proc/meminfo: memFree=19804768/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700288 s]
/proc/loadavg: 2.71 2.34 2.13 3/180 5826
/proc/meminfo: memFree=19804768/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 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.71 2.34 2.13 3/182 5828
/proc/meminfo: memFree=19719588/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=137184 CPUtime=1.48 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) R 5826 5826 4265 0 -1 4202496 20877 0 0 0 142 6 0 0 20 0 1 0 272851377 140476416 33084 33554432000 4194304 5992684 140735971796272 140735971788760 5044337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5827/statm: 34296 33084 156 440 0 33852 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 146332
[startup+3.10033 s]
/proc/loadavg: 2.65 2.33 2.13 3/182 5828
/proc/meminfo: memFree=19619348/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=535516 CPUtime=3.09 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) R 5826 5826 4265 0 -1 4202496 39649 0 0 0 294 15 0 0 20 0 1 0 272851377 548368384 98325 33554432000 4194304 5992684 140735971796272 140735971789144 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5827/statm: 133879 98325 156 440 0 133435 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 544664
[startup+6.30033 s]
/proc/loadavg: 2.65 2.33 2.13 3/182 5828
/proc/meminfo: memFree=19316648/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=808700 CPUtime=6.28 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) R 5826 5826 4265 0 -1 4202496 75892 0 0 0 601 27 0 0 20 0 1 0 272851377 828108800 139997 33554432000 4194304 5992684 140735971796272 140735971791176 4568033 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5827/statm: 202175 139997 156 440 0 201731 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 817848
[startup+12.7003 s]
/proc/loadavg: 2.55 2.32 2.13 3/182 5828
/proc/meminfo: memFree=18732568/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=1618492 CPUtime=12.69 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) R 5826 5826 4265 0 -1 4202496 148176 0 0 0 1216 53 0 0 20 0 1 0 272851377 1657335808 284587 33554432000 4194304 5992684 140735971796272 140735971788760 4228052 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5827/statm: 404623 284587 156 440 0 404179 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1627640
[startup+25.5003 s]
/proc/loadavg: 2.39 2.29 2.12 3/182 5868
/proc/meminfo: memFree=25907932/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3231168 CPUtime=25.49 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) R 5826 5826 4265 0 -1 4202496 290541 0 0 0 2445 104 0 0 20 0 1 0 272851377 3308716032 577696 33554432000 4194304 5992684 140735971796272 140735971789080 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5827/statm: 807792 577696 156 440 0 807348 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3240316
[startup+51.1004 s]
/proc/loadavg: 2.61 2.35 2.14 3/186 5872
/proc/meminfo: memFree=19255264/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3379932 CPUtime=31.09 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4202496 328780 0 0 0 2782 327 0 0 20 0 1 0 272851377 3461050368 652797 33554432000 4194304 5992684 140735971796272 140735971790720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 844983 652797 163 440 0 844539 0
[pid=5871] ppid=5827 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/5871/stat : 5871 (cp2_pre.sh) S 5827 5826 4265 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 272854505 9367552 277 33554432000 4194304 5064252 140737466732640 140737466731344 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5871/statm: 2287 277 234 213 0 72 0
[pid=5872] ppid=5871 vsize=4471716 CPUtime=19.77 cores=1,3,5,7
/proc/5872/stat : 5872 (coprocessor) R 5871 5826 4265 0 -1 4202496 28263 0 0 0 1872 105 0 0 20 0 1 0 272854508 4579037184 884502 33554432000 4194304 6586260 140733206462960 140733206458712 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5872/statm: 1117929 884502 158 584 0 1117341 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 7869944
[startup+102.307 s]
/proc/loadavg: 2.71 2.42 2.18 3/184 5874
/proc/meminfo: memFree=18527388/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3379932 CPUtime=31.09 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4202496 328780 0 0 0 2782 327 0 0 20 0 1 0 272851377 3461050368 652797 33554432000 4194304 5992684 140735971796272 140735971790720 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 844983 652797 163 440 0 844539 0
[pid=5871] ppid=5827 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/5871/stat : 5871 (cp2_pre.sh) S 5827 5826 4265 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 272854505 9367552 277 33554432000 4194304 5064252 140737466732640 140737466731344 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5871/statm: 2287 277 234 213 0 72 0
[pid=5872] ppid=5871 vsize=4471716 CPUtime=68.49 cores=1,3,5,7
/proc/5872/stat : 5872 (coprocessor) R 5871 5826 4265 0 -1 4202496 28263 0 0 0 6521 328 0 0 20 0 1 0 272854508 4579037184 884502 33554432000 4194304 6586260 140733206462960 140733206458712 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 248 0 0
/proc/5872/statm: 1117929 884502 158 584 0 1117341 0
Current children cumulated CPU time (s) 99.59
Current children cumulated vsize (KiB) 7869944
[startup+162.3 s]
/proc/loadavg: 3.43 2.62 2.26 2/184 5880
/proc/meminfo: memFree=11671608/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
[startup+222.3 s]
/proc/loadavg: 4.50 3.10 2.44 2/184 5880
/proc/meminfo: memFree=11696284/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
heavy processes:
%CPU=13 pid=5877 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.81 3.44 2.60 2/184 5881
/proc/meminfo: memFree=11695444/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+283 s]
/proc/loadavg: 4.81 3.44 2.60 2/184 5881
/proc/meminfo: memFree=11694948/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
[startup+283.8 s]
/proc/loadavg: 4.81 3.44 2.60 2/184 5881
/proc/meminfo: memFree=11694948/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
[startup+284.6 s]
/proc/loadavg: 4.81 3.44 2.60 2/184 5881
/proc/meminfo: memFree=11696436/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
[startup+285 s]
/proc/loadavg: 4.81 3.44 2.60 2/184 5881
/proc/meminfo: memFree=11696436/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=3720680 CPUtime=110.72 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) S 5826 5826 4265 0 -1 4204032 339340 29167 0 0 2960 581 7146 385 20 0 1 0 272851377 3809976320 738018 33554432000 4194304 5992684 140735971796272 140735971790808 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5827/statm: 930170 738018 184 440 0 929726 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (KiB) 9550700
[startup+285.104 s]
/proc/loadavg: 4.81 3.44 2.60 2/184 5881
/proc/meminfo: memFree=11696436/32873844 swapFree=7124/7124
[pid=5826] ppid=5824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5826/stat : 5826 (npSolver-pbo-It) S 5824 5826 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272851377 9367552 274 33554432000 4194304 5064252 140735487064848 140735487063760 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5826/statm: 2287 274 233 213 0 72 0
[pid=5827] ppid=5826 vsize=0 CPUtime=110.81 cores=1,3,5,7
/proc/5827/stat : 5827 (npSolver-pbo) R 5826 5826 4265 0 -1 4204036 339340 29167 0 0 2960 590 7146 385 20 0 1 0 272851377 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 17 0 0
/proc/5827/statm: 0 0 0 0 0 0 0
[pid=5876] ppid=5827 vsize=5820872 CPUtime=27.58 cores=1,3,5,7
/proc/5876/stat : 5876 (glucosInc) S 5827 5826 4265 0 -1 4202496 568219 0 0 0 2564 194 0 0 20 0 1 0 272862290 5960572928 1268212 33554432000 4194304 5654031 140736885108720 140736885107032 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5876/statm: 1455218 1268212 147 357 0 1454858 0
Current children cumulated CPU time (s) 138.39
Current children cumulated vsize (KiB) 5830020
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5826 and gives
# childrusage.ru_utime.tv_sec=101
# childrusage.ru_utime.tv_usec=71634
# childrusage.ru_stime.tv_sec=9
# childrusage.ru_stime.tv_usec=765515
# CPU time returned by wait4() is 110.837
# while last known CPU time is 138.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.105
CPU time (s): 138.39
CPU user time (s): 126.7
CPU system time (s): 11.69
CPU usage (%): 48.5399
Max. virtual memory (cumulated for all children) (KiB): 9550700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.072
system time used= 9.76552
maximum resident set size= 3939476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368881
page faults= 0
swaps= 0
block input operations= 56
block output operations= 5225936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 848767
involuntary context switches= 145
runsolver used 0.572912 second user time and 1.68474 second system time
The end