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-3750335-1339117739/watcher-3750335-1339117739 -o /tmp/evaluation-result-3750335-1339117739/solver-3750335-1339117739 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750335-1339117739.opb 202742832 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.02 2.01 1.97 3/180 9994
/proc/meminfo: memFree=27867904/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[startup+0.085178 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 9994
/proc/meminfo: memFree=27867904/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 9994
/proc/meminfo: memFree=27867904/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300289 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 9994
/proc/meminfo: memFree=27867904/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 9994
/proc/meminfo: memFree=27867904/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.02 2.01 1.97 3/184 10008
/proc/meminfo: memFree=27847664/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=19672 CPUtime=1.41 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 3636 0 0 0 140 1 0 0 20 0 1 0 377902366 20144128 4134 33554432000 4194304 5208918 140733751152368 140733751150232 4229280 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 4918 4134 105 248 0 4667 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 44972
[startup+3.10038 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 10008
/proc/meminfo: memFree=27844120/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=19672 CPUtime=3.01 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 3900 0 0 0 300 1 0 0 20 0 1 0 377902366 20144128 4374 33554432000 4194304 5208918 140733751152368 140733751148744 4229704 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 4918 4374 105 248 0 4667 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 44972
[startup+6.30043 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 10008
/proc/meminfo: memFree=27837436/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=25952 CPUtime=6.2 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 4801 0 0 0 619 1 0 0 20 0 1 0 377902366 26574848 6134 33554432000 4194304 5208918 140733751152368 140733751148680 4211141 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 6488 6134 105 248 0 6237 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 51252
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 10008
/proc/meminfo: memFree=27826736/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=30304 CPUtime=12.6 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 5452 0 0 0 1259 1 0 0 20 0 1 0 377902366 31031296 7237 33554432000 4194304 5208918 140733751152368 140733751148136 4211574 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 7576 7237 105 248 0 7325 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 55604
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 10008
/proc/meminfo: memFree=27809680/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=56496 CPUtime=25.4 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 7225 0 0 0 2537 3 0 0 20 0 1 0 377902366 57851904 10517 33554432000 4194304 5208918 140733751152368 140733751148744 4205672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 14124 10517 105 248 0 13873 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 81796
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.97 3/184 10008
/proc/meminfo: memFree=27867568/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=75352 CPUtime=51 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 7849 0 0 0 5096 4 0 0 20 0 1 0 377902366 77160448 14885 33554432000 4194304 5208918 140733751152368 140733751150312 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 18838 14885 105 248 0 18587 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 100652
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/185 10012
/proc/meminfo: memFree=27837216/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=75352 CPUtime=102.2 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 8285 0 0 0 10216 4 0 0 20 0 1 0 377902366 77160448 18380 33554432000 4194304 5208918 140733751152368 140733751148744 4229414 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 18838 18380 105 248 0 18587 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100652
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/184 10012
/proc/meminfo: memFree=27803220/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10165
/proc/meminfo: memFree=28193832/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=167424 CPUtime=1361.98 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 39477 0 0 0 136131 67 0 0 20 0 1 0 377902366 171442176 36355 33554432000 4194304 5208918 140733751152368 140733751148744 4211625 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 41856 36355 105 248 0 41605 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 192724
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10165
/proc/meminfo: memFree=28157136/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=217512 CPUtime=1421.97 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 39809 0 0 0 142129 68 0 0 20 0 1 0 377902366 222732288 45360 33554432000 4194304 5208918 140733751152368 140733751148680 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 54378 45360 105 248 0 54127 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 242812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10367
/proc/meminfo: memFree=28172476/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=217512 CPUtime=1481.95 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 41199 0 0 0 148124 71 0 0 20 0 1 0 377902366 222732288 42288 33554432000 4194304 5208918 140733751152368 140733751150520 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 54378 42288 105 248 0 54127 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 242812
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10367
/proc/meminfo: memFree=28183828/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=167424 CPUtime=1541.93 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 42311 0 0 0 154119 74 0 0 20 0 1 0 377902366 171442176 38915 33554432000 4194304 5208918 140733751152368 140733751150520 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 41856 38915 105 248 0 41605 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 192724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10369
/proc/meminfo: memFree=28147640/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=217512 CPUtime=1601.93 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 42632 0 0 0 160117 76 0 0 20 0 1 0 377902366 222732288 47920 33554432000 4194304 5208918 140733751152368 140733751148056 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 54378 47920 105 248 0 54127 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 242812
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 10369
/proc/meminfo: memFree=28172968/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=167424 CPUtime=1661.91 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 43751 0 0 0 166112 79 0 0 20 0 1 0 377902366 171442176 41475 33554432000 4194304 5208918 140733751152368 140733751148680 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 41856 41475 105 248 0 41605 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 192724
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 10369
/proc/meminfo: memFree=28203364/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=136604 CPUtime=1721.89 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 44553 0 0 0 172108 81 0 0 20 0 1 0 377902366 139882496 33728 33554432000 4194304 5208918 140733751152368 140733751148744 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 34151 33728 105 248 0 33900 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 161904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10369
/proc/meminfo: memFree=28155688/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=217512 CPUtime=1781.88 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 45471 0 0 0 178105 83 0 0 20 0 1 0 377902366 222732288 44848 33554432000 4194304 5208918 140733751152368 140733751148744 4229728 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 54378 44848 105 248 0 54127 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 242812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10369
/proc/meminfo: memFree=28145680/32873844 swapFree=7384/7384
[pid=9994] ppid=9992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9994/stat : 9994 (npSolver-pbo.sh) S 9992 9994 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377902358 9367552 275 33554432000 4194304 5064252 140737207506048 140737207504960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9994/statm: 2287 275 233 213 0 72 0
[pid=9995] ppid=9994 vsize=7004 CPUtime=0.06 cores=1,3,5,7
/proc/9995/stat : 9995 (npSolver-pbo) S 9994 9994 7856 0 -1 4202496 3138 4690 0 0 4 1 1 0 20 0 1 0 377902358 7172096 1388 33554432000 4194304 6004724 140735383163808 140735383156160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9995/statm: 1751 1388 174 442 0 1305 0
[pid=10007] ppid=9995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9995 9994 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377902366 9367552 267 33554432000 4194304 5064252 140734952171648 140734952170560 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=217512 CPUtime=1799.98 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9994 7856 0 -1 4202496 45483 0 0 0 179915 83 0 0 20 0 1 0 377902366 222732288 47408 33554432000 4194304 5208918 140733751152368 140733751148744 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 54378 47408 105 248 0 54127 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 242812
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.08
CPU user time (s): 1799.21
CPU system time (s): 0.870867
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 292132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.870867
maximum resident set size= 236484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 1882
runsolver used 2.91656 second user time and 8.5617 second system time
The end