PB'12 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PB10: pb_cplex 2010-06-29	OPT	122	66.4889	20.9123

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-3741405-1339250278/watcher-3741405-1339250278 -o /tmp/evaluation-result-3741405-1339250278/solver-3741405-1339250278 -C 1800 -W 1900 -M 15500 run HOME/instance-3741405-1339250278.opb 

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.02 2.05 2.58 3/177 12278
/proc/meminfo: memFree=31029684/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0

[startup+0.099013 s]
/proc/loadavg: 2.02 2.05 2.58 3/177 12278
/proc/meminfo: memFree=31029684/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100175 s]
/proc/loadavg: 2.02 2.05 2.58 3/177 12278
/proc/meminfo: memFree=31029684/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30014 s]
/proc/loadavg: 2.02 2.05 2.58 3/177 12278
/proc/meminfo: memFree=31029684/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700121 s]
/proc/loadavg: 2.02 2.05 2.58 3/177 12278
/proc/meminfo: memFree=31029684/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.02 2.05 2.58 9/186 12301
/proc/meminfo: memFree=31006168/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=114416 CPUtime=3.79 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) S 12278 12278 10216 0 -1 4202496 17473 0 0 0 361 18 0 0 20 0 8 0 391153313 117161984 7246 33554432000 134512640 146736320 4290407456 4290403856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12279/statm: 28604 7246 977 2985 0 25538 0
[pid=12279/tid=12295] ppid=12278 vsize=114416 CPUtime=0.28 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) S 12278 12278 10216 0 -1 4202560 53 0 0 0 28 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4130487952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=114416 CPUtime=0.31 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) R 12278 12278 10216 0 -1 4202560 276 0 0 0 31 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4140970984 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=114416 CPUtime=0.34 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) S 12278 12278 10216 0 -1 4202560 1665 0 0 0 34 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4151459472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=114416 CPUtime=0.26 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 88 0 0 0 26 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4119240320 135655913 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=114416 CPUtime=0.27 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) S 12278 12278 10216 0 -1 4202560 77 0 0 0 27 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4098879120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=114416 CPUtime=0.22 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) R 12278 12278 10216 0 -1 4202560 443 0 0 0 22 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4088389964 136017626 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=114416 CPUtime=0.22 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) R 12278 12278 10216 0 -1 4202560 466 0 0 0 22 0 0 0 20 0 8 0 391153396 117161984 7246 33554432000 134512640 146736320 4290407456 4069516264 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 123564

[startup+3.10038 s]
/proc/loadavg: 2.02 2.05 2.58 7/186 12301
/proc/meminfo: memFree=31001960/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=116464 CPUtime=9 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) S 12278 12278 10216 0 -1 4202496 21454 0 0 0 871 29 0 0 20 0 8 0 391153313 119259136 7625 33554432000 134512640 146736320 4290407456 4290403856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12279/statm: 29116 7625 977 2985 0 26050 0
[pid=12279/tid=12295] ppid=12278 vsize=116464 CPUtime=0.93 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) S 12278 12278 10216 0 -1 4202560 372 0 0 0 91 2 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4130487952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=116464 CPUtime=0.99 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) S 12278 12278 10216 0 -1 4202560 1688 0 0 0 97 2 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4140973712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=116464 CPUtime=0.95 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) S 12278 12278 10216 0 -1 4202560 2279 0 0 0 94 1 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4151459472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=116464 CPUtime=0.94 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 360 0 0 0 93 1 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4119244432 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=116464 CPUtime=0.9 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) S 12278 12278 10216 0 -1 4202560 147 0 0 0 88 2 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4098879120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=116464 CPUtime=0.88 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) S 12278 12278 10216 0 -1 4202560 1080 0 0 0 86 2 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4088393360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=116464 CPUtime=0.86 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) S 12278 12278 10216 0 -1 4202560 878 0 0 0 84 2 0 0 20 0 8 0 391153396 119259136 7625 33554432000 134512640 146736320 4290407456 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 125612

