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-3701547-1338082925/watcher-3701547-1338082925 -o /tmp/evaluation-result-3701547-1338082925/solver-3701547-1338082925 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701547-1338082925.opb 1704012384 HOME HOME
running on 4 cores: 1,3,5,7
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.03 2.03 2.00 3/179 12285
/proc/meminfo: memFree=26390060/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[startup+0.024029 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12285
/proc/meminfo: memFree=26390060/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100208 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12285
/proc/meminfo: memFree=26390060/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300193 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12285
/proc/meminfo: memFree=26390060/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/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.03 2.03 2.00 3/179 12285
/proc/meminfo: memFree=26390060/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 12299
/proc/meminfo: memFree=26333752/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=35240 CPUtime=0.96 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 7718 0 0 0 95 1 0 0 20 0 1 0 274418309 36085760 7504 33554432000 4194304 5208918 140735568066752 140735568064584 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 8810 7504 104 248 0 8559 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 76116
[startup+3.10032 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 12299
/proc/meminfo: memFree=26333496/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=35600 CPUtime=2.56 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 7823 0 0 0 255 1 0 0 20 0 1 0 274418309 36454400 7609 33554432000 4194304 5208918 140735568066752 140735568064584 4211019 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 8900 7609 104 248 0 8649 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 76476
[startup+6.30029 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 12299
/proc/meminfo: memFree=26331564/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=40848 CPUtime=5.76 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 8322 0 0 0 575 1 0 0 20 0 1 0 274418309 41828352 8600 33554432000 4194304 5208918 140735568066752 140735568064904 4205238 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 10212 8600 104 248 0 9961 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 81724
[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 12299
/proc/meminfo: memFree=26320784/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=48764 CPUtime=12.16 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 9235 0 0 0 1214 2 0 0 20 0 1 0 274418309 49934336 10713 33554432000 4194304 5208918 140735568066752 140735568064696 4211659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 12191 10713 104 248 0 11940 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 89640
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 12299
/proc/meminfo: memFree=26320292/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=48764 CPUtime=24.96 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 10629 0 0 0 2493 3 0 0 20 0 1 0 274418309 49934336 10872 33554432000 4194304 5208918 140735568066752 140735568063128 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 12191 10872 104 248 0 11940 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 89640
[startup+51.1003 s]
/proc/loadavg: 2.11 2.05 2.01 3/182 12299
/proc/meminfo: memFree=26294376/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=86476 CPUtime=50.55 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 12083 0 0 0 5051 4 0 0 20 0 1 0 274418309 88551424 16864 33554432000 4194304 5208918 140735568066752 140735568063128 4212635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 21619 16864 104 248 0 21368 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 127352
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 2.01 3/183 12300
/proc/meminfo: memFree=26285928/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12298/stat : 12298 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274418309 9367552 265 33554432000 4194304 5064252 140736526345024 140736526343936 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12298/statm: 2287 265 226 213 0 72 0
[pid=12299] ppid=12298 vsize=105332 CPUtime=101.74 cores=1,3,5,7
/proc/12299/stat : 12299 (glucose) R 12298 12285 6137 0 -1 4202496 14107 0 0 0 10169 5 0 0 20 0 1 0 274418309 107859968 18917 33554432000 4194304 5208918 140735568066752 140735568062440 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12299/statm: 26333 18917 104 248 0 26082 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 146208
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 12300
/proc/meminfo: memFree=26262316/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=22580 CPUtime=0.5 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 4241 7895 0 0 29 4 15 2 20 0 1 0 274418256 23121920 4001 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 5645 4001 181 440 0 5201 0
[pid=12298] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12483
/proc/meminfo: memFree=27487904/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1335.71 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 39762 206833 0 0 241 28 133208 94 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12482] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12482/stat : 12482 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274551854 9367552 266 33554432000 4194304 5064252 140733866807328 140733866806240 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12482/statm: 2287 266 226 213 0 72 0
[pid=12483] ppid=12482 vsize=70408 CPUtime=26.3 cores=1,3,5,7
/proc/12483/stat : 12483 (glucose) R 12482 12285 6137 0 -1 4202496 10409 0 0 0 2627 3 0 0 20 0 1 0 274551854 72097792 15574 33554432000 4194304 5208918 140737206133488 140737206131352 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12483/statm: 17602 15574 104 248 0 17351 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 126644
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12490
/proc/meminfo: memFree=27466780/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1392.7 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 42452 221788 0 0 256 30 138885 99 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12489] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12489/stat : 12489 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274557555 9367552 267 33554432000 4194304 5064252 140737019071136 140737019070048 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12489/statm: 2287 267 226 213 0 72 0
[pid=12490] ppid=12489 vsize=54092 CPUtime=29.3 cores=1,3,5,7
/proc/12490/stat : 12490 (glucose) R 12489 12285 6137 0 -1 4202496 10589 0 0 0 2929 1 0 0 20 0 1 0 274557555 55390208 12219 33554432000 4194304 5208918 140735671223808 140735671220184 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12490/statm: 13523 12219 104 248 0 13272 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 110328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12497
/proc/meminfo: memFree=27458420/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1441.88 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 45218 237431 0 0 274 32 143775 107 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12496] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12496/stat : 12496 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274562473 9367552 267 33554432000 4194304 5064252 140734038575344 140734038574256 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12496/statm: 2287 267 226 213 0 72 0
[pid=12497] ppid=12496 vsize=66156 CPUtime=40.1 cores=1,3,5,7
/proc/12497/stat : 12497 (glucose) R 12496 12285 6137 0 -1 4202496 10888 0 0 0 4008 2 0 0 20 0 1 0 274562474 67743744 15254 33554432000 4194304 5208918 140733283416128 140733283413992 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12497/statm: 16539 15254 104 248 0 16288 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 122392
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12497
/proc/meminfo: memFree=27429136/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1441.88 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 45218 237431 0 0 274 32 143775 107 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12496] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12496/stat : 12496 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274562473 9367552 267 33554432000 4194304 5064252 140734038575344 140734038574256 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12496/statm: 2287 267 226 213 0 72 0
[pid=12497] ppid=12496 vsize=84832 CPUtime=100.1 cores=1,3,5,7
/proc/12497/stat : 12497 (glucose) R 12496 12285 6137 0 -1 4202496 12361 0 0 0 10007 3 0 0 20 0 1 0 274562474 86867968 19763 33554432000 4194304 5208918 140733283416128 140733283414216 4211605 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12497/statm: 21208 19763 104 248 0 20957 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 141068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12505
/proc/meminfo: memFree=27442844/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1557.49 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 47906 253367 0 0 288 34 155316 111 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12503] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12503/stat : 12503 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274574038 9367552 267 33554432000 4194304 5064252 140736707405600 140736707404512 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12503/statm: 2287 267 226 213 0 72 0
[pid=12504] ppid=12503 vsize=70496 CPUtime=44.46 cores=1,3,5,7
/proc/12504/stat : 12504 (glucose) R 12503 12285 6137 0 -1 4202496 10574 0 0 0 4444 2 0 0 20 0 1 0 274574038 72187904 16565 33554432000 4194304 5208918 140733404019632 140733404015320 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12504/statm: 17624 16565 104 248 0 17373 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 126732
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 12505
/proc/meminfo: memFree=27433584/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1557.49 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 47906 253367 0 0 288 34 155316 111 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12503] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12503/stat : 12503 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274574038 9367552 267 33554432000 4194304 5064252 140736707405600 140736707404512 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12503/statm: 2287 267 226 213 0 72 0
[pid=12504] ppid=12503 vsize=89172 CPUtime=104.45 cores=1,3,5,7
/proc/12504/stat : 12504 (glucose) R 12503 12285 6137 0 -1 4202496 10855 0 0 0 10442 3 0 0 20 0 1 0 274574038 91312128 20389 33554432000 4194304 5208918 140733404019632 140733404016008 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12504/statm: 22293 20389 104 248 0 22042 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 145408
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 12508
/proc/meminfo: memFree=27415164/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1557.49 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 47906 253367 0 0 288 34 155316 111 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12503] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12503/stat : 12503 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274574038 9367552 267 33554432000 4194304 5064252 140736707405600 140736707404512 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12503/statm: 2287 267 226 213 0 72 0
[pid=12504] ppid=12503 vsize=97792 CPUtime=164.44 cores=1,3,5,7
/proc/12504/stat : 12504 (glucose) R 12503 12285 6137 0 -1 4202496 11418 0 0 0 16441 3 0 0 20 0 1 0 274574038 100139008 21305 33554432000 4194304 5208918 140733404019632 140733404017576 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12504/statm: 24448 21305 104 248 0 24197 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 154028
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12508
/proc/meminfo: memFree=27416576/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1557.49 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 47906 253367 0 0 288 34 155316 111 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12503] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12503/stat : 12503 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274574038 9367552 267 33554432000 4194304 5064252 140736707405600 140736707404512 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12503/statm: 2287 267 226 213 0 72 0
[pid=12504] ppid=12503 vsize=97792 CPUtime=224.43 cores=1,3,5,7
/proc/12504/stat : 12504 (glucose) R 12503 12285 6137 0 -1 4202496 11705 0 0 0 22439 4 0 0 20 0 1 0 274574038 100139008 23405 33554432000 4194304 5208918 140733404019632 140733404016008 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12504/statm: 24448 23405 104 248 0 24197 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 154028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12522
/proc/meminfo: memFree=27477800/32873660 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (npSolver-pbo.sh) S 12283 12285 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274418256 9367552 274 33554432000 4194304 5064252 140736954932736 140736954931648 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12285/statm: 2287 274 233 213 0 72 0
[pid=12286] ppid=12285 vsize=37940 CPUtime=1799.42 cores=1,3,5,7
/proc/12286/stat : 12286 (npSolver-pbo) S 12285 12285 6137 0 -1 4202496 53433 281593 0 0 324 38 179452 128 20 0 1 0 274418256 38850560 7767 33554432000 4194304 5992684 140735308244336 140735308236656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12286/statm: 9485 7767 181 440 0 9041 0
[pid=12521] ppid=12286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12521/stat : 12521 (satsolver.sh) S 12286 12285 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274598235 9367552 266 33554432000 4194304 5064252 140733509014432 140733509013344 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12521/statm: 2287 266 226 213 0 72 0
[pid=12522] ppid=12521 vsize=33644 CPUtime=0.81 cores=1,3,5,7
/proc/12522/stat : 12522 (glucose) R 12521 12285 6137 0 -1 4202496 7957 0 0 0 79 2 0 0 20 0 1 0 274598235 34451456 6855 33554432000 4194304 5208918 140737315611168 140737315609272 4229552 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12522/statm: 8411 6855 104 248 0 8160 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 89880
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.27
CPU user time (s): 1798.57
CPU system time (s): 1.69674
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 209532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.69674
maximum resident set size= 140380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 377832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1572
involuntary context switches= 2676
runsolver used 5.8911 second user time and 18.4862 second system time
The end