Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.1 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=17-P1=11-P2=29-P3=59-P4=41-P5=11-P6=13-B.opb |
MD5SUM | 8b8e1d2a13a8c39d33c0acf49e3195a1 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.077987 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 216 |
Sum of products size (including duplicates) | 432 |
Number of different products | 216 |
Sum of products size | 432 |
0.00/0.00 c glpPB 0.2 (July 2006) 0.00/0.00 c An Application of GLPK 4.10 for PB Constraints 0.00/0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini
ERROR: no interpretation found !
Linearizing /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-430845-1177999512 -o ROOT/results/node59/solver-430845-1177999512 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.97 3/64 4191 /proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=2648 CPUtime=0 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 247860804 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 662 236 199 40 0 77 0 [startup+0.0799859 s] /proc/loadavg: 1.00 1.00 0.97 3/64 4191 /proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3312 CPUtime=0.07 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 460 0 0 0 7 0 0 0 18 0 1 0 247860804 3391488 430 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 828 430 227 40 0 243 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3312 [startup+0.10199 s] /proc/loadavg: 1.00 1.00 0.97 3/64 4191 /proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3312 CPUtime=0.09 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 460 0 0 0 9 0 0 0 18 0 1 0 247860804 3391488 430 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 828 430 227 40 0 243 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3312 [startup+0.302027 s] /proc/loadavg: 1.00 1.00 0.97 3/64 4191 /proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3312 CPUtime=0.29 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 465 0 0 0 29 0 0 0 19 0 1 0 247860804 3391488 435 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 828 435 227 40 0 243 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3312 [startup+0.701104 s] /proc/loadavg: 1.00 1.00 0.97 3/64 4191 /proc/meminfo: memFree=1766456/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3312 CPUtime=0.69 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 473 0 0 0 69 0 0 0 22 0 1 0 247860804 3391488 443 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 828 443 227 40 0 243 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3312 [startup+1.50226 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1765488/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3356 CPUtime=1.49 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 492 0 0 0 149 0 0 0 25 0 1 0 247860804 3436544 462 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 839 462 227 40 0 254 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3356 [startup+3.10156 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1765232/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3516 CPUtime=3.09 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 527 0 0 0 308 1 0 0 25 0 1 0 247860804 3600384 497 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 879 497 227 40 0 294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3516 [startup+6.30117 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1764848/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=3808 CPUtime=6.29 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 598 0 0 0 626 3 0 0 25 0 1 0 247860804 3899392 568 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 952 568 227 40 0 367 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3808 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1764288/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=4340 CPUtime=12.68 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 732 0 0 0 1263 5 0 0 25 0 1 0 247860804 4444160 702 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 1085 702 227 40 0 500 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4340 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1763136/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=5432 CPUtime=25.48 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 1010 0 0 0 2536 12 0 0 25 0 1 0 247860804 5562368 980 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 1358 980 227 40 0 773 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5432 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1760960/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=7620 CPUtime=51.07 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 1599 0 0 0 5081 26 0 0 25 0 1 0 247860804 7802880 1528 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541716 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 1905 1528 227 40 0 1320 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 7620 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1756864/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=11740 CPUtime=102.26 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 2708 0 0 0 10175 51 0 0 25 0 1 0 247860804 12021760 2556 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 2935 2556 227 40 0 2350 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11740 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1752256/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=16328 CPUtime=162.24 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 4014 0 0 0 16147 77 0 0 25 0 1 0 247860804 16719872 3701 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 4082 3701 227 40 0 3497 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16328 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1748864/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=19676 CPUtime=222.21 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 4849 0 0 0 22122 99 0 0 25 0 1 0 247860804 20148224 4536 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 4919 4536 227 40 0 4334 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19676 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1745664/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=22960 CPUtime=282.19 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 5667 0 0 0 28099 120 0 0 25 0 1 0 247860804 23511040 5354 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 5740 5354 227 40 0 5155 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 22960 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1740864/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=27624 CPUtime=342.17 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 7155 0 0 0 34075 142 0 0 25 0 1 0 247860804 28286976 6521 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 6906 6521 227 40 0 6321 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 27624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1737920/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=30804 CPUtime=402.16 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 7954 0 0 0 40051 165 0 0 25 0 1 0 247860804 31543296 7320 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 7701 7320 227 40 0 7116 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 30804 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1735168/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=33452 CPUtime=462.13 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 8621 0 0 0 46029 184 0 0 25 0 1 0 247860804 34254848 7987 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 8363 7987 227 40 0 7778 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 33452 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1732352/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=36352 CPUtime=522.11 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 9340 0 0 0 52006 205 0 0 25 0 1 0 247860804 37224448 8706 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 9088 8706 227 40 0 8503 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 36352 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1729920/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=38768 CPUtime=582.09 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 9942 0 0 0 57988 221 0 0 25 0 1 0 247860804 39698432 9308 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 9692 9308 227 40 0 9107 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 38768 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1727104/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=41492 CPUtime=642.07 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 10631 0 0 0 63968 239 0 0 25 0 1 0 247860804 42487808 9997 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 10373 9997 227 40 0 9788 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 41492 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1714816/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=53732 CPUtime=881.99 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 14322 0 0 0 87892 307 0 0 25 0 1 0 247860804 55021568 13047 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 13433 13047 227 40 0 12848 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 53732 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1712448/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=56168 CPUtime=941.97 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 14938 0 0 0 93875 322 0 0 25 0 1 0 247860804 57516032 13663 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 14042 13663 227 40 0 13457 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 56168 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1710272/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=58300 CPUtime=1001.94 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 15468 0 0 0 99859 335 0 0 25 0 1 0 247860804 59699200 14193 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 14575 14193 227 40 0 13990 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 58300 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1708096/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=60448 CPUtime=1061.93 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 16010 0 0 0 105843 350 0 0 25 0 1 0 247860804 61898752 14735 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 15112 14735 227 40 0 14527 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 60448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1706176/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=62396 CPUtime=1121.91 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 16497 0 0 0 111826 365 0 0 25 0 1 0 247860804 63893504 15222 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 15599 15222 227 40 0 15014 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 62396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1703936/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=64600 CPUtime=1181.89 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 17043 0 0 0 117809 380 0 0 25 0 1 0 247860804 66150400 15768 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 16150 15768 227 40 0 15565 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 64600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1701888/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=66660 CPUtime=1241.86 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 17555 0 0 0 123789 397 0 0 25 0 1 0 247860804 68259840 16280 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 16665 16280 227 40 0 16080 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 66660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1699904/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=68580 CPUtime=1301.85 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 18041 0 0 0 129773 412 0 0 25 0 1 0 247860804 70225920 16766 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 17145 16766 227 40 0 16560 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 68580 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1697856/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=70688 CPUtime=1361.83 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 18566 0 0 0 135754 429 0 0 25 0 1 0 247860804 72384512 17291 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 17672 17291 227 40 0 17087 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 70688 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1695936/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=72592 CPUtime=1421.8 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 19046 0 0 0 141737 443 0 0 25 0 1 0 247860804 74334208 17771 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 18148 17771 227 40 0 17563 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 72592 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1694016/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=74504 CPUtime=1481.78 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 19519 0 0 0 147720 458 0 0 25 0 1 0 247860804 76292096 18244 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 18626 18244 227 40 0 18041 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 74504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1692288/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=76276 CPUtime=1541.76 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 19966 0 0 0 153705 471 0 0 25 0 1 0 247860804 78106624 18691 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 19069 18691 227 40 0 18484 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 76276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1690304/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=78288 CPUtime=1601.75 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 20462 0 0 0 159689 486 0 0 25 0 1 0 247860804 80166912 19187 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 19572 19187 227 40 0 18987 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 78288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1688640/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=79880 CPUtime=1661.72 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 20865 0 0 0 165674 498 0 0 25 0 1 0 247860804 81797120 19590 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 19970 19590 227 40 0 19385 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 79880 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1686848/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=81628 CPUtime=1721.7 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21302 0 0 0 171657 513 0 0 25 0 1 0 247860804 83587072 20027 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 20407 20027 227 40 0 19822 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 81628 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1685568/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=82936 CPUtime=1781.68 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21627 0 0 0 177642 526 0 0 25 0 1 0 247860804 84926464 20352 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 20734 20352 227 40 0 20149 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 82936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1685184/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=83304 CPUtime=1800.08 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21723 0 0 0 179477 531 0 0 25 0 1 0 247860804 85303296 20448 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 20826 20448 227 40 0 20241 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 83304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.97 2/65 4192 /proc/meminfo: memFree=1685184/2055920 swapFree=4184616/4192956 [pid=4191] ppid=4189 vsize=83304 CPUtime=1800.08 /proc/4191/stat : 4191 (glpPBv3) R 4189 4191 2901 0 -1 0 21723 0 0 0 179477 531 0 0 25 0 1 0 247860804 85303296 20448 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/4191/statm: 20826 20448 227 40 0 20241 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 83304 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1794.78 CPU system time (s): 5.32819 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 83304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.78 system time used= 5.32819 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21723 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= 11 involuntary context switches= 1688 runsolver used 1.3048 second user time and 3.62145 second system time The end
Begin job on node59 on Tue May 1 06:05:12 UTC 2007 IDJOB= 430845 IDBENCH= 48009 IDSOLVER= 166 FILE ID= node59/430845-1177999512 PBS_JOBID= 4728223 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=17-P1=11-P2=29-P3=59-P4=41-P5=11-P6=13-B.opb COMMAND LINE= glpPBv3 /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-430845-1177999512 -o ROOT/results/node59/conversion-430845-1177999512 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-430845-1177999512 -o ROOT/results/node59/solver-430845-1177999512 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/430845-1177999512/instance-430845-1177999512.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 8b8e1d2a13a8c39d33c0acf49e3195a1 RANDOM SEED= 192883421 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1766864 kB Buffers: 26880 kB Cached: 183120 kB SwapCached: 2364 kB Active: 60504 kB Inactive: 159680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766864 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 2284 kB Writeback: 0 kB Mapped: 16948 kB Slab: 54868 kB Committed_AS: 3241484 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node59 on Tue May 1 06:35:15 UTC 2007