Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.09 | 1801.21 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb |
MD5SUM | 476815bfad4ec3fb3f4fdbbbbf10b706 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
0.00/0.02 c glpPB 0.2 (July 2006) 0.00/0.02 c An Application of GLPK 4.10 for PB Constraints 0.00/0.02 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.02 c by Hossein Sheini
ERROR: no interpretation found !
Linearizing /tmp/evaluation/456690-1178361907/instance-456690-1178361907.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-456690-1178361907 -o ROOT/results/node51/solver-456690-1178361907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/456690-1178361907/instance-456690-1178361907.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: 0.00 0.00 0.00 3/64 18426 /proc/meminfo: memFree=1480816/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=1012 CPUtime=0 /proc/18426/stat : 18426 (glpPBv3) D 18424 18426 18348 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 191035902 1036288 24 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 2622471 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/18426/statm: 253 24 18 40 0 3 0 [startup+0.089407 s] /proc/loadavg: 0.00 0.00 0.00 3/64 18426 /proc/meminfo: memFree=1480816/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=4720 CPUtime=0.07 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 818 0 3 0 7 0 0 0 18 0 1 0 191035902 4833280 791 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134582424 0 0 4096 0 0 0 0 17 1 0 0 /proc/18426/statm: 1180 791 221 40 0 595 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4720 [startup+0.101402 s] /proc/loadavg: 0.00 0.00 0.00 3/64 18426 /proc/meminfo: memFree=1480816/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=4720 CPUtime=0.08 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 818 0 3 0 8 0 0 0 18 0 1 0 191035902 4833280 791 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134582940 0 0 4096 0 0 0 0 17 1 0 0 /proc/18426/statm: 1180 791 221 40 0 595 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4720 [startup+0.301428 s] /proc/loadavg: 0.00 0.00 0.00 3/64 18426 /proc/meminfo: memFree=1480816/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6492 CPUtime=0.28 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 1318 0 3 0 28 0 0 0 19 0 1 0 191035902 6647808 1243 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134606864 0 0 4096 0 0 0 0 17 1 0 0 /proc/18426/statm: 1623 1243 227 40 0 1038 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6492 [startup+0.701455 s] /proc/loadavg: 0.00 0.00 0.00 3/64 18426 /proc/meminfo: memFree=1480816/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6588 CPUtime=0.68 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 1336 0 3 0 68 0 0 0 23 0 1 0 191035902 6746112 1261 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134586562 0 0 4096 0 0 0 0 17 1 0 0 /proc/18426/statm: 1647 1261 227 40 0 1062 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6588 [startup+1.50152 s] /proc/loadavg: 0.00 0.00 0.00 2/65 18427 /proc/meminfo: memFree=1475880/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6976 CPUtime=1.48 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 1523 0 3 0 148 0 0 0 25 0 1 0 191035902 7143424 1368 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543012 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1744 1368 227 40 0 1159 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6976 [startup+3.10167 s] /proc/loadavg: 0.00 0.00 0.00 2/65 18427 /proc/meminfo: memFree=1475304/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6976 CPUtime=3.07 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 1523 0 3 0 307 0 0 0 25 0 1 0 191035902 7143424 1368 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643224 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1744 1368 227 40 0 1159 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 6976 [startup+6.30195 s] /proc/loadavg: 0.08 0.02 0.01 2/65 18427 /proc/meminfo: memFree=1475176/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6976 CPUtime=6.28 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 1523 0 3 0 627 1 0 0 25 0 1 0 191035902 7143424 1368 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643557 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1744 1368 227 40 0 1159 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6976 [startup+12.7015 s] /proc/loadavg: 0.15 0.03 0.01 2/65 18427 /proc/meminfo: memFree=1475112/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6976 CPUtime=12.68 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 1563 0 3 0 1266 2 0 0 25 0 1 0 191035902 7143424 1368 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1744 1368 227 40 0 1159 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6976 [startup+25.5017 s] /proc/loadavg: 0.34 0.08 0.02 2/65 18427 /proc/meminfo: memFree=1475240/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=6976 CPUtime=25.47 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 2055 0 3 0 2544 3 0 0 25 0 1 0 191035902 7143424 1368 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629060 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1744 1368 227 40 0 1159 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 6976 [startup+51.102 s] /proc/loadavg: 0.56 0.15 0.05 2/65 18427 /proc/meminfo: memFree=1475048/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=7264 CPUtime=51.05 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 4636 0 3 0 5099 6 0 0 25 0 1 0 191035902 7438336 1430 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134642672 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1816 1430 227 40 0 1231 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 7264 [startup+102.306 s] /proc/loadavg: 0.81 0.28 0.10 2/65 18427 /proc/meminfo: memFree=1474920/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=7524 CPUtime=102.22 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 15709 0 3 0 10208 14 0 0 25 0 1 0 191035902 7704576 1495 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134582188 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1881 1495 227 40 0 1296 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 7524 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/65 18427 /proc/meminfo: memFree=1474600/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=7148 CPUtime=162.19 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 34876 0 3 0 16192 27 0 0 25 0 1 0 191035902 7319552 1411 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1787 1411 227 40 0 1202 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 7148 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/65 18427 /proc/meminfo: memFree=1474408/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=7984 CPUtime=222.16 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 54462 0 3 0 22176 40 0 0 25 0 1 0 191035902 8175616 1610 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585326 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1996 1610 227 40 0 1411 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 7984 [startup+282.302 s] /proc/loadavg: 0.99 0.60 0.25 2/65 18427 /proc/meminfo: memFree=1474088/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=8208 CPUtime=282.11 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 73915 0 3 0 28158 53 0 0 25 0 1 0 191035902 8404992 1667 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134582182 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2052 1667 227 40 0 1467 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 8208 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/65 18427 /proc/meminfo: memFree=1473960/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=7800 CPUtime=342.08 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 94290 0 3 0 34142 66 0 0 25 0 1 0 191035902 7987200 1574 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 1950 1574 227 40 0 1365 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 7800 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/65 18427 /proc/meminfo: memFree=1473640/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=8448 CPUtime=402.05 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 114852 0 3 0 40126 79 0 0 25 0 1 0 191035902 8650752 1736 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134586702 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2112 1736 227 40 0 1527 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 8448 [startup+462.302 s] /proc/loadavg: 0.99 0.77 0.37 2/65 18427 /proc/meminfo: memFree=1474024/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=8780 CPUtime=462 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 134882 0 3 0 46109 91 0 0 25 0 1 0 191035902 8990720 1809 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585279 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2195 1809 227 40 0 1610 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 8780 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/65 18427 /proc/meminfo: memFree=1473512/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=8348 CPUtime=521.98 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 155162 0 3 0 52093 105 0 0 25 0 1 0 191035902 8548352 1711 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543233 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2087 1711 227 40 0 1502 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 8348 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/65 18427 /proc/meminfo: memFree=1473448/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=8508 CPUtime=581.94 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 175297 0 3 0 58077 117 0 0 25 0 1 0 191035902 8712192 1751 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626435 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2127 1751 227 40 0 1542 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 8508 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/65 18427 /proc/meminfo: memFree=1473448/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=8696 CPUtime=641.91 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 195794 0 3 0 64059 132 0 0 25 0 1 0 191035902 8904704 1798 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542970 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2174 1798 227 40 0 1589 0 Current children cumulated CPU time (s) 641.91 Current children cumulated vsize (KiB) 8696 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/65 18427 /proc/meminfo: memFree=1473000/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=9160 CPUtime=821.8 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 257687 0 3 0 82005 175 0 0 25 0 1 0 191035902 9379840 1914 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134632812 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2290 1914 227 40 0 1705 0 Current children cumulated CPU time (s) 821.8 Current children cumulated vsize (KiB) 9160 [startup+882.302 s] /proc/loadavg: 0.99 0.93 0.58 2/65 18427 /proc/meminfo: memFree=1472488/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=9280 CPUtime=881.76 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 278409 0 3 0 87986 190 0 0 25 0 1 0 191035902 9502720 1944 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 3083991 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2320 1944 227 40 0 1735 0 Current children cumulated CPU time (s) 881.76 Current children cumulated vsize (KiB) 9280 [startup+942.302 s] /proc/loadavg: 0.99 0.94 0.61 2/65 18427 /proc/meminfo: memFree=1472488/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=9436 CPUtime=941.72 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 297670 0 3 0 93970 202 0 0 25 0 1 0 191035902 9662464 1983 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629279 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2359 1983 227 40 0 1774 0 Current children cumulated CPU time (s) 941.72 Current children cumulated vsize (KiB) 9436 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/71 18601 /proc/meminfo: memFree=1470840/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=10232 CPUtime=1001.69 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 316755 0 3 0 99945 224 0 0 25 0 1 0 191035902 10477568 2172 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2558 2172 227 40 0 1973 0 Current children cumulated CPU time (s) 1001.69 Current children cumulated vsize (KiB) 10232 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/65 18625 /proc/meminfo: memFree=1472040/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=10396 CPUtime=1061.65 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 338875 0 3 0 105928 237 0 0 25 0 1 0 191035902 10645504 2213 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585311 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2599 2213 227 40 0 2014 0 Current children cumulated CPU time (s) 1061.65 Current children cumulated vsize (KiB) 10396 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/65 18625 /proc/meminfo: memFree=1472040/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=10568 CPUtime=1121.62 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 358048 0 3 0 111910 252 0 0 25 0 1 0 191035902 10821632 2256 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2642 2256 227 40 0 2057 0 Current children cumulated CPU time (s) 1121.62 Current children cumulated vsize (KiB) 10568 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/65 18625 /proc/meminfo: memFree=1471592/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=10740 CPUtime=1181.59 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 378237 0 3 0 117893 266 0 0 25 0 1 0 191035902 10997760 2299 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2685 2299 227 40 0 2100 0 Current children cumulated CPU time (s) 1181.59 Current children cumulated vsize (KiB) 10740 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 18625 /proc/meminfo: memFree=1471400/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=10868 CPUtime=1241.55 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 399413 0 3 0 123874 281 0 0 25 0 1 0 191035902 11128832 2331 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2717 2331 227 40 0 2132 0 Current children cumulated CPU time (s) 1241.55 Current children cumulated vsize (KiB) 10868 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/65 18625 /proc/meminfo: memFree=1471016/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11064 CPUtime=1301.52 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 418513 0 3 0 129859 293 0 0 25 0 1 0 191035902 11329536 2380 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134591125 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2766 2380 227 40 0 2181 0 Current children cumulated CPU time (s) 1301.52 Current children cumulated vsize (KiB) 11064 [startup+1362.3 s] /proc/loadavg: 1.05 0.99 0.74 2/65 18625 /proc/meminfo: memFree=1471016/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11052 CPUtime=1361.49 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 438774 0 3 0 135842 307 0 0 25 0 1 0 191035902 11317248 2387 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585689 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2763 2387 227 40 0 2178 0 Current children cumulated CPU time (s) 1361.49 Current children cumulated vsize (KiB) 11052 [startup+1422.31 s] /proc/loadavg: 1.06 1.00 0.76 2/65 18625 /proc/meminfo: memFree=1470952/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11284 CPUtime=1421.46 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 458900 0 3 0 141825 321 0 0 25 0 1 0 191035902 11554816 2435 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2821 2435 227 40 0 2236 0 Current children cumulated CPU time (s) 1421.46 Current children cumulated vsize (KiB) 11284 [startup+1482.3 s] /proc/loadavg: 1.07 1.01 0.77 2/65 18625 /proc/meminfo: memFree=1471336/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11424 CPUtime=1481.42 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 478330 0 3 0 147809 333 0 0 25 0 1 0 191035902 11698176 2470 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2856 2470 227 40 0 2271 0 Current children cumulated CPU time (s) 1481.42 Current children cumulated vsize (KiB) 11424 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 0.79 2/65 18627 /proc/meminfo: memFree=1470632/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11604 CPUtime=1541.38 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 497543 0 3 0 153793 345 0 0 25 0 1 0 191035902 11882496 2515 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2901 2515 227 40 0 2316 0 Current children cumulated CPU time (s) 1541.38 Current children cumulated vsize (KiB) 11604 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 0.80 2/65 18627 /proc/meminfo: memFree=1470696/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11152 CPUtime=1601.3 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 517687 0 3 0 159772 358 0 0 25 0 1 0 191035902 11419648 2412 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2788 2412 227 40 0 2203 0 Current children cumulated CPU time (s) 1601.3 Current children cumulated vsize (KiB) 11152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.81 2/65 18627 /proc/meminfo: memFree=1470376/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11240 CPUtime=1661.27 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 538149 0 3 0 165756 371 0 0 25 0 1 0 191035902 11509760 2434 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643748 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2810 2434 227 40 0 2225 0 Current children cumulated CPU time (s) 1661.27 Current children cumulated vsize (KiB) 11240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.82 2/65 18627 /proc/meminfo: memFree=1470824/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11964 CPUtime=1721.23 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 558182 0 3 0 171739 384 0 0 25 0 1 0 191035902 12251136 2605 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643557 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2991 2605 227 40 0 2406 0 Current children cumulated CPU time (s) 1721.23 Current children cumulated vsize (KiB) 11964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.83 2/65 18627 /proc/meminfo: memFree=1470184/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=11488 CPUtime=1781.2 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 578006 0 3 0 177722 398 0 0 25 0 1 0 191035902 11763712 2496 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 2872 2496 227 40 0 2287 0 Current children cumulated CPU time (s) 1781.2 Current children cumulated vsize (KiB) 11488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 0.83 2/65 18627 /proc/meminfo: memFree=1470312/2055920 swapFree=4183356/4192956 [pid=18426] ppid=18424 vsize=12128 CPUtime=1800.09 /proc/18426/stat : 18426 (glpPBv3) R 18424 18426 18348 0 -1 0 584336 0 3 0 179608 401 0 0 25 0 1 0 191035902 12419072 2646 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134586702 0 0 4096 0 0 0 0 17 0 0 0 /proc/18426/statm: 3032 2646 227 40 0 2447 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 12128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.09 CPU user time (s): 1796.08 CPU system time (s): 4.01239 CPU usage (%): 99.9382 Max. virtual memory (cumulated for all children) (KiB): 12144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.08 system time used= 4.01239 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 584336 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 7976 runsolver used 2.02969 second user time and 4.22936 second system time The end
Begin job on node51 on Sat May 5 10:45:08 UTC 2007 IDJOB= 456690 IDBENCH= 48291 IDSOLVER= 166 FILE ID= node51/456690-1178361907 PBS_JOBID= 5189179 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.opb COMMAND LINE= glpPBv3 /tmp/evaluation/456690-1178361907/instance-456690-1178361907.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-456690-1178361907 -o ROOT/results/node51/conversion-456690-1178361907 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/456690-1178361907/instance-456690-1178361907.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-456690-1178361907 -o ROOT/results/node51/solver-456690-1178361907 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/456690-1178361907/instance-456690-1178361907.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706 RANDOM SEED= 782428823 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1481352 kB Buffers: 45360 kB Cached: 407636 kB SwapCached: 3692 kB Active: 146736 kB Inactive: 315828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1481352 kB SwapTotal: 4192956 kB SwapFree: 4183356 kB Dirty: 2612 kB Writeback: 0 kB Mapped: 15584 kB Slab: 98084 kB Committed_AS: 8711160 kB PageTables: 1408 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 node51 on Sat May 5 11:15:11 UTC 2007