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-3701120-1338057488/watcher-3701120-1338057488 -o /tmp/evaluation-result-3701120-1338057488/solver-3701120-1338057488 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701120-1338057488.opb 904441540 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.01 2.00 3/179 11271
/proc/meminfo: memFree=28777424/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[startup+0.067605 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11271
/proc/meminfo: memFree=28777424/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100392 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11271
/proc/meminfo: memFree=28777424/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11271
/proc/meminfo: memFree=28777424/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700339 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11271
/proc/meminfo: memFree=28777424/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11309
/proc/meminfo: memFree=28741860/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=9944 CPUtime=0.27 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 3516 7312 0 0 10 2 14 1 20 0 1 0 271873349 10182656 1761 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 2486 1761 177 440 0 2042 0
[pid=11301] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11301/stat : 11301 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271873379 9367552 266 33554432000 4194304 5064252 140733368126704 140733368125616 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11301/statm: 2287 266 226 213 0 72 0
[pid=11302] ppid=11301 vsize=35204 CPUtime=1.19 cores=0,2,4,6
/proc/11302/stat : 11302 (glucose) R 11301 11271 10843 0 -1 4202496 7108 0 0 0 118 1 0 0 20 0 1 0 271873379 36048896 7361 33554432000 4194304 5208918 140734821568544 140734821566376 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11302/statm: 8801 7361 95 248 0 8550 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 63444
[startup+3.10036 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11309
/proc/meminfo: memFree=28736712/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=9944 CPUtime=0.27 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 3516 7312 0 0 10 2 14 1 20 0 1 0 271873349 10182656 1761 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 2486 1761 177 440 0 2042 0
[pid=11301] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11301/stat : 11301 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271873379 9367552 266 33554432000 4194304 5064252 140733368126704 140733368125616 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11301/statm: 2287 266 226 213 0 72 0
[pid=11302] ppid=11301 vsize=35204 CPUtime=2.79 cores=0,2,4,6
/proc/11302/stat : 11302 (glucose) R 11301 11271 10843 0 -1 4202496 7236 0 0 0 278 1 0 0 20 0 1 0 271873379 36048896 7485 33554432000 4194304 5208918 140734821568544 140734821566376 4229244 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11302/statm: 8801 7485 103 248 0 8550 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 63444
[startup+6.30041 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11316
/proc/meminfo: memFree=28720320/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=43808 CPUtime=2.58 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 9289 0 0 0 257 1 0 0 20 0 1 0 271873719 44859392 9461 33554432000 4194304 5208918 140736131034464 140736131032296 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11316/statm: 10952 9461 103 248 0 10701 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 75120
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11316
/proc/meminfo: memFree=28714292/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=47180 CPUtime=8.98 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 9603 0 0 0 897 1 0 0 20 0 1 0 271873719 48312320 9760 33554432000 4194304 5208918 140736131034464 140736131032296 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11316/statm: 11795 9760 104 248 0 11544 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 78492
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11316
/proc/meminfo: memFree=28702784/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=47804 CPUtime=21.78 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 10622 0 0 0 2176 2 0 0 20 0 1 0 271873719 48951296 10485 33554432000 4194304 5208918 140736131034464 140736131030840 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11316/statm: 11951 10485 105 248 0 11700 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 79116
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11316
/proc/meminfo: memFree=28686212/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=61788 CPUtime=47.37 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 12563 0 0 0 4734 3 0 0 20 0 1 0 271873719 63270912 14077 33554432000 4194304 5208918 140736131034464 140736131030776 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 15447 14077 105 248 0 15196 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 93100
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11330
/proc/meminfo: memFree=28685768/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=66208 CPUtime=98.57 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 14015 0 0 0 9853 4 0 0 20 0 1 0 271873719 67796992 15611 33554432000 4194304 5208918 140736131034464 140736131030840 4229316 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 16552 15611 105 248 0 16301 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 97520
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11333
/proc/meminfo: memFree=28667004/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11428
/proc/meminfo: memFree=28540188/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=146520 CPUtime=1358.36 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 21714 0 0 0 135825 11 0 0 20 0 1 0 271873719 150036480 31852 33554432000 4194304 5208918 140736131034464 140736131032552 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 36630 31852 105 248 0 36379 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 177832
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11451
/proc/meminfo: memFree=28539216/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=146520 CPUtime=1418.36 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 22221 0 0 0 141825 11 0 0 20 0 1 0 271873719 150036480 31852 33554432000 4194304 5208918 140736131034464 140736131030232 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 36630 31852 105 248 0 36379 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 177832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11451
/proc/meminfo: memFree=28507028/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=195840 CPUtime=1478.34 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 23234 0 0 0 147822 12 0 0 20 0 1 0 271873719 200540160 40022 33554432000 4194304 5208918 140736131034464 140736131030840 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 48960 40022 105 248 0 48709 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 227152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11452
/proc/meminfo: memFree=28508960/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=146520 CPUtime=1538.34 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 23743 0 0 0 153821 13 0 0 20 0 1 0 271873719 150036480 31852 33554432000 4194304 5208918 140736131034464 140736131030840 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 36630 31852 105 248 0 36379 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 177832
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 11452
/proc/meminfo: memFree=28504752/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=195840 CPUtime=1598.32 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 24756 0 0 0 159818 14 0 0 20 0 1 0 271873719 200540160 40534 33554432000 4194304 5208918 140736131034464 140736131030840 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 48960 40534 105 248 0 48709 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 227152
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11452
/proc/meminfo: memFree=28500536/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=195840 CPUtime=1658.32 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 25265 0 0 0 165817 15 0 0 20 0 1 0 271873719 200540160 41558 33554432000 4194304 5208918 140736131034464 140736131030840 4205148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 48960 41558 105 248 0 48709 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 227152
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11452
/proc/meminfo: memFree=28538888/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=146520 CPUtime=1718.3 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 25775 0 0 0 171815 15 0 0 20 0 1 0 271873719 150036480 31852 33554432000 4194304 5208918 140736131034464 140736131030840 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 36630 31852 105 248 0 36379 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 177832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11452
/proc/meminfo: memFree=28487140/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=195840 CPUtime=1778.29 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 26788 0 0 0 177813 16 0 0 20 0 1 0 271873719 200540160 40534 33554432000 4194304 5208918 140736131034464 140736131030776 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 48960 40534 105 248 0 48709 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 227152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11452
/proc/meminfo: memFree=28521524/32873648 swapFree=6596/6596
[pid=11271] ppid=11269 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11271/stat : 11271 (npSolver-pbo.sh) S 11269 11271 10843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271873348 9367552 274 33554432000 4194304 5064252 140735443218624 140735443217536 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11271/statm: 2287 274 233 213 0 72 0
[pid=11272] ppid=11271 vsize=13016 CPUtime=3.67 cores=0,2,4,6
/proc/11272/stat : 11272 (npSolver-pbo) S 11271 11271 10843 0 -1 4202496 5317 17450 0 0 17 3 344 3 20 0 1 0 271873349 13328384 2782 33554432000 4194304 5992684 140735980570912 140735980563232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11272/statm: 3254 2782 177 440 0 2810 0
[pid=11315] ppid=11272 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11315/stat : 11315 (satsolver.sh) S 11272 11271 10843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271873719 9367552 266 33554432000 4194304 5064252 140735472496928 140735472495840 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11315/statm: 2287 266 226 213 0 72 0
[pid=11316] ppid=11315 vsize=146520 CPUtime=1796.4 cores=0,2,4,6
/proc/11316/stat : 11316 (glucose) R 11315 11271 10843 0 -1 4202496 26790 0 0 0 179624 16 0 0 20 0 1 0 271873719 150036480 31852 33554432000 4194304 5208918 140736131034464 140736131030776 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11316/statm: 36630 31852 105 248 0 36379 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 177832
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.87
CPU system time (s): 0.248962
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 227152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.248962
maximum resident set size= 168280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 2033
runsolver used 2.75558 second user time and 7.2629 second system time
The end