Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.06 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb |
MD5SUM | c81149f534c8693c12d254417cbfee8f |
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 | 10740 |
Total number of constraints | 377 |
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 | 377 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 8460 |
Biggest coefficient in the objective function | 9370 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531275 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531275 |
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/458573-1178635937/instance-458573-1178635937.opb ...... 1800.03/1800.61 c done parsing opb. 1800.03/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/458573-1178635937/instance-458573-1178635937.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-458573-1178635937 -o ROOT/results/node45/solver-458573-1178635937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458573-1178635937/instance-458573-1178635937.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.27 1.06 1.02 4/77 5624 /proc/meminfo: memFree=1365704/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=2784 CPUtime=0 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 470 0 0 0 0 0 0 0 18 0 1 0 218439342 2850816 452 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134594883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 696 453 80 219 0 473 0 [startup+0.019623 s] /proc/loadavg: 1.27 1.06 1.02 4/77 5624 /proc/meminfo: memFree=1365704/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=2916 CPUtime=0.01 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 536 0 0 0 1 0 0 0 18 0 1 0 218439342 2985984 518 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 729 518 84 219 0 506 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2916 [startup+0.10163 s] /proc/loadavg: 1.27 1.06 1.02 4/77 5624 /proc/meminfo: memFree=1365704/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=3372 CPUtime=0.09 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 218439342 3452928 600 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 843 600 86 219 0 620 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3372 [startup+0.301651 s] /proc/loadavg: 1.27 1.06 1.02 4/77 5624 /proc/meminfo: memFree=1365704/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=3508 CPUtime=0.29 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 652 0 0 0 29 0 0 0 20 0 1 0 218439342 3592192 634 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 877 634 86 219 0 654 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3508 [startup+0.701691 s] /proc/loadavg: 1.27 1.06 1.02 4/77 5624 /proc/meminfo: memFree=1365704/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=7136 CPUtime=0.69 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 1980 0 0 0 69 0 0 0 24 0 1 0 218439342 7307264 1319 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 1784 1319 90 219 0 1561 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7136 [startup+1.50177 s] /proc/loadavg: 1.27 1.06 1.02 2/78 5625 /proc/meminfo: memFree=1360512/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=7904 CPUtime=1.49 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 2112 0 0 0 148 1 0 0 25 0 1 0 218439342 8093696 1451 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 1976 1451 90 219 0 1753 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7904 [startup+3.10193 s] /proc/loadavg: 1.27 1.06 1.02 2/78 5625 /proc/meminfo: memFree=1359808/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=8928 CPUtime=3.09 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 2293 0 0 0 308 1 0 0 25 0 1 0 218439342 9142272 1632 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 2232 1632 90 219 0 2009 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8928 [startup+6.30126 s] /proc/loadavg: 1.25 1.06 1.02 2/78 5625 /proc/meminfo: memFree=1358592/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=11240 CPUtime=6.29 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 2550 0 0 0 628 1 0 0 25 0 1 0 218439342 11509760 1889 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 2810 1889 90 219 0 2587 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11240 [startup+12.7019 s] /proc/loadavg: 1.23 1.06 1.02 2/78 5625 /proc/meminfo: memFree=1357376/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=11480 CPUtime=12.69 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 2800 0 0 0 1267 2 0 0 25 0 1 0 218439342 11755520 2090 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 2870 2090 90 219 0 2647 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11480 [startup+25.5012 s] /proc/loadavg: 1.18 1.06 1.01 2/78 5625 /proc/meminfo: memFree=1356032/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=11644 CPUtime=25.48 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 3142 0 0 0 2545 3 0 0 25 0 1 0 218439342 11923456 2432 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 2911 2432 90 219 0 2688 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11644 [startup+51.1018 s] /proc/loadavg: 1.12 1.05 1.01 2/78 5625 /proc/meminfo: memFree=1352640/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=16652 CPUtime=51.07 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 4078 0 0 0 5101 6 0 0 25 0 1 0 218439342 17051648 3271 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 4163 3271 90 219 0 3940 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16652 [startup+102.305 s] /proc/loadavg: 1.05 1.04 1.01 2/78 5625 /proc/meminfo: memFree=1348032/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=26440 CPUtime=102.27 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 5416 0 0 0 10216 11 0 0 25 0 1 0 218439342 27074560 4416 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 6610 4416 90 219 0 6387 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26440 [startup+162.301 s] /proc/loadavg: 1.02 1.03 1.00 2/78 5625 /proc/meminfo: memFree=1342720/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=27720 CPUtime=162.25 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 6796 0 0 0 16209 16 0 0 25 0 1 0 218439342 28385280 5796 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 6930 5796 90 219 0 6707 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27720 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 5625 /proc/meminfo: memFree=1337536/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=45168 CPUtime=222.23 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 8020 0 0 0 22201 22 0 0 25 0 1 0 218439342 46252032 7020 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 11292 7020 90 219 0 11069 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45168 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 5625 /proc/meminfo: memFree=1333120/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=47248 CPUtime=282.22 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 9509 0 0 0 28196 26 0 0 25 0 1 0 218439342 48381952 8124 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 11812 8124 90 219 0 11589 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47248 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 5625 /proc/meminfo: memFree=1329728/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=48128 CPUtime=342.2 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 10346 0 0 0 34190 30 0 0 25 0 1 0 218439342 49283072 8961 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 12032 8961 90 219 0 11809 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 48128 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 5625 /proc/meminfo: memFree=1326208/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=48500 CPUtime=402.18 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 11231 0 0 0 40185 33 0 0 25 0 1 0 218439342 49664000 9846 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134561136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 12125 9846 90 219 0 11902 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 48500 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5625 /proc/meminfo: memFree=1321728/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=49208 CPUtime=462.17 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 12328 0 0 0 46179 38 0 0 25 0 1 0 218439342 50388992 10943 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 12302 10943 90 219 0 12079 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 49208 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5625 /proc/meminfo: memFree=1318272/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=50036 CPUtime=522.15 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 13190 0 0 0 52174 41 0 0 25 0 1 0 218439342 51236864 11805 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 12509 11805 90 219 0 12286 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 50036 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1316400/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=83128 CPUtime=582.03 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 13586 0 0 0 58159 44 0 0 25 0 1 0 218439342 85123072 12201 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 20782 12201 90 219 0 20559 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 83128 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1312832/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=87052 CPUtime=642.03 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 15287 0 0 0 64154 49 0 0 25 0 1 0 218439342 89141248 13133 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 21763 13133 90 219 0 21540 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 87052 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1305152/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=88616 CPUtime=821.98 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 17214 0 0 0 82139 59 0 0 25 0 1 0 218439342 90742784 15060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 22154 15060 90 219 0 21931 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 88616 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1301248/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=89824 CPUtime=881.96 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 18193 0 0 0 88134 62 0 0 25 0 1 0 218439342 91979776 16039 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 22456 16039 90 219 0 22233 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 89824 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1299840/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=91164 CPUtime=941.94 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 18547 0 0 0 94130 64 0 0 25 0 1 0 218439342 93351936 16393 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 22791 16393 90 219 0 22568 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 91164 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1298880/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=91732 CPUtime=1001.93 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 18811 0 0 0 100126 67 0 0 25 0 1 0 218439342 93933568 16657 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 22933 16657 90 219 0 22710 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 91732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1298304/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=92312 CPUtime=1061.91 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 18974 0 0 0 106122 69 0 0 25 0 1 0 218439342 94527488 16820 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23078 16820 90 219 0 22855 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 92312 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5823 /proc/meminfo: memFree=1296832/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=92312 CPUtime=1121.9 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 19342 0 0 0 112118 72 0 0 25 0 1 0 218439342 94527488 17188 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546880 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23078 17188 90 219 0 22855 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 92312 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1295104/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=92864 CPUtime=1181.89 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 19766 0 0 0 118114 75 0 0 25 0 1 0 218439342 95092736 17612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23216 17612 90 219 0 22993 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 92864 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1294528/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=93224 CPUtime=1241.87 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 19895 0 0 0 124110 77 0 0 25 0 1 0 218439342 95461376 17741 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23306 17741 90 219 0 23083 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 93224 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1293888/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=93864 CPUtime=1301.85 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 20059 0 0 0 130106 79 0 0 25 0 1 0 218439342 96116736 17905 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23466 17905 90 219 0 23243 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 93864 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1293504/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=93996 CPUtime=1361.84 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 20166 0 0 0 136102 82 0 0 25 0 1 0 218439342 96251904 18012 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23499 18012 90 219 0 23276 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 93996 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1293184/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=93996 CPUtime=1421.83 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 20229 0 0 0 142099 84 0 0 25 0 1 0 218439342 96251904 18075 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23499 18075 90 219 0 23276 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 93996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1292288/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=94388 CPUtime=1481.8 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 20465 0 0 0 148093 87 0 0 25 0 1 0 218439342 96653312 18311 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23597 18311 90 219 0 23374 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 94388 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1289600/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=94648 CPUtime=1541.79 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 21167 0 0 0 154088 91 0 0 25 0 1 0 218439342 96919552 18980 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23662 18980 90 219 0 23439 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 94648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1288384/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=94912 CPUtime=1601.78 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 21480 0 0 0 160085 93 0 0 25 0 1 0 218439342 97189888 19293 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 23728 19293 90 219 0 23505 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 94912 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1286016/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=101188 CPUtime=1661.76 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 23601 0 0 0 166080 96 0 0 25 0 1 0 218439342 103616512 19877 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 25297 19877 90 219 0 25074 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 101188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1283648/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=101988 CPUtime=1721.75 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 24196 0 0 0 172076 99 0 0 25 0 1 0 218439342 104435712 20472 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 25497 20472 90 219 0 25274 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 101988 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1280576/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=102776 CPUtime=1781.72 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 24945 0 0 0 178071 101 0 0 25 0 1 0 218439342 105242624 21221 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 25694 21221 90 219 0 25471 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 102776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5825 /proc/meminfo: memFree=1279808/2055920 swapFree=4157932/4192956 [pid=5624] ppid=5622 vsize=102904 CPUtime=1800.03 /proc/5624/stat : 5624 (PBS4_SAT07v2) R 5622 5624 4815 0 -1 4194304 25173 0 0 0 179901 102 0 0 25 0 1 0 218439342 105373696 21416 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5624/statm: 25726 21416 90 219 0 25503 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 102904 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.06 CPU user time (s): 1799.02 CPU system time (s): 1.03984 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 102904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.03984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25174 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= 37547 runsolver used 1.45478 second user time and 4.19636 second system time The end
Begin job on node45 on Tue May 8 14:52:17 UTC 2007 IDJOB= 458573 IDBENCH= 1687 IDSOLVER= 200 FILE ID= node45/458573-1178635937 PBS_JOBID= 5218289 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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458573-1178635937/instance-458573-1178635937.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-458573-1178635937 -o ROOT/results/node45/conversion-458573-1178635937 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458573-1178635937/instance-458573-1178635937.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-458573-1178635937 -o ROOT/results/node45/solver-458573-1178635937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458573-1178635937/instance-458573-1178635937.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= c81149f534c8693c12d254417cbfee8f RANDOM SEED= 752888683 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1366112 kB Buffers: 38812 kB Cached: 519564 kB SwapCached: 14388 kB Active: 236912 kB Inactive: 345188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1366112 kB SwapTotal: 4192956 kB SwapFree: 4157932 kB Dirty: 2776 kB Writeback: 0 kB Mapped: 30828 kB Slab: 93240 kB Committed_AS: 3949504 kB PageTables: 1732 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 node45 on Tue May 8 15:22:20 UTC 2007