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-3749526-1339111244/watcher-3749526-1339111244 -o /tmp/evaluation-result-3749526-1339111244/solver-3749526-1339111244 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749526-1339111244.opb 628450621 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.37 1.71 3/180 23411
/proc/meminfo: memFree=31831080/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[startup+0.0704101 s]
/proc/loadavg: 1.10 1.37 1.71 3/180 23411
/proc/meminfo: memFree=31831080/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100245 s]
/proc/loadavg: 1.10 1.37 1.71 3/180 23411
/proc/meminfo: memFree=31831080/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30018 s]
/proc/loadavg: 1.10 1.37 1.71 3/180 23411
/proc/meminfo: memFree=31831080/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 1.10 1.37 1.71 3/180 23411
/proc/meminfo: memFree=31831080/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.17 1.38 1.72 3/184 23418
/proc/meminfo: memFree=31826096/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=8476 CPUtime=1.2 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 2462 0 0 0 120 0 0 0 20 0 1 0 377250434 8679424 1565 33554432000 4194304 5208918 140733833864592 140733833862440 4213735 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 2119 1565 104 248 0 1868 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29516
[startup+3.10031 s]
/proc/loadavg: 1.17 1.38 1.72 3/184 23418
/proc/meminfo: memFree=31820816/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=11260 CPUtime=2.8 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 3396 0 0 0 280 0 0 0 20 0 1 0 377250434 11530240 2389 33554432000 4194304 5208918 140733833864592 140733833862680 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 2815 2389 104 248 0 2564 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32300
[startup+6.3003 s]
/proc/loadavg: 1.24 1.39 1.72 3/184 23418
/proc/meminfo: memFree=31812928/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=18332 CPUtime=6.01 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 3634 0 0 0 600 1 0 0 20 0 1 0 377250434 18771968 4158 33554432000 4194304 5208918 140733833864592 140733833862536 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 4583 4158 104 248 0 4332 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 39372
[startup+12.7003 s]
/proc/loadavg: 1.30 1.40 1.72 3/184 23418
/proc/meminfo: memFree=31805776/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=21076 CPUtime=12.4 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 4343 0 0 0 1239 1 0 0 20 0 1 0 377250434 21581824 4848 33554432000 4194304 5208918 140733833864592 140733833862456 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 5269 4848 104 248 0 5018 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42116
[startup+25.5003 s]
/proc/loadavg: 1.40 1.42 1.72 3/183 23418
/proc/meminfo: memFree=31790588/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=48652 CPUtime=25.2 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 5535 0 0 0 2518 2 0 0 20 0 1 0 377250434 49819648 8223 33554432000 4194304 5208918 140733833864592 140733833862536 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 12163 8223 104 248 0 11912 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 69692
[startup+51.1004 s]
/proc/loadavg: 1.64 1.48 1.73 3/183 23466
/proc/meminfo: memFree=31789880/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=48652 CPUtime=50.79 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 5987 0 0 0 5077 2 0 0 20 0 1 0 377250434 49819648 11738 33554432000 4194304 5208918 140733833864592 140733833862536 4212888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 12163 11738 104 248 0 11912 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69692
[startup+102.307 s]
/proc/loadavg: 1.84 1.55 1.74 3/183 23466
/proc/meminfo: memFree=31750396/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=67508 CPUtime=101.99 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 6361 0 0 0 10197 2 0 0 20 0 1 0 377250434 69128192 16452 33554432000 4194304 5208918 140733833864592 140733833862536 4229692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 16877 16452 104 248 0 16626 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88548
[startup+162.3 s]
/proc/loadavg: 1.94 1.63 1.75 3/183 23467
/proc/meminfo: memFree=31739352/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 26405
/proc/meminfo: memFree=31592432/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=92188 CPUtime=1361.78 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 27702 0 0 0 136143 35 0 0 20 0 1 0 377250434 94400512 22622 33554432000 4194304 5208918 140733833864592 140733833862680 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 23047 22622 104 248 0 22796 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 113228
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 26406
/proc/meminfo: memFree=31651128/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=141508 CPUtime=1421.77 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 29179 0 0 0 142140 37 0 0 20 0 1 0 377250434 144904192 30728 33554432000 4194304 5208918 140733833864592 140733833862680 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 35377 30728 104 248 0 35126 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 162548
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/183 26406
/proc/meminfo: memFree=31569180/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=141508 CPUtime=1481.76 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 30222 0 0 0 148137 39 0 0 20 0 1 0 377250434 144904192 32776 33554432000 4194304 5208918 140733833864592 140733833862584 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 35377 32776 104 248 0 35126 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 162548
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/183 26406
/proc/meminfo: memFree=31554320/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=141508 CPUtime=1541.75 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 31265 0 0 0 154134 41 0 0 20 0 1 0 377250434 144904192 33800 33554432000 4194304 5208918 140733833864592 140733833862584 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 35377 33800 104 248 0 35126 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 162548
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 26406
/proc/meminfo: memFree=31544240/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=141508 CPUtime=1601.74 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 32303 0 0 0 160131 43 0 0 20 0 1 0 377250434 144904192 32776 33554432000 4194304 5208918 140733833864592 140733833862584 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 35377 32776 104 248 0 35126 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 162548
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/183 26406
/proc/meminfo: memFree=31604732/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=141508 CPUtime=1661.73 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 33347 0 0 0 166129 44 0 0 20 0 1 0 377250434 144904192 34312 33554432000 4194304 5208918 140733833864592 140733833862584 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 35377 34312 104 248 0 35126 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 162548
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/183 26407
/proc/meminfo: memFree=31553880/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=172328 CPUtime=1721.72 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 34920 0 0 0 172126 46 0 0 20 0 1 0 377250434 176463872 35352 33554432000 4194304 5208918 140733833864592 140733833862744 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 43082 35352 104 248 0 42831 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 193368
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/184 26410
/proc/meminfo: memFree=31540944/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=172328 CPUtime=1781.71 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 35739 0 0 0 178123 48 0 0 20 0 1 0 377250434 176463872 35133 33554432000 4194304 5208918 140733833864592 140733833862744 4229872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 43082 35133 104 248 0 42831 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 193368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 1.93 3/184 26410
/proc/meminfo: memFree=31574284/32873648 swapFree=7376/7376
[pid=23411] ppid=23409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (npSolver-pbo.sh) S 23409 23411 21354 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377250405 9367552 274 33554432000 4194304 5064252 140737270747680 140737270746592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 2287 274 233 213 0 72 0
[pid=23412] ppid=23411 vsize=2744 CPUtime=0.26 cores=0,2,4,6
/proc/23412/stat : 23412 (npSolver-pbo) S 23411 23411 21354 0 -1 4202496 1435 2787 0 0 1 0 25 0 20 0 1 0 377250405 2809856 361 33554432000 4194304 6004724 140734485808096 140734485803232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23412/statm: 686 361 164 442 0 240 0
[pid=23417] ppid=23412 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23417/stat : 23417 (satsolver.sh) S 23412 23411 21354 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377250433 9367552 266 33554432000 4194304 5064252 140734075207136 140734075206048 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23417/statm: 2287 266 226 213 0 72 0
[pid=23418] ppid=23417 vsize=92188 CPUtime=1799.82 cores=0,2,4,6
/proc/23418/stat : 23418 (glucose) R 23417 23411 21354 0 -1 4202496 36018 0 0 0 179933 49 0 0 20 0 1 0 377250434 94400512 22622 33554432000 4194304 5208918 140733833864592 140733833862680 4211648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23418/statm: 23047 22622 104 248 0 22796 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 113228
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.11
CPU user time (s): 1799.6
CPU system time (s): 0.509922
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 193368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.509922
maximum resident set size= 151852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1953
runsolver used 3.21551 second user time and 8.77367 second system time
The end