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-3749924-1339158911/watcher-3749924-1339158911 -o /tmp/evaluation-result-3749924-1339158911/solver-3749924-1339158911 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749924-1339158911.opb 1393470619 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: 1.37 1.30 1.63 3/178 16971
/proc/meminfo: memFree=27166816/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0

[startup+0.056425 s]
/proc/loadavg: 1.37 1.30 1.63 3/178 16971
/proc/meminfo: memFree=27166816/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100193 s]
/proc/loadavg: 1.37 1.30 1.63 3/178 16971
/proc/meminfo: memFree=27166816/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300156 s]
/proc/loadavg: 1.37 1.30 1.63 3/178 16971
/proc/meminfo: memFree=27166816/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700158 s]
/proc/loadavg: 1.37 1.30 1.63 3/178 16971
/proc/meminfo: memFree=27166816/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 1.50 1.32 1.63 3/182 16985
/proc/meminfo: memFree=27062600/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=72820 CPUtime=0.59 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 13845 0 0 0 55 4 0 0 20 0 1 0 382016969 74567680 15867 33554432000 4194304 5208918 140735582532000 140735582529848 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 18205 15867 104 248 0 17954 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 147424

[startup+3.10042 s]
/proc/loadavg: 1.50 1.32 1.63 3/182 16985
/proc/meminfo: memFree=27001112/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=74004 CPUtime=2.19 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 14039 0 0 0 215 4 0 0 20 0 1 0 382016969 75780096 16061 33554432000 4194304 5208918 140735582532000 140735582529832 4228952 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 18501 16061 104 248 0 18250 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 148608

[startup+6.30042 s]
/proc/loadavg: 1.70 1.37 1.65 3/182 16985
/proc/meminfo: memFree=26585612/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=75884 CPUtime=5.39 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 14541 0 0 0 535 4 0 0 20 0 1 0 382016969 77705216 17074 33554432000 4194304 5208918 140735582532000 140735582529832 4213234 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 18971 17074 104 248 0 18720 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 150488

[startup+12.7004 s]
/proc/loadavg: 1.73 1.38 1.65 3/182 16985
/proc/meminfo: memFree=26276340/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=77180 CPUtime=11.79 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 15047 0 0 0 1174 5 0 0 20 0 1 0 382016969 79032320 17575 33554432000 4194304 5208918 140735582532000 140735582529832 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 19295 17575 104 248 0 19044 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 151784

[startup+25.5004 s]
/proc/loadavg: 1.79 1.41 1.65 3/182 16985
/proc/meminfo: memFree=25011996/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=89548 CPUtime=24.58 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 16050 0 0 0 2453 5 0 0 20 0 1 0 382016969 91697152 18559 33554432000 4194304 5208918 140735582532000 140735582528376 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 22387 18559 104 248 0 22136 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 164152

[startup+51.1002 s]
/proc/loadavg: 2.02 1.49 1.67 3/183 16986
/proc/meminfo: memFree=19903676/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=108912 CPUtime=50.19 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 17692 0 0 0 5012 7 0 0 20 0 1 0 382016969 111525888 23666 33554432000 4194304 5208918 140735582532000 140735582529944 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 27228 23666 104 248 0 26977 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 183516

[startup+102.3 s]
/proc/loadavg: 3.74 2.04 1.85 2/183 16987
/proc/meminfo: memFree=15302680/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16984/stat : 16984 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382016969 9367552 267 33554432000 4194304 5064252 140734974893904 140734974892816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16984/statm: 2287 267 226 213 0 72 0
[pid=16985] ppid=16984 vsize=127588 CPUtime=101.38 cores=0,2,4,6
/proc/16985/stat : 16985 (glucose) R 16984 16971 13014 0 -1 4202496 18332 0 0 0 10131 7 0 0 20 0 1 0 382016969 130650112 30387 33554432000 4194304 5208918 140735582532000 140735582527688 4211580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16985/statm: 31897 30387 104 248 0 31646 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 202192

[startup+162.3 s]
/proc/loadavg: 4.58 2.59 2.05 2/182 16987
/proc/meminfo: memFree=15255356/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=56308 CPUtime=0.86 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 6446 12960 0 0 35 12 36 3 20 0 1 0 382016879 57659392 10669 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 14077 10669 175 442 0 13631 0
[pid=16984] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=72392 CPUtime=209.24 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 10111 36199 0 0 62 15 20820 27 20 0 1 0 382016879 74129408 14179 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 18098 14179 176 442 0 17652 0
[pid=17033] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17033/stat : 17033 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382037809 9367552 266 33554432000 4194304 5064252 140736612691792 140736612690704 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17033/statm: 2287 266 226 213 0 72 0
[pid=17034] ppid=17033 vsize=69312 CPUtime=12.99 cores=0,2,4,6
/proc/17034/stat : 17034 (glucose) R 17033 16971 13014 0 -1 4202496 14624 0 0 0 1296 3 0 0 20 0 1 0 382037809 70975488 15258 33554432000 4194304 5208918 140734884525456 140734884521832 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17034/statm: 17328 15258 103 248 0 17077 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 160000