[startup+6.30037 s]
/proc/loadavg: 2.25 2.10 2.59 9/186 12301
/proc/meminfo: memFree=30998736/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=120560 CPUtime=19.11 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) R 12278 12278 10216 0 -1 4202496 40779 0 0 0 1859 52 0 0 20 0 8 0 391153313 123453440 8414 33554432000 134512640 146736320 4290407456 4290400520 136388075 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12279/statm: 30140 8414 977 2985 0 27074 0
[pid=12279/tid=12295] ppid=12278 vsize=120560 CPUtime=2.2 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) R 12278 12278 10216 0 -1 4202560 2609 0 0 0 216 4 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4130486596 136852765 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=120560 CPUtime=2.25 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) R 12278 12278 10216 0 -1 4202560 3009 0 0 0 220 5 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4140971308 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=120560 CPUtime=2.2 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) R 12278 12278 10216 0 -1 4202560 5019 0 0 0 215 5 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4151454992 135461273 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=120560 CPUtime=2.18 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 4011 0 0 0 214 4 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4119241704 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=120560 CPUtime=2.15 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) R 12278 12278 10216 0 -1 4202560 2140 0 0 0 210 5 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4098877732 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=120560 CPUtime=2.14 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) R 12278 12278 10216 0 -1 4202560 2847 0 0 0 208 6 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4088393360 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=120560 CPUtime=2.12 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) S 12278 12278 10216 0 -1 4202560 3988 0 0 0 206 6 0 0 20 0 8 0 391153396 123453440 8414 33554432000 134512640 146736320 4290407456 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 19.11
Current children cumulated vsize (KiB) 129708

[startup+12.7004 s]
/proc/loadavg: 2.47 2.15 2.61 3/186 12301
/proc/meminfo: memFree=30995040/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=121584 CPUtime=39.56 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) R 12278 12278 10216 0 -1 4202496 65488 0 0 0 3852 104 0 0 20 0 8 0 391153313 124502016 8972 33554432000 134512640 146736320 4290407456 4290400460 136017854 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12279/statm: 30396 8972 977 2985 0 27330 0
[pid=12279/tid=12295] ppid=12278 vsize=121584 CPUtime=4.7 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) S 12278 12278 10216 0 -1 4202560 8452 0 0 0 459 11 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4130487952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=121584 CPUtime=4.81 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) S 12278 12278 10216 0 -1 4202560 4934 0 0 0 470 11 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4140973712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=121584 CPUtime=4.7 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) S 12278 12278 10216 0 -1 4202560 7504 0 0 0 459 11 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4151459472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=121584 CPUtime=4.72 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 7107 0 0 0 462 10 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4119241704 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=121584 CPUtime=4.68 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) R 12278 12278 10216 0 -1 4202560 5437 0 0 0 456 12 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4098876392 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=121584 CPUtime=4.68 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) R 12278 12278 10216 0 -1 4202560 5685 0 0 0 458 10 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4088389064 136002742 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=121584 CPUtime=4.67 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6634 0 0 0 454 13 0 0 20 0 8 0 391153396 124502016 8972 33554432000 134512640 146736320 4290407456 4069516264 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.56
Current children cumulated vsize (KiB) 130732

Solver just ended. Dumping a history of the last processes samples

[startup+15.9004 s]
/proc/loadavg: 2.52 2.16 2.61 9/186 12301
/proc/meminfo: memFree=30994436/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=122752 CPUtime=50.11 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) R 12278 12278 10216 0 -1 4202496 71371 0 0 0 4879 132 0 0 20 0 8 0 391153313 125698048 9146 33554432000 134512640 146736320 4290407456 4290402572 137015996 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12279/statm: 30688 9146 977 2985 0 27622 0
[pid=12279/tid=12295] ppid=12278 vsize=122752 CPUtime=6.03 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) R 12278 12278 10216 0 -1 4202560 8784 0 0 0 588 15 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4130486940 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=122752 CPUtime=6.13 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) R 12278 12278 10216 0 -1 4202560 5829 0 0 0 599 14 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4140973740 144580332 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=122752 CPUtime=6.01 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) R 12278 12278 10216 0 -1 4202560 8334 0 0 0 587 14 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4151456744 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=122752 CPUtime=6.02 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 8165 0 0 0 588 14 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4119240596 136387864 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=122752 CPUtime=5.98 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) S 12278 12278 10216 0 -1 4202560 5478 0 0 0 583 15 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4098879120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=122752 CPUtime=6 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6270 0 0 0 585 15 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4088390632 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=122752 CPUtime=5.99 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) R 12278 12278 10216 0 -1 4202560 7653 0 0 0 583 16 0 0 20 0 8 0 391153396 125698048 9146 33554432000 134512640 146736320 4290407456 4069518992 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (KiB) 131900

