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-3701779-1338077244/watcher-3701779-1338077244 -o /tmp/evaluation-result-3701779-1338077244/solver-3701779-1338077244 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701779-1338077244.opb 461822112 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15637
/proc/meminfo: memFree=28970924/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[startup+0.042415 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15637
/proc/meminfo: memFree=28970924/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15637
/proc/meminfo: memFree=28970924/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15637
/proc/meminfo: memFree=28970924/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 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/179 15637
/proc/meminfo: memFree=28970924/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15648
/proc/meminfo: memFree=28959288/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 22116
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15651
/proc/meminfo: memFree=28931696/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=27484 CPUtime=1.89 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 6264 0 0 0 188 1 0 0 20 0 1 0 273849056 28143616 6251 33554432000 4194304 5208918 140733380196416 140733380194248 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 6871 6251 103 248 0 6620 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58748
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15651
/proc/meminfo: memFree=28926160/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=28036 CPUtime=5.09 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 7635 0 0 0 508 1 0 0 20 0 1 0 273849056 28708864 6191 33554432000 4194304 5208918 140733380196416 140733380194568 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 7009 6191 105 248 0 6758 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 59300
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15651
/proc/meminfo: memFree=28917980/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=34984 CPUtime=11.49 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 8522 0 0 0 1147 2 0 0 20 0 1 0 273849056 35823616 8198 33554432000 4194304 5208918 140733380196416 140733380194504 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 8746 8198 105 248 0 8495 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66248
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15651
/proc/meminfo: memFree=28898740/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=46476 CPUtime=24.29 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 9363 0 0 0 2427 2 0 0 20 0 1 0 273849056 47591424 11071 33554432000 4194304 5208918 140733380196416 140733380192728 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 11619 11071 105 248 0 11368 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 77740
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15651
/proc/meminfo: memFree=28877268/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=53660 CPUtime=49.88 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 9625 0 0 0 4986 2 0 0 20 0 1 0 273849056 54947840 12979 33554432000 4194304 5208918 140733380196416 140733380192792 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 13415 12979 105 248 0 13164 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 84924
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15651
/proc/meminfo: memFree=28867060/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=65316 CPUtime=101.07 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 11004 0 0 0 10104 3 0 0 20 0 1 0 273849056 66883584 15444 33554432000 4194304 5208918 140733380196416 140733380192792 4229330 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 16329 15444 105 248 0 16078 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 96580
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15654
/proc/meminfo: memFree=28832220/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=1.17 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 4635 21200 0 0 22 21 60 14 20 0 1 0 273848936 13279232 2637 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2637 179 440 0 2798 0
[pid=15650] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15650/stat : 15650 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273849056 9367552 266 33554432000 4194304 5064252 140733686079968 140733686078880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15650/statm: 2287 266 226 213 0 72 0
[pid=15651] ppid=15650 vsize=95668 CPUtime=161.06 cores=1,3,5,7
/proc/15651/stat : 15651 (glucose) R 15650 15637 10843 0 -1 4202496 12052 0 0 0 16102 4 0 0 20 0 1 0 273849056 97964032 17492 33554432000 4194304 5208918 140733380196416 140733380192184 4229734 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15651/statm: 23917 17492 105 248 0 23666 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/184 15671
/proc/meminfo: memFree=28664264/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=191256 CPUtime=1156.11 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 29811 0 0 0 115574 37 0 0 20 0 1 0 273869532 195846144 42087 33554432000 4194304 5208918 140733717063968 140733717062120 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 47814 42087 105 248 0 47563 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 222520
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 15672
/proc/meminfo: memFree=28691836/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=160436 CPUtime=1216.11 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 30241 0 0 0 121573 38 0 0 20 0 1 0 273869532 164286464 35364 33554432000 4194304 5208918 140733717063968 140733717061960 4228942 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 40109 35364 105 248 0 39858 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 191700
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15672
/proc/meminfo: memFree=28722596/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=160436 CPUtime=1276.1 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 31212 0 0 0 127570 40 0 0 20 0 1 0 273869532 164286464 38948 33554432000 4194304 5208918 140733717063968 140733717060280 4229023 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 40109 38948 105 248 0 39858 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 191700
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15724
/proc/meminfo: memFree=28821248/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=111116 CPUtime=1336.07 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 31834 0 0 0 133566 41 0 0 20 0 1 0 273869532 113782784 26759 33554432000 4194304 5208918 140733717063968 140733717060344 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 27779 26759 105 248 0 27528 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 142380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15724
/proc/meminfo: memFree=28735196/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=191256 CPUtime=1396.06 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 32862 0 0 0 139564 42 0 0 20 0 1 0 273869532 195846144 44135 33554432000 4194304 5208918 140733717063968 140733717060344 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 47814 44135 105 248 0 47563 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 222520
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15724
/proc/meminfo: memFree=28702860/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=241344 CPUtime=1456.05 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 33185 0 0 0 145562 43 0 0 20 0 1 0 273869532 247136256 53140 33554432000 4194304 5208918 140733717063968 140733717060344 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 60336 53140 105 248 0 60085 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 272608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15725
/proc/meminfo: memFree=28713000/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=191256 CPUtime=1516.04 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 34209 0 0 0 151558 46 0 0 20 0 1 0 273869532 195846144 42599 33554432000 4194304 5208918 140733717063968 140733717062120 4229520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 47814 42599 105 248 0 47563 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 222520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15725
/proc/meminfo: memFree=28654076/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=241344 CPUtime=1576.02 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 34549 0 0 0 157555 47 0 0 20 0 1 0 273869532 247136256 50580 33554432000 4194304 5208918 140733717063968 140733717060344 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 60336 50580 105 248 0 60085 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 272608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15725
/proc/meminfo: memFree=28706624/32873648 swapFree=6604/6604
[pid=15637] ppid=15635 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15637/stat : 15637 (npSolver-pbo.sh) S 15635 15637 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273848936 9367552 274 33554432000 4194304 5064252 140733439668960 140733439667872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15637/statm: 2287 274 233 213 0 72 0
[pid=15638] ppid=15637 vsize=12968 CPUtime=205.9 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo) S 15637 15637 10843 0 -1 4202496 5540 36205 0 0 24 22 20524 20 20 0 1 0 273848936 13279232 2663 33554432000 4194304 5992684 140734320312720 140734320305040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 3242 2663 179 440 0 2798 0
[pid=15661] ppid=15638 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15661/stat : 15661 (satsolver.sh) S 15638 15637 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273869532 9367552 266 33554432000 4194304 5064252 140735001459648 140735001458560 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15661/statm: 2287 266 226 213 0 72 0
[pid=15662] ppid=15661 vsize=160436 CPUtime=1594.12 cores=1,3,5,7
/proc/15662/stat : 15662 (glucose) R 15661 15637 10843 0 -1 4202496 34981 0 0 0 159364 48 0 0 20 0 1 0 273869532 164286464 36388 33554432000 4194304 5208918 140733717063968 140733717061960 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15662/statm: 40109 36388 105 248 0 39858 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 191700
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.06
CPU user time (s): 1799.14
CPU system time (s): 0.91586
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 272608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 0.91586
maximum resident set size= 214608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297
involuntary context switches= 1871
runsolver used 3.42048 second user time and 9.68053 second system time
The end