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-3750919-1339129623/watcher-3750919-1339129623 -o /tmp/evaluation-result-3750919-1339129623/solver-3750919-1339129623 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750919-1339129623.opb 1195548186 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.00 2.00 2.00 3/177 14523
/proc/meminfo: memFree=31411080/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[startup+0.0875061 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14523
/proc/meminfo: memFree=31411080/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14523
/proc/meminfo: memFree=31411080/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14523
/proc/meminfo: memFree=31411080/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14523
/proc/meminfo: memFree=31411080/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14544
/proc/meminfo: memFree=31403164/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=0.32 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 1940 13226 0 0 2 2 23 5 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14543] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14543/stat : 14543 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379087768 9367552 267 33554432000 4194304 5064252 140735920900032 140735920898944 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14543/statm: 2287 267 226 213 0 72 0
[pid=14544] ppid=14543 vsize=9024 CPUtime=1.14 cores=0,2,4,6
/proc/14544/stat : 14544 (glucose) R 14543 14523 7832 0 -1 4202496 2070 0 0 0 114 0 0 0 20 0 1 0 379087768 9240576 1710 33554432000 4194304 5208918 140735966686544 140735966684392 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14544/statm: 2256 1710 96 248 0 2005 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30956
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14544
/proc/meminfo: memFree=31399744/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=0.32 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 1940 13226 0 0 2 2 23 5 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14543] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14543/stat : 14543 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379087768 9367552 267 33554432000 4194304 5064252 140735920900032 140735920898944 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14543/statm: 2287 267 226 213 0 72 0
[pid=14544] ppid=14543 vsize=19056 CPUtime=2.74 cores=0,2,4,6
/proc/14544/stat : 14544 (glucose) R 14543 14523 7832 0 -1 4202496 4223 0 0 0 274 0 0 0 20 0 1 0 379087768 19513344 3360 33554432000 4194304 5208918 140735966686544 140735966684488 4205662 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14544/statm: 4764 3360 96 248 0 4513 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40988
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14551
/proc/meminfo: memFree=31392556/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=13624 CPUtime=3 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 3492 0 0 0 300 0 0 0 20 0 1 0 379088063 13950976 2951 33554432000 4194304 5208918 140733721693568 140733721691512 4229195 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 3406 2951 104 248 0 3155 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 35556
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14551
/proc/meminfo: memFree=31366444/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=32368 CPUtime=9.4 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 4717 0 0 0 939 1 0 0 20 0 1 0 379088063 33144832 5561 33554432000 4194304 5208918 140733721693568 140733721691512 4229757 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 8092 5561 105 248 0 7841 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 54300
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14551
/proc/meminfo: memFree=31339956/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=39552 CPUtime=22.19 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 5532 0 0 0 2218 1 0 0 20 0 1 0 379088063 40501248 9430 33554432000 4194304 5208918 140733721693568 140733721689880 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 9888 9430 105 248 0 9637 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 61484
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14551
/proc/meminfo: memFree=31322332/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=39552 CPUtime=47.79 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 5532 0 0 0 4778 1 0 0 20 0 1 0 379088063 40501248 9430 33554432000 4194304 5208918 140733721693568 140733721689944 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 9888 9430 105 248 0 9637 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 61484
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14552
/proc/meminfo: memFree=31327888/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=82060 CPUtime=98.99 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 7718 0 0 0 9897 2 0 0 20 0 1 0 379088063 84029440 13851 33554432000 4194304 5208918 140733721693568 140733721689944 4229212 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 20515 13851 105 248 0 20264 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 103992
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14552
/proc/meminfo: memFree=31346592/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14965
/proc/meminfo: memFree=31557532/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=94072 CPUtime=1358.79 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 21994 0 0 0 135852 27 0 0 20 0 1 0 379088063 96329728 23097 33554432000 4194304 5208918 140733721693568 140733721689944 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 23518 23097 105 248 0 23267 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 116004
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 14968
/proc/meminfo: memFree=31473684/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=174212 CPUtime=1418.79 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 22971 0 0 0 141850 29 0 0 20 0 1 0 379088063 178393088 36333 33554432000 4194304 5208918 140733721693568 140733721691720 4228992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 43553 36333 105 248 0 43302 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 196144
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 14968
/proc/meminfo: memFree=31513548/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=113084 CPUtime=1478.77 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 24331 0 0 0 147847 30 0 0 20 0 1 0 379088063 115798016 26151 33554432000 4194304 5208918 140733721693568 140733721689880 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 28271 26151 105 248 0 28020 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 135016
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14968
/proc/meminfo: memFree=31483512/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=143432 CPUtime=1538.77 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 25205 0 0 0 153845 32 0 0 20 0 1 0 379088063 146874368 32682 33554432000 4194304 5208918 140733721693568 140733721689944 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 35858 32682 105 248 0 35607 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 165364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14968
/proc/meminfo: memFree=31523616/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=94112 CPUtime=1598.76 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 25806 0 0 0 159843 33 0 0 20 0 1 0 379088063 96370688 23097 33554432000 4194304 5208918 140733721693568 140733721689944 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 23528 23097 105 248 0 23277 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 116044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14969
/proc/meminfo: memFree=31507048/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=174252 CPUtime=1658.74 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 26786 0 0 0 165840 34 0 0 20 0 1 0 379088063 178434048 36333 33554432000 4194304 5208918 140733721693568 140733721689336 4229695 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 43563 36333 105 248 0 43312 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 196184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14969
/proc/meminfo: memFree=31519924/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=143432 CPUtime=1718.73 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 27177 0 0 0 171838 35 0 0 20 0 1 0 379088063 146874368 33194 33554432000 4194304 5208918 140733721693568 140733721689336 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 35858 33194 105 248 0 35607 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 165364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14969
/proc/meminfo: memFree=31456728/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=174252 CPUtime=1778.71 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 27785 0 0 0 177835 36 0 0 20 0 1 0 379088063 178434048 37869 33554432000 4194304 5208918 140733721693568 140733721689944 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 43563 37869 105 248 0 43312 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 196184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14969
/proc/meminfo: memFree=31509640/32873852 swapFree=6864/6864
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (npSolver-pbo.sh) S 14521 14523 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379087734 9367552 275 33554432000 4194304 5064252 140733217939984 140733217938896 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 275 233 213 0 72 0
[pid=14524] ppid=14523 vsize=3636 CPUtime=3.27 cores=0,2,4,6
/proc/14524/stat : 14524 (npSolver-pbo) S 14523 14523 7832 0 -1 4202496 2081 21128 0 0 3 2 314 8 20 0 1 0 379087734 3723264 493 33554432000 4194304 6004724 140736146676688 140736146669040 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14524/statm: 909 493 176 442 0 463 0
[pid=14550] ppid=14524 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (satsolver.sh) S 14524 14523 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379088063 9367552 267 33554432000 4194304 5064252 140735032166864 140735032165776 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14550/statm: 2287 267 226 213 0 72 0
[pid=14551] ppid=14550 vsize=94112 CPUtime=1796.81 cores=0,2,4,6
/proc/14551/stat : 14551 (glucose) R 14550 14523 7832 0 -1 4202496 27793 0 0 0 179645 36 0 0 20 0 1 0 379088063 96370688 23097 33554432000 4194304 5208918 140733721693568 140733721689944 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14551/statm: 23528 23097 105 248 0 23277 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 116044
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.64
CPU system time (s): 0.476927
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 196184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.476927
maximum resident set size= 154932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 2021
runsolver used 2.72858 second user time and 8.11976 second system time
The end