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-3701248-1338061394/watcher-3701248-1338061394 -o /tmp/evaluation-result-3701248-1338061394/solver-3701248-1338061394 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701248-1338061394.opb 1121380404 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/177 16218
/proc/meminfo: memFree=29321148/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[startup+0.0229149 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16218
/proc/meminfo: memFree=29321148/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16218
/proc/meminfo: memFree=29321148/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16218
/proc/meminfo: memFree=29321148/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700317 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16218
/proc/meminfo: memFree=29321148/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 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.00 2.00 2.00 3/183 16251
/proc/meminfo: memFree=29281772/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=1.03 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 2647 12054 0 0 17 7 76 3 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 15972
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16258
/proc/meminfo: memFree=29277152/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=2.39 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 3520 19362 0 0 19 7 209 4 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 15972
heavy processes:
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16286
/proc/meminfo: memFree=29276812/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=4.56 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 4393 27054 0 0 22 7 421 6 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16285] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16285/stat : 16285 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272264838 9367552 267 33554432000 4194304 5064252 140735676110400 140735676109312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16285/statm: 2287 267 226 213 0 72 0
[pid=16286] ppid=16285 vsize=18960 CPUtime=1.32 cores=1,3,5,7
/proc/16286/stat : 16286 (glucose) R 16285 16218 15154 0 -1 4202496 4082 0 0 0 132 0 0 0 20 0 1 0 272264838 19415040 4199 33554432000 4194304 5208918 140733431757936 140733431755768 4229006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16286/statm: 4740 4199 103 248 0 4489 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 44080
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16321
/proc/meminfo: memFree=29275092/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=11.24 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 7060 48399 0 0 37 8 1061 18 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16320] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16320/stat : 16320 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272265507 9367552 267 33554432000 4194304 5064252 140734556001312 140734556000224 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16320/statm: 2287 267 226 213 0 72 0
[pid=16321] ppid=16320 vsize=18740 CPUtime=1.03 cores=1,3,5,7
/proc/16321/stat : 16321 (glucose) R 16320 16218 15154 0 -1 4202496 3948 0 0 0 103 0 0 0 20 0 1 0 272265507 19189760 4082 33554432000 4194304 5208918 140734211507424 140734211505256 4205185 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16321/statm: 4685 4082 95 248 0 4434 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 43860
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16345
/proc/meminfo: memFree=29281080/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=24.92 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 8830 68432 0 0 45 9 2412 26 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 15972
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16357
/proc/meminfo: memFree=29244156/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=24.92 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 8830 68432 0 0 45 9 2412 26 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16348] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16348/stat : 16348 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272266876 9367552 267 33554432000 4194304 5064252 140736855778816 140736855777728 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16348/statm: 2287 267 226 213 0 72 0
[pid=16349] ppid=16348 vsize=36656 CPUtime=25.74 cores=1,3,5,7
/proc/16349/stat : 16349 (glucose) R 16348 16218 15154 0 -1 4202496 7810 0 0 0 2572 2 0 0 20 0 1 0 272266876 37535744 8601 33554432000 4194304 5208918 140733803311200 140733803309144 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 9164 8601 105 248 0 8913 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 61776
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16449
/proc/meminfo: memFree=29210048/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=24.92 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 8830 68432 0 0 45 9 2412 26 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16348] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16348/stat : 16348 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272266876 9367552 267 33554432000 4194304 5064252 140736855778816 140736855777728 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16348/statm: 2287 267 226 213 0 72 0
[pid=16349] ppid=16348 vsize=55332 CPUtime=76.94 cores=1,3,5,7
/proc/16349/stat : 16349 (glucose) R 16348 16218 15154 0 -1 4202496 9020 0 0 0 7691 3 0 0 20 0 1 0 272266876 56659968 13391 33554432000 4194304 5208918 140733803311200 140733803306968 4229992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 13833 13391 105 248 0 13582 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 80452
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16470
/proc/meminfo: memFree=29209800/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=36720 CPUtime=21.33 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 9311 0 0 0 2131 2 0 0 20 0 1 0 272278438 37601280 7878 33554432000 4194304 5208918 140735677895216 140735677893160 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 9180 7878 105 248 0 8929 0
Current children cumulated CPU time (s) 161.84
Current children cumulated vsize (KiB) 61840
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16470
/proc/meminfo: memFree=29166960/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=50976 CPUtime=81.31 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 10714 0 0 0 8129 2 0 0 20 0 1 0 272278438 52199424 12302 33554432000 4194304 5208918 140735677895216 140735677890904 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 12744 12302 105 248 0 12493 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 76096
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 16470
/proc/meminfo: memFree=29135368/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=141.3 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11432 0 0 0 14127 3 0 0 20 0 1 0 272278438 76464128 16081 33554432000 4194304 5208918 140735677895216 140735677891592 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16081 105 248 0 18417 0
Current children cumulated CPU time (s) 281.81
Current children cumulated vsize (KiB) 99792
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 16470
/proc/meminfo: memFree=29134064/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=153.3 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11432 0 0 0 15327 3 0 0 20 0 1 0 272278438 76464128 16081 33554432000 4194304 5208918 140735677895216 140735677891592 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16081 105 248 0 18417 0
Current children cumulated CPU time (s) 293.81
Current children cumulated vsize (KiB) 99792
[startup+307.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16470
/proc/meminfo: memFree=29133320/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=166.1 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11432 0 0 0 16607 3 0 0 20 0 1 0 272278438 76464128 16081 33554432000 4194304 5208918 140735677895216 140735677891592 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16081 105 248 0 18417 0
Current children cumulated CPU time (s) 306.61
Current children cumulated vsize (KiB) 99792
[startup+310.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16470
/proc/meminfo: memFree=29131272/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=169.3 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11433 0 0 0 16927 3 0 0 20 0 1 0 272278438 76464128 16593 33554432000 4194304 5208918 140735677895216 140735677891592 4228975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16593 105 248 0 18417 0
Current children cumulated CPU time (s) 309.81
Current children cumulated vsize (KiB) 99792
[startup+313.507 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16470
/proc/meminfo: memFree=29131272/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=172.5 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11433 0 0 0 17247 3 0 0 20 0 1 0 272278438 76464128 16593 33554432000 4194304 5208918 140735677895216 140735677891592 4229493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16593 105 248 0 18417 0
Current children cumulated CPU time (s) 313.01
Current children cumulated vsize (KiB) 99792
[startup+315.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16470
/proc/meminfo: memFree=29131272/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=174.1 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11433 0 0 0 17407 3 0 0 20 0 1 0 272278438 76464128 16593 33554432000 4194304 5208918 140735677895216 140735677891592 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16593 105 248 0 18417 0
Current children cumulated CPU time (s) 314.61
Current children cumulated vsize (KiB) 99792
[startup+315.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16470
/proc/meminfo: memFree=29131272/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=140.51 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9727 80701 0 0 52 9 13957 33 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
[pid=16469] ppid=16219 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16469/stat : 16469 (satsolver.sh) S 16219 16218 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272278437 9367552 267 33554432000 4194304 5064252 140736031114608 140736031113520 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16469/statm: 2287 267 226 213 0 72 0
[pid=16470] ppid=16469 vsize=74672 CPUtime=174.5 cores=1,3,5,7
/proc/16470/stat : 16470 (glucose) R 16469 16218 15154 0 -1 4202496 11433 0 0 0 17447 3 0 0 20 0 1 0 272278438 76464128 16593 33554432000 4194304 5208918 140735677895216 140735677891592 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16470/statm: 18668 16593 105 248 0 18417 0
Current children cumulated CPU time (s) 315.01
Current children cumulated vsize (KiB) 99792
[startup+315.707 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 16470
/proc/meminfo: memFree=29131272/32873844 swapFree=6856/6856
[pid=16218] ppid=16216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16218/stat : 16218 (npSolver-pbo.sh) S 16216 16218 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272264342 9367552 275 33554432000 4194304 5064252 140733527645936 140733527644848 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16218/statm: 2287 275 233 213 0 72 0
[pid=16219] ppid=16218 vsize=6824 CPUtime=315.17 cores=1,3,5,7
/proc/16219/stat : 16219 (npSolver-pbo) S 16218 16218 15154 0 -1 4202496 9735 92743 0 0 52 9 31419 37 20 0 1 0 272264342 6987776 1155 33554432000 4194304 5992684 140735620125232 140735620117040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16219/statm: 1706 1155 177 440 0 1262 0
Current children cumulated CPU time (s) 315.17
Current children cumulated vsize (KiB) 15972
Child status: 0
Real time (s): 315.781
CPU time (s): 315.324
CPU user time (s): 314.803
CPU system time (s): 0.52092
CPU usage (%): 99.8551
Max. virtual memory (cumulated for all children) (KiB): 106448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.803
system time used= 0.52092
maximum resident set size= 69668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 525
involuntary context switches= 451
runsolver used 0.703892 second user time and 2.13267 second system time
The end