Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.44 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_2.opb |
MD5SUM | 25ec3c4431eaa97f8c8dfc7dcac7b55c |
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 | 51 |
Total number of constraints | 13 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3879 |
Number of bits of the biggest sum of numbers | 12 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 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 HOME/instance-1878410-1245176267.opb 0.00/0.00 c File size is 4929 bytes. 0.00/0.00 c Highest Coefficient sum: 3879 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 51 Constr: 13 1/0/12 Lit: 593 Watch. Lit: 197 0.00/0.00 c Obj. Vars: 1 (1.96078 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 50 12 592 49 202 1184 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.96/1798.43 c 100 50 112 4270 38 532 1303 100 12500 0.01 1797.96/1798.43 c 250 50 262 9792 37 832 1434 250 13157 0.02 1797.96/1798.43 c 475 50 487 17800 36 1276 1578 475 12837 0.04 1797.96/1798.43 c 813 50 825 30007 36 1960 1736 813 12134 0.07 1797.96/1798.43 c 1321 50 1333 47941 35 2968 1910 1321 12009 0.11 1797.96/1798.43 c 2085 50 1108 39273 35 2517 2102 1096 10803 0.19 1797.96/1798.43 c 3231 50 1166 42635 36 2632 2313 1154 10422 0.31 1797.96/1798.43 c 4952 50 1697 63874 37 3707 2545 1685 9541 0.52 1797.96/1798.43 c 7536 50 1661 63139 38 3624 2800 1649 8886 0.85 1797.96/1798.43 c 11416 50 2679 102392 38 5667 3081 2667 8308 1.37 1797.96/1798.43 c 17238 50 2201 86282 39 4715 3390 2189 7709 2.24 1797.96/1798.43 c 25975 50 2286 90426 39 4886 3730 2274 7003 3.71 1797.96/1798.43 c 39085 50 2098 79613 37 4514 4104 2086 6708 5.83 1797.96/1798.43 c 58755 50 3002 116891 38 6318 4515 2990 6355 9.24 1797.96/1798.44 c 88267 50 2703 106986 39 5722 4967 2691 5888 14.99 1797.96/1798.44 c 132538 50 4200 163653 38 8711 5464 4188 5525 23.99 1797.96/1798.44 c 198948 50 4237 163684 38 8786 6011 4225 5290 37.61 1797.96/1798.44 c 298568 50 3587 138768 38 7491 6613 3575 4919 60.69 1797.96/1798.44 c 448003 50 6121 234608 38 12554 7275 6109 4434 101.02 1797.96/1798.44 c 672161 50 6459 253285 39 13228 8003 6447 4170 161.16 1797.96/1798.44 c 1008406 50 7857 302597 38 16025 8804 7845 3908 258.01 1797.96/1798.44 c 1512777 50 6601 257353 38 13504 9685 6589 3481 434.47 1797.96/1798.44 c 2269340 50 7655 292920 38 15633 10654 7643 3199 709.32 1797.96/1798.44 c 3404191 50 6143 243430 39 12601 11720 6131 2835 1200.45 1797.96/1798.44 c Resources Exceeded 1797.96/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.44 c 24 4586185 54335 4641946 9633 375343 9621 2550 1798.00 1797.96/1798.44 s UNKNOWN 1797.96/1798.44 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878410-1245176267/watcher-1878410-1245176267 -o /tmp/evaluation-result-1878410-1245176267/solver-1878410-1245176267 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878410-1245176267.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/67 9773 /proc/meminfo: memFree=1300680/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=26200 CPUtime=0 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 174116035 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6550 241 196 640 0 5906 0 [startup+0.068057 s] /proc/loadavg: 0.92 0.98 0.96 3/67 9773 /proc/meminfo: memFree=1300680/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=18900 CPUtime=0.06 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 369 0 0 0 6 0 0 0 18 0 1 0 174116035 19353600 351 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 4725 351 196 640 0 4081 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18900 [startup+0.10106 s] /proc/loadavg: 0.92 0.98 0.96 3/67 9773 /proc/meminfo: memFree=1300680/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=19160 CPUtime=0.09 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 174116035 19619840 407 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 4790 407 196 640 0 4146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19160 [startup+0.301077 s] /proc/loadavg: 0.92 0.98 0.96 3/67 9773 /proc/meminfo: memFree=1300680/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=19676 CPUtime=0.29 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 565 0 0 0 29 0 0 0 19 0 1 0 174116035 20148224 547 1992294400 134512640 137136520 4294956256 18446744073709551615 134540918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 4919 547 196 640 0 4275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19676 [startup+0.701112 s] /proc/loadavg: 0.92 0.98 0.96 3/67 9773 /proc/meminfo: memFree=1300680/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=19932 CPUtime=0.69 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 643 0 0 0 68 1 0 0 22 0 1 0 174116035 20410368 625 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 4983 625 196 640 0 4339 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19932 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1298752/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=20320 CPUtime=1.49 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 729 0 0 0 148 1 0 0 25 0 1 0 174116035 20807680 711 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5080 711 196 640 0 4436 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20320 [startup+3.10133 s] /proc/loadavg: 0.93 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1298368/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=20576 CPUtime=3.09 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 792 0 0 0 307 2 0 0 25 0 1 0 174116035 21069824 774 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5144 774 196 640 0 4500 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20576 [startup+6.30161 s] /proc/loadavg: 0.93 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1297856/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=20964 CPUtime=6.29 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 889 0 0 0 625 4 0 0 25 0 1 0 174116035 21467136 871 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5241 871 196 640 0 4597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20964 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1297352/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=21336 CPUtime=12.69 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 970 0 0 0 1261 8 0 0 25 0 1 0 174116035 21848064 952 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5334 952 196 640 0 4690 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21336 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1296776/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=21852 CPUtime=25.49 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1104 0 0 0 2536 13 0 0 25 0 1 0 174116035 22376448 1086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5463 1086 196 640 0 4819 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21852 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1296392/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=22216 CPUtime=51.08 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1204 0 0 0 5086 22 0 0 25 0 1 0 174116035 22749184 1186 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5554 1186 196 640 0 4910 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22216 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1295752/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=22852 CPUtime=102.27 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1373 0 0 0 10186 41 0 0 25 0 1 0 174116035 23400448 1355 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5713 1355 196 640 0 5069 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22852 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1295240/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=23460 CPUtime=162.25 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1504 0 0 0 16166 59 0 0 25 0 1 0 174116035 24023040 1486 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5865 1486 196 640 0 5221 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23460 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1295176/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=23452 CPUtime=222.24 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1520 0 0 0 22146 78 0 0 25 0 1 0 174116035 24014848 1502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5863 1502 196 640 0 5219 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 23452 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1294664/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=23952 CPUtime=282.22 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1629 0 0 0 28125 97 0 0 25 0 1 0 174116035 24526848 1611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5988 1611 196 640 0 5344 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23952 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1294672/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=23892 CPUtime=342.2 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1629 0 0 0 34108 112 0 0 25 0 1 0 174116035 24465408 1611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 5973 1611 196 640 0 5329 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23892 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1294544/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=24016 CPUtime=402.19 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1658 0 0 0 40091 128 0 0 25 0 1 0 174116035 24592384 1640 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6004 1640 196 640 0 5360 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 24016 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1294096/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=24504 CPUtime=462.18 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1772 0 0 0 46075 143 0 0 25 0 1 0 174116035 25092096 1754 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6126 1754 196 640 0 5482 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 24504 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1294032/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=24504 CPUtime=522.16 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1787 0 0 0 52059 157 0 0 25 0 1 0 174116035 25092096 1769 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6126 1769 196 640 0 5482 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 24504 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1293968/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=24504 CPUtime=582.15 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1787 0 0 0 58043 172 0 0 25 0 1 0 174116035 25092096 1769 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6126 1769 196 640 0 5482 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 24504 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1293968/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=24504 CPUtime=642.14 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1787 0 0 0 64027 187 0 0 25 0 1 0 174116035 25092096 1769 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6126 1769 196 640 0 5482 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 24504 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1293264/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25192 CPUtime=1122.02 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1953 0 0 0 111911 291 0 0 25 0 1 0 174116035 25796608 1935 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6298 1935 196 640 0 5654 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 25192 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1293264/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25192 CPUtime=1182 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 1953 0 0 0 117896 304 0 0 25 0 1 0 174116035 25796608 1935 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6298 1935 196 640 0 5654 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 25192 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1292752/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25680 CPUtime=1241.98 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2079 0 0 0 123882 316 0 0 25 0 1 0 174116035 26296320 2061 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6420 2061 196 640 0 5776 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 25680 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1292688/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25680 CPUtime=1301.97 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2080 0 0 0 129870 327 0 0 25 0 1 0 174116035 26296320 2062 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6420 2062 196 640 0 5776 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 25680 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1292752/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25680 CPUtime=1361.96 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2080 0 0 0 135857 339 0 0 25 0 1 0 174116035 26296320 2062 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6420 2062 196 640 0 5776 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 25680 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1292752/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25768 CPUtime=1421.95 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 141845 350 0 0 25 0 1 0 174116035 26386432 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6442 2071 196 640 0 5798 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 25768 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9774 /proc/meminfo: memFree=1292688/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25764 CPUtime=1481.93 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 147832 361 0 0 25 0 1 0 174116035 26382336 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6441 2071 196 640 0 5797 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 25764 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1541.92 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 153820 372 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 25756 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1601.9 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 159805 385 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 25756 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1661.88 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 165793 395 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 25756 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1721.87 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 171780 407 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 25756 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1781.85 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 177768 417 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 25756 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1791.45 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 178726 419 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 25756 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1794.66 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 179046 420 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 25756 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1796.25 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 179205 420 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 25756 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1797.06 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 179285 421 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 25756 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1797.46 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 179325 421 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 25756 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1797.85 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 179364 421 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 25756 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9776 /proc/meminfo: memFree=1292432/2055920 swapFree=4192956/4192956 [pid=9773] ppid=9771 vsize=25756 CPUtime=1797.96 /proc/9773/stat : 9773 (bsolo) R 9771 9773 9730 0 -1 4194304 2089 0 0 0 179375 421 0 0 25 0 1 0 174116035 26374144 2071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9773/statm: 6439 2071 196 640 0 5795 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 25756 Child status: 0 Real time (s): 1798.44 CPU time (s): 1798 CPU user time (s): 1793.79 CPU system time (s): 4.21336 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 25784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.79 system time used= 4.21336 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2090 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= 2 involuntary context switches= 2756 runsolver used 1.48877 second user time and 5.05923 second system time The end
Begin job on node68 at 2009-06-16 20:17:47 IDJOB=1878410 IDBENCH=2915 IDSOLVER=700 FILE ID=node68/1878410-1245176267 PBS_JOBID= 9368272 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878410-1245176267/watcher-1878410-1245176267 -o /tmp/evaluation-result-1878410-1245176267/solver-1878410-1245176267 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878410-1245176267.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 25ec3c4431eaa97f8c8dfc7dcac7b55c RANDOM SEED=1144708999 node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.238 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.238 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: 1301096 kB Buffers: 70112 kB Cached: 588332 kB SwapCached: 0 kB Active: 337200 kB Inactive: 337608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1301096 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4064 kB Writeback: 0 kB Mapped: 26352 kB Slab: 65616 kB Committed_AS: 82968 kB PageTables: 1564 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878410-1245176267.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-16 20:47:46