Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_2.opb |
MD5SUM | fecc1e3404707b1609ea9647c91fc73f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -36 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 105 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37488 |
Sum of products size (including duplicates) | 74976 |
Number of different products | 18744 |
Sum of products size | 37488 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/454164-1178022228/instance-454164-1178022228.opb ...... 0.59/0.69 c done parsing opb. 0.59/0.69 o 476 0.69/0.71 o 475 0.69/0.79 o 474 1.10/1.16 o 473 1.10/1.18 o 471 2.79/2.81 o 470 9.89/9.95 o 469 14.59/14.67 o 468 14.69/14.72 o 467 16.39/16.45 o 466 708.13/708.47 o 465 760.60/760.97 o 464 1800.02/1800.71 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/454164-1178022228/instance-454164-1178022228.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-454164-1178022228 -o ROOT/results/node66/solver-454164-1178022228 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454164-1178022228/PBS4 /tmp/evaluation/454164-1178022228/instance-454164-1178022228.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.91 0.95 0.98 3/64 20907 /proc/meminfo: memFree=1907192/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=3132 CPUtime=0 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 477 0 0 0 0 0 0 0 18 0 1 0 278212547 3207168 460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0 /proc/20907/statm: 783 464 81 219 0 560 0 [startup+0.07568 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20907 /proc/meminfo: memFree=1907192/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=5360 CPUtime=0.06 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 1122 0 0 0 6 0 0 0 18 0 1 0 278212547 5488640 1105 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/20907/statm: 1340 1105 87 219 0 1117 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5360 [startup+0.101684 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20907 /proc/meminfo: memFree=1907192/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=5360 CPUtime=0.09 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 1125 0 0 0 9 0 0 0 18 0 1 0 278212547 5488640 1108 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/20907/statm: 1340 1108 87 219 0 1117 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5360 [startup+0.301725 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20907 /proc/meminfo: memFree=1907192/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=8716 CPUtime=0.29 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 2036 0 0 0 28 1 0 0 19 0 1 0 278212547 8925184 1986 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529723 0 0 4096 0 0 0 0 17 1 0 0 /proc/20907/statm: 2179 1986 88 219 0 1956 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8716 [startup+0.701804 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20907 /proc/meminfo: memFree=1907192/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=13032 CPUtime=0.69 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 3075 0 0 0 68 1 0 0 22 0 1 0 278212547 13344768 2768 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 3258 2768 104 219 0 3035 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13032 [startup+1.50196 s] /proc/loadavg: 0.91 0.95 0.98 2/65 20908 /proc/meminfo: memFree=1894832/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=20200 CPUtime=1.49 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 4176 0 0 0 147 2 0 0 25 0 1 0 278212547 20684800 3869 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 5050 3869 104 219 0 4827 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20200 [startup+3.10128 s] /proc/loadavg: 0.91 0.95 0.98 2/65 20908 /proc/meminfo: memFree=1889072/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=28528 CPUtime=3.09 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 5986 0 0 0 305 4 0 0 25 0 1 0 278212547 29212672 5679 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 7132 5681 104 219 0 6909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28528 [startup+6.30192 s] /proc/loadavg: 0.92 0.95 0.98 2/65 20908 /proc/meminfo: memFree=1875184/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=45044 CPUtime=6.29 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 9156 0 0 0 622 7 0 0 25 0 1 0 278212547 46125056 8849 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 11261 8849 104 219 0 11038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45044 [startup+12.7012 s] /proc/loadavg: 0.93 0.95 0.98 3/65 20908 /proc/meminfo: memFree=1857592/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=79784 CPUtime=12.69 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 13417 0 0 0 1258 11 0 0 25 0 1 0 278212547 81698816 12806 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 19946 12806 104 219 0 19723 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79784 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.98 2/65 20908 /proc/meminfo: memFree=1843832/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=84644 CPUtime=25.48 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 16981 0 0 0 2535 13 0 0 25 0 1 0 278212547 86675456 15838 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 21161 15838 104 219 0 20938 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84644 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.98 2/65 20908 /proc/meminfo: memFree=1836088/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=88056 CPUtime=51.07 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 20049 0 0 0 5089 18 0 0 25 0 1 0 278212547 90169344 17804 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 22014 17804 104 219 0 21791 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 88056 [startup+102.304 s] /proc/loadavg: 0.98 0.96 0.98 2/65 20908 /proc/meminfo: memFree=1831160/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=92972 CPUtime=102.25 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 23738 0 0 0 10200 25 0 0 25 0 1 0 278212547 95203328 19018 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 23243 19018 104 219 0 23020 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 92972 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1828024/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=98484 CPUtime=162.23 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 27682 0 0 0 16189 34 0 0 25 0 1 0 278212547 100847616 19799 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 24621 19799 104 219 0 24398 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 98484 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1825528/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=99756 CPUtime=222.21 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 30628 0 0 0 22177 44 0 0 25 0 1 0 278212547 102150144 20427 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 24939 20427 104 219 0 24716 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 99756 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1822584/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=102096 CPUtime=282.18 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 33567 0 0 0 28167 51 0 0 25 0 1 0 278212547 104546304 21162 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 25524 21162 104 219 0 25301 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 102096 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1820088/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=109240 CPUtime=342.16 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 37889 0 0 0 34156 60 0 0 25 0 1 0 278212547 111861760 21743 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 27310 21743 104 219 0 27087 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 109240 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1818040/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=110696 CPUtime=402.14 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 40564 0 0 0 40147 67 0 0 25 0 1 0 278212547 113352704 22290 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134563249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 27674 22290 104 219 0 27451 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 110696 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1815992/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=112136 CPUtime=462.11 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 43143 0 0 0 46137 74 0 0 25 0 1 0 278212547 114827264 22779 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 28034 22779 104 219 0 27811 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 112136 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1814072/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=112836 CPUtime=522.09 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 45634 0 0 0 52127 82 0 0 25 0 1 0 278212547 115544064 23256 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 28209 23256 104 219 0 27986 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 112836 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1812152/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=113740 CPUtime=582.07 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 48112 0 0 0 58118 89 0 0 25 0 1 0 278212547 116469760 23720 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134532183 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 28435 23720 104 219 0 28212 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 113740 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1810360/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=114532 CPUtime=642.05 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 50536 0 0 0 64109 96 0 0 25 0 1 0 278212547 117280768 24168 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 28633 24168 104 219 0 28410 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 114532 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1803256/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=131148 CPUtime=881.96 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 62806 0 0 0 88071 125 0 0 25 0 1 0 278212547 134295552 25917 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 32787 25917 104 219 0 32564 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 131148 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1801720/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=132220 CPUtime=941.93 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 64989 0 0 0 94064 129 0 0 25 0 1 0 278212547 135393280 26314 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 33055 26314 104 219 0 32832 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 132220 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1800056/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=132220 CPUtime=1001.91 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 67126 0 0 0 100056 135 0 0 25 0 1 0 278212547 135393280 26703 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 33055 26703 104 219 0 32832 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 132220 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1798456/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=133360 CPUtime=1061.89 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 69226 0 0 0 106047 142 0 0 25 0 1 0 278212547 136560640 27093 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 33340 27093 104 219 0 33117 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 133360 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20908 /proc/meminfo: memFree=1796600/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=134888 CPUtime=1121.86 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 71403 0 0 0 112038 148 0 0 25 0 1 0 278212547 138125312 27560 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 33722 27560 104 219 0 33499 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 134888 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1795192/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=134888 CPUtime=1181.84 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 73437 0 0 0 118029 155 0 0 25 0 1 0 278212547 138125312 27922 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 33722 27922 104 219 0 33499 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 134888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1793592/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=136332 CPUtime=1241.82 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 75405 0 0 0 124021 161 0 0 25 0 1 0 278212547 139603968 28294 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 34083 28294 104 219 0 33860 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 136332 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1792120/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=136332 CPUtime=1301.81 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 77445 0 0 0 130014 167 0 0 25 0 1 0 278212547 139603968 28662 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 34083 28662 104 219 0 33860 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 136332 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1790648/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=137696 CPUtime=1361.78 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 79391 0 0 0 136006 172 0 0 25 0 1 0 278212547 141000704 29012 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 34424 29012 104 219 0 34201 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 137696 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1789176/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=137888 CPUtime=1421.76 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 81404 0 0 0 141999 177 0 0 25 0 1 0 278212547 141197312 29391 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 34472 29391 104 219 0 34249 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 137888 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1787768/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=139336 CPUtime=1481.73 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 83351 0 0 0 147990 183 0 0 25 0 1 0 278212547 142680064 29742 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 34834 29742 104 219 0 34611 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 139336 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1786296/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=139336 CPUtime=1541.71 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 85301 0 0 0 153983 188 0 0 25 0 1 0 278212547 142680064 30096 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 34834 30096 104 219 0 34611 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 139336 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1784952/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=140876 CPUtime=1601.68 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 87200 0 0 0 159974 194 0 0 25 0 1 0 278212547 144257024 30437 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 35219 30437 104 219 0 34996 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 140876 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1783352/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=141036 CPUtime=1661.66 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 89145 0 0 0 165966 200 0 0 25 0 1 0 278212547 144420864 30824 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 35259 30824 104 219 0 35036 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 141036 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1781944/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=142864 CPUtime=1721.64 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 91053 0 0 0 171957 207 0 0 25 0 1 0 278212547 146292736 31174 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 35716 31174 104 219 0 35493 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 142864 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1780536/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=167440 CPUtime=1781.62 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 99098 0 0 0 177947 215 0 0 25 0 1 0 278212547 171458560 31516 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 41860 31516 104 219 0 41637 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 167440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1779960/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=167440 CPUtime=1800.02 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 99714 0 0 0 179786 216 0 0 25 0 1 0 278212547 171458560 31638 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 41860 31638 104 219 0 41637 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 167440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20910 /proc/meminfo: memFree=1779960/2055920 swapFree=4183004/4192956 [pid=20907] ppid=20905 vsize=167440 CPUtime=1800.02 /proc/20907/stat : 20907 (PBS4) R 20905 20907 20577 0 -1 4194304 99714 0 0 0 179786 216 0 0 25 0 1 0 278212547 171458560 31638 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20907/statm: 41860 31638 104 219 0 41637 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 167440 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.05 CPU user time (s): 1797.86 CPU system time (s): 2.18667 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 192020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.86 system time used= 2.18667 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99715 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= 2008 runsolver used 1.40379 second user time and 3.52246 second system time The end
Begin job on node66 on Tue May 1 12:23:49 UTC 2007 IDJOB= 454164 IDBENCH= 48179 IDSOLVER= 157 FILE ID= node66/454164-1178022228 PBS_JOBID= 4728376 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_2.opb COMMAND LINE= /tmp/evaluation/454164-1178022228/PBS4 /tmp/evaluation/454164-1178022228/instance-454164-1178022228.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-454164-1178022228 -o ROOT/results/node66/conversion-454164-1178022228 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454164-1178022228/instance-454164-1178022228.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-454164-1178022228 -o ROOT/results/node66/solver-454164-1178022228 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454164-1178022228/PBS4 /tmp/evaluation/454164-1178022228/instance-454164-1178022228.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED= 495409233 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1907536 kB Buffers: 8748 kB Cached: 63516 kB SwapCached: 3624 kB Active: 56940 kB Inactive: 27784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1907536 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 2772 kB Writeback: 0 kB Mapped: 18376 kB Slab: 49676 kB Committed_AS: 3122492 kB PageTables: 1384 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 node66 on Tue May 1 12:53:53 UTC 2007