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-3701373-1338068802/watcher-3701373-1338068802 -o /tmp/evaluation-result-3701373-1338068802/solver-3701373-1338068802 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701373-1338068802.opb 435517700 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.00 2.01 2.00 3/178 17249
/proc/meminfo: memFree=29036276/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[startup+0.0793921 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17249
/proc/meminfo: memFree=29036276/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10036 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17249
/proc/meminfo: memFree=29036276/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300321 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17249
/proc/meminfo: memFree=29036276/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700309 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 17249
/proc/meminfo: memFree=29036276/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/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.01 2.00 3/182 17253
/proc/meminfo: memFree=28926052/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=22788 CPUtime=1.3 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 6665 17864 0 0 18 1 107 4 20 0 1 0 273005138 23334912 4945 33554432000 4194304 5992684 140734075899744 140734075894864 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 5697 4945 163 440 0 5253 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 31936
[startup+3.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 17256
/proc/meminfo: memFree=28969156/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=22788 CPUtime=1.3 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 6665 17864 0 0 18 1 107 4 20 0 1 0 273005138 23334912 4945 33554432000 4194304 5992684 140734075899744 140734075894864 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 5697 4945 163 440 0 5253 0
[pid=17255] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17255/stat : 17255 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273005271 9367552 267 33554432000 4194304 5064252 140734888662048 140734888660960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17255/statm: 2287 267 226 213 0 72 0
[pid=17256] ppid=17255 vsize=39292 CPUtime=1.75 cores=0,2,4,6
/proc/17256/stat : 17256 (glucose) R 17255 17249 15154 0 -1 4202496 9207 0 0 0 174 1 0 0 20 0 1 0 273005271 40235008 9179 33554432000 4194304 5208918 140734210251808 140734210249768 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17256/statm: 9823 9179 103 248 0 9572 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 80376
[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 17260
/proc/meminfo: memFree=28989996/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=24452 CPUtime=5.38 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 8206 31226 0 0 30 45 454 9 20 0 1 0 273005138 25038848 5377 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6113 5377 174 440 0 5669 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 33600
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 17263
/proc/meminfo: memFree=28921692/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=24452 CPUtime=5.38 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 8206 31226 0 0 30 45 454 9 20 0 1 0 273005138 25038848 5377 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6113 5377 174 440 0 5669 0
[pid=17262] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17262/stat : 17262 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273005689 9367552 267 33554432000 4194304 5064252 140734663824416 140734663823328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17262/statm: 2287 267 226 213 0 72 0
[pid=17263] ppid=17262 vsize=60716 CPUtime=7.17 cores=0,2,4,6
/proc/17263/stat : 17263 (glucose) R 17262 17249 15154 0 -1 4202496 11124 0 0 0 714 3 0 0 20 0 1 0 273005689 62173184 12836 33554432000 4194304 5208918 140733479626816 140733479624968 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17263/statm: 15179 12836 96 248 0 14928 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 103464
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 17263
/proc/meminfo: memFree=28862164/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=24452 CPUtime=5.38 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 8206 31226 0 0 30 45 454 9 20 0 1 0 273005138 25038848 5377 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6113 5377 174 440 0 5669 0
[pid=17262] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17262/stat : 17262 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273005689 9367552 267 33554432000 4194304 5064252 140734663824416 140734663823328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17262/statm: 2287 267 226 213 0 72 0
[pid=17263] ppid=17262 vsize=91268 CPUtime=19.97 cores=0,2,4,6
/proc/17263/stat : 17263 (glucose) R 17262 17249 15154 0 -1 4202496 12951 0 0 0 1993 4 0 0 20 0 1 0 273005689 93458432 19976 33554432000 4194304 5208918 140733479626816 140733479624760 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17263/statm: 22817 19976 96 248 0 22566 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 134016
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 17264
/proc/meminfo: memFree=28760940/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=24452 CPUtime=5.38 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 8206 31226 0 0 30 45 454 9 20 0 1 0 273005138 25038848 5377 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6113 5377 174 440 0 5669 0
[pid=17262] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17262/stat : 17262 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273005689 9367552 267 33554432000 4194304 5064252 140734663824416 140734663823328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17262/statm: 2287 267 226 213 0 72 0
[pid=17263] ppid=17262 vsize=171408 CPUtime=45.56 cores=0,2,4,6
/proc/17263/stat : 17263 (glucose) R 17262 17249 15154 0 -1 4202496 14173 0 0 0 4550 6 0 0 20 0 1 0 273005689 175521792 33634 33554432000 4194304 5208918 140733479626816 140733479624808 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17263/statm: 42852 33634 96 248 0 42601 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 214156
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17264
/proc/meminfo: memFree=28957968/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=24452 CPUtime=5.38 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 8206 31226 0 0 30 45 454 9 20 0 1 0 273005138 25038848 5377 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6113 5377 174 440 0 5669 0
[pid=17262] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17262/stat : 17262 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273005689 9367552 267 33554432000 4194304 5064252 140734663824416 140734663823328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17262/statm: 2287 267 226 213 0 72 0
[pid=17263] ppid=17262 vsize=171408 CPUtime=96.77 cores=0,2,4,6
/proc/17263/stat : 17263 (glucose) R 17262 17249 15154 0 -1 4202496 16632 0 0 0 9667 10 0 0 20 0 1 0 273005689 175521792 34427 33554432000 4194304 5208918 140733479626816 140733479624968 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17263/statm: 42852 34427 96 248 0 42601 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 214156
[startup+162.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 17316
/proc/meminfo: memFree=28960088/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=134.58 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 9543 53357 0 0 31 45 13357 25 20 0 1 0 273005138 26611712 5587 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5587 175 440 0 6053 0
[pid=17315] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17315/stat : 17315 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273018612 9367552 265 33554432000 4194304 5064252 140735025525584 140735025524496 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17315/statm: 2287 265 226 213 0 72 0
[pid=17316] ppid=17315 vsize=96560 CPUtime=27.54 cores=0,2,4,6
/proc/17316/stat : 17316 (glucose) R 17315 17249 15154 0 -1 4202496 12923 0 0 0 2750 4 0 0 20 0 1 0 273018612 98877440 22772 33554432000 4194304 5208918 140734890899824 140734890897768 4213121 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17316/statm: 24140 22772 96 248 0 23889 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 140844
[startup+222.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 17319
/proc/meminfo: memFree=28906076/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17388
/proc/meminfo: memFree=28927652/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1116.95 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13147 124922 0 0 35 46 111549 65 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17386] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17386/stat : 17386 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273116869 9367552 266 33554432000 4194304 5064252 140733671570272 140733671569184 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17386/statm: 2287 266 226 213 0 72 0
[pid=17387] ppid=17386 vsize=93452 CPUtime=244.93 cores=0,2,4,6
/proc/17387/stat : 17387 (glucose) R 17386 17249 15154 0 -1 4202496 11191 0 0 0 24489 4 0 0 20 0 1 0 273116869 95694848 22578 33554432000 4194304 5208918 140736731705584 140736731703528 4214288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17387/statm: 23363 22578 96 248 0 23112 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 137736
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 17398
/proc/meminfo: memFree=28976240/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=55868 CPUtime=36.87 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 9919 0 0 0 3685 2 0 0 20 0 1 0 273143680 57208832 12769 33554432000 4194304 5208918 140736500327376 140736500325240 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 13967 12769 96 248 0 13716 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 100152
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17398
/proc/meminfo: memFree=28952336/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=74540 CPUtime=96.85 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 11191 0 0 0 9681 4 0 0 20 0 1 0 273143680 76328960 17996 33554432000 4194304 5208918 140736500327376 140736500325320 4214288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 18635 17996 96 248 0 18384 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 118824
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 17399
/proc/meminfo: memFree=28932912/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=93360 CPUtime=156.83 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 11613 0 0 0 15679 4 0 0 20 0 1 0 273143680 95600640 21725 33554432000 4194304 5208918 140736500327376 140736500325320 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 23340 21725 96 248 0 23089 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 137644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17399
/proc/meminfo: memFree=28938760/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=93360 CPUtime=216.82 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 12050 0 0 0 21678 4 0 0 20 0 1 0 273143680 95600640 22667 33554432000 4194304 5208918 140736500327376 140736500325320 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 23340 22667 96 248 0 23089 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 137644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17399
/proc/meminfo: memFree=28934600/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=93360 CPUtime=276.82 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 12064 0 0 0 27677 5 0 0 20 0 1 0 273143680 95600640 22715 33554432000 4194304 5208918 140736500327376 140736500325320 4229424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 23340 22715 104 248 0 23089 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 137644
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17399
/proc/meminfo: memFree=28930568/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=93360 CPUtime=336.81 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 12064 0 0 0 33676 5 0 0 20 0 1 0 273143680 95600640 22715 33554432000 4194304 5208918 140736500327376 140736500325320 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 23340 22715 104 248 0 23089 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 137644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17399
/proc/meminfo: memFree=28926384/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=93360 CPUtime=396.8 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 12064 0 0 0 39675 5 0 0 20 0 1 0 273143680 95600640 22715 33554432000 4194304 5208918 140736500327376 140736500325320 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 23340 22715 104 248 0 23089 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 137644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17399
/proc/meminfo: memFree=28924252/32873844 swapFree=6856/6856
[pid=17249] ppid=17247 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17249/stat : 17249 (npSolver-pbo.sh) S 17247 17249 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273005137 9367552 275 33554432000 4194304 5064252 140735561754928 140735561753840 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17249/statm: 2287 275 233 213 0 72 0
[pid=17250] ppid=17249 vsize=25988 CPUtime=1384.99 cores=0,2,4,6
/proc/17250/stat : 17250 (npSolver-pbo) S 17249 17249 15154 0 -1 4202496 13971 140722 0 0 35 46 138346 72 20 0 1 0 273005138 26611712 5588 33554432000 4194304 5992684 140734075899744 140734075892064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17250/statm: 6497 5588 175 440 0 6053 0
[pid=17394] ppid=17250 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17394/stat : 17394 (satsolver.sh) S 17250 17249 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273143679 9367552 267 33554432000 4194304 5064252 140733601122048 140733601120960 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17394/statm: 2287 267 226 213 0 72 0
[pid=17395] ppid=17394 vsize=93360 CPUtime=415.11 cores=0,2,4,6
/proc/17395/stat : 17395 (glucose) R 17394 17249 15154 0 -1 4202496 12064 0 0 0 41506 5 0 0 20 0 1 0 273143680 95600640 22715 33554432000 4194304 5208918 140736500327376 140736500325320 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17395/statm: 23340 22715 104 248 0 23089 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 137644
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.62
CPU time (s): 1800.14
CPU user time (s): 1798.9
CPU system time (s): 1.24781
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 271072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.24781
maximum resident set size= 192920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 157936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1714
involuntary context switches= 2004
runsolver used 2.98555 second user time and 12.876 second system time
The end