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-3750517-1339126283/watcher-3750517-1339126283 -o /tmp/evaluation-result-3750517-1339126283/solver-3750517-1339126283 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750517-1339126283.opb 1381415959 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 28066
/proc/meminfo: memFree=28801312/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[startup+0.017204 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 28066
/proc/meminfo: memFree=28801312/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10022 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 28066
/proc/meminfo: memFree=28801312/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300167 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 28066
/proc/meminfo: memFree=28801312/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700255 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 28066
/proc/meminfo: memFree=28801312/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.01 2.01 2.03 3/183 28073
/proc/meminfo: memFree=28784212/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=16212 CPUtime=1.08 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 2978 0 0 0 108 0 0 0 20 0 1 0 378755752 16601088 3320 33554432000 4194304 5208918 140736618460112 140736618458056 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 4053 3320 95 248 0 3802 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40148
[startup+3.10042 s]
/proc/loadavg: 2.01 2.01 2.03 3/183 28073
/proc/meminfo: memFree=28783716/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=16484 CPUtime=2.68 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 3027 0 0 0 268 0 0 0 20 0 1 0 378755752 16879616 3369 33554432000 4194304 5208918 140736618460112 140736618458072 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 4121 3369 95 248 0 3870 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40420
[startup+6.30043 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 28073
/proc/meminfo: memFree=28784028/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=15248 CPUtime=5.88 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 3751 0 0 0 588 0 0 0 20 0 1 0 378755752 15613952 3271 33554432000 4194304 5208918 140736618460112 140736618457960 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 3812 3271 96 248 0 3561 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39184
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.03 3/183 28073
/proc/meminfo: memFree=28780760/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=18300 CPUtime=12.28 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 4677 0 0 0 1227 1 0 0 20 0 1 0 378755752 18739200 4062 33554432000 4194304 5208918 140736618460112 140736618457976 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 4575 4062 96 248 0 4324 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42236
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 28074
/proc/meminfo: memFree=28777704/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=22652 CPUtime=25.08 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 5114 0 0 0 2507 1 0 0 20 0 1 0 378755752 23195648 4985 33554432000 4194304 5208918 140736618460112 140736618458056 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 5663 4985 96 248 0 5412 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46588
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 28074
/proc/meminfo: memFree=28775088/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=25364 CPUtime=50.67 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 6112 0 0 0 5066 1 0 0 20 0 1 0 378755752 25972736 5880 33554432000 4194304 5208918 140736618460112 140736618457976 4229264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 6341 5880 96 248 0 6090 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49300
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 28075
/proc/meminfo: memFree=28769212/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=30076 CPUtime=101.87 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7322 0 0 0 10185 2 0 0 20 0 1 0 378755752 30797824 6775 33554432000 4194304 5208918 140736618460112 140736618458056 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 7519 6775 96 248 0 7268 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54012
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=161.86 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7488 0 0 0 16184 2 0 0 20 0 1 0 378755752 35254272 7956 33554432000 4194304 5208918 140736618460112 140736618457976 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 7956 96 248 0 8356 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 58364
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=165.85 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 16583 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4229731 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 58364
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 28075
/proc/meminfo: memFree=28762260/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=178.65 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 17863 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 58364
[startup+182.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=181.85 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 18183 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4228972 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 58364
[startup+183.9 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=183.45 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 18343 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4229876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (KiB) 58364
[startup+185.5 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=185.05 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 18503 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (KiB) 58364
[startup+186.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=185.85 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 18583 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4228965 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 186.23
Current children cumulated vsize (KiB) 58364
[startup+186.7 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=186.25 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 18623 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 186.63
Current children cumulated vsize (KiB) 58364
[startup+186.8 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 28075
/proc/meminfo: memFree=28762384/32873648 swapFree=7120/7120
[pid=28066] ppid=28064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28066/stat : 28066 (npSolver-pbo.sh) S 28064 28066 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378755711 9367552 274 33554432000 4194304 5064252 140736621211760 140736621210672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28066/statm: 2287 274 233 213 0 72 0
[pid=28067] ppid=28066 vsize=5640 CPUtime=0.38 cores=0,2,4,6
/proc/28067/stat : 28067 (npSolver-pbo) S 28066 28066 24192 0 -1 4202496 2851 7464 0 0 5 0 32 1 20 0 1 0 378755711 5775360 806 33554432000 4194304 6004724 140734042842736 140734042837872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28067/statm: 1410 806 148 442 0 964 0
[pid=28072] ppid=28067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28072/stat : 28072 (satsolver.sh) S 28067 28066 24192 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378755751 9367552 267 33554432000 4194304 5064252 140735554170096 140735554169008 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28072/statm: 2287 267 226 213 0 72 0
[pid=28073] ppid=28072 vsize=34428 CPUtime=186.35 cores=0,2,4,6
/proc/28073/stat : 28073 (glucose) R 28072 28066 24192 0 -1 4202496 7560 0 0 0 18633 2 0 0 20 0 1 0 378755752 35254272 8021 33554432000 4194304 5208918 140736618460112 140736618457976 4218847 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28073/statm: 8607 8021 96 248 0 8356 0
Current children cumulated CPU time (s) 186.73
Current children cumulated vsize (KiB) 58364
Child status: 0
Real time (s): 186.82
CPU time (s): 186.785
CPU user time (s): 186.723
CPU system time (s): 0.06199
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 58368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.723
system time used= 0.06199
maximum resident set size= 32088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 209
runsolver used 0.870867 second user time and 1.84672 second system time
The end