[startup+282.3 s]
/proc/loadavg: 2.41 2.45 2.06 3/181 17111
/proc/meminfo: memFree=18432188/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=279.17 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 44539 205138 0 0 265 36 27529 87 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17110] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17110/stat : 17110 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382044820 9367552 266 33554432000 4194304 5064252 140737221169520 140737221168432 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17110/statm: 2287 266 226 213 0 72 0
[pid=17111] ppid=17110 vsize=50172 CPUtime=2.88 cores=0,2,4,6
/proc/17111/stat : 17111 (glucose) R 17110 16971 13014 0 -1 4202496 10829 0 0 0 285 3 0 0 20 0 1 0 382044820 51376128 11382 33554432000 4194304 5208918 140734683161296 140734683159128 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17111/statm: 12543 11382 105 248 0 12292 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 108092

Solver just ended. Dumping a history of the last processes samples

[startup+288 s]
/proc/loadavg: 2.46 2.46 2.07 3/181 17118
/proc/meminfo: memFree=17874144/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=283.27 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 47620 220502 0 0 283 38 27913 93 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17117] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17117/stat : 17117 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382045230 9367552 265 33554432000 4194304 5064252 140733256479648 140733256478560 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17117/statm: 2287 265 226 213 0 72 0
[pid=17118] ppid=17117 vsize=52192 CPUtime=4.48 cores=0,2,4,6
/proc/17118/stat : 17118 (glucose) R 17117 16971 13014 0 -1 4202496 12032 0 0 0 446 2 0 0 20 0 1 0 382045230 53444608 11709 33554432000 4194304 5208918 140734434097520 140734434095368 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17118/statm: 13048 11709 105 248 0 12797 0
Current children cumulated CPU time (s) 287.75
Current children cumulated vsize (KiB) 110112

[startup+300.8 s]
/proc/loadavg: 2.39 2.44 2.07 3/182 17128
/proc/meminfo: memFree=17868620/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=300.08 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 53782 250591 0 0 320 41 29546 101 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
Current children cumulated CPU time (s) 300.08
Current children cumulated vsize (KiB) 48772

[startup+307.2 s]
/proc/loadavg: 2.33 2.43 2.07 3/182 17142
/proc/meminfo: memFree=17870548/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=304.95 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 56863 266612 0 0 339 43 30007 106 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17141] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17141/stat : 17141 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382047400 9367552 267 33554432000 4194304 5064252 140733831594944 140733831593856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17141/statm: 2287 267 226 213 0 72 0
[pid=17142] ppid=17141 vsize=49936 CPUtime=1.98 cores=0,2,4,6
/proc/17142/stat : 17142 (glucose) R 17141 16971 13014 0 -1 4202496 11688 0 0 0 196 2 0 0 20 0 1 0 382047400 51134464 11047 33554432000 4194304 5208918 140733597409552 140733597407384 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17142/statm: 12484 11047 105 248 0 12233 0
Current children cumulated CPU time (s) 306.93
Current children cumulated vsize (KiB) 107856

[startup+308.8 s]
/proc/loadavg: 2.33 2.43 2.07 3/182 17142
/proc/meminfo: memFree=17856784/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=304.95 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 56863 266612 0 0 339 43 30007 106 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17141] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17141/stat : 17141 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382047400 9367552 267 33554432000 4194304 5064252 140733831594944 140733831593856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17141/statm: 2287 267 226 213 0 72 0
[pid=17142] ppid=17141 vsize=50484 CPUtime=3.58 cores=0,2,4,6
/proc/17142/stat : 17142 (glucose) R 17141 16971 13014 0 -1 4202496 11833 0 0 0 356 2 0 0 20 0 1 0 382047400 51695616 11192 33554432000 4194304 5208918 140733597409552 140733597407384 4211901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17142/statm: 12621 11192 105 248 0 12370 0
Current children cumulated CPU time (s) 308.53
Current children cumulated vsize (KiB) 108404

[startup+310.4 s]
/proc/loadavg: 2.33 2.43 2.07 3/182 17142
/proc/meminfo: memFree=17866208/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=304.95 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 56863 266612 0 0 339 43 30007 106 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17141] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17141/stat : 17141 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382047400 9367552 267 33554432000 4194304 5064252 140733831594944 140733831593856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17141/statm: 2287 267 226 213 0 72 0
[pid=17142] ppid=17141 vsize=51020 CPUtime=5.18 cores=0,2,4,6
/proc/17142/stat : 17142 (glucose) R 17141 16971 13014 0 -1 4202496 11965 0 0 0 516 2 0 0 20 0 1 0 382047400 52244480 11324 33554432000 4194304 5208918 140733597409552 140733597407384 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17142/statm: 12755 11324 105 248 0 12504 0
Current children cumulated CPU time (s) 310.13
Current children cumulated vsize (KiB) 108940

[startup+310.8 s]
/proc/loadavg: 2.33 2.43 2.07 3/182 17142
/proc/meminfo: memFree=17866208/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=304.95 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 56863 266612 0 0 339 43 30007 106 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17141] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17141/stat : 17141 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382047400 9367552 267 33554432000 4194304 5064252 140733831594944 140733831593856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17141/statm: 2287 267 226 213 0 72 0
[pid=17142] ppid=17141 vsize=46540 CPUtime=5.58 cores=0,2,4,6
/proc/17142/stat : 17142 (glucose) R 17141 16971 13014 0 -1 4202496 12237 0 0 0 556 2 0 0 20 0 1 0 382047400 47656960 10019 33554432000 4194304 5208918 140733597409552 140733597407384 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17142/statm: 11635 10019 105 248 0 11384 0
Current children cumulated CPU time (s) 310.53
Current children cumulated vsize (KiB) 104460

[startup+311 s]
/proc/loadavg: 2.33 2.43 2.07 3/182 17142
/proc/meminfo: memFree=17866208/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=304.95 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 56863 266612 0 0 339 43 30007 106 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17141] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17141/stat : 17141 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382047400 9367552 267 33554432000 4194304 5064252 140733831594944 140733831593856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17141/statm: 2287 267 226 213 0 72 0
[pid=17142] ppid=17141 vsize=46540 CPUtime=5.78 cores=0,2,4,6
/proc/17142/stat : 17142 (glucose) R 17141 16971 13014 0 -1 4202496 12237 0 0 0 576 2 0 0 20 0 1 0 382047400 47656960 10019 33554432000 4194304 5208918 140733597409552 140733597407384 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17142/statm: 11635 10019 105 248 0 11384 0
Current children cumulated CPU time (s) 310.73
Current children cumulated vsize (KiB) 104460

[startup+311.1 s]
/proc/loadavg: 2.38 2.44 2.07 3/182 17142
/proc/meminfo: memFree=17873264/32873660 swapFree=7120/7120
[pid=16971] ppid=16969 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16971/stat : 16971 (npSolver-pbo.sh) S 16969 16971 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382016879 9367552 275 33554432000 4194304 5064252 140736845474288 140736845473200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16971/statm: 2287 275 233 213 0 72 0
[pid=16972] ppid=16971 vsize=39624 CPUtime=304.95 cores=0,2,4,6
/proc/16972/stat : 16972 (npSolver-pbo) S 16971 16971 13014 0 -1 4202496 56863 266612 0 0 339 43 30007 106 20 0 1 0 382016879 40574976 9327 33554432000 4194304 6004724 140733452871840 140733452864192 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16972/statm: 9906 9327 176 442 0 9460 0
[pid=17141] ppid=16972 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17141/stat : 17141 (satsolver.sh) S 16972 16971 13014 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382047400 9367552 267 33554432000 4194304 5064252 140733831594944 140733831593856 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17141/statm: 2287 267 226 213 0 72 0
[pid=17142] ppid=17141 vsize=46540 CPUtime=5.88 cores=0,2,4,6
/proc/17142/stat : 17142 (glucose) R 17141 16971 13014 0 -1 4202496 12237 0 0 0 586 2 0 0 20 0 1 0 382047400 47656960 10019 33554432000 4194304 5208918 140733597409552 140733597407384 4212619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17142/statm: 11635 10019 105 248 0 11384 0
Current children cumulated CPU time (s) 310.83
Current children cumulated vsize (KiB) 104460

Child status: 0
Real time (s): 311.162
CPU time (s): 310.933
CPU user time (s): 309.38
CPU system time (s): 1.55276
CPU usage (%): 99.9264
Max. virtual memory (cumulated for all children) (KiB): 251512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.38
system time used= 1.55276
maximum resident set size= 161940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 487640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 982
involuntary context switches= 594

runsolver used 0.460929 second user time and 1.21881 second system time

The end