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-3700047-1338106955/watcher-3700047-1338106955 -o /tmp/evaluation-result-3700047-1338106955/solver-3700047-1338106955 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700047-1338106955.opb 1071927624 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.00 2.00 2.02 3/178 26754
/proc/meminfo: memFree=19110236/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[startup+0.0331601 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 26754
/proc/meminfo: memFree=19110236/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 26754
/proc/meminfo: memFree=19110236/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 26754
/proc/meminfo: memFree=19110236/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700259 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 26754
/proc/meminfo: memFree=19110236/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 26760
/proc/meminfo: memFree=19065852/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=11556 CPUtime=0.82 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 2928 0 0 0 82 0 0 0 20 0 1 0 276820435 11833344 2285 33554432000 4194304 5654031 140735628608864 140735628596680 4232495 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 2889 2285 142 357 0 2529 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31144
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 26760
/proc/meminfo: memFree=19053064/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=23456 CPUtime=2.41 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 4746 0 0 0 241 0 0 0 20 0 1 0 276820435 24018944 5429 33554432000 4194304 5654031 140735628608864 140735628596680 4216651 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 5864 5429 142 357 0 5504 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 43044
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.02 4/181 26760
/proc/meminfo: memFree=18899048/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=27880 CPUtime=5.62 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 5467 0 0 0 561 1 0 0 20 0 1 0 276820435 28549120 6623 33554432000 4194304 5654031 140735628608864 140735628596680 4233201 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 6970 6623 142 357 0 6610 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 47468
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 26761
/proc/meminfo: memFree=17997716/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=23536 CPUtime=12.02 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 6496 0 0 0 1200 2 0 0 20 0 1 0 276820435 24100864 4579 33554432000 4194304 5654031 140735628608864 140735628596680 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 5884 4579 142 357 0 5524 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 43124
[startup+25.5003 s]
/proc/loadavg: 2.46 2.10 2.05 2/182 26761
/proc/meminfo: memFree=12024132/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=37788 CPUtime=24.82 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 8044 0 0 0 2474 8 0 0 20 0 1 0 276820435 38694912 8242 33554432000 4194304 5654031 140735628608864 140735628596680 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 9447 8242 142 357 0 9087 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 57376
[startup+51.1003 s]
/proc/loadavg: 3.33 2.33 2.12 2/182 26761
/proc/meminfo: memFree=12014040/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=72588 CPUtime=50.41 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 9809 0 0 0 5032 9 0 0 20 0 1 0 276820435 74330112 11593 33554432000 4194304 5654031 140735628608864 140735628606744 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 18147 11593 142 357 0 17787 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 92176
[startup+102.3 s]
/proc/loadavg: 4.27 2.74 2.27 2/182 26761
/proc/meminfo: memFree=12068748/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=72588 CPUtime=101.61 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 9900 0 0 0 10151 10 0 0 20 0 1 0 276820435 74330112 17304 33554432000 4194304 5654031 140735628608864 140735628596680 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 18147 17304 142 357 0 17787 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 92176
[startup+162.3 s]
/proc/loadavg: 3.35 2.75 2.30 2/183 26806
/proc/meminfo: memFree=26057732/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=72588 CPUtime=161.59 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 10057 0 0 0 16148 11 0 0 20 0 1 0 276820435 74330112 17816 33554432000 4194304 5654031 140735628608864 140735628596680 4232803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 18147 17816 142 357 0 17787 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 92176
[startup+222.3 s]
/proc/loadavg: 2.79 2.73 2.32 3/182 26855
/proc/meminfo: memFree=30865044/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=72588 CPUtime=221.59 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 10289 0 0 0 22146 13 0 0 20 0 1 0 276820435 74330112 17816 33554432000 4194304 5654031 140735628608864 140735628596680 4215055 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 18147 17816 142 357 0 17787 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 92176
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.02 2.03 2.08 3/181 26865
/proc/meminfo: memFree=30680160/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=164940 CPUtime=1301.38 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 26288 0 0 0 130082 56 0 0 20 0 1 0 276820435 168898560 36868 33554432000 4194304 5654031 140735628608864 140735628596680 4232912 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 41235 36868 142 357 0 40875 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 184528
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/181 26865
/proc/meminfo: memFree=30701856/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=164940 CPUtime=1361.35 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 26988 0 0 0 136077 58 0 0 20 0 1 0 276820435 168898560 38404 33554432000 4194304 5654031 140735628608864 140735628596680 4232994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 41235 38404 142 357 0 40875 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 184528
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/181 26865
/proc/meminfo: memFree=30663548/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=164940 CPUtime=1421.34 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 27686 0 0 0 142074 60 0 0 20 0 1 0 276820435 168898560 39940 33554432000 4194304 5654031 140735628608864 140735628596680 4233173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 41235 39940 142 357 0 40875 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 184528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/181 26866
/proc/meminfo: memFree=30697560/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=164940 CPUtime=1481.33 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 28363 0 0 0 148071 62 0 0 20 0 1 0 276820435 168898560 37892 33554432000 4194304 5654031 140735628608864 140735628596680 4232997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 41235 37892 142 357 0 40875 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 184528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/181 26866
/proc/meminfo: memFree=30733400/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=84800 CPUtime=1541.32 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 29057 0 0 0 154068 64 0 0 20 0 1 0 276820435 86835200 20869 33554432000 4194304 5654031 140735628608864 140735628606888 4232968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 21200 20869 142 357 0 20840 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 104388
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.06 3/181 26866
/proc/meminfo: memFree=30736816/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=134120 CPUtime=1601.3 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 30157 0 0 0 160063 67 0 0 20 0 1 0 276820435 137338880 29121 33554432000 4194304 5654031 140735628608864 140735628596680 4232842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 33530 29121 142 357 0 33170 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 153708
[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 26869
/proc/meminfo: memFree=30692328/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=134120 CPUtime=1661.29 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 30855 0 0 0 166061 68 0 0 20 0 1 0 276820435 137338880 31681 33554432000 4194304 5654031 140735628608864 140735628596680 4232839 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 33530 31681 142 357 0 33170 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 153708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 26869
/proc/meminfo: memFree=30780248/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=134120 CPUtime=1721.28 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 32348 0 0 0 172057 71 0 0 20 0 1 0 276820435 137338880 28609 33554432000 4194304 5654031 140735628608864 140735628596680 4232784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 33530 28609 142 357 0 33170 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 153708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 26870
/proc/meminfo: memFree=30669724/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=164940 CPUtime=1781.26 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 32956 0 0 0 178054 72 0 0 20 0 1 0 276820435 168898560 39428 33554432000 4194304 5654031 140735628608864 140735628596680 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 41235 39428 142 357 0 40875 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 184528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 26870
/proc/meminfo: memFree=30696424/32873844 swapFree=6600/6600
[pid=26754] ppid=26752 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26754/stat : 26754 (npSolver-pbo-I.) S 26752 26754 22912 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276820367 9367552 275 33554432000 4194304 5064252 140736058398112 140736058397024 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26754/statm: 2287 275 233 213 0 72 0
[pid=26755] ppid=26754 vsize=10440 CPUtime=0.64 cores=0,2,4,6
/proc/26755/stat : 26755 (npSolver-pbo) S 26754 26754 22912 0 -1 4202496 2743 6106 0 0 18 1 44 1 20 0 1 0 276820368 10690560 1897 33554432000 4194304 5992684 140736540252048 140736540238312 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26755/statm: 2610 1897 163 440 0 2166 0
[pid=26760] ppid=26755 vsize=134376 CPUtime=1799.46 cores=0,2,4,6
/proc/26760/stat : 26760 (glucosInc) R 26755 26754 22912 0 -1 4202496 33106 0 0 0 179873 73 0 0 20 0 1 0 276820435 137601024 30209 33554432000 4194304 5654031 140735628608864 140735628596680 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26760/statm: 33594 30209 142 357 0 33234 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 153964
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26754 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=635903
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=33994
# CPU time returned by wait4() is 0.669897
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.35
CPU system time (s): 0.75
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 234616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.635903
system time used= 0.033994
maximum resident set size= 20228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 3.50147 second user time and 9.47956 second system time
The end