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-3751789-1339176234/watcher-3751789-1339176234 -o /tmp/evaluation-result-3751789-1339176234/solver-3751789-1339176234 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751789-1339176234.opb 1354888183 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: 1.92 1.98 2.10 2/180 17003
/proc/meminfo: memFree=30820656/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[startup+0.040656 s]
/proc/loadavg: 1.92 1.98 2.10 2/180 17003
/proc/meminfo: memFree=30820656/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 1.92 1.98 2.10 2/180 17003
/proc/meminfo: memFree=30820656/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30028 s]
/proc/loadavg: 1.92 1.98 2.10 2/180 17003
/proc/meminfo: memFree=30820656/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 1.92 1.98 2.10 2/180 17003
/proc/meminfo: memFree=30820656/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 2.10 2/184 17010
/proc/meminfo: memFree=30794812/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 51716
[startup+3.10045 s]
/proc/loadavg: 1.92 1.98 2.10 3/185 17012
/proc/meminfo: memFree=30723132/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=62720 CPUtime=1.67 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 12921 0 0 0 166 1 0 0 20 0 1 0 383748955 64225280 13543 33554432000 4194304 5208918 140736881862864 140736881861016 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 15680 13543 103 248 0 15429 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 123584
[startup+6.30045 s]
/proc/loadavg: 1.93 1.98 2.10 3/185 17012
/proc/meminfo: memFree=30716444/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=63756 CPUtime=4.88 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 13257 0 0 0 486 2 0 0 20 0 1 0 383748955 65286144 14390 33554432000 4194304 5208918 140736881862864 140736881860696 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 15939 14390 103 248 0 15688 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 124620
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 2.09 3/185 17012
/proc/meminfo: memFree=30716496/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=63756 CPUtime=11.27 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 13616 0 0 0 1125 2 0 0 20 0 1 0 383748955 65286144 14298 33554432000 4194304 5208918 140736881862864 140736881860952 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 15939 14298 105 248 0 15688 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 124620
[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 2.09 3/185 17012
/proc/meminfo: memFree=30713576/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=65520 CPUtime=24.07 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 14511 0 0 0 2405 2 0 0 20 0 1 0 383748955 67092480 14888 33554432000 4194304 5208918 140736881862864 140736881860696 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 16380 14888 105 248 0 16129 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 126384
[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 2.09 3/185 17012
/proc/meminfo: memFree=30697856/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=76272 CPUtime=49.67 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 16042 0 0 0 4964 3 0 0 20 0 1 0 383748955 78102528 17927 33554432000 4194304 5208918 140736881862864 140736881860952 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 19068 17927 105 248 0 18817 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 137136
[startup+102.301 s]
/proc/loadavg: 1.98 1.98 2.08 3/185 17012
/proc/meminfo: memFree=30670584/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=94952 CPUtime=100.86 cores=0,2,4,6
################
# More data... #
################
Current children cumulated vsize (KiB) 236200
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/185 17024
/proc/meminfo: memFree=30585480/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=126016 CPUtime=1540.64 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 21753 0 0 0 154054 10 0 0 20 0 1 0 383748955 129040384 30494 33554432000 4194304 5208918 140736881862864 140736881860952 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 31504 30494 105 248 0 31253 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 186880
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/186 17027
/proc/meminfo: memFree=30585228/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=126016 CPUtime=1600.62 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 21753 0 0 0 160052 10 0 0 20 0 1 0 383748955 129040384 30494 33554432000 4194304 5208918 140736881862864 140736881859240 4212680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 31504 30494 105 248 0 31253 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 186880
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17027
/proc/meminfo: memFree=30552604/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=126016 CPUtime=1660.61 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 22183 0 0 0 166051 10 0 0 20 0 1 0 383748955 129040384 30494 33554432000 4194304 5208918 140736881862864 140736881860952 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 31504 30494 105 248 0 31253 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 186880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 17028
/proc/meminfo: memFree=30553100/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=175336 CPUtime=1720.6 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 22611 0 0 0 172049 11 0 0 20 0 1 0 383748955 179544064 38587 33554432000 4194304 5208918 140736881862864 140736881860856 4212971 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 43834 38587 105 248 0 43583 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 236200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 17028
/proc/meminfo: memFree=30585004/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=126016 CPUtime=1780.59 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 22613 0 0 0 178048 11 0 0 20 0 1 0 383748955 129040384 30494 33554432000 4194304 5208918 140736881862864 140736881859240 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 31504 30494 105 248 0 31253 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 186880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17070
/proc/meminfo: memFree=30519696/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=126016 CPUtime=1799.1 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 22613 0 0 0 179899 11 0 0 20 0 1 0 383748955 129040384 30494 33554432000 4194304 5208918 140736881862864 140736881859240 4229006 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 31504 30494 105 248 0 31253 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 186880
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17070
/proc/meminfo: memFree=30519696/32873648 swapFree=7628/7628
[pid=17003] ppid=17001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17003/stat : 17003 (npSolver-pbo-It) S 17001 17003 16392 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383748813 9367552 274 33554432000 4194304 5064252 140734038478352 140734038477264 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17003/statm: 2287 274 233 213 0 72 0
[pid=17004] ppid=17003 vsize=26932 CPUtime=0.76 cores=0,2,4,6
/proc/17004/stat : 17004 (npSolver-pbo) S 17003 17003 16392 0 -1 4202496 7187 8203 0 0 22 13 38 3 20 0 1 0 383748814 27578368 5834 33554432000 4194304 6004724 140733465053296 140733465045600 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/17004/statm: 6733 5834 191 442 0 6287 0
[pid=17009] ppid=17004 vsize=15636 CPUtime=0.14 cores=0,2,4,6
/proc/17009/stat : 17009 (glucosInc) S 17004 17003 16392 0 -1 4202496 2700 0 0 0 14 0 0 0 20 0 1 0 383748868 16011264 3115 33554432000 4194304 5654031 140734728745952 140734728744264 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17009/statm: 3909 3115 146 357 0 3549 0
[pid=17011] ppid=17004 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17011/stat : 17011 (satsolver.sh) S 17004 17003 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383748954 9367552 267 33554432000 4194304 5064252 140734067352752 140734067351664 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17011/statm: 2287 267 226 213 0 72 0
[pid=17012] ppid=17011 vsize=126016 CPUtime=1799.1 cores=0,2,4,6
/proc/17012/stat : 17012 (glucose) R 17011 17003 16392 0 -1 4202496 22613 0 0 0 179899 11 0 0 20 0 1 0 383748955 129040384 30494 33554432000 4194304 5208918 140736881862864 140736881859240 4229006 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17012/statm: 31504 30494 105 248 0 31253 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 186880
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17003 and gives
# childrusage.ru_utime.tv_sec=1799
# childrusage.ru_utime.tv_usec=614417
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=296954
# CPU time returned by wait4() is 1799.91
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800
CPU user time (s): 1799.73
CPU system time (s): 0.27
CPU usage (%): 99.9546
Max. virtual memory (cumulated for all children) (KiB): 236200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.296954
maximum resident set size= 160492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 2029
runsolver used 3.23351 second user time and 8.72567 second system time
The end