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-3699141-1338073469/watcher-3699141-1338073469 -o /tmp/evaluation-result-3699141-1338073469/solver-3699141-1338073469 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699141-1338073469.opb 1435220227 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.01 2.01 2.00 3/177 7706
/proc/meminfo: memFree=29900664/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[startup+0.0525721 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7706
/proc/meminfo: memFree=29900664/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7706
/proc/meminfo: memFree=29900664/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30015 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7706
/proc/meminfo: memFree=29900664/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700319 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7706
/proc/meminfo: memFree=29900664/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/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: 2.01 2.01 2.00 3/179 7713
/proc/meminfo: memFree=29867644/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=85036 CPUtime=1.49 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) R 7706 7706 5385 0 -1 4202496 8213 10374 0 0 95 12 39 3 20 0 1 0 273472346 87076864 16298 33554432000 4194304 5992684 140734811164032 140734811155816 4606720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 21259 16298 184 440 0 20815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94184
[startup+3.10038 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 7717
/proc/meminfo: memFree=29791620/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=206960 CPUtime=0.8 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 31158 0 0 0 73 7 0 0 20 0 1 0 273472575 211927040 43996 33554432000 4194304 5654031 140735917965296 140734811150168 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 51740 43996 109 357 0 51380 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 235608
[startup+6.30039 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 7717
/proc/meminfo: memFree=29567788/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=248816 CPUtime=4 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 44071 0 0 0 388 12 0 0 20 0 1 0 273472575 254787584 55668 33554432000 4194304 5654031 140735917965296 140735917953112 4214578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 62204 55668 140 357 0 61844 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 277464
[startup+12.7003 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 7719
/proc/meminfo: memFree=29573652/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=249476 CPUtime=10.4 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 44358 0 0 0 1028 12 0 0 20 0 1 0 273472575 255463424 55948 33554432000 4194304 5654031 140735917965296 140735917953112 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 62369 55948 141 357 0 62009 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 278124
[startup+25.5067 s]
/proc/loadavg: 2.13 2.04 2.01 3/180 7725
/proc/meminfo: memFree=29580544/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=249812 CPUtime=23.2 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 44494 0 0 0 2308 12 0 0 20 0 1 0 273472575 255807488 56075 33554432000 4194304 5654031 140735917965296 140735917963080 4214483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 62453 56075 141 357 0 62093 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 278460
[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 7733
/proc/meminfo: memFree=29572948/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=280896 CPUtime=48.78 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 44622 0 0 0 4866 12 0 0 20 0 1 0 273472575 287637504 56189 33554432000 4194304 5654031 140735917965296 140735917963384 4214505 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 70224 56189 141 357 0 69864 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 309544
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 7784
/proc/meminfo: memFree=29536204/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=283340 CPUtime=99.97 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 45656 0 0 0 9984 13 0 0 20 0 1 0 273472575 290140160 57172 33554432000 4194304 5654031 140735917965296 140735917953112 4214622 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 70835 57172 141 357 0 70475 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 311988
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 7788
/proc/meminfo: memFree=29539124/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=285692 CPUtime=159.96 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 46218 0 0 0 15983 13 0 0 20 0 1 0 273472575 292548608 59262 33554432000 4194304 5654031 140735917965296 140735917953112 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 71423 59262 141 357 0 71063 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 314340
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 7791
/proc/meminfo: memFree=29516804/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=294012 CPUtime=219.96 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 48838 0 0 0 21980 16 0 0 20 0 1 0 273472575 301068288 61879 33554432000 4194304 5654031 140735917965296 140735917953112 4233173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 73503 61879 141 357 0 73143 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 322660
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7797
/proc/meminfo: memFree=29513892/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=17309760/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=415548 CPUtime=1239.77 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 85573 0 0 0 123889 88 0 0 20 0 1 0 273472575 425521152 92453 33554432000 4194304 5654031 140735917965296 140735917953112 4215088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 103887 92453 141 357 0 103527 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 444196
[startup+1302.3 s]
/proc/loadavg: 3.80 2.53 2.17 2/178 7912
/proc/meminfo: memFree=11566008/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=415976 CPUtime=1299.77 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 86450 0 0 0 129886 91 0 0 20 0 1 0 273472575 425959424 86911 33554432000 4194304 5654031 140735917965296 140735917953112 4215108 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 103994 86911 141 357 0 103634 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 444624
[startup+1362.3 s]
/proc/loadavg: 4.49 2.96 2.34 2/180 7914
/proc/meminfo: memFree=8109932/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=416532 CPUtime=1359.76 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 86598 0 0 0 135885 91 0 0 20 0 1 0 273472575 426528768 89614 33554432000 4194304 5654031 140735917965296 140735917953112 4215126 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 104133 89614 141 357 0 103773 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 445180
[startup+1422.3 s]
/proc/loadavg: 4.70 3.30 2.50 2/179 7915
/proc/meminfo: memFree=5872744/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=417904 CPUtime=1419.74 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 87524 0 0 0 141881 93 0 0 20 0 1 0 273472575 427933696 87696 33554432000 4194304 5654031 140735917965296 140735917962984 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 104476 87696 141 357 0 104116 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 446552
[startup+1482.3 s]
/proc/loadavg: 4.89 3.60 2.65 2/179 7915
/proc/meminfo: memFree=5860144/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=418828 CPUtime=1479.73 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 87789 0 0 0 147880 93 0 0 20 0 1 0 273472575 428879872 91027 33554432000 4194304 5654031 140735917965296 140735917953112 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 104707 91027 141 357 0 104347 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 447476
[startup+1542.3 s]
/proc/loadavg: 3.88 3.60 2.71 3/179 8004
/proc/meminfo: memFree=28843040/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=419992 CPUtime=1539.73 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 88100 0 0 0 153879 94 0 0 20 0 1 0 273472575 430071808 95426 33554432000 4194304 5654031 140735917965296 140735917953112 4215168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 104998 95426 141 357 0 104638 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 448640
[startup+1602.3 s]
/proc/loadavg: 2.69 3.30 2.66 3/180 8006
/proc/meminfo: memFree=25664412/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=421096 CPUtime=1599.71 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 88537 0 0 0 159875 96 0 0 20 0 1 0 273472575 431202304 94306 33554432000 4194304 5654031 140735917965296 140735917953112 4214505 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 105274 94306 141 357 0 104914 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 449744
[startup+1662.31 s]
/proc/loadavg: 2.44 3.14 2.64 3/180 8006
/proc/meminfo: memFree=21907240/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=421760 CPUtime=1659.71 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 89272 0 0 0 165873 98 0 0 20 0 1 0 273472575 431882240 88186 33554432000 4194304 5654031 140735917965296 140735917953112 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 105440 88186 141 357 0 105080 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 450408
[startup+1722.3 s]
/proc/loadavg: 2.50 3.01 2.63 3/180 8007
/proc/meminfo: memFree=20807364/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=424044 CPUtime=1719.69 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 89874 0 0 0 171870 99 0 0 20 0 1 0 273472575 434221056 95941 33554432000 4194304 5654031 140735917965296 140735917953112 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 106011 95941 141 357 0 105651 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 452692
[startup+1782.3 s]
/proc/loadavg: 2.39 2.89 2.61 3/179 8009
/proc/meminfo: memFree=23861616/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=425144 CPUtime=1779.69 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 90317 0 0 0 177868 101 0 0 20 0 1 0 273472575 435347456 93874 33554432000 4194304 5654031 140735917965296 140735917953112 4215055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 106286 93874 141 357 0 105926 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 453792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.28 2.83 2.60 3/179 8009
/proc/meminfo: memFree=23841572/32873852 swapFree=7624/7624
[pid=7706] ppid=7704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7706/stat : 7706 (npSolver-pbo-I.) S 7704 7706 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273472346 9367552 275 33554432000 4194304 5064252 140734750329488 140734750328400 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7706/statm: 2287 275 233 213 0 72 0
[pid=7707] ppid=7706 vsize=19500 CPUtime=2.28 cores=1,3,5,7
/proc/7707/stat : 7707 (npSolver-pbo) S 7706 7706 5385 0 -1 4202496 9313 10892 0 0 158 28 39 3 20 0 1 0 273472346 19968000 4396 33554432000 4194304 5992684 140734811164032 140734811148936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7707/statm: 4875 4396 184 440 0 4431 0
[pid=7717] ppid=7707 vsize=426076 CPUtime=1797.79 cores=1,3,5,7
/proc/7717/stat : 7717 (glucosInc) R 7707 7706 5385 0 -1 4202496 90494 0 0 0 179678 101 0 0 20 0 1 0 273472575 436301824 95584 33554432000 4194304 5654031 140735917965296 140735917953112 4233213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7717/statm: 106519 95584 141 357 0 106159 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 454724
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): 1798.75
CPU system time (s): 1.3408
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 583088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.3408
maximum resident set size= 472344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 186584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140
involuntary context switches= 1860
runsolver used 3.9304 second user time and 10.7334 second system time
The end