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-3700871-1338127629/watcher-3700871-1338127629 -o /tmp/evaluation-result-3700871-1338127629/solver-3700871-1338127629 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700871-1338127629.opb 733046347 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.01 2.02 2.00 2/179 27903
/proc/meminfo: memFree=29674184/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[startup+0.0496139 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 27903
/proc/meminfo: memFree=29674184/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100218 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 27903
/proc/meminfo: memFree=29674184/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 27903
/proc/meminfo: memFree=29674184/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 27903
/proc/meminfo: memFree=29674184/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/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: 2.01 2.02 2.00 3/181 27905
/proc/meminfo: memFree=29593124/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=1.49 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) R 27903 27903 27402 0 -1 4202496 13447 0 0 0 145 4 0 0 20 0 1 0 278888542 175439872 28813 33554432000 4194304 5992684 140734071783184 140734071778152 4523502 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 28813 167 440 0 42388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180476
[startup+3.10035 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 27907
/proc/meminfo: memFree=29426364/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=1.8 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13916 0 0 0 161 19 0 0 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071777216 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (cp2_pre.sh) S 27904 27903 27402 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278888723 9367552 277 33554432000 4194304 5064252 140736374663840 140736374662544 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27906/statm: 2287 277 234 213 0 72 0
[pid=27907] ppid=27906 vsize=294840 CPUtime=1.27 cores=0,2,4,6
/proc/27907/stat : 27907 (coprocessor) R 27906 27903 27402 0 -1 4202496 24059 0 0 0 118 9 0 0 20 0 1 0 278888724 301916160 66307 33554432000 4194304 6586260 140734358548160 140734358545048 4496653 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 73710 66308 164 584 0 73122 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 484464
[startup+6.30036 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 27907
/proc/meminfo: memFree=29086916/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=1.8 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13916 0 0 0 161 19 0 0 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071777216 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27906] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27906/stat : 27906 (cp2_pre.sh) S 27904 27903 27402 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278888723 9367552 277 33554432000 4194304 5064252 140736374663840 140736374662544 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27906/statm: 2287 277 234 213 0 72 0
[pid=27907] ppid=27906 vsize=408912 CPUtime=4.47 cores=0,2,4,6
/proc/27907/stat : 27907 (coprocessor) R 27906 27903 27402 0 -1 4202496 51031 0 0 0 433 14 0 0 20 0 1 0 278888724 418725888 99922 33554432000 4194304 6586260 140734358548160 140734358544184 4789013 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/27907/statm: 102228 99922 182 584 0 101640 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 598536
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27910
/proc/meminfo: memFree=29366756/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=9 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13923 58160 0 0 161 19 688 32 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071778304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27909] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27909/stat : 27909 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278889446 9367552 267 33554432000 4194304 5064252 140737377655360 140737377654272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27909/statm: 2287 267 226 213 0 72 0
[pid=27910] ppid=27909 vsize=171284 CPUtime=3.64 cores=0,2,4,6
/proc/27910/stat : 27910 (glucose) R 27909 27903 27402 0 -1 4202496 31932 0 0 0 358 6 0 0 20 0 1 0 278889446 175394816 37141 33554432000 4194304 5208918 140734084165888 140734084163720 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27910/statm: 42821 37141 103 248 0 42570 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 360908
[startup+25.5068 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27910
/proc/meminfo: memFree=29365252/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=9 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13923 58160 0 0 161 19 688 32 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071778304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27909] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27909/stat : 27909 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278889446 9367552 267 33554432000 4194304 5064252 140737377655360 140737377654272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27909/statm: 2287 267 226 213 0 72 0
[pid=27910] ppid=27909 vsize=173148 CPUtime=16.45 cores=0,2,4,6
/proc/27910/stat : 27910 (glucose) R 27909 27903 27402 0 -1 4202496 32371 0 0 0 1639 6 0 0 20 0 1 0 278889446 177303552 37580 33554432000 4194304 5208918 140734084165888 140734084163720 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27910/statm: 43287 37580 104 248 0 43036 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 362772
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27950
/proc/meminfo: memFree=30859140/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=9 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13923 58160 0 0 161 19 688 32 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071778304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27909] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27909/stat : 27909 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278889446 9367552 267 33554432000 4194304 5064252 140737377655360 140737377654272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27909/statm: 2287 267 226 213 0 72 0
[pid=27910] ppid=27909 vsize=173148 CPUtime=42.04 cores=0,2,4,6
/proc/27910/stat : 27910 (glucose) R 27909 27903 27402 0 -1 4202496 32397 0 0 0 4198 6 0 0 20 0 1 0 278889446 177303552 37606 33554432000 4194304 5208918 140734084165888 140734084163720 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27910/statm: 43287 37606 104 248 0 43036 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 362772
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 27955
/proc/meminfo: memFree=30639088/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=9 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13923 58160 0 0 161 19 688 32 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071778304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27909] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27909/stat : 27909 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278889446 9367552 267 33554432000 4194304 5064252 140737377655360 140737377654272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27909/statm: 2287 267 226 213 0 72 0
[pid=27910] ppid=27909 vsize=196108 CPUtime=93.23 cores=0,2,4,6
/proc/27910/stat : 27910 (glucose) R 27909 27903 27402 0 -1 4202496 33951 0 0 0 9316 7 0 0 20 0 1 0 278889446 200814592 39659 33554432000 4194304 5208918 140734084165888 140734084164040 4229026 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27910/statm: 49027 39659 104 248 0 48776 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 385732
[startup+162.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 27955
/proc/meminfo: memFree=30634728/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=171328 CPUtime=9 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 13923 58160 0 0 161 19 688 32 20 0 1 0 278888542 175439872 31380 33554432000 4194304 5992684 140734071783184 140734071778304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27904/statm: 42832 31380 174 440 0 42388 0
[pid=27909] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27909/stat : 27909 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278889446 9367552 267 33554432000 4194304 5064252 140737377655360 140737377654272 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27909/statm: 2287 267 226 213 0 72 0
[pid=27910] ppid=27909 vsize=196108 CPUtime=153.22 cores=0,2,4,6
/proc/27910/stat : 27910 (glucose) R 27909 27903 27402 0 -1 4202496 33953 0 0 0 15315 7 0 0 20 0 1 0 278889446 200814592 40683 33554432000 4194304 5208918 140734084165888 140734084162264 4212971 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27910/statm: 49027 40683 104 248 0 48776 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27972
/proc/meminfo: memFree=29865856/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=574524 CPUtime=785.98 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 85384 0 0 0 78568 30 0 0 20 0 1 0 278946121 588312576 130163 33554432000 4194304 5208918 140736485970432 140736485968184 4211537 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 143631 130163 105 248 0 143380 0
Current children cumulated CPU time (s) 1361.23
Current children cumulated vsize (KiB) 1036336
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27975
/proc/meminfo: memFree=29863924/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=574524 CPUtime=845.98 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 85400 0 0 0 84567 31 0 0 20 0 1 0 278946121 588312576 130179 33554432000 4194304 5208918 140736485970432 140736485968184 4211553 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 143631 130179 105 248 0 143380 0
Current children cumulated CPU time (s) 1421.23
Current children cumulated vsize (KiB) 1036336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27975
/proc/meminfo: memFree=29855492/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=574684 CPUtime=905.97 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 85431 0 0 0 90566 31 0 0 20 0 1 0 278946121 588476416 131232 33554432000 4194304 5208918 140736485970432 140736485968184 4211553 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 143671 131232 105 248 0 143420 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 1036496
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27976
/proc/meminfo: memFree=29848852/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=575448 CPUtime=965.96 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 85617 0 0 0 96565 31 0 0 20 0 1 0 278946121 589258752 131929 33554432000 4194304 5208918 140736485970432 140736485968184 4211553 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 143862 131929 105 248 0 143611 0
Current children cumulated CPU time (s) 1541.21
Current children cumulated vsize (KiB) 1037260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27976
/proc/meminfo: memFree=29844136/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=575724 CPUtime=1025.95 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 85686 0 0 0 102564 31 0 0 20 0 1 0 278946121 589541376 132509 33554432000 4194304 5208918 140736485970432 140736485966808 4211553 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 143931 132509 105 248 0 143680 0
Current children cumulated CPU time (s) 1601.2
Current children cumulated vsize (KiB) 1037536
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27976
/proc/meminfo: memFree=29839324/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=576648 CPUtime=1085.94 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 86055 0 0 0 108563 31 0 0 20 0 1 0 278946121 590487552 133389 33554432000 4194304 5208918 140736485970432 140736485968280 4211553 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 144162 133389 105 248 0 143911 0
Current children cumulated CPU time (s) 1661.19
Current children cumulated vsize (KiB) 1038460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27977
/proc/meminfo: memFree=29825172/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=586224 CPUtime=1145.92 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 87341 0 0 0 114561 31 0 0 20 0 1 0 278946121 600293376 136719 33554432000 4194304 5208918 140736485970432 140736485968264 4229319 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 146556 136719 105 248 0 146305 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 1048036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27977
/proc/meminfo: memFree=29822752/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=586224 CPUtime=1205.91 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 87343 0 0 0 120560 31 0 0 20 0 1 0 278946121 600293376 136721 33554432000 4194304 5208918 140736485970432 140736485968264 4229319 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 146556 136721 105 248 0 146305 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (KiB) 1048036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 27977
/proc/meminfo: memFree=29820704/32873844 swapFree=7624/7624
[pid=27903] ppid=27901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27903/stat : 27903 (npSolver-pbo.sh) S 27901 27903 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278888542 9367552 274 33554432000 4194304 5064252 140735836437616 140735836436528 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27903/statm: 2287 274 233 213 0 72 0
[pid=27904] ppid=27903 vsize=443516 CPUtime=575.25 cores=0,2,4,6
/proc/27904/stat : 27904 (npSolver-pbo) S 27903 27903 27402 0 -1 4202496 27075 102165 0 0 443 240 56791 51 20 0 1 0 278888542 454160384 75753 33554432000 4194304 5992684 140734071783184 140734071775504 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 39 0 0
/proc/27904/statm: 110879 75753 183 440 0 110435 0
[pid=27965] ppid=27904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27965/stat : 27965 (satsolver.sh) S 27904 27903 27402 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278946120 9367552 267 33554432000 4194304 5064252 140734834693888 140734834692800 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27965/statm: 2287 267 226 213 0 72 0
[pid=27966] ppid=27965 vsize=586224 CPUtime=1224.82 cores=0,2,4,6
/proc/27966/stat : 27966 (glucose) R 27965 27903 27402 0 -1 4202496 87352 0 0 0 122451 31 0 0 20 0 1 0 278946121 600293376 137241 33554432000 4194304 5208918 140736485970432 140736485966808 4229365 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/27966/statm: 146556 137241 105 248 0 146305 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1048036
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.22
CPU time (s): 1800.12
CPU user time (s): 1796.87
CPU system time (s): 3.2535
CPU usage (%): 99.9392
Max. virtual memory (cumulated for all children) (KiB): 1247784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.87
system time used= 3.25351
maximum resident set size= 670772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217577
page faults= 0
swaps= 0
block input operations= 8
block output operations= 702168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 996
involuntary context switches= 2003
runsolver used 2.74858 second user time and 7.13791 second system time
The end