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-3700870-1338128475/watcher-3700870-1338128475 -o /tmp/evaluation-result-3700870-1338128475/solver-3700870-1338128475 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700870-1338128475.opb 716841333 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 21608
/proc/meminfo: memFree=28442552/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[startup+0.099338 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21608
/proc/meminfo: memFree=28442552/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100154 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21608
/proc/meminfo: memFree=28442552/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21608
/proc/meminfo: memFree=28442552/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21608
/proc/meminfo: memFree=28442552/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21612
/proc/meminfo: memFree=28291504/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=33252 CPUtime=0.46 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 6524 0 0 0 44 2 0 0 20 0 1 0 278974869 34050048 6479 33554432000 4194304 5992684 140733970678656 140733970672688 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 8313 6479 167 440 0 7869 0
[pid=21611] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21611/stat : 21611 (cp2_pre.sh) S 21609 21608 21157 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 278974917 9367552 277 33554432000 4194304 5064252 140734988133808 140734988132512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21611/statm: 2287 277 234 213 0 72 0
[pid=21612] ppid=21611 vsize=137652 CPUtime=1.01 cores=1,3,5,7
/proc/21612/stat : 21612 (coprocessor) R 21611 21608 21157 0 -1 4202496 25330 0 0 0 97 4 0 0 20 0 1 0 278974917 140955648 33276 33554432000 4194304 6586260 140735939675056 140735939671320 4760345 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21612/statm: 34413 33276 182 584 0 33825 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 189200
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21612
/proc/meminfo: memFree=28244228/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=33252 CPUtime=2.2 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 6533 30661 0 0 44 2 163 11 20 0 1 0 278974869 34050048 6479 33554432000 4194304 5992684 140733970678656 140733970673776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 8313 6479 167 440 0 7869 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 42400
heavy processes:
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21615
/proc/meminfo: memFree=28348024/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=33252 CPUtime=2.2 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 6533 30661 0 0 44 2 163 11 20 0 1 0 278974869 34050048 6479 33554432000 4194304 5992684 140733970678656 140733970673776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 8313 6479 167 440 0 7869 0
[pid=21614] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21614/stat : 21614 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278975091 9367552 266 33554432000 4194304 5064252 140736858094688 140736858093600 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2287 266 226 213 0 72 0
[pid=21615] ppid=21614 vsize=71544 CPUtime=4.07 cores=1,3,5,7
/proc/21615/stat : 21615 (glucose) R 21614 21608 21157 0 -1 4202496 14149 0 0 0 405 2 0 0 20 0 1 0 278975091 73261056 14650 33554432000 4194304 5208918 140735611799968 140735611797800 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21615/statm: 17886 14650 101 248 0 17635 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 123092
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21622
/proc/meminfo: memFree=28325108/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=39620 CPUtime=11.18 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 9602 50897 0 0 70 60 972 16 20 0 1 0 278974869 40570880 8035 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 9905 8035 184 440 0 9461 0
[pid=21621] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21621/stat : 21621 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278975989 9367552 267 33554432000 4194304 5064252 140735988335984 140735988334896 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21621/statm: 2287 267 226 213 0 72 0
[pid=21622] ppid=21621 vsize=74820 CPUtime=1.48 cores=1,3,5,7
/proc/21622/stat : 21622 (glucose) R 21621 21608 21157 0 -1 4202496 15386 0 0 0 146 2 0 0 20 0 1 0 278975989 76615680 16382 33554432000 4194304 5208918 140734622545504 140734622543448 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21622/statm: 18705 16382 103 248 0 18454 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 132736
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21623
/proc/meminfo: memFree=28319564/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=39620 CPUtime=11.18 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 9602 50897 0 0 70 60 972 16 20 0 1 0 278974869 40570880 8035 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 9905 8035 184 440 0 9461 0
[pid=21621] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21621/stat : 21621 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278975989 9367552 267 33554432000 4194304 5064252 140735988335984 140735988334896 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21621/statm: 2287 267 226 213 0 72 0
[pid=21622] ppid=21621 vsize=74820 CPUtime=14.29 cores=1,3,5,7
/proc/21622/stat : 21622 (glucose) R 21621 21608 21157 0 -1 4202496 15525 0 0 0 1426 3 0 0 20 0 1 0 278975989 76615680 16521 33554432000 4194304 5208918 140734622545504 140734622543336 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21622/statm: 18705 16521 103 248 0 18454 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 132736
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21665
/proc/meminfo: memFree=29201148/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=39620 CPUtime=11.18 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 9602 50897 0 0 70 60 972 16 20 0 1 0 278974869 40570880 8035 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 9905 8035 184 440 0 9461 0
[pid=21621] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21621/stat : 21621 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278975989 9367552 267 33554432000 4194304 5064252 140735988335984 140735988334896 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21621/statm: 2287 267 226 213 0 72 0
[pid=21622] ppid=21621 vsize=82892 CPUtime=39.88 cores=1,3,5,7
/proc/21622/stat : 21622 (glucose) R 21621 21608 21157 0 -1 4202496 15890 0 0 0 3985 3 0 0 20 0 1 0 278975989 84881408 16882 33554432000 4194304 5208918 140734622545504 140734622543656 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21622/statm: 20723 16882 104 248 0 20472 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 140808
[startup+102.307 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 21675
/proc/meminfo: memFree=27928300/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=39620 CPUtime=11.18 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 9602 50897 0 0 70 60 972 16 20 0 1 0 278974869 40570880 8035 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 9905 8035 184 440 0 9461 0
[pid=21621] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21621/stat : 21621 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278975989 9367552 267 33554432000 4194304 5064252 140735988335984 140735988334896 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21621/statm: 2287 267 226 213 0 72 0
[pid=21622] ppid=21621 vsize=83784 CPUtime=91.07 cores=1,3,5,7
/proc/21622/stat : 21622 (glucose) R 21621 21608 21157 0 -1 4202496 16801 0 0 0 9103 4 0 0 20 0 1 0 278975989 85794816 17485 33554432000 4194304 5208918 140734622545504 140734622543656 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21622/statm: 20946 17485 105 248 0 20695 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 141700
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/183 21682
/proc/meminfo: memFree=27922068/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=39620 CPUtime=158.13 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 10444 73327 0 0 72 60 15657 24 20 0 1 0 278974869 40570880 8035 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 9905 8035 184 440 0 9461 0
[pid=21681] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21681/stat : 21681 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278990688 9367552 266 33554432000 4194304 5064252 140735942590080 140735942588992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2287 266 226 213 0 72 0
[pid=21682] ppid=21681 vsize=72228 CPUtime=4.1 cores=1,3,5,7
/proc/21682/stat : 21682 (glucose) R 21681 21608 21157 0 -1 4202496 14379 0 0 0 408 2 0 0 20 0 1 0 278990688 73961472 15949 33554432000 4194304 5208918 140735807358160 140735807356008 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21682/statm: 18057 15949 95 248 0 17806 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 21736
/proc/meminfo: memFree=27894864/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1292.73 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 16758 209836 0 0 99 63 129041 70 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21735] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21735/stat : 21735 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279104167 9367552 267 33554432000 4194304 5064252 140736628793168 140736628792080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21735/statm: 2287 267 226 213 0 72 0
[pid=21736] ppid=21735 vsize=82924 CPUtime=69.29 cores=1,3,5,7
/proc/21736/stat : 21736 (glucose) R 21735 21608 21157 0 -1 4202496 16307 0 0 0 6927 2 0 0 20 0 1 0 279104168 84914176 17531 33554432000 4194304 5208918 140736288632064 140736288628440 4213123 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21736/statm: 20731 17531 105 248 0 20480 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 143912
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21736
/proc/meminfo: memFree=27874636/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1292.73 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 16758 209836 0 0 99 63 129041 70 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21735] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21735/stat : 21735 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279104167 9367552 267 33554432000 4194304 5064252 140736628793168 140736628792080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21735/statm: 2287 267 226 213 0 72 0
[pid=21736] ppid=21735 vsize=93972 CPUtime=129.29 cores=1,3,5,7
/proc/21736/stat : 21736 (glucose) R 21735 21608 21157 0 -1 4202496 17918 0 0 0 12926 3 0 0 20 0 1 0 279104168 96227328 20949 33554432000 4194304 5208918 140736288632064 140736288630008 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21736/statm: 23493 20949 105 248 0 23242 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 154960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21736
/proc/meminfo: memFree=27860992/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1292.73 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 16758 209836 0 0 99 63 129041 70 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21735] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21735/stat : 21735 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279104167 9367552 267 33554432000 4194304 5064252 140736628793168 140736628792080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21735/statm: 2287 267 226 213 0 72 0
[pid=21736] ppid=21735 vsize=105464 CPUtime=189.27 cores=1,3,5,7
/proc/21736/stat : 21736 (glucose) R 21735 21608 21157 0 -1 4202496 18227 0 0 0 18924 3 0 0 20 0 1 0 279104168 107995136 24320 33554432000 4194304 5208918 140736288632064 140736288628440 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21736/statm: 26366 24320 105 248 0 26115 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 166452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21743
/proc/meminfo: memFree=27891056/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1511.89 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 17630 231975 0 0 101 63 150949 76 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21742] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21742/stat : 21742 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279126088 9367552 267 33554432000 4194304 5064252 140734093029360 140734093028272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21742/statm: 2287 267 226 213 0 72 0
[pid=21743] ppid=21742 vsize=74996 CPUtime=30.08 cores=1,3,5,7
/proc/21743/stat : 21743 (glucose) R 21742 21608 21157 0 -1 4202496 15495 0 0 0 3006 2 0 0 20 0 1 0 279126089 76795904 17053 33554432000 4194304 5208918 140735455011856 140735455009688 4205128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21743/statm: 18749 17053 104 248 0 18498 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 135984
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 21744
/proc/meminfo: memFree=27887520/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1511.89 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 17630 231975 0 0 101 63 150949 76 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21742] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21742/stat : 21742 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279126088 9367552 267 33554432000 4194304 5064252 140734093029360 140734093028272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21742/statm: 2287 267 226 213 0 72 0
[pid=21743] ppid=21742 vsize=83028 CPUtime=90.07 cores=1,3,5,7
/proc/21743/stat : 21743 (glucose) R 21742 21608 21157 0 -1 4202496 16905 0 0 0 9004 3 0 0 20 0 1 0 279126089 85020672 17945 33554432000 4194304 5208918 140735455011856 140735455010008 4213121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21743/statm: 20757 17945 105 248 0 20506 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 144016
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 21744
/proc/meminfo: memFree=27859408/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1511.89 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 17630 231975 0 0 101 63 150949 76 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21742] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21742/stat : 21742 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279126088 9367552 267 33554432000 4194304 5064252 140734093029360 140734093028272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21742/statm: 2287 267 226 213 0 72 0
[pid=21743] ppid=21742 vsize=104876 CPUtime=150.07 cores=1,3,5,7
/proc/21743/stat : 21743 (glucose) R 21742 21608 21157 0 -1 4202496 19029 0 0 0 15003 4 0 0 20 0 1 0 279126089 107393024 23549 33554432000 4194304 5208918 140735455011856 140735455008232 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21743/statm: 26219 23549 105 248 0 25968 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 165864
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 21744
/proc/meminfo: memFree=27855316/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1511.89 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 17630 231975 0 0 101 63 150949 76 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21742] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21742/stat : 21742 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279126088 9367552 267 33554432000 4194304 5064252 140734093029360 140734093028272 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21742/statm: 2287 267 226 213 0 72 0
[pid=21743] ppid=21742 vsize=104876 CPUtime=210.06 cores=1,3,5,7
/proc/21743/stat : 21743 (glucose) R 21742 21608 21157 0 -1 4202496 19031 0 0 0 21002 4 0 0 20 0 1 0 279126089 107393024 24573 33554432000 4194304 5208918 140735455011856 140735455008232 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21743/statm: 26219 24573 105 248 0 25968 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 165864
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 21754
/proc/meminfo: memFree=27883756/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1755.6 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 18502 254916 0 0 104 64 175308 84 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21753] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279150462 9367552 267 33554432000 4194304 5064252 140736856079712 140736856078624 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=74612 CPUtime=26.35 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21608 21157 0 -1 4202496 15777 0 0 0 2632 3 0 0 20 0 1 0 279150462 76402688 17268 33554432000 4194304 5208918 140735161662144 140735161659976 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21754/statm: 18653 17268 103 248 0 18402 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 135600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 21754
/proc/meminfo: memFree=27885120/32873648 swapFree=7116/7116
[pid=21608] ppid=21606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21608/stat : 21608 (npSolver-pbo.sh) S 21606 21608 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278974869 9367552 275 33554432000 4194304 5064252 140736099498048 140736099496960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21608/statm: 2287 275 233 213 0 72 0
[pid=21609] ppid=21608 vsize=42692 CPUtime=1755.6 cores=1,3,5,7
/proc/21609/stat : 21609 (npSolver-pbo) S 21608 21608 21157 0 -1 4202496 18502 254916 0 0 104 64 175308 84 20 0 1 0 278974869 43716608 8827 33554432000 4194304 5992684 140733970678656 140733970670976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21609/statm: 10673 8827 184 440 0 10229 0
[pid=21753] ppid=21609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (satsolver.sh) S 21609 21608 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279150462 9367552 267 33554432000 4194304 5064252 140736856079712 140736856078624 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21753/statm: 2287 267 226 213 0 72 0
[pid=21754] ppid=21753 vsize=74612 CPUtime=44.45 cores=1,3,5,7
/proc/21754/stat : 21754 (glucose) R 21753 21608 21157 0 -1 4202496 16593 0 0 0 4442 3 0 0 20 0 1 0 279150462 76402688 17031 33554432000 4194304 5208918 140735161662144 140735161660232 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21754/statm: 18653 17031 105 248 0 18402 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 135600
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.1
CPU user time (s): 1798.56
CPU system time (s): 1.53777
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 211536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.53777
maximum resident set size= 161020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 269848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1082
involuntary context switches= 1974
runsolver used 3.57646 second user time and 9.41057 second system time
The end