Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.17 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb |
MD5SUM | 7ddc5796bc843f2bf9bc94a0b22fd8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -4362 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4362 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 334 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526119 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 254588 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526119 |
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/351779-1176613279/instance-351779-1176613279.opb ...... 0.19/0.27 c done parsing opb. 0.19/0.27 o 522848 0.29/0.37 o 522710 0.39/0.46 o 522698 0.49/0.55 o 522664 0.59/0.65 o 522506 0.69/0.74 o 522504 0.79/0.83 o 522486 0.89/0.93 o 522372 0.99/1.02 o 522300 1.09/1.11 o 522236 1.19/1.21 o 522229 1.29/1.30 o 522203 1.29/1.39 o 522169 1.39/1.49 o 522159 1.49/1.58 o 522155 1.59/1.67 o 522149 1.69/1.77 o 522136 1.79/1.86 o 522101 1.89/1.95 o 521950 1.99/2.05 o 521940 2.09/2.14 o 521925 2.19/2.23 o 521905 2.28/2.33 o 521868 2.38/2.42 o 521845 2.48/2.51 o 521818 2.59/2.61 o 521720 2.69/2.70 o 521651 2.69/2.79 o 521551 2.79/2.89 o 521541 2.88/2.98 o 521510 2.99/3.08 o 521503 3.09/3.17 o 521464 3.19/3.26 o 521343 3.29/3.36 o 521310 3.39/3.45 o 521267 3.49/3.54 o 521213 3.59/3.64 o 521185 3.69/3.73 o 521041 3.79/3.82 o 521039 3.89/3.92 o 521024 3.99/4.01 o 521004 4.09/4.10 o 520980 4.09/4.20 o 520974 4.19/4.29 o 520905 4.29/4.38 o 520863 4.39/4.48 o 520740 4.78/4.89 o 520656 58.02/58.14 o 520533 58.12/58.24 o 520503 58.22/58.33 o 520490 58.32/58.42 o 520313 58.42/58.51 o 520149 58.52/58.61 o 520147 58.62/58.70 o 519983 58.72/58.85 o 519982 58.82/58.97 o 516834 59.02/59.11 o 516813 827.70/828.02 o 516786 1800.03/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-351779-1176613279 -o ROOT/results/node35/solver-351779-1176613279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351779-1176613279/PBS4 /tmp/evaluation/351779-1176613279/instance-351779-1176613279.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.97 3/83 23785 /proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=1980 CPUtime=0 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 307 0 0 0 0 0 0 0 18 0 1 0 109243311 2027520 289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/23785/statm: 495 289 86 219 0 272 0 [startup+0.069278 s] /proc/loadavg: 0.91 0.95 0.97 3/83 23785 /proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=2384 CPUtime=0.06 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 377 0 0 0 6 0 0 0 18 0 1 0 109243311 2441216 359 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134635964 0 0 4096 0 0 0 0 17 1 0 0 /proc/23785/statm: 596 359 87 219 0 373 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2384 [startup+0.101278 s] /proc/loadavg: 0.91 0.95 0.97 3/83 23785 /proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=2384 CPUtime=0.09 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 388 0 0 0 9 0 0 0 18 0 1 0 109243311 2441216 370 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134589665 0 0 4096 0 0 0 0 17 1 0 0 /proc/23785/statm: 596 370 87 219 0 373 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2384 [startup+0.301301 s] /proc/loadavg: 0.91 0.95 0.97 3/83 23785 /proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=3064 CPUtime=0.29 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 29 0 0 0 19 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 766 567 102 219 0 543 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3064 [startup+0.701349 s] /proc/loadavg: 0.91 0.95 0.97 3/83 23785 /proc/meminfo: memFree=1664320/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=3064 CPUtime=0.69 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 69 0 0 0 22 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 766 567 102 219 0 543 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3064 [startup+1.50144 s] /proc/loadavg: 0.91 0.95 0.97 2/84 23804 /proc/meminfo: memFree=1662328/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=3064 CPUtime=1.49 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 149 0 0 0 25 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 766 567 102 219 0 543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3064 [startup+3.10263 s] /proc/loadavg: 0.92 0.95 0.97 2/84 23804 /proc/meminfo: memFree=1662200/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=3064 CPUtime=3.09 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 585 0 0 0 308 1 0 0 25 0 1 0 109243311 3137536 567 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 766 567 102 219 0 543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3064 [startup+6.302 s] /proc/loadavg: 0.92 0.95 0.97 2/84 23812 /proc/meminfo: memFree=1660424/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=11000 CPUtime=6.28 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 1824 0 0 0 626 2 0 0 25 0 1 0 109243311 11264000 1806 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 2750 1806 103 219 0 2527 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11000 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.97 2/84 23834 /proc/meminfo: memFree=1638088/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=35904 CPUtime=12.66 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 7063 0 0 0 1261 5 0 0 25 0 1 0 109243311 36765696 7045 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 8976 7045 103 219 0 8753 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 35904 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.97 2/84 23866 /proc/meminfo: memFree=1599808/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=68940 CPUtime=25.45 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 16341 0 0 0 2535 10 0 0 25 0 1 0 109243311 70594560 16323 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134783588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 17235 16323 103 219 0 17012 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 68940 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.97 2/78 23894 /proc/meminfo: memFree=1533048/2055920 swapFree=4056780/4192956 [pid=23785] ppid=23783 vsize=135244 CPUtime=51.02 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 33506 0 0 0 5084 18 0 0 25 0 1 0 109243311 138489856 33439 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 33811 33439 104 219 0 33588 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 135244 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 23894 /proc/meminfo: memFree=1465784/2055920 swapFree=4056844/4192956 [pid=23785] ppid=23783 vsize=267908 CPUtime=102.21 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 49854 0 0 0 10194 27 0 0 25 0 1 0 109243311 274337792 49787 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 66977 49787 104 219 0 66754 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 267908 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1464888/2055920 swapFree=4056844/4192956 [pid=23785] ppid=23783 vsize=269020 CPUtime=162.2 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 50159 0 0 0 16191 29 0 0 25 0 1 0 109243311 275476480 49995 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 67255 49995 104 219 0 67032 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 269020 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1463224/2055920 swapFree=4056844/4192956 [pid=23785] ppid=23783 vsize=270880 CPUtime=222.17 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 50645 0 0 0 22186 31 0 0 25 0 1 0 109243311 277381120 50481 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 67720 50481 104 219 0 67497 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 270880 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1366264/2055920 swapFree=4056912/4192956 [pid=23785] ppid=23783 vsize=405876 CPUtime=282.16 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 74870 0 0 0 28169 47 0 0 25 0 1 0 109243311 415617024 74513 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 101469 74513 104 219 0 101246 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 405876 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1248120/2055920 swapFree=4056912/4192956 [pid=23785] ppid=23783 vsize=606236 CPUtime=342.14 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 104646 0 0 0 34152 62 0 0 25 0 1 0 109243311 620785664 104289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 151559 104289 104 219 0 151336 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 606236 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1133368/2055920 swapFree=4056976/4192956 [pid=23785] ppid=23783 vsize=611604 CPUtime=402.12 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 133026 0 0 0 40136 76 0 0 25 0 1 0 109243311 626282496 132669 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134561164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 152901 132669 104 219 0 152678 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 611604 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1076536/2055920 swapFree=4056976/4192956 [pid=23785] ppid=23783 vsize=618736 CPUtime=462.1 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 147219 0 0 0 46125 85 0 0 25 0 1 0 109243311 633585664 146862 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 154684 146862 104 219 0 154461 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 618736 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=1042808/2055920 swapFree=4056976/4192956 [pid=23785] ppid=23783 vsize=743168 CPUtime=522.09 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 155350 0 0 0 52112 97 0 0 25 0 1 0 109243311 761004032 154993 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549281 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 185792 154993 104 219 0 185569 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 743168 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=994488/2055920 swapFree=4057040/4192956 [pid=23785] ppid=23783 vsize=748124 CPUtime=582.07 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 167801 0 0 0 58103 104 0 0 25 0 1 0 109243311 766078976 167059 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134570274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 187031 167059 104 219 0 186808 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 748124 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=991864/2055920 swapFree=4057040/4192956 [pid=23785] ppid=23783 vsize=751136 CPUtime=642.05 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 168441 0 0 0 64098 107 0 0 25 0 1 0 109243311 769163264 167699 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 187784 167699 104 219 0 187561 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 751136 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=877816/2055920 swapFree=4057168/4192956 [pid=23785] ppid=23783 vsize=906556 CPUtime=881.98 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 196903 0 0 0 88069 129 0 0 25 0 1 0 109243311 928313344 196161 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 226639 196161 104 219 0 226416 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 906556 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=852984/2055920 swapFree=4057168/4192956 [pid=23785] ppid=23783 vsize=908296 CPUtime=941.96 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 203106 0 0 0 94061 135 0 0 25 0 1 0 109243311 930095104 202364 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 227074 202364 104 219 0 226851 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 908296 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=852664/2055920 swapFree=4057232/4192956 [pid=23785] ppid=23783 vsize=908772 CPUtime=1001.94 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 203213 0 0 0 100056 138 0 0 25 0 1 0 109243311 930582528 202471 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 227193 202471 104 219 0 226970 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 908772 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=851960/2055920 swapFree=4057232/4192956 [pid=23785] ppid=23783 vsize=909172 CPUtime=1061.93 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 203384 0 0 0 106052 141 0 0 25 0 1 0 109243311 930992128 202642 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 227293 202642 104 219 0 227070 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 909172 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=850936/2055920 swapFree=4057296/4192956 [pid=23785] ppid=23783 vsize=913100 CPUtime=1121.92 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 204400 0 0 0 112047 145 0 0 25 0 1 0 109243311 935014400 202889 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 228275 202889 104 219 0 228052 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 913100 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=849144/2055920 swapFree=4057296/4192956 [pid=23785] ppid=23783 vsize=914996 CPUtime=1181.9 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 204835 0 0 0 118042 148 0 0 25 0 1 0 109243311 936955904 203324 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 228749 203324 104 219 0 228526 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 914996 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=846584/2055920 swapFree=4057296/4192956 [pid=23785] ppid=23783 vsize=917848 CPUtime=1241.88 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 205449 0 0 0 124037 151 0 0 25 0 1 0 109243311 939876352 203938 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 229462 203938 104 219 0 229239 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 917848 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=844920/2055920 swapFree=4057360/4192956 [pid=23785] ppid=23783 vsize=919672 CPUtime=1301.86 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 205853 0 0 0 130032 154 0 0 25 0 1 0 109243311 941744128 204342 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 229918 204342 104 219 0 229695 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 919672 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=843192/2055920 swapFree=4057360/4192956 [pid=23785] ppid=23783 vsize=921720 CPUtime=1361.84 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 206284 0 0 0 136027 157 0 0 25 0 1 0 109243311 943841280 204773 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134585699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 230430 204773 104 219 0 230207 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 921720 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=842424/2055920 swapFree=4057424/4192956 [pid=23785] ppid=23783 vsize=922664 CPUtime=1421.83 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 206503 0 0 0 142023 160 0 0 25 0 1 0 109243311 944807936 204992 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 230666 204992 104 219 0 230443 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 922664 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 3/78 23894 /proc/meminfo: memFree=841272/2055920 swapFree=4057424/4192956 [pid=23785] ppid=23783 vsize=923976 CPUtime=1481.81 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 206783 0 0 0 148018 163 0 0 25 0 1 0 109243311 946151424 205272 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 230994 205272 104 219 0 230771 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 923976 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=837752/2055920 swapFree=4057424/4192956 [pid=23785] ppid=23783 vsize=927804 CPUtime=1541.79 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 207656 0 0 0 154012 167 0 0 25 0 1 0 109243311 950071296 206145 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 231951 206145 104 219 0 231728 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 927804 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=837048/2055920 swapFree=4057488/4192956 [pid=23785] ppid=23783 vsize=928284 CPUtime=1601.77 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 207823 0 0 0 160007 170 0 0 25 0 1 0 109243311 950562816 206312 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 232071 206312 104 219 0 231848 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 928284 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=836280/2055920 swapFree=4057488/4192956 [pid=23785] ppid=23783 vsize=928924 CPUtime=1661.76 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208012 0 0 0 166002 174 0 0 25 0 1 0 109243311 951218176 206501 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134585932 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 232231 206501 104 219 0 232008 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 928924 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=835384/2055920 swapFree=4057552/4192956 [pid=23785] ppid=23783 vsize=929872 CPUtime=1721.74 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208249 0 0 0 171997 177 0 0 25 0 1 0 109243311 952188928 206738 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 232468 206738 104 219 0 232245 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 929872 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=835000/2055920 swapFree=4057552/4192956 [pid=23785] ppid=23783 vsize=929872 CPUtime=1781.73 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208327 0 0 0 177992 181 0 0 25 0 1 0 109243311 952188928 206816 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 232468 206816 104 219 0 232245 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 929872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23894 /proc/meminfo: memFree=834872/2055920 swapFree=4057552/4192956 [pid=23785] ppid=23783 vsize=929872 CPUtime=1800.03 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194304 208354 0 0 0 179821 182 0 0 25 0 1 0 109243311 952188928 206843 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 232468 206843 104 219 0 232245 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 929872 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.97 2/78 23894 /proc/meminfo: memFree=834872/2055920 swapFree=4057552/4192956 [pid=23785] ppid=23783 vsize=0 CPUtime=1800.13 /proc/23785/stat : 23785 (PBS4) R 23783 23785 23263 0 -1 4194308 208355 0 0 0 179821 192 0 0 25 0 1 0 109243311 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23785/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.17 CPU user time (s): 1798.22 CPU system time (s): 1.9527 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 929872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.22 system time used= 1.9527 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 208355 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= 2550 runsolver used 2.25366 second user time and 4.23136 second system time The end
Begin job on node35 on Sun Apr 15 05:01:19 UTC 2007 IDJOB= 351779 IDBENCH= 1810 IDSOLVER= 157 FILE ID= node35/351779-1176613279 PBS_JOBID= 4557027 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 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-mkc.opb COMMAND LINE= /tmp/evaluation/351779-1176613279/PBS4 /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-351779-1176613279 -o ROOT/results/node35/conversion-351779-1176613279 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-351779-1176613279 -o ROOT/results/node35/solver-351779-1176613279 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351779-1176613279/PBS4 /tmp/evaluation/351779-1176613279/instance-351779-1176613279.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 7ddc5796bc843f2bf9bc94a0b22fd8e4 RANDOM SEED= 779638244 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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.232 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.232 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: 1664664 kB Buffers: 49900 kB Cached: 210656 kB SwapCached: 2944 kB Active: 138596 kB Inactive: 175456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664664 kB SwapTotal: 4192956 kB SwapFree: 4056780 kB Dirty: 1476 kB Writeback: 0 kB Mapped: 61564 kB Slab: 62044 kB Committed_AS: 866356 kB PageTables: 2236 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= 66563 MiB End job on node35 on Sun Apr 15 05:31:22 UTC 2007