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-3750903-1339130013/watcher-3750903-1339130013 -o /tmp/evaluation-result-3750903-1339130013/solver-3750903-1339130013 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750903-1339130013.opb 236673871 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.02 2.01 2.00 2/179 20678
/proc/meminfo: memFree=28739484/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[startup+0.107011 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 20678
/proc/meminfo: memFree=28739484/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200188 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 20678
/proc/meminfo: memFree=28739484/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300211 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 20678
/proc/meminfo: memFree=28739484/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700184 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 20678
/proc/meminfo: memFree=28739484/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.501 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20682
/proc/meminfo: memFree=28656740/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=14876 CPUtime=1.46 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) R 20678 20678 15337 0 -1 4202496 5555 24997 0 0 20 10 87 29 20 0 1 0 379127136 15233024 3246 33554432000 4194304 6004724 140737340816544 140737340811168 5190832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3719 3246 155 442 0 3273 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 24024
[startup+3.10119 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20692
/proc/meminfo: memFree=28689492/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=1.61 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 6724 25512 0 0 24 20 87 30 20 0 1 0 379127136 15912960 3430 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3430 173 442 0 3439 0
[pid=20691] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20691/stat : 20691 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127299 9367552 267 33554432000 4194304 5064252 140734158907856 140734158906768 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20691/statm: 2287 267 226 213 0 72 0
[pid=20692] ppid=20691 vsize=34404 CPUtime=1.45 cores=0,2,4,6
/proc/20692/stat : 20692 (glucose) R 20691 20678 15337 0 -1 4202496 7669 0 0 0 144 1 0 0 20 0 1 0 379127300 35229696 7845 33554432000 4194304 5208918 140735094151072 140735094148920 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20692/statm: 8601 7845 95 248 0 8350 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 68240
[startup+6.30041 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20699
/proc/meminfo: memFree=28692780/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=32316 CPUtime=2.31 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 6097 0 0 0 230 1 0 0 20 0 1 0 379127533 33091584 6856 33554432000 4194304 5208918 140735559157920 140735559156072 4229125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 8079 6856 95 248 0 7828 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 66152
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20699
/proc/meminfo: memFree=28683188/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=57312 CPUtime=8.71 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 8470 0 0 0 868 3 0 0 20 0 1 0 379127533 58687488 11747 33554432000 4194304 5208918 140735559157920 140735559156008 4211580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 14328 11747 105 248 0 14077 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 91148
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20699
/proc/meminfo: memFree=28623708/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=106632 CPUtime=21.5 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 10719 0 0 0 2145 5 0 0 20 0 1 0 379127533 109191168 23281 33554432000 4194304 5208918 140735559157920 140735559156072 4229125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 26658 23281 105 248 0 26407 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 140468
[startup+51.1005 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 20699
/proc/meminfo: memFree=28661872/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=87664 CPUtime=47.09 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 13832 0 0 0 4699 10 0 0 20 0 1 0 379127533 89767936 18137 33554432000 4194304 5208918 140735559157920 140735559156008 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 21916 18137 105 248 0 21665 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 121500
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20699
/proc/meminfo: memFree=28586740/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=137452 CPUtime=98.28 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 18061 0 0 0 9813 15 0 0 20 0 1 0 379127533 140750848 30913 33554432000 4194304 5208918 140735559157920 140735559156072 4205155 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 34363 30913 105 248 0 34112 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 171288
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20699
/proc/meminfo: memFree=28578832/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=137452 CPUtime=158.27 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 24073 0 0 0 15805 22 0 0 20 0 1 0 379127533 140750848 32869 33554432000 4194304 5208918 140735559157920 140735559156072 4213165 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 34363 32869 105 248 0 34112 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21000
/proc/meminfo: memFree=28717096/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=187540 CPUtime=1358.03 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 55116 0 0 0 135696 107 0 0 20 0 1 0 379127533 192040960 45088 33554432000 4194304 5208918 140735559157920 140735559156072 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 46885 45088 105 248 0 46634 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 221376
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21000
/proc/meminfo: memFree=28622292/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=401188 CPUtime=1418.02 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 56358 0 0 0 141694 108 0 0 20 0 1 0 379127533 410816512 70856 33554432000 4194304 5208918 140735559157920 140735559156072 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 100297 70856 105 248 0 100046 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 435024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21000
/proc/meminfo: memFree=28716144/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=187540 CPUtime=1478 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 56998 0 0 0 147689 111 0 0 20 0 1 0 379127533 192040960 37643 33554432000 4194304 5208918 140735559157920 140735559156072 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 46885 37643 105 248 0 46634 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 221376
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21001
/proc/meminfo: memFree=28630252/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=268928 CPUtime=1537.99 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 57563 0 0 0 153686 113 0 0 20 0 1 0 379127533 275382272 65291 33554432000 4194304 5208918 140735559157920 140735559156072 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 67232 65291 105 248 0 66981 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 302764
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/184 21004
/proc/meminfo: memFree=28806000/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=187708 CPUtime=1597.97 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 58448 0 0 0 159680 117 0 0 20 0 1 0 379127533 192212992 33803 33554432000 4194304 5208918 140735559157920 140735559156008 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 46927 33803 105 248 0 46676 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 221544
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 21027
/proc/meminfo: memFree=28622712/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=269096 CPUtime=1657.96 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 59266 0 0 0 165675 121 0 0 20 0 1 0 379127533 275554304 62198 33554432000 4194304 5208918 140735559157920 140735559156072 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 67274 62198 105 248 0 67023 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 302932
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 21027
/proc/meminfo: memFree=28590304/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=401524 CPUtime=1717.95 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 59859 0 0 0 171673 122 0 0 20 0 1 0 379127533 411160576 87830 33554432000 4194304 5208918 140735559157920 140735559155768 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 100381 87830 105 248 0 100130 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 435360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21027
/proc/meminfo: memFree=28637044/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=269476 CPUtime=1777.94 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 61058 0 0 0 177667 127 0 0 20 0 1 0 379127533 275943424 60295 33554432000 4194304 5208918 140735559157920 140735559155768 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 67369 60295 105 248 0 67118 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 303312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21027
/proc/meminfo: memFree=28604036/32873648 swapFree=7372/7372
[pid=20678] ppid=20676 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (npSolver-pbo.sh) S 20676 20678 15337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379127135 9367552 275 33554432000 4194304 5064252 140736394776416 140736394775328 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20678/statm: 2287 275 233 213 0 72 0
[pid=20679] ppid=20678 vsize=15540 CPUtime=3.95 cores=0,2,4,6
/proc/20679/stat : 20679 (npSolver-pbo) S 20678 20678 15337 0 -1 4202496 7691 39693 0 0 29 20 309 37 20 0 1 0 379127136 15912960 3433 33554432000 4194304 6004724 140737340816544 140737340808896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 3885 3433 174 442 0 3439 0
[pid=20698] ppid=20679 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20698/stat : 20698 (satsolver.sh) S 20679 20678 15337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379127533 9367552 267 33554432000 4194304 5064252 140735277488160 140735277487072 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20698/statm: 2287 267 226 213 0 72 0
[pid=20699] ppid=20698 vsize=269476 CPUtime=1796.14 cores=0,2,4,6
/proc/20699/stat : 20699 (glucose) R 20698 20678 15337 0 -1 4202496 61168 0 0 0 179487 127 0 0 20 0 1 0 379127533 275943424 66537 33554432000 4194304 5208918 140735559157920 140735559155768 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20699/statm: 67369 66537 105 248 0 67118 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 303312
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.51
CPU time (s): 1800.13
CPU user time (s): 1798.27
CPU system time (s): 1.85972
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 515500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 1.85972
maximum resident set size= 443648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 484
involuntary context switches= 1947
runsolver used 3.3135 second user time and 10.4094 second system time
The end