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-3750111-1339181955/watcher-3750111-1339181955 -o /tmp/evaluation-result-3750111-1339181955/solver-3750111-1339181955 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750111-1339181955.opb 347447429 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.93 1.99 2.00 3/179 18176
/proc/meminfo: memFree=20755680/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[startup+0.0667189 s]
/proc/loadavg: 1.93 1.99 2.00 3/179 18176
/proc/meminfo: memFree=20755680/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100304 s]
/proc/loadavg: 1.93 1.99 2.00 3/179 18176
/proc/meminfo: memFree=20755680/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 1.93 1.99 2.00 3/179 18176
/proc/meminfo: memFree=20755680/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700272 s]
/proc/loadavg: 1.93 1.99 2.00 3/179 18176
/proc/meminfo: memFree=20755680/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.93 1.99 2.00 3/183 18190
/proc/meminfo: memFree=20708772/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1.27 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 6565 18200 0 0 27 7 85 8 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 31676
[startup+3.10033 s]
/proc/loadavg: 1.93 1.99 2.00 3/183 18197
/proc/meminfo: memFree=20709204/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=2.42 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 8484 28392 0 0 37 8 184 13 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 31676
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 1.93 1.99 2.00 3/183 18211
/proc/meminfo: memFree=20711092/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=3.34 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 10384 37969 0 0 46 9 261 18 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18210] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18210/stat : 18210 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384320187 9367552 267 33554432000 4194304 5064252 140735782166320 140735782165232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18210/statm: 2287 267 226 213 0 72 0
[pid=18211] ppid=18210 vsize=22648 CPUtime=2.92 cores=0,2,4,6
/proc/18211/stat : 18211 (glucose) R 18210 18176 17144 0 -1 4202496 6213 0 0 0 291 1 0 0 20 0 1 0 384320187 23191552 4906 33554432000 4194304 5208918 140735112598416 140735112596504 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18211/statm: 5662 4906 105 248 0 5411 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 63472
[startup+12.7004 s]
/proc/loadavg: 1.94 1.99 2.00 3/183 18211
/proc/meminfo: memFree=20700624/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=3.34 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 10384 37969 0 0 46 9 261 18 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18210] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18210/stat : 18210 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384320187 9367552 267 33554432000 4194304 5064252 140735782166320 140735782165232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18210/statm: 2287 267 226 213 0 72 0
[pid=18211] ppid=18210 vsize=34156 CPUtime=9.31 cores=0,2,4,6
/proc/18211/stat : 18211 (glucose) R 18210 18176 17144 0 -1 4202496 7426 0 0 0 930 1 0 0 20 0 1 0 384320187 34975744 7561 33554432000 4194304 5208918 140735112598416 140735112596280 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18211/statm: 8539 7561 105 248 0 8288 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 74980
[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 2.00 3/183 18211
/proc/meminfo: memFree=20700904/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=3.34 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 10384 37969 0 0 46 9 261 18 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18210] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18210/stat : 18210 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384320187 9367552 267 33554432000 4194304 5064252 140735782166320 140735782165232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18210/statm: 2287 267 226 213 0 72 0
[pid=18211] ppid=18210 vsize=34156 CPUtime=22.12 cores=0,2,4,6
/proc/18211/stat : 18211 (glucose) R 18210 18176 17144 0 -1 4202496 7610 0 0 0 2210 2 0 0 20 0 1 0 384320187 34975744 7742 33554432000 4194304 5208918 140735112598416 140735112596280 4213264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18211/statm: 8539 7742 105 248 0 8288 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 74980
[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 2.00 3/184 18214
/proc/meminfo: memFree=20700964/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=3.34 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 10384 37969 0 0 46 9 261 18 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18210] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18210/stat : 18210 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384320187 9367552 267 33554432000 4194304 5064252 140735782166320 140735782165232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18210/statm: 2287 267 226 213 0 72 0
[pid=18211] ppid=18210 vsize=34156 CPUtime=47.72 cores=0,2,4,6
/proc/18211/stat : 18211 (glucose) R 18210 18176 17144 0 -1 4202496 7610 0 0 0 4770 2 0 0 20 0 1 0 384320187 34975744 7742 33554432000 4194304 5208918 140735112598416 140735112596280 4229010 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18211/statm: 8539 7742 105 248 0 8288 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 74980
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 2.00 3/184 18214
/proc/meminfo: memFree=20693436/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=3.34 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 10384 37969 0 0 46 9 261 18 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18210] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18210/stat : 18210 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384320187 9367552 267 33554432000 4194304 5064252 140735782166320 140735782165232 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18210/statm: 2287 267 226 213 0 72 0
[pid=18211] ppid=18210 vsize=41296 CPUtime=98.91 cores=0,2,4,6
/proc/18211/stat : 18211 (glucose) R 18210 18176 17144 0 -1 4202496 7989 0 0 0 9889 2 0 0 20 0 1 0 384320187 42287104 9633 33554432000 4194304 5208918 140735112598416 140735112594728 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18211/statm: 10324 9633 105 248 0 10073 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 82120
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/184 18258
/proc/meminfo: memFree=20711116/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=158.78 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 15849 66587 0 0 68 11 15771 28 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18257] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18257/stat : 18257 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384335735 9367552 267 33554432000 4194304 5064252 140736342329632 140736342328544 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18257/statm: 2287 267 226 213 0 72 0
[pid=18258] ppid=18257 vsize=21932 CPUtime=3.43 cores=0,2,4,6
/proc/18258/stat : 18258 (glucose) R 18257 18176 17144 0 -1 4202496 5099 0 0 0 343 0 0 0 20 0 1 0 384335736 22458368 4703 33554432000 4194304 5208918 140735996466080 140735996463912 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18258/statm: 5483 4703 104 248 0 5232 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 62756
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/183 18301
/proc/meminfo: memFree=23914312/32873844 swapFree=7628/7628
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18320
/proc/meminfo: memFree=21887344/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1016.15 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 17637 80147 0 0 76 11 101494 34 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18315] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18315/stat : 18315 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384421486 9367552 266 33554432000 4194304 5064252 140735375581616 140735375580528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18315/statm: 2287 266 226 213 0 72 0
[pid=18316] ppid=18315 vsize=52396 CPUtime=345.88 cores=0,2,4,6
/proc/18316/stat : 18316 (glucose) R 18315 18176 17144 0 -1 4202496 7669 0 0 0 34585 3 0 0 20 0 1 0 384421486 53653504 11012 33554432000 4194304 5208918 140737043014704 140737043012648 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18316/statm: 13099 11012 104 248 0 12848 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 93220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18321
/proc/meminfo: memFree=21883400/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1016.15 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 17637 80147 0 0 76 11 101494 34 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18315] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18315/stat : 18315 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384421486 9367552 266 33554432000 4194304 5064252 140735375581616 140735375580528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18315/statm: 2287 266 226 213 0 72 0
[pid=18316] ppid=18315 vsize=52396 CPUtime=405.87 cores=0,2,4,6
/proc/18316/stat : 18316 (glucose) R 18315 18176 17144 0 -1 4202496 7670 0 0 0 40584 3 0 0 20 0 1 0 384421486 53653504 11524 33554432000 4194304 5208918 140737043014704 140737043012648 4211508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18316/statm: 13099 11524 104 248 0 12848 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 93220
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 18321
/proc/meminfo: memFree=21883304/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1016.15 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 17637 80147 0 0 76 11 101494 34 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18315] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18315/stat : 18315 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384421486 9367552 266 33554432000 4194304 5064252 140735375581616 140735375580528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18315/statm: 2287 266 226 213 0 72 0
[pid=18316] ppid=18315 vsize=52396 CPUtime=465.86 cores=0,2,4,6
/proc/18316/stat : 18316 (glucose) R 18315 18176 17144 0 -1 4202496 7670 0 0 0 46583 3 0 0 20 0 1 0 384421486 53653504 11524 33554432000 4194304 5208918 140737043014704 140737043012648 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18316/statm: 13099 11524 104 248 0 12848 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 93220
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 18321
/proc/meminfo: memFree=21881096/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1016.15 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 17637 80147 0 0 76 11 101494 34 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18315] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18315/stat : 18315 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384421486 9367552 266 33554432000 4194304 5064252 140735375581616 140735375580528 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18315/statm: 2287 266 226 213 0 72 0
[pid=18316] ppid=18315 vsize=52396 CPUtime=525.85 cores=0,2,4,6
/proc/18316/stat : 18316 (glucose) R 18315 18176 17144 0 -1 4202496 7671 0 0 0 52582 3 0 0 20 0 1 0 384421486 53653504 12036 33554432000 4194304 5208918 140737043014704 140737043012648 4212463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18316/statm: 13099 12036 104 248 0 12848 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 93220
[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 18335
/proc/meminfo: memFree=21898248/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1583.71 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 21325 100946 0 0 92 13 158223 43 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18334] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18334/stat : 18334 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384478252 9367552 267 33554432000 4194304 5064252 140736871499712 140736871498624 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18334/statm: 2287 267 226 213 0 72 0
[pid=18335] ppid=18334 vsize=34160 CPUtime=18.27 cores=0,2,4,6
/proc/18335/stat : 18335 (glucose) R 18334 18176 17144 0 -1 4202496 6848 0 0 0 1825 2 0 0 20 0 1 0 384478252 34979840 7747 33554432000 4194304 5208918 140736626491744 140736626489592 4213190 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18335/statm: 8540 7747 105 248 0 8289 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 74984
[startup+1662.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/183 18349
/proc/meminfo: memFree=21905404/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1654.98 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 25123 122235 0 0 110 15 165320 53 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18348] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18348/stat : 18348 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384485378 9367552 267 33554432000 4194304 5064252 140734042310768 140734042309680 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18348/statm: 2287 267 226 213 0 72 0
[pid=18349] ppid=18348 vsize=24564 CPUtime=7 cores=0,2,4,6
/proc/18349/stat : 18349 (glucose) R 18348 18176 17144 0 -1 4202496 5323 0 0 0 700 0 0 0 20 0 1 0 384485378 25153536 5411 33554432000 4194304 5208918 140733623209936 140733623208088 4211648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18349/statm: 6141 5411 104 248 0 5890 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 65388
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/182 18349
/proc/meminfo: memFree=21896808/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1654.98 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 25123 122235 0 0 110 15 165320 53 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18348] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18348/stat : 18348 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384485378 9367552 267 33554432000 4194304 5064252 140734042310768 140734042309680 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18348/statm: 2287 267 226 213 0 72 0
[pid=18349] ppid=18348 vsize=33540 CPUtime=67 cores=0,2,4,6
/proc/18349/stat : 18349 (glucose) R 18348 18176 17144 0 -1 4202496 7211 0 0 0 6699 1 0 0 20 0 1 0 384485378 34344960 7570 33554432000 4194304 5208918 140733623209936 140733623207784 4213234 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18349/statm: 8385 7570 104 248 0 8134 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 74364
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 18350
/proc/meminfo: memFree=21891376/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1654.98 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 25123 122235 0 0 110 15 165320 53 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18348] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18348/stat : 18348 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384485378 9367552 267 33554432000 4194304 5064252 140734042310768 140734042309680 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18348/statm: 2287 267 226 213 0 72 0
[pid=18349] ppid=18348 vsize=37960 CPUtime=126.99 cores=0,2,4,6
/proc/18349/stat : 18349 (glucose) R 18348 18176 17144 0 -1 4202496 7488 0 0 0 12698 1 0 0 20 0 1 0 384485378 38871040 8854 33554432000 4194304 5208918 140733623209936 140733623207800 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18349/statm: 9490 8854 104 248 0 9239 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 78784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 18350
/proc/meminfo: memFree=21891344/32873844 swapFree=7628/7628
[pid=18176] ppid=18174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18176/stat : 18176 (npSolver-pbo.sh) S 18174 18176 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384319850 9367552 275 33554432000 4194304 5064252 140736782890720 140736782889632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18176/statm: 2287 275 233 213 0 72 0
[pid=18177] ppid=18176 vsize=22528 CPUtime=1654.98 cores=0,2,4,6
/proc/18177/stat : 18177 (npSolver-pbo) S 18176 18176 17144 0 -1 4202496 25123 122235 0 0 110 15 165320 53 20 0 1 0 384319850 23068672 4737 33554432000 4194304 6004724 140733984511728 140733984504080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18177/statm: 5632 4737 181 442 0 5186 0
[pid=18348] ppid=18177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18348/stat : 18348 (satsolver.sh) S 18177 18176 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384485378 9367552 267 33554432000 4194304 5064252 140734042310768 140734042309680 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18348/statm: 2287 267 226 213 0 72 0
[pid=18349] ppid=18348 vsize=37960 CPUtime=145.09 cores=0,2,4,6
/proc/18349/stat : 18349 (glucose) R 18348 18176 17144 0 -1 4202496 7488 0 0 0 14508 1 0 0 20 0 1 0 384485378 38871040 8854 33554432000 4194304 5208918 140733623209936 140733623207800 4211641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18349/statm: 9490 8854 104 248 0 9239 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 78784
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.1
CPU user time (s): 1799.39
CPU system time (s): 0.708892
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.708892
maximum resident set size= 81000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 697
involuntary context switches= 2107
runsolver used 2.73258 second user time and 7.2529 second system time
The end