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-3750002-1339168899/watcher-3750002-1339168899 -o /tmp/evaluation-result-3750002-1339168899/solver-3750002-1339168899 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750002-1339168899.opb 499328001 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.09 1.20 1.59 2/172 24617
/proc/meminfo: memFree=31885464/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[startup+0.0270231 s]
/proc/loadavg: 1.09 1.20 1.59 2/172 24617
/proc/meminfo: memFree=31885464/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 1.09 1.20 1.59 2/172 24617
/proc/meminfo: memFree=31885464/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30029 s]
/proc/loadavg: 1.09 1.20 1.59 2/172 24617
/proc/meminfo: memFree=31885464/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 1.09 1.20 1.59 2/172 24617
/proc/meminfo: memFree=31885464/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.16 1.21 1.59 3/179 24629
/proc/meminfo: memFree=31582508/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=198236 CPUtime=1.49 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) R 24617 24617 24582 0 -1 4202496 27197 0 0 0 143 6 0 0 20 0 1 0 383015017 202993664 44726 33554432000 4194304 6004724 140735284997456 140735284994264 4617296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24618/statm: 49559 44726 153 442 0 49113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 207384
[startup+3.10031 s]
/proc/loadavg: 1.16 1.21 1.59 3/179 24629
/proc/meminfo: memFree=31435772/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=394844 CPUtime=3.08 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) R 24617 24617 24582 0 -1 4202496 28366 0 0 0 298 10 0 0 20 0 1 0 383015017 404320256 70838 33554432000 4194304 6004724 140735284997456 140735284992056 4536098 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24618/statm: 98711 70838 153 442 0 98265 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 403992
[startup+6.3004 s]
/proc/loadavg: 1.16 1.21 1.59 3/179 24629
/proc/meminfo: memFree=30976276/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=656988 CPUtime=6.28 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) R 24617 24617 24582 0 -1 4202496 29121 0 0 0 609 19 0 0 20 0 1 0 383015017 672755712 130230 33554432000 4194304 6004724 140735284997456 140735284992056 4208992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24618/statm: 164247 130230 153 442 0 163801 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 666136
[startup+12.7004 s]
/proc/loadavg: 1.29 1.23 1.59 3/181 24631
/proc/meminfo: memFree=29382964/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=9.71 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30959 0 0 0 859 112 0 0 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284991504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24630] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24630/stat : 24630 (cp2_pre.sh) S 24618 24617 24582 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383015994 9367552 277 33554432000 4194304 5064252 140735236454240 140735236452944 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24630/statm: 2287 277 234 213 0 72 0
[pid=24631] ppid=24630 vsize=354188 CPUtime=2.91 cores=0,2,4,6
/proc/24631/stat : 24631 (coprocessor) R 24630 24617 24582 0 -1 4202496 15919 0 0 0 281 10 0 0 20 0 1 0 383015994 362688512 79573 33554432000 4194304 6586260 140736416321760 140736416318520 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/24631/statm: 88547 79573 137 584 0 87959 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 1504884
[startup+25.5004 s]
/proc/loadavg: 1.55 1.29 1.61 3/183 24633
/proc/meminfo: memFree=26531208/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=9.71 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30959 0 0 0 859 112 0 0 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284991504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24630] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24630/stat : 24630 (cp2_pre.sh) S 24618 24617 24582 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383015994 9367552 277 33554432000 4194304 5064252 140735236454240 140735236452944 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24630/statm: 2287 277 234 213 0 72 0
[pid=24631] ppid=24630 vsize=1133204 CPUtime=15.19 cores=0,2,4,6
/proc/24631/stat : 24631 (coprocessor) R 24630 24617 24582 0 -1 4202496 22205 0 0 0 1450 69 0 0 20 0 1 0 383015994 1160400896 236444 33554432000 4194304 6586260 140736416321760 140736416317512 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 51 0 0
/proc/24631/statm: 283301 236444 158 584 0 282713 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 2283900
[startup+51.1004 s]
/proc/loadavg: 2.20 1.48 1.66 3/183 24636
/proc/meminfo: memFree=25813108/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1543140 CPUtime=9.44 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 168858 0 0 0 888 56 0 0 20 0 1 0 383019180 1580175360 324042 33554432000 4194304 5208918 140735712772288 140735712770136 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 385785 324042 102 248 0 385534 0
Current children cumulated CPU time (s) 48.63
Current children cumulated vsize (KiB) 2693836
[startup+102.3 s]
/proc/loadavg: 2.16 1.58 1.68 3/183 24639
/proc/meminfo: memFree=25781960/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1616276 CPUtime=60.64 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 184075 0 0 0 6005 59 0 0 20 0 1 0 383019180 1655066624 344880 33554432000 4194304 5208918 140735712772288 140735712770136 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 404069 344880 103 248 0 403818 0
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (KiB) 2766972
[startup+162.3 s]
/proc/loadavg: 2.13 1.67 1.70 3/183 24640
/proc/meminfo: memFree=25644048/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1648468 CPUtime=120.62 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 192113 0 0 0 12001 61 0 0 20 0 1 0 383019180 1688031232 354962 33554432000 4194304 5208918 140735712772288 140735712770136 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 412117 354962 103 248 0 411866 0
Current children cumulated CPU time (s) 159.81
Current children cumulated vsize (KiB) 2799164
[startup+222.3 s]
/proc/loadavg: 2.12 1.74 1.73 3/182 24640
/proc/meminfo: memFree=25615216/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 220161 0 0 0 131953 91 0 0 20 0 1 0 383019180 1798680576 380428 33554432000 4194304 5208918 140735712772288 140735712770376 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 439131 380428 104 248 0 438880 0
Current children cumulated CPU time (s) 1359.63
Current children cumulated vsize (KiB) 2907220
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 24651
/proc/meminfo: memFree=25347544/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1759200 CPUtime=1380.43 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 220845 0 0 0 137951 92 0 0 20 0 1 0 383019180 1801420800 384166 33554432000 4194304 5208918 140735712772288 140735712770040 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 439800 384166 104 248 0 439549 0
Current children cumulated CPU time (s) 1419.62
Current children cumulated vsize (KiB) 2909896
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/183 24651
/proc/meminfo: memFree=25329020/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1760656 CPUtime=1440.4 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 221282 0 0 0 143948 92 0 0 20 0 1 0 383019180 1802911744 386616 33554432000 4194304 5208918 140735712772288 140735712770136 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 440164 386616 104 248 0 439913 0
Current children cumulated CPU time (s) 1479.59
Current children cumulated vsize (KiB) 2911352
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 24651
/proc/meminfo: memFree=25309504/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1762808 CPUtime=1500.38 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 221852 0 0 0 149945 93 0 0 20 0 1 0 383019180 1805115392 389209 33554432000 4194304 5208918 140735712772288 140735712768664 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 440702 389209 104 248 0 440451 0
Current children cumulated CPU time (s) 1539.57
Current children cumulated vsize (KiB) 2913504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 24651
/proc/meminfo: memFree=25284960/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1765024 CPUtime=1560.36 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 222448 0 0 0 155943 93 0 0 20 0 1 0 383019180 1807384576 393374 33554432000 4194304 5208918 140735712772288 140735712770136 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 441256 393374 104 248 0 441005 0
Current children cumulated CPU time (s) 1599.55
Current children cumulated vsize (KiB) 2915720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 24651
/proc/meminfo: memFree=25265196/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1766100 CPUtime=1620.34 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 222754 0 0 0 161941 93 0 0 20 0 1 0 383019180 1808486400 394674 33554432000 4194304 5208918 140735712772288 140735712770136 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 441525 394674 104 248 0 441274 0
Current children cumulated CPU time (s) 1659.53
Current children cumulated vsize (KiB) 2916796
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/184 24655
/proc/meminfo: memFree=25250152/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1767984 CPUtime=1680.31 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 223250 0 0 0 167937 94 0 0 20 0 1 0 383019180 1810415616 397707 33554432000 4194304 5208918 140735712772288 140735712770136 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 441996 397707 104 248 0 441745 0
Current children cumulated CPU time (s) 1719.5
Current children cumulated vsize (KiB) 2918680
[startup+1782.31 s]
/proc/loadavg: 2.03 2.01 1.92 3/183 24655
/proc/meminfo: memFree=25236972/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1769852 CPUtime=1740.28 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 223762 0 0 0 173934 94 0 0 20 0 1 0 383019180 1812328448 400789 33554432000 4194304 5208918 140735712772288 140735712767992 4229456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 442463 400789 104 248 0 442212 0
Current children cumulated CPU time (s) 1779.47
Current children cumulated vsize (KiB) 2920548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.9 s]
/proc/loadavg: 2.02 2.01 1.92 3/183 24655
/proc/meminfo: memFree=25226836/32873844 swapFree=7124/7124
[pid=24617] ppid=24615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24617/stat : 24617 (npSolver-pbo.sh) S 24615 24617 24582 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383015017 9367552 274 33554432000 4194304 5064252 140736252030112 140736252029024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24617/statm: 2287 274 233 213 0 72 0
[pid=24618] ppid=24617 vsize=1132400 CPUtime=39.19 cores=0,2,4,6
/proc/24618/stat : 24618 (npSolver-pbo) S 24617 24617 24582 0 -1 4202496 30966 23108 0 0 859 112 2782 166 20 0 1 0 383015017 1159577600 163242 33554432000 4194304 6004724 140735284997456 140735284992592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/24618/statm: 283100 163242 162 442 0 282654 0
[pid=24635] ppid=24618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24635/stat : 24635 (satsolver.sh) S 24618 24617 24582 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383019180 9367552 267 33554432000 4194304 5064252 140736744884112 140736744883024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24635/statm: 2287 267 226 213 0 72 0
[pid=24636] ppid=24635 vsize=1770460 CPUtime=1760.87 cores=0,2,4,6
/proc/24636/stat : 24636 (glucose) R 24635 24617 24582 0 -1 4202496 223904 0 0 0 175993 94 0 0 20 0 1 0 383019180 1812951040 402023 33554432000 4194304 5208918 140735712772288 140735712770040 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24636/statm: 442615 402023 104 248 0 442364 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2921156
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24617 and gives
# childrusage.ru_utime.tv_sec=36
# childrusage.ru_utime.tv_usec=421463
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=802573
# CPU time returned by wait4() is 39.224
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.92
CPU time (s): 1800.06
CPU user time (s): 1796.34
CPU system time (s): 3.72
CPU usage (%): 99.8414
Max. virtual memory (cumulated for all children) (KiB): 3466020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.4215
system time used= 2.80257
maximum resident set size= 1223028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55052
page faults= 0
swaps= 0
block input operations= 72
block output operations= 2267424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 55
runsolver used 5.74913 second user time and 19.2491 second system time
The end