[startup+19.1004 s]
/proc/loadavg: 2.52 2.16 2.61 3/186 12301
/proc/meminfo: memFree=30994684/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=122752 CPUtime=60.54 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) S 12278 12278 10216 0 -1 4202496 78616 0 0 0 5892 162 0 0 20 0 8 0 391153313 125698048 9145 33554432000 134512640 146736320 4290407456 4290403856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12279/statm: 30688 9145 977 2985 0 27622 0
[pid=12279/tid=12295] ppid=12278 vsize=122752 CPUtime=7.33 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) S 12278 12278 10216 0 -1 4202560 9669 0 0 0 715 18 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4130487952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=122752 CPUtime=7.46 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) S 12278 12278 10216 0 -1 4202560 5980 0 0 0 728 18 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4140973712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=122752 CPUtime=7.28 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9156 0 0 0 711 17 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4151459472 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=122752 CPUtime=7.33 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 8929 0 0 0 715 18 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4119241704 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=122752 CPUtime=7.25 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) R 12278 12278 10216 0 -1 4202560 5976 0 0 0 705 20 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4098875456 135443431 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=122752 CPUtime=7.27 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6867 0 0 0 708 19 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4088390632 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=122752 CPUtime=7.3 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9130 0 0 0 710 20 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4069516264 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 60.54
Current children cumulated vsize (KiB) 131900

[startup+19.9004 s]
/proc/loadavg: 2.39 2.14 2.60 9/186 12301
/proc/meminfo: memFree=30994560/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=122752 CPUtime=63 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) R 12278 12278 10216 0 -1 4202496 79254 0 0 0 6133 167 0 0 20 0 8 0 391153313 125698048 9145 33554432000 134512640 146736320 4290407456 4290402552 136740846 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12279/statm: 30688 9145 977 2985 0 27622 0
[pid=12279/tid=12295] ppid=12278 vsize=122752 CPUtime=7.64 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9785 0 0 0 745 19 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4130486648 136740846 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=122752 CPUtime=7.78 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6340 0 0 0 759 19 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4140973740 144580332 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=122752 CPUtime=7.59 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9161 0 0 0 741 18 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4151455668 135450973 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=122752 CPUtime=7.64 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9049 0 0 0 746 18 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4119244460 144580332 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=122752 CPUtime=7.55 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6000 0 0 0 734 21 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4098876460 135403553 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=122752 CPUtime=7.58 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6870 0 0 0 739 19 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4088389292 135457400 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=122752 CPUtime=7.61 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9135 0 0 0 740 21 0 0 20 0 8 0 391153396 125698048 9145 33554432000 134512640 146736320 4290407456 4069516824 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 63
Current children cumulated vsize (KiB) 131900

[startup+20.7004 s]
/proc/loadavg: 2.39 2.14 2.60 9/186 12301
/proc/meminfo: memFree=30994560/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=121728 CPUtime=65.64 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) R 12278 12278 10216 0 -1 4202496 80622 0 0 0 6389 175 0 0 20 0 8 0 391153313 124649472 9051 33554432000 134512640 146736320 4290407456 4290403884 144580332 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12279/statm: 30432 9051 977 2985 0 27366 0
[pid=12279/tid=12295] ppid=12278 vsize=121728 CPUtime=7.97 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9787 0 0 0 777 20 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4130485224 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=121728 CPUtime=8.12 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6743 0 0 0 792 20 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4140971544 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=121728 CPUtime=7.92 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9210 0 0 0 773 19 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4151457304 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=121728 CPUtime=7.96 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) R 12278 12278 10216 0 -1 4202560 9049 0 0 0 777 19 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4119243456 136746101 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=121728 CPUtime=7.87 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) R 12278 12278 10216 0 -1 4202560 6220 0 0 0 764 23 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4098879120 144580073 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=121728 CPUtime=7.9 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) S 12278 12278 10216 0 -1 4202560 7135 0 0 0 770 20 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4088393360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=121728 CPUtime=7.93 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) S 12278 12278 10216 0 -1 4202560 9184 0 0 0 771 22 0 0 20 0 8 0 391153396 124649472 9051 33554432000 134512640 146736320 4290407456 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 65.64
Current children cumulated vsize (KiB) 130876

[startup+20.9066 s]
/proc/loadavg: 2.39 2.14 2.60 3/186 12301
/proc/meminfo: memFree=30995428/32873648 swapFree=7116/7116
[pid=12278] ppid=12276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12278/stat : 12278 (run) S 12276 12278 10216 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391153313 9367552 270 33554432000 4194304 5064252 140737072994720 140737072993632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12278/statm: 2287 270 229 213 0 72 0
[pid=12279] ppid=12278 vsize=118656 CPUtime=66.29 cores=0,2,4,6
/proc/12279/stat : 12279 (pb_cplex) S 12278 12278 10216 0 -1 4202496 81548 0 0 0 6452 177 0 0 20 0 8 0 391153313 121503744 8565 33554432000 134512640 146736320 4290407456 4290403856 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12279/statm: 29664 8565 977 2985 0 26598 0
[pid=12279/tid=12295] ppid=12278 vsize=118656 CPUtime=8.05 cores=0,2,4,6
/proc/12279/task/12295/stat : 12295 (pb_cplex) S 12278 12278 10216 0 -1 4202560 9899 0 0 0 785 20 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4130487952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12296] ppid=12278 vsize=118656 CPUtime=8.2 cores=0,2,4,6
/proc/12279/task/12296/stat : 12296 (pb_cplex) S 12278 12278 10216 0 -1 4202560 7105 0 0 0 800 20 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4140973712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12297] ppid=12278 vsize=118656 CPUtime=8.01 cores=0,2,4,6
/proc/12279/task/12297/stat : 12297 (pb_cplex) S 12278 12278 10216 0 -1 4202560 9251 0 0 0 782 19 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4151459472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12279/tid=12298] ppid=12278 vsize=118656 CPUtime=8.03 cores=0,2,4,6
/proc/12279/task/12298/stat : 12298 (pb_cplex) S 12278 12278 10216 0 -1 4202560 9086 0 0 0 784 19 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4119244432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12279/tid=12299] ppid=12278 vsize=118656 CPUtime=7.96 cores=0,2,4,6
/proc/12279/task/12299/stat : 12299 (pb_cplex) S 12278 12278 10216 0 -1 4202560 6244 0 0 0 773 23 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4098879120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12279/tid=12300] ppid=12278 vsize=118656 CPUtime=7.98 cores=0,2,4,6
/proc/12279/task/12300/stat : 12300 (pb_cplex) S 12278 12278 10216 0 -1 4202560 7378 0 0 0 777 21 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4088393360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12279/tid=12301] ppid=12278 vsize=118656 CPUtime=8.02 cores=0,2,4,6
/proc/12279/task/12301/stat : 12301 (pb_cplex) S 12278 12278 10216 0 -1 4202560 9268 0 0 0 780 22 0 0 20 0 8 0 391153396 121503744 8565 33554432000 134512640 146736320 4290407456 4069518992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.29
Current children cumulated vsize (KiB) 127804

Child status: 0
Real time (s): 20.9123
CPU time (s): 66.4889
CPU user time (s): 64.6122
CPU system time (s): 1.87671
CPU usage (%): 317.941
Max. virtual memory (cumulated for all children) (KiB): 132924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.6122
system time used= 1.87671
maximum resident set size= 37420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109526
involuntary context switches= 14568

runsolver used 0.081987 second user time and 0.114982 second system time

The end

Begin job on node123 at 2012-06-09 15:57:58
IDJOB=3741405
IDBENCH=89854
IDSOLVER=2325
FILE ID=node123/3741405-1339250278
RUNJOBID= node123-1339246836-10233
PBS_JOBID= 14644358
Free space on /tmp= 68128 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741405-1339250278/watcher-3741405-1339250278 -o /tmp/evaluation-result-3741405-1339250278/solver-3741405-1339250278 -C 1800 -W 1900 -M 15500  run HOME/instance-3741405-1339250278.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb
RANDOM SEED=297168327

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31030964 kB
Buffers:          486496 kB
Cached:           122796 kB
SwapCached:         2120 kB
Active:           853536 kB
Inactive:          73540 kB
Active(anon):     310520 kB
Inactive(anon):     8860 kB
Active(file):     543016 kB
Inactive(file):    64680 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100320 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:        277584 kB
Mapped:            12152 kB
Shmem:                 0 kB
Slab:             774736 kB
SReclaimable:     218848 kB
SUnreclaim:       555888 kB
KernelStack:        1488 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     595584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741405-1339250278.opb

Free space on /tmp at the end= 68112 MiB
End job on node123 at 2012-06-09 15:58:19

Name	/OPT-SMALLINT-LIN/heinz/ normalized-neos-538867.opb
MD5SUM	3b75c8039d6468258a1aa0343ce1fddb
Bench Category	OPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	122
Best CPU time to get the best result obtained on this benchmark	58.879
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables	792
Total number of constraints	1170
Number of constraints which are clauses	1143
Number of constraints which are cardinality constraints (but not clauses)	27
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	18
Number of terms in the objective function	666
Biggest coefficient in the objective function	80
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	18684
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	80
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	18684
Number of bits of the biggest sum of numbers	15
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 3741405

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data