Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.54 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fiber.opb |
MD5SUM | c3570b707fa12d3d9c0d2ae31848c1b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 65442871 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65313511 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 72966962 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4807778524 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 4807778524 |
Number of bits of the biggest sum of numbers | 33 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354355-1176706047/instance-354355-1176706047.opb 0.00/0.00 c File size is 67175 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Highest Coefficient sum: 4.80778e+09 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 2574 Constr: 726 146/492/88 Lit: 8440 Watch. Lit: 4916 0.00/0.01 c Obj. Vars: 1254 (48.7179 % of total variables) 0.00/0.03 c Pre-processing Time: 0.03 s 1799.96/1800.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.52 c 0 2077 612 7870 12 5263 12905 0 0 0.03 1799.96/1800.52 c 100 2077 712 11743 16 6596 14196 100 2439 0.04 1799.96/1800.52 c 251 2077 863 17251 19 6880 15616 251 5340 0.05 1799.96/1800.52 c 477 2077 1089 25023 22 7200 17178 477 7693 0.06 1799.96/1800.52 c 816 2077 1428 32579 22 7659 18896 816 9951 0.08 1799.96/1800.52 c 1328 2077 1940 49284 25 8606 20786 1328 11963 0.11 1799.96/1800.52 c 2091 2077 2703 71017 26 10040 22865 2091 11364 0.18 1799.96/1800.52 c 3237 2077 3849 98929 25 12303 25152 3237 12307 0.26 1799.96/1800.52 c 4958 2077 5570 140854 25 15743 27668 4958 11116 0.45 1799.96/1800.52 c 7542 2077 8154 203898 25 20909 30435 7542 6900 1.09 1799.96/1800.52 c 11421 2077 12033 298797 24 28672 33479 11421 3319 3.44 1799.96/1800.52 c 17243 2077 17855 441128 24 40310 36827 17243 2118 8.14 1799.96/1800.52 c 25981 2077 26593 654958 24 57792 40510 25981 1181 21.99 1799.96/1800.52 c 39091 2077 39703 976163 24 84006 44562 39091 684 57.15 1799.96/1800.52 c 58761 2077 25682 621875 24 55961 49019 25070 490 119.92 1799.96/1800.52 c 88274 2077 16601 542172 32 37813 53921 15989 614 143.66 1799.96/1800.52 c 132544 2077 18033 610312 33 40680 59314 17421 434 305.22 1799.96/1800.52 c 198954 2077 36308 1234631 34 77228 65246 35696 353 563.01 1799.96/1800.52 c 298576 2077 26563 947523 35 57724 71771 25951 311 958.70 1799.96/1800.52 c 448012 2077 56421 1346936 23 117481 78949 55809 326 1371.03 1799.96/1800.52 c Resources Exceeded 1799.96/1800.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.52 c 19 585801 2878 677872 59566 2266318 58954 325 1800.00 1799.96/1800.52 s UNKNOWN 1799.96/1800.52 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-354355-1176706047 -o ROOT/results/node57/solver-354355-1176706047 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354355-1176706047/instance-354355-1176706047.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.84 0.98 0.99 3/64 26256 /proc/meminfo: memFree=1792080/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=11804 CPUtime=0 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 111740699 12087296 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 2951 337 282 324 0 2003 0 [startup+0.042889 s] /proc/loadavg: 0.84 0.98 0.99 3/64 26256 /proc/meminfo: memFree=1792080/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=4696 CPUtime=0.03 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 609 0 0 0 2 1 0 0 18 0 1 0 111740699 4808704 560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 1174 560 311 324 0 243 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4696 [startup+0.101893 s] /proc/loadavg: 0.84 0.98 0.99 3/64 26256 /proc/meminfo: memFree=1792080/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=5092 CPUtime=0.09 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 711 0 0 0 8 1 0 0 18 0 1 0 111740699 5214208 662 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 1273 662 311 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301911 s] /proc/loadavg: 0.84 0.98 0.99 3/64 26256 /proc/meminfo: memFree=1792080/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=6276 CPUtime=0.29 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 998 0 0 0 27 2 0 0 19 0 1 0 111740699 6426624 949 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 1569 950 312 324 0 638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6276 [startup+0.701945 s] /proc/loadavg: 0.84 0.98 0.99 3/64 26256 /proc/meminfo: memFree=1792080/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=7452 CPUtime=0.69 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 1274 0 0 0 67 2 0 0 22 0 1 0 111740699 7630848 1225 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 1863 1225 312 324 0 932 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7452 [startup+1.50201 s] /proc/loadavg: 0.84 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1787912/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=8368 CPUtime=1.48 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 1503 0 0 0 146 2 0 0 25 0 1 0 111740699 8568832 1454 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 2092 1454 312 324 0 1161 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8368 [startup+3.10115 s] /proc/loadavg: 0.84 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1786824/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=9412 CPUtime=3.09 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 1766 0 0 0 306 3 0 0 25 0 1 0 111740699 9637888 1717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7826940 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 2353 1717 312 324 0 1422 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9412 [startup+6.30143 s] /proc/loadavg: 0.85 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1784456/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=11380 CPUtime=6.28 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 2279 0 0 0 625 3 0 0 25 0 1 0 111740699 11653120 2230 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 2845 2230 312 324 0 1914 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11380 [startup+12.702 s] /proc/loadavg: 0.86 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1782168/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=13464 CPUtime=12.69 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 2792 0 0 0 1264 5 0 0 25 0 1 0 111740699 13787136 2743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 3366 2743 312 324 0 2435 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13464 [startup+25.5011 s] /proc/loadavg: 0.89 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1778968/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=16588 CPUtime=25.48 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 3584 0 0 0 2541 7 0 0 25 0 1 0 111740699 16986112 3535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 4147 3535 312 324 0 3216 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16588 [startup+51.1013 s] /proc/loadavg: 0.93 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1775192/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=20380 CPUtime=51.07 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 4527 0 0 0 5097 10 0 0 25 0 1 0 111740699 20869120 4478 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 5095 4478 312 324 0 4164 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20380 [startup+102.306 s] /proc/loadavg: 0.97 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1771480/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=23892 CPUtime=102.26 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 5454 0 0 0 10212 14 0 0 25 0 1 0 111740699 24465408 5360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 5973 5360 312 324 0 5042 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23892 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1767064/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=28268 CPUtime=162.25 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 6592 0 0 0 16203 22 0 0 25 0 1 0 111740699 28946432 6448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 7067 6448 312 324 0 6136 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28268 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1762072/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=33416 CPUtime=222.23 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 7886 0 0 0 22197 26 0 0 25 0 1 0 111740699 34217984 7742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 8354 7742 312 324 0 7423 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33416 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1758744/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=36600 CPUtime=282.22 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 8718 0 0 0 28193 29 0 0 25 0 1 0 111740699 37478400 8520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 9150 8520 312 324 0 8219 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36600 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1758752/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=36600 CPUtime=342.2 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 8718 0 0 0 34188 32 0 0 25 0 1 0 111740699 37478400 8520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 9150 8520 312 324 0 8219 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 36600 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1758816/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=36600 CPUtime=402.19 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 8718 0 0 0 40184 35 0 0 25 0 1 0 111740699 37478400 8520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7824727 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 9150 8520 312 324 0 8219 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 36600 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1758816/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=36600 CPUtime=462.17 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 8718 0 0 0 46180 37 0 0 25 0 1 0 111740699 37478400 8520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 9150 8520 312 324 0 8219 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 36600 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1756960/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=38340 CPUtime=522.16 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 9214 0 0 0 52176 40 0 0 25 0 1 0 111740699 39260160 8957 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 9585 8957 312 324 0 8654 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 38340 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1756960/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=38340 CPUtime=582.15 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 9214 0 0 0 58171 44 0 0 25 0 1 0 111740699 39260160 8957 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 9585 8957 312 324 0 8654 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 38340 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 26257 /proc/meminfo: memFree=1753376/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=41844 CPUtime=642.14 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 10152 0 0 0 64165 49 0 0 25 0 1 0 111740699 42848256 9829 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 10461 9829 312 324 0 9530 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 41844 ################ # More data... # ################ /proc/meminfo: memFree=1749728/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45144 CPUtime=1061.94 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11060 0 0 0 106119 75 0 0 25 0 1 0 111740699 46227456 10671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11286 10671 312 324 0 10355 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 45144 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 26455 /proc/meminfo: memFree=1749856/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45144 CPUtime=1121.93 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11060 0 0 0 112115 78 0 0 25 0 1 0 111740699 46227456 10671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11286 10671 312 324 0 10355 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 45144 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 26455 /proc/meminfo: memFree=1749408/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45808 CPUtime=1181.92 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11223 0 0 0 118111 81 0 0 25 0 1 0 111740699 46907392 10834 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11452 10834 312 324 0 10521 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 45808 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1749088/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45940 CPUtime=1241.9 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11307 0 0 0 124106 84 0 0 25 0 1 0 111740699 47042560 10847 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11485 10847 312 324 0 10554 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 45940 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1749088/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45940 CPUtime=1301.89 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11307 0 0 0 130097 92 0 0 25 0 1 0 111740699 47042560 10847 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11485 10847 312 324 0 10554 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 45940 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1749088/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45944 CPUtime=1361.87 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11308 0 0 0 136089 98 0 0 25 0 1 0 111740699 47046656 10848 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11486 10848 312 324 0 10555 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 45944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1749088/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45972 CPUtime=1421.86 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11315 0 0 0 142081 105 0 0 25 0 1 0 111740699 47075328 10855 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11493 10855 312 324 0 10562 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 45972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1749088/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45972 CPUtime=1481.84 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11315 0 0 0 148074 110 0 0 25 0 1 0 111740699 47075328 10855 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11493 10855 312 324 0 10562 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 45972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1749152/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=45972 CPUtime=1541.82 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 11315 0 0 0 154069 113 0 0 25 0 1 0 111740699 47075328 10855 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 11493 10855 312 324 0 10562 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 45972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1743840/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=51244 CPUtime=1601.81 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 12656 0 0 0 160063 118 0 0 25 0 1 0 111740699 52473856 12196 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 12811 12196 312 324 0 11880 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 51244 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1661.8 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 166059 121 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 54468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1721.78 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 172053 125 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 54468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1781.77 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 178049 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 54468 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1791.37 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 179009 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 54468 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1794.57 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 179329 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 54468 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1797.76 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 179648 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 54468 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1799.36 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 179808 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (KiB) 54468 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1799.76 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 179848 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (KiB) 54468 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 26455 /proc/meminfo: memFree=1740384/2055920 swapFree=4184644/4192956 [pid=26256] ppid=26254 vsize=54468 CPUtime=1799.96 /proc/26256/stat : 26256 (bsolo3.0.16) R 26254 26256 26196 0 -1 4194304 13521 0 0 0 179868 128 0 0 25 0 1 0 111740699 55775232 12982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26256/statm: 13617 12982 312 324 0 12686 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 54468 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.01 CPU user time (s): 1798.71 CPU system time (s): 1.2978 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 54784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.71 system time used= 1.2978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13522 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= 12 involuntary context switches= 3643 runsolver used 1.17582 second user time and 3.80142 second system time The end
Begin job on node57 on Mon Apr 16 06:47:27 UTC 2007 IDJOB= 354355 IDBENCH= 2496 IDSOLVER= 163 FILE ID= node57/354355-1176706047 PBS_JOBID= 4560074 Free space on /tmp= 66539 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354355-1176706047/instance-354355-1176706047.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-354355-1176706047 -o ROOT/results/node57/solver-354355-1176706047 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354355-1176706047/instance-354355-1176706047.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c3570b707fa12d3d9c0d2ae31848c1b3 RANDOM SEED= 888535907 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1792552 kB Buffers: 14888 kB Cached: 178456 kB SwapCached: 2768 kB Active: 100408 kB Inactive: 102788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792552 kB SwapTotal: 4192956 kB SwapFree: 4184644 kB Dirty: 4664 kB Writeback: 0 kB Mapped: 16484 kB Slab: 46324 kB Committed_AS: 796732 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= 66539 MiB End job on node57 on Mon Apr 16 07:17:28 UTC 2007