Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.08 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb |
MD5SUM | 4a4829ccfb158b9e23ea953e29870120 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 69 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 69 |
Optimality of the best value was proved | NO |
Number of variables | 4600 |
Total number of constraints | 310 |
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 | 310 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 147 |
Number of terms in the objective function | 3424 |
Biggest coefficient in the objective function | 3121 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 527152 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262140 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527152 |
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/458670-1178640210/instance-458670-1178640210.opb ...... 1800.06/1800.50 c done parsing opb. 1800.06/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-458670-1178640210 -o ROOT/results/node51/solver-458670-1178640210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458670-1178640210/instance-458670-1178640210.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.92 0.98 0.99 3/64 24253 /proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=1904 CPUtime=0 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 218866158 1949696 262 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 476 262 84 219 0 253 0 [startup+0.054613 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24253 /proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=2184 CPUtime=0.05 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 338 0 0 0 5 0 0 0 18 0 1 0 218866158 2236416 320 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 546 320 86 219 0 323 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2184 [startup+0.101617 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24253 /proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=2484 CPUtime=0.09 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 417 0 0 0 9 0 0 0 18 0 1 0 218866158 2543616 399 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530463 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 621 399 86 219 0 398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2484 [startup+0.301634 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24253 /proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=4232 CPUtime=0.29 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 801 0 0 0 29 0 0 0 19 0 1 0 218866158 4333568 675 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 1058 676 90 219 0 835 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4232 [startup+0.70167 s] /proc/loadavg: 0.92 0.98 0.99 3/64 24253 /proc/meminfo: memFree=1579632/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=7444 CPUtime=0.69 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 1221 0 0 0 69 0 0 0 22 0 1 0 218866158 7622656 1095 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 1861 1095 90 219 0 1638 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7444 [startup+1.50174 s] /proc/loadavg: 0.92 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1574440/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=11736 CPUtime=1.49 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 1913 0 0 0 148 1 0 0 25 0 1 0 218866158 12017664 1787 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 2934 1787 90 219 0 2711 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11736 [startup+3.10189 s] /proc/loadavg: 0.92 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1571176/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=12740 CPUtime=3.09 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 2891 0 0 0 306 3 0 0 25 0 1 0 218866158 13045760 2716 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 3185 2716 90 219 0 2962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12740 [startup+6.30118 s] /proc/loadavg: 0.93 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1568168/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=13072 CPUtime=6.29 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 3103 0 0 0 624 5 0 0 25 0 1 0 218866158 13385728 2928 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 3268 2928 90 219 0 3045 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13072 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1567400/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=13820 CPUtime=12.69 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 3340 0 0 0 1262 7 0 0 25 0 1 0 218866158 14151680 3068 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 3455 3068 90 219 0 3232 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13820 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1566504/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=14444 CPUtime=25.48 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 3549 0 0 0 2538 10 0 0 25 0 1 0 218866158 14790656 3277 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 3611 3277 90 219 0 3388 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14444 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1565288/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=16108 CPUtime=51.08 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 4045 0 0 0 5093 15 0 0 25 0 1 0 218866158 16494592 3580 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 4027 3580 90 219 0 3804 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16108 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1563048/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=19120 CPUtime=102.27 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 4990 0 0 0 10202 25 0 0 25 0 1 0 218866158 19578880 4140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 4780 4140 90 219 0 4557 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19120 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1559144/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=28388 CPUtime=162.26 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 5965 0 0 0 16192 34 0 0 25 0 1 0 218866158 29069312 5115 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 7097 5115 90 219 0 6874 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 28388 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1556200/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=29164 CPUtime=222.24 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 6684 0 0 0 22185 39 0 0 25 0 1 0 218866158 29863936 5834 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 7291 5834 90 219 0 7068 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29164 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1551144/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=33312 CPUtime=282.23 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 8690 0 0 0 28178 45 0 0 25 0 1 0 218866158 34111488 7071 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 8328 7071 90 219 0 8105 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 33312 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1550312/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=33928 CPUtime=342.21 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 8929 0 0 0 34171 50 0 0 25 0 1 0 218866158 34742272 7310 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 8482 7310 90 219 0 8259 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 33928 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1549160/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=34692 CPUtime=402.19 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9213 0 0 0 40162 57 0 0 25 0 1 0 218866158 35524608 7594 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 8673 7594 90 219 0 8450 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34692 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24254 /proc/meminfo: memFree=1548392/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=35052 CPUtime=462.18 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9424 0 0 0 46155 63 0 0 25 0 1 0 218866158 35893248 7805 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 8763 7805 90 219 0 8540 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 35052 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1547432/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=35764 CPUtime=522.16 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9657 0 0 0 52148 68 0 0 25 0 1 0 218866158 36622336 8038 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 8941 8038 90 219 0 8718 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 35764 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1546408/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=36596 CPUtime=582.15 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 9921 0 0 0 58141 74 0 0 25 0 1 0 218866158 37474304 8302 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 9149 8302 90 219 0 8926 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 36596 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1544360/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=53372 CPUtime=642.13 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 10416 0 0 0 64134 79 0 0 25 0 1 0 218866158 54652928 8797 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 13343 8797 90 219 0 13120 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 53372 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1536232/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=62108 CPUtime=882.07 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 13979 0 0 0 88107 100 0 0 25 0 1 0 218866158 63598592 10823 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 15527 10823 90 219 0 15304 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 62108 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1535464/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=62396 CPUtime=942.06 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14163 0 0 0 94100 106 0 0 25 0 1 0 218866158 63893504 11007 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 15599 11007 90 219 0 15376 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 62396 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1534376/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=63152 CPUtime=1002.05 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14449 0 0 0 100094 111 0 0 25 0 1 0 218866158 64667648 11293 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 15788 11293 90 219 0 15565 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 63152 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1533544/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=63660 CPUtime=1062.03 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14654 0 0 0 106086 117 0 0 25 0 1 0 218866158 65187840 11498 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 15915 11498 90 219 0 15692 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 63660 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1532712/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=64292 CPUtime=1122.02 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 14854 0 0 0 112081 121 0 0 25 0 1 0 218866158 65835008 11698 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16073 11698 90 219 0 15850 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 64292 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1532136/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=64756 CPUtime=1182.01 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15021 0 0 0 118074 127 0 0 25 0 1 0 218866158 66310144 11865 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16189 11865 90 219 0 15966 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 64756 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 24256 /proc/meminfo: memFree=1531624/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=64756 CPUtime=1241.99 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15136 0 0 0 124068 131 0 0 25 0 1 0 218866158 66310144 11980 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16189 11980 90 219 0 15966 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 64756 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 1.00 2/65 24256 /proc/meminfo: memFree=1531048/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=65252 CPUtime=1301.98 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15284 0 0 0 130063 135 0 0 25 0 1 0 218866158 66818048 12128 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16313 12128 90 219 0 16090 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 65252 [startup+1362.3 s] /proc/loadavg: 1.08 1.02 1.00 2/65 24256 /proc/meminfo: memFree=1530472/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=65444 CPUtime=1361.95 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15422 0 0 0 136057 138 0 0 25 0 1 0 218866158 67014656 12266 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16361 12266 90 219 0 16138 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 65444 [startup+1422.31 s] /proc/loadavg: 1.12 1.04 1.01 2/65 24256 /proc/meminfo: memFree=1530024/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=65444 CPUtime=1421.94 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 15534 0 0 0 142052 142 0 0 25 0 1 0 218866158 67014656 12378 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16361 12378 90 219 0 16138 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 65444 [startup+1482.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 24256 /proc/meminfo: memFree=1528104/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=66064 CPUtime=1481.93 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16027 0 0 0 148046 147 0 0 25 0 1 0 218866158 67649536 12871 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16516 12871 90 219 0 16293 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 66064 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 24256 /proc/meminfo: memFree=1525864/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=66160 CPUtime=1541.91 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16555 0 0 0 154041 150 0 0 25 0 1 0 218866158 67747840 13399 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16540 13399 90 219 0 16317 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 66160 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 24256 /proc/meminfo: memFree=1524776/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=67036 CPUtime=1601.9 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16837 0 0 0 160035 155 0 0 25 0 1 0 218866158 68644864 13681 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16759 13681 90 219 0 16536 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 67036 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 24256 /proc/meminfo: memFree=1524584/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=67036 CPUtime=1661.88 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 16930 0 0 0 166031 157 0 0 25 0 1 0 218866158 68644864 13774 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16759 13774 90 219 0 16536 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 67036 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 24256 /proc/meminfo: memFree=1524200/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=67132 CPUtime=1721.87 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17017 0 0 0 172027 160 0 0 25 0 1 0 218866158 68743168 13861 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16783 13861 90 219 0 16560 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 67132 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24256 /proc/meminfo: memFree=1523624/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=67820 CPUtime=1781.86 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17152 0 0 0 178020 166 0 0 25 0 1 0 218866158 69447680 13996 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16955 13996 90 219 0 16732 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 67820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24256 /proc/meminfo: memFree=1523304/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=67820 CPUtime=1800.06 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17239 0 0 0 179839 167 0 0 25 0 1 0 218866158 69447680 14083 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16955 14083 90 219 0 16732 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 67820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24256 /proc/meminfo: memFree=1523304/2055920 swapFree=4183364/4192956 [pid=24253] ppid=24251 vsize=67820 CPUtime=1800.06 /proc/24253/stat : 24253 (PBS4_SAT07v2) R 24251 24253 23297 0 -1 4194304 17239 0 0 0 179839 167 0 0 25 0 1 0 218866158 69447680 14083 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24253/statm: 16955 14083 90 219 0 16732 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 67820 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1798.39 CPU system time (s): 1.68274 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 67820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.39 system time used= 1.68274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17240 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= 1375 runsolver used 1.2958 second user time and 3.62845 second system time The end
Begin job on node51 on Tue May 8 16:03:30 UTC 2007 IDJOB= 458670 IDBENCH= 1792 IDSOLVER= 200 FILE ID= node51/458670-1178640210 PBS_JOBID= 5218321 Free space on /tmp= 66562 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-pp08aCUTS.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-458670-1178640210 -o ROOT/results/node51/conversion-458670-1178640210 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-458670-1178640210 -o ROOT/results/node51/solver-458670-1178640210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458670-1178640210/instance-458670-1178640210.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 4a4829ccfb158b9e23ea953e29870120 RANDOM SEED= 99501638 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: 1580104 kB Buffers: 38220 kB Cached: 314592 kB SwapCached: 3644 kB Active: 98576 kB Inactive: 264524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1580104 kB SwapTotal: 4192956 kB SwapFree: 4183364 kB Dirty: 2460 kB Writeback: 0 kB Mapped: 16332 kB Slab: 98804 kB Committed_AS: 8762244 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 Tue May 8 16:33:33 UTC 2007