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-3750906-1339129418/watcher-3750906-1339129418 -o /tmp/evaluation-result-3750906-1339129418/solver-3750906-1339129418 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750906-1339129418.opb 2013170545 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.04 2.01 2.00 3/179 14328
/proc/meminfo: memFree=27669832/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[startup+0.0407749 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14328
/proc/meminfo: memFree=27669832/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100201 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14328
/proc/meminfo: memFree=27669832/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14328
/proc/meminfo: memFree=27669832/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14328
/proc/meminfo: memFree=27669832/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14349
/proc/meminfo: memFree=27662660/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=9860 CPUtime=1.38 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 2337 0 0 0 138 0 0 0 20 0 1 0 379070345 10096640 1981 33554432000 4194304 5208918 140737437660496 140737437658360 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 2465 1981 96 248 0 2214 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30584
[startup+3.10052 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14349
/proc/meminfo: memFree=27660924/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=10492 CPUtime=2.97 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 2639 0 0 0 297 0 0 0 20 0 1 0 379070345 10743808 2176 33554432000 4194304 5208918 140737437660496 140737437658360 4229770 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 2623 2176 96 248 0 2372 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31216
[startup+6.30042 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14349
/proc/meminfo: memFree=27654348/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=20492 CPUtime=6.17 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 3225 0 0 0 617 0 0 0 20 0 1 0 379070345 20983808 3774 33554432000 4194304 5208918 140737437660496 140737437658440 4229469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 5123 3774 96 248 0 4872 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 41216
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 14349
/proc/meminfo: memFree=27645936/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=24912 CPUtime=12.58 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 4219 0 0 0 1257 1 0 0 20 0 1 0 379070345 25509888 5765 33554432000 4194304 5208918 140737437660496 140737437658360 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 6228 5765 96 248 0 5977 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 45636
[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14349
/proc/meminfo: memFree=27646076/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=25136 CPUtime=25.38 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 4220 0 0 0 2537 1 0 0 20 0 1 0 379070345 25739264 5766 33554432000 4194304 5208918 140737437660496 140737437658360 4228982 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 6284 5766 96 248 0 6033 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45860
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14349
/proc/meminfo: memFree=27624164/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=50952 CPUtime=50.97 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 5977 0 0 0 5095 2 0 0 20 0 1 0 379070345 52174848 11251 33554432000 4194304 5208918 140737437660496 140737437658440 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 12738 11251 96 248 0 12487 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 71676
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14349
/proc/meminfo: memFree=27617836/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=50952 CPUtime=102.17 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 6000 0 0 0 10215 2 0 0 20 0 1 0 379070345 52174848 11785 33554432000 4194304 5208918 140737437660496 140737437658440 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 12738 11785 102 248 0 12487 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71676
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 14349
/proc/meminfo: memFree=27615664/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14503
/proc/meminfo: memFree=28245384/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=103208 CPUtime=1361.96 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 12003 0 0 0 136187 9 0 0 20 0 1 0 379070345 105684992 25361 33554432000 4194304 5208918 140737437660496 140737437658584 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 25802 25361 102 248 0 25551 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 123932
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14503
/proc/meminfo: memFree=28154736/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=103208 CPUtime=1421.96 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 12439 0 0 0 142186 10 0 0 20 0 1 0 379070345 105684992 25361 33554432000 4194304 5208918 140737437660496 140737437658584 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 25802 25361 102 248 0 25551 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 123932
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14503
/proc/meminfo: memFree=28213472/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=103208 CPUtime=1481.95 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 12876 0 0 0 148184 11 0 0 20 0 1 0 379070345 105684992 25361 33554432000 4194304 5208918 140737437660496 140737437658584 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 25802 25361 102 248 0 25551 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 123932
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14504
/proc/meminfo: memFree=28158692/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=103208 CPUtime=1541.94 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 13313 0 0 0 154182 12 0 0 20 0 1 0 379070345 105684992 25361 33554432000 4194304 5208918 140737437660496 140737437658584 4229403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 25802 25361 102 248 0 25551 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 123932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14507
/proc/meminfo: memFree=28215532/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=103208 CPUtime=1601.93 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 13751 0 0 0 160180 13 0 0 20 0 1 0 379070345 105684992 25361 33554432000 4194304 5208918 140737437660496 140737437656872 4213115 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 25802 25361 102 248 0 25551 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 123932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14507
/proc/meminfo: memFree=28132400/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=121884 CPUtime=1661.92 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 14783 0 0 0 166178 14 0 0 20 0 1 0 379070345 124809216 30030 33554432000 4194304 5208918 140737437660496 140737437658344 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 30471 30030 102 248 0 30220 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 142608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14507
/proc/meminfo: memFree=28114480/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=121884 CPUtime=1721.91 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 14783 0 0 0 172177 14 0 0 20 0 1 0 379070345 124809216 30030 33554432000 4194304 5208918 140737437660496 140737437658344 4229410 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 30471 30030 102 248 0 30220 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 142608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14507
/proc/meminfo: memFree=28156716/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=121884 CPUtime=1781.91 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 15221 0 0 0 178176 15 0 0 20 0 1 0 379070345 124809216 30030 33554432000 4194304 5208918 140737437660496 140737437658584 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 30471 30030 102 248 0 30220 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 142608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14507
/proc/meminfo: memFree=28134312/32873844 swapFree=7384/7384
[pid=14328] ppid=14326 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14328/stat : 14328 (npSolver-pbo.sh) S 14326 14328 7856 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379070333 9367552 275 33554432000 4194304 5064252 140734402335744 140734402334656 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14328/statm: 2287 275 233 213 0 72 0
[pid=14329] ppid=14328 vsize=2428 CPUtime=0.09 cores=1,3,5,7
/proc/14329/stat : 14329 (npSolver-pbo) S 14328 14328 7856 0 -1 4202496 2046 9229 0 0 0 1 4 4 20 0 1 0 379070333 2486272 292 33554432000 4194304 6004724 140736532791984 140736532784336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14329/statm: 607 292 176 442 0 161 0
[pid=14348] ppid=14329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14348/stat : 14348 (satsolver.sh) S 14329 14328 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379070344 9367552 267 33554432000 4194304 5064252 140733533128336 140733533127248 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14348/statm: 2287 267 226 213 0 72 0
[pid=14349] ppid=14348 vsize=121884 CPUtime=1800.01 cores=1,3,5,7
/proc/14349/stat : 14349 (glucose) R 14348 14328 7856 0 -1 4202496 15221 0 0 0 179986 15 0 0 20 0 1 0 379070345 124809216 30030 33554432000 4194304 5208918 140737437660496 140737437658584 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14349/statm: 30471 30030 102 248 0 30220 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 142608
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.92
CPU system time (s): 0.210967
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 191928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.210967
maximum resident set size= 158664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 1882
runsolver used 7.18391 second user time and 20.6119 second system time
The end