Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.11 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb |
MD5SUM | 644f01bea590fadfbdc9e969c95da3cf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23808 |
Total number of constraints | 1192 |
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 | 1192 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 5940 |
Number of terms in the objective function | 7968 |
Biggest coefficient in the objective function | 993 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 530424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530424 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458659-1178639588/instance-458659-1178639588.opb ...... 1800.07/1800.60 c done parsing opb. 1800.07/1800.60 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/458659-1178639588/instance-458659-1178639588.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-458659-1178639588 -o ROOT/results/node57/solver-458659-1178639588 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458659-1178639588/instance-458659-1178639588.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 1.00 2/64 13117 /proc/meminfo: memFree=1519880/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=3560 CPUtime=0 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 482 0 0 0 0 0 0 0 18 0 1 0 305094834 3645440 464 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134570671 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 890 468 79 219 0 667 0 [startup+0.0924179 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13117 /proc/meminfo: memFree=1519880/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=5024 CPUtime=0.08 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 1033 0 0 0 8 0 0 0 18 0 1 0 305094834 5144576 1015 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 1256 1015 86 219 0 1033 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5024 [startup+0.102419 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13117 /proc/meminfo: memFree=1519880/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=5024 CPUtime=0.09 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 1033 0 0 0 9 0 0 0 18 0 1 0 305094834 5144576 1015 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 1256 1015 86 219 0 1033 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5024 [startup+0.301435 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13117 /proc/meminfo: memFree=1519880/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=5172 CPUtime=0.29 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 1064 0 0 0 29 0 0 0 19 0 1 0 305094834 5296128 1046 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 1293 1046 86 219 0 1070 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5172 [startup+0.702471 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13117 /proc/meminfo: memFree=1519880/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=7324 CPUtime=0.69 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 1615 0 0 0 69 0 0 0 23 0 1 0 305094834 7499776 1597 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 1831 1597 86 219 0 1608 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7324 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1513600/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=13940 CPUtime=1.49 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 2258 0 0 0 148 1 0 0 25 0 1 0 305094834 14274560 2241 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134570671 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 3485 2243 87 219 0 3262 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13940 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1511296/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=11980 CPUtime=3.09 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 2777 0 0 0 308 1 0 0 25 0 1 0 305094834 12267520 2200 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 2995 2200 90 219 0 2772 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11980 [startup+6.30196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1510784/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=12236 CPUtime=6.29 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 2891 0 0 0 628 1 0 0 25 0 1 0 305094834 12529664 2314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 3059 2314 90 219 0 2836 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12236 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1509896/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=13772 CPUtime=12.69 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 3119 0 0 0 1267 2 0 0 25 0 1 0 305094834 14102528 2542 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 3443 2542 90 219 0 3220 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13772 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1508040/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=15820 CPUtime=25.49 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 3583 0 0 0 2547 2 0 0 25 0 1 0 305094834 16199680 3006 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 3955 3006 90 219 0 3732 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15820 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1504200/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=19916 CPUtime=51.08 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 4549 0 0 0 5106 2 0 0 25 0 1 0 305094834 20393984 3972 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 4979 3972 90 219 0 4756 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19916 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1498120/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=28108 CPUtime=102.27 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 6047 0 0 0 10224 3 0 0 25 0 1 0 305094834 28782592 5470 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 7027 5470 90 219 0 6804 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28108 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1492488/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=44492 CPUtime=162.25 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 7455 0 0 0 16221 4 0 0 25 0 1 0 305094834 45559808 6878 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 11123 6878 90 219 0 10900 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 44492 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1486728/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=44492 CPUtime=222.23 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 8882 0 0 0 22218 5 0 0 25 0 1 0 305094834 45559808 8305 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 11123 8305 90 219 0 10900 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44492 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1481032/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=44492 CPUtime=282.22 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 10331 0 0 0 28216 6 0 0 25 0 1 0 305094834 45559808 9754 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 11123 9754 90 219 0 10900 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44492 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1475144/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=77260 CPUtime=342.21 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 11783 0 0 0 34214 7 0 0 25 0 1 0 305094834 79114240 11206 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 19315 11206 90 219 0 19092 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 77260 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1469384/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=77260 CPUtime=402.2 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 13231 0 0 0 40212 8 0 0 25 0 1 0 305094834 79114240 12654 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 19315 12654 90 219 0 19092 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 77260 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13118 /proc/meminfo: memFree=1463432/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=77260 CPUtime=462.18 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 14709 0 0 0 46210 8 0 0 25 0 1 0 305094834 79114240 14132 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 19315 14132 90 219 0 19092 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 77260 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 13292 /proc/meminfo: memFree=1456400/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=77260 CPUtime=522.09 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 16182 0 0 0 52199 10 0 0 25 0 1 0 305094834 79114240 15605 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 19315 15605 90 219 0 19092 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 77260 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1451528/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=77260 CPUtime=582.05 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 17655 0 0 0 58194 11 0 0 25 0 1 0 305094834 79114240 17078 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 19315 17078 90 219 0 19092 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 77260 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1445576/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=77260 CPUtime=642.05 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 19124 0 0 0 64192 13 0 0 25 0 1 0 305094834 79114240 18547 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 19315 18547 90 219 0 19092 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 77260 ################ # More data... # ################ [startup+822.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1427784/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=142796 CPUtime=821.99 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 23594 0 0 0 82185 14 0 0 25 0 1 0 305094834 146223104 23017 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35699 23017 90 219 0 35476 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 142796 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1421768/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=142796 CPUtime=881.98 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 25088 0 0 0 88182 16 0 0 25 0 1 0 305094834 146223104 24511 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35699 24511 90 219 0 35476 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 142796 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1415880/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=142796 CPUtime=941.96 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 26582 0 0 0 94180 16 0 0 25 0 1 0 305094834 146223104 26005 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35699 26005 90 219 0 35476 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 142796 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1409928/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=142956 CPUtime=1001.95 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 28070 0 0 0 100177 18 0 0 25 0 1 0 305094834 146386944 27493 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35739 27493 90 219 0 35516 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 142956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1403784/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=143116 CPUtime=1061.94 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 29605 0 0 0 106175 19 0 0 25 0 1 0 305094834 146550784 29028 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35779 29028 90 219 0 35556 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 143116 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1400392/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=143504 CPUtime=1121.92 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 30479 0 0 0 112170 22 0 0 25 0 1 0 305094834 146948096 29855 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35876 29855 90 219 0 35653 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 143504 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1399816/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=143776 CPUtime=1181.91 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 30655 0 0 0 118168 23 0 0 25 0 1 0 305094834 147226624 30031 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35944 30031 90 219 0 35721 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 143776 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1396104/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=143916 CPUtime=1241.9 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 31578 0 0 0 124163 27 0 0 25 0 1 0 305094834 147369984 30907 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 35979 30907 90 219 0 35756 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 143916 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1395464/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=144204 CPUtime=1301.89 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 31743 0 0 0 130159 30 0 0 25 0 1 0 305094834 147664896 31072 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36051 31072 90 219 0 35828 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 144204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13316 /proc/meminfo: memFree=1387976/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=144332 CPUtime=1361.87 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 33648 0 0 0 136154 33 0 0 25 0 1 0 305094834 147795968 32930 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36083 32930 90 219 0 35860 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 144332 [startup+1422.31 s] /proc/loadavg: 1.08 1.02 1.01 2/65 13316 /proc/meminfo: memFree=1387912/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=144332 CPUtime=1421.86 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 33676 0 0 0 142150 36 0 0 25 0 1 0 305094834 147795968 32958 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36083 32958 90 219 0 35860 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 144332 [startup+1482.3 s] /proc/loadavg: 1.10 1.03 1.00 2/65 13316 /proc/meminfo: memFree=1387720/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=144332 CPUtime=1481.84 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 33712 0 0 0 148144 40 0 0 25 0 1 0 305094834 147795968 32994 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36083 32994 90 219 0 35860 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 144332 [startup+1542.3 s] /proc/loadavg: 1.16 1.05 1.01 2/65 13316 /proc/meminfo: memFree=1386824/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=144716 CPUtime=1541.82 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 34055 0 0 0 154139 43 0 0 25 0 1 0 305094834 148189184 33240 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36179 33240 90 219 0 35956 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 144716 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 13316 /proc/meminfo: memFree=1379976/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=145008 CPUtime=1601.81 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 35782 0 0 0 160136 45 0 0 25 0 1 0 305094834 148488192 34920 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36252 34920 90 219 0 36029 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 145008 [startup+1662.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 13316 /proc/meminfo: memFree=1379912/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=145008 CPUtime=1661.8 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 35807 0 0 0 166131 49 0 0 25 0 1 0 305094834 148488192 34945 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36252 34945 90 219 0 36029 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 145008 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13316 /proc/meminfo: memFree=1379720/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=145136 CPUtime=1721.78 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 35858 0 0 0 172125 53 0 0 25 0 1 0 305094834 148619264 34996 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36284 34996 90 219 0 36061 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 145136 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13316 /proc/meminfo: memFree=1377928/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=145136 CPUtime=1781.77 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 36354 0 0 0 178121 56 0 0 25 0 1 0 305094834 148619264 35445 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36284 35445 90 219 0 36061 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 145136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13316 /proc/meminfo: memFree=1377928/2055920 swapFree=4183252/4192956 [pid=13117] ppid=13115 vsize=145136 CPUtime=1800.07 /proc/13117/stat : 13117 (PBS4_SAT07v2) R 13115 13117 12604 0 -1 4194304 36357 0 0 0 179951 56 0 0 25 0 1 0 305094834 148619264 35448 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13117/statm: 36284 35448 90 219 0 36061 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 145136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.11 CPU user time (s): 1799.51 CPU system time (s): 0.592909 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 145324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.592909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36358 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= 8 involuntary context switches= 2496 runsolver used 1.47378 second user time and 3.50247 second system time The end
Begin job on node57 on Tue May 8 15:53:09 UTC 2007 IDJOB= 458659 IDBENCH= 1781 IDSOLVER= 200 FILE ID= node57/458659-1178639588 PBS_JOBID= 5218325 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458659-1178639588/instance-458659-1178639588.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-458659-1178639588 -o ROOT/results/node57/conversion-458659-1178639588 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458659-1178639588/instance-458659-1178639588.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-458659-1178639588 -o ROOT/results/node57/solver-458659-1178639588 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458659-1178639588/instance-458659-1178639588.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 644f01bea590fadfbdc9e969c95da3cf RANDOM SEED= 491808154 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1520288 kB Buffers: 38540 kB Cached: 378960 kB SwapCached: 3760 kB Active: 118320 kB Inactive: 309372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1520288 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 3312 kB Writeback: 0 kB Mapped: 16184 kB Slab: 94064 kB Committed_AS: 4924264 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= 66561 MiB End job on node57 on Tue May 8 16:23:11 UTC 2007