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-3750237-1339113912/watcher-3750237-1339113912 -o /tmp/evaluation-result-3750237-1339113912/solver-3750237-1339113912 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750237-1339113912.opb 863734234 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.04 2.02 1.88 3/179 17197
/proc/meminfo: memFree=27332368/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[startup+0.040876 s]
/proc/loadavg: 2.04 2.02 1.88 3/179 17197
/proc/meminfo: memFree=27332368/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10033 s]
/proc/loadavg: 2.04 2.02 1.88 3/179 17197
/proc/meminfo: memFree=27332368/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.04 2.02 1.88 3/179 17197
/proc/meminfo: memFree=27332368/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 2.04 2.02 1.88 3/179 17197
/proc/meminfo: memFree=27332368/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.04 2.02 1.88 2/178 17202
/proc/meminfo: memFree=28714644/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=0.35 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6186 0 0 0 32 3 0 0 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460541440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17200] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17200/stat : 17200 (cp2_pre.sh) S 17198 17197 15337 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 377517085 9367552 277 33554432000 4194304 5064252 140734124735984 140734124734688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17200/statm: 2287 277 234 213 0 72 0
[pid=17201] ppid=17200 vsize=135716 CPUtime=1.12 cores=0,2,4,6
/proc/17201/stat : 17201 (coprocessor) R 17200 17197 15337 0 -1 4202496 25796 0 0 0 108 4 0 0 20 0 1 0 377517085 138973184 33028 33554432000 4194304 6586260 140737075706848 140737075702168 4683293 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/17201/statm: 33929 33028 191 584 0 33341 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 172496
[startup+3.10035 s]
/proc/loadavg: 2.04 2.02 1.88 2/178 17202
/proc/meminfo: memFree=28694884/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=0.35 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6186 0 0 0 32 3 0 0 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460541440 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17200] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17200/stat : 17200 (cp2_pre.sh) S 17198 17197 15337 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 377517085 9367552 277 33554432000 4194304 5064252 140734124735984 140734124734688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17200/statm: 2287 277 234 213 0 72 0
[pid=17201] ppid=17200 vsize=136640 CPUtime=2.72 cores=0,2,4,6
/proc/17201/stat : 17201 (coprocessor) R 17200 17197 15337 0 -1 4202496 26036 0 0 0 268 4 0 0 20 0 1 0 377517085 139919360 33268 33554432000 4194304 6586260 140737075706848 140737075702168 5599247 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/17201/statm: 34160 33268 191 584 0 33572 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 173420
[startup+6.30036 s]
/proc/loadavg: 2.03 2.02 1.88 3/183 17256
/proc/meminfo: memFree=29011740/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=63192 CPUtime=1.85 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 14095 0 0 0 182 3 0 0 20 0 1 0 377517494 64708608 14495 33554432000 4194304 5208918 140734805600576 140734805598248 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 15798 14495 103 248 0 15547 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 99972
[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 1.88 3/183 17277
/proc/meminfo: memFree=29005856/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=83328 CPUtime=8.24 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 15620 0 0 0 820 4 0 0 20 0 1 0 377517494 85327872 18293 33554432000 4194304 5208918 140734805600576 140734805598424 4229006 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 20832 18293 105 248 0 20581 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 120108
[startup+25.5012 s]
/proc/loadavg: 2.02 2.02 1.88 3/183 17284
/proc/meminfo: memFree=28924008/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=113676 CPUtime=21.04 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 16495 0 0 0 2100 4 0 0 20 0 1 0 377517494 116404224 23926 33554432000 4194304 5208918 140734805600576 140734805598520 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 28419 23926 105 248 0 28168 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 150456
[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 1.89 3/183 17291
/proc/meminfo: memFree=28928068/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=113676 CPUtime=46.63 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 16710 0 0 0 4658 5 0 0 20 0 1 0 377517494 116404224 26177 33554432000 4194304 5208918 140734805600576 140734805598520 4211580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 28419 26177 105 248 0 28168 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 150456
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 1.89 3/183 17291
/proc/meminfo: memFree=28906652/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=113676 CPUtime=97.82 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 18195 0 0 0 9776 6 0 0 20 0 1 0 377517494 116404224 27208 33554432000 4194304 5208918 140734805600576 140734805598664 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 28419 27208 105 248 0 28168 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 150456
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/183 17291
/proc/meminfo: memFree=28880160/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 17309
/proc/meminfo: memFree=28676420/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=343368 CPUtime=1357.58 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 50986 0 0 0 135688 70 0 0 20 0 1 0 377517494 351608832 65854 33554432000 4194304 5208918 140734805600576 140734805598728 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 85842 65854 105 248 0 85591 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 380148
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 17309
/proc/meminfo: memFree=28757452/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=183364 CPUtime=1417.57 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 52086 0 0 0 141684 73 0 0 20 0 1 0 377517494 187764736 43019 33554432000 4194304 5208918 140734805600576 140734805596264 4211572 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 45841 43019 105 248 0 45590 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 220144
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 17310
/proc/meminfo: memFree=28666676/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=345660 CPUtime=1477.56 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 53523 0 0 0 147680 76 0 0 20 0 1 0 377517494 353955840 65403 33554432000 4194304 5208918 140734805600576 140734805598728 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 86415 65403 105 248 0 86164 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 382440
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.94 3/184 17313
/proc/meminfo: memFree=28753744/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=185704 CPUtime=1537.54 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 54700 0 0 0 153676 78 0 0 20 0 1 0 377517494 190160896 41556 33554432000 4194304 5208918 140734805600576 140734805598568 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 46426 41556 105 248 0 46175 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 222484
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/183 17313
/proc/meminfo: memFree=28668532/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=266612 CPUtime=1597.54 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 55624 0 0 0 159673 81 0 0 20 0 1 0 377517494 273010688 63940 33554432000 4194304 5208918 140734805600576 140734805598728 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 66653 63940 105 248 0 66402 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 303392
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/183 17313
/proc/meminfo: memFree=28657320/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=348000 CPUtime=1657.52 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 56167 0 0 0 165670 82 0 0 20 0 1 0 377517494 356352000 79812 33554432000 4194304 5208918 140734805600576 140734805598728 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 87000 79812 105 248 0 86749 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 384780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/183 17313
/proc/meminfo: memFree=28714848/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=216524 CPUtime=1717.52 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 57756 0 0 0 171665 87 0 0 20 0 1 0 377517494 221720576 52887 33554432000 4194304 5208918 140734805600576 140734805598728 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 54131 52887 105 248 0 53880 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 253304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 17314
/proc/meminfo: memFree=28622140/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=348000 CPUtime=1777.5 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 58628 0 0 0 177661 89 0 0 20 0 1 0 377517494 356352000 77764 33554432000 4194304 5208918 140734805600576 140734805598728 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 87000 77764 105 248 0 86749 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 384780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 4/183 17314
/proc/meminfo: memFree=28585252/32873648 swapFree=7372/7372
[pid=17197] ppid=17195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17197/stat : 17197 (npSolver-pbo.sh) S 17195 17197 15337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377517049 9367552 274 33554432000 4194304 5064252 140733525900928 140733525899840 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17197/statm: 2287 274 233 213 0 72 0
[pid=17198] ppid=17197 vsize=18484 CPUtime=4.42 cores=0,2,4,6
/proc/17198/stat : 17198 (npSolver-pbo) S 17197 17197 15337 0 -1 4202496 6194 27137 0 0 32 3 400 7 20 0 1 0 377517049 18927616 4078 33554432000 4194304 6004724 140733460547392 140733460542528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17198/statm: 4621 4078 164 442 0 4175 0
[pid=17245] ppid=17198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17245/stat : 17245 (satsolver.sh) S 17198 17197 15337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377517493 9367552 266 33554432000 4194304 5064252 140733467136800 140733467135712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17245/statm: 2287 266 226 213 0 72 0
[pid=17246] ppid=17245 vsize=348000 CPUtime=1795.6 cores=0,2,4,6
/proc/17246/stat : 17246 (glucose) R 17245 17197 15337 0 -1 4202496 58652 0 0 0 179470 90 0 0 20 0 1 0 377517494 356352000 84932 33554432000 4194304 5208918 140734805600576 140734805598728 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17246/statm: 87000 84932 105 248 0 86749 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 384780
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.04
CPU system time (s): 1.01584
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 566360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.01585
maximum resident set size= 382396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132
involuntary context switches= 1879
runsolver used 3.32749 second user time and 8.5807 second system time
The end