Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | UNSAT | 566.194 | 566.351 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb |
MD5SUM | d2b3af71376059fa940b007abcee01cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 70.7442 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
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 | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
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 | 940 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2821 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2658125-1276599407.opb 0.00/0.00 c File size is 2114 bytes. 0.00/0.00 c Highest Coefficient sum: 2821 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 31 Constr: 9 1/0/8 Lit: 239 Watch. Lit: 89 0.00/0.00 c Obj. Vars: 1 (3.22581 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 30 8 238 29 90 476 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 566.13/566.35 c 101 30 109 2469 22 343 524 101 20200 0.01 566.13/566.35 c 251 30 259 5804 22 649 577 251 19307 0.01 566.13/566.35 c 479 30 487 10939 22 1100 635 479 17740 0.03 566.13/566.35 c 818 30 492 10878 22 1110 699 484 17041 0.05 566.13/566.35 c 1326 30 641 14098 21 1412 769 633 16784 0.08 566.13/566.35 c 2089 30 615 13796 22 1353 846 607 15946 0.13 566.13/566.35 c 3235 30 449 9473 21 1021 931 441 15404 0.21 566.13/566.35 c 4956 30 733 15946 21 1593 1025 725 15109 0.33 566.13/566.35 c 7540 30 695 15279 21 1513 1128 687 14697 0.51 566.13/566.35 c 11419 30 1115 23642 21 2360 1241 1107 14028 0.81 566.13/566.35 c 17241 30 1240 26955 21 2604 1366 1232 13501 1.28 566.13/566.35 c 25979 30 934 20183 21 2000 1503 926 12791 2.03 566.13/566.35 c 39090 30 995 21661 21 2119 1654 987 12143 3.22 566.13/566.35 c 58763 30 1260 27860 22 2646 1820 1252 11468 5.12 566.13/566.35 c 88274 30 1096 23787 21 2311 2003 1088 11109 7.95 566.13/566.35 c 132544 30 1550 33274 21 3227 2204 1542 10358 12.80 566.13/566.35 c 198954 30 1891 42619 22 3904 2425 1883 9902 20.09 566.13/566.35 c 298574 30 1902 42108 22 3930 2668 1894 9514 31.38 566.13/566.35 c 448011 30 2626 58316 22 5378 2935 2618 9058 49.46 566.13/566.35 c 672171 30 2521 54854 21 5166 3229 2513 8534 78.76 566.13/566.35 c 1008414 30 2513 55445 22 5151 3552 2505 8055 125.19 566.13/566.35 c 1512786 30 2733 59967 21 5592 3908 2725 7582 199.52 566.13/566.35 c 2269350 30 2258 50652 22 4640 4299 2250 7133 318.13 566.13/566.35 c 3404202 28 2684 55241 20 5494 4729 2676 6579 517.38 566.13/566.35 c Backtracks by Clause: 0 566.13/566.35 c Backtracks by PB constraint: 0 566.13/566.35 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 566.13/566.35 c 24 3661258 51670 3713991 2985 44012 2977 6466 566.19 566.13/566.35 s UNSATISFIABLE 566.13/566.35 c Total time: 566.193 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-2658125-1276599407/watcher-2658125-1276599407 -o /tmp/evaluation-result-2658125-1276599407/solver-2658125-1276599407 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658125-1276599407.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: 1.00 1.01 1.00 3/106 2389 /proc/meminfo: memFree=1782120/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=18600 CPUtime=0 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 35544595 19046400 241 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4650 241 190 642 0 4006 0 [startup+0.0985629 s] /proc/loadavg: 1.00 1.01 1.00 3/106 2389 /proc/meminfo: memFree=1782120/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=18856 CPUtime=0.09 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 389 0 0 0 9 0 0 0 20 0 1 0 35544595 19308544 306 1992294400 134512640 137138936 4289233440 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4714 306 190 642 0 4070 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18856 [startup+0.101563 s] /proc/loadavg: 1.00 1.01 1.00 3/106 2389 /proc/meminfo: memFree=1782120/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=18856 CPUtime=0.1 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 389 0 0 0 10 0 0 0 20 0 1 0 35544595 19308544 306 1992294400 134512640 137138936 4289233440 18446744073709551615 134542208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4714 306 190 642 0 4070 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 18856 [startup+0.301579 s] /proc/loadavg: 1.00 1.01 1.00 3/106 2389 /proc/meminfo: memFree=1782120/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=18856 CPUtime=0.29 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 406 0 0 0 29 0 0 0 20 0 1 0 35544595 19308544 323 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4714 323 190 642 0 4070 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18856 [startup+0.701617 s] /proc/loadavg: 1.00 1.01 1.00 3/106 2389 /proc/meminfo: memFree=1782120/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=18988 CPUtime=0.69 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 426 0 0 0 69 0 0 0 21 0 1 0 35544595 19443712 343 1992294400 134512640 137138936 4289233440 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4747 343 190 642 0 4103 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18988 [startup+1.50169 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2390 /proc/meminfo: memFree=1781244/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=18988 CPUtime=1.49 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 449 0 0 0 147 2 0 0 23 0 1 0 35544595 19443712 366 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4747 366 190 642 0 4103 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18988 [startup+3.10085 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2390 /proc/meminfo: memFree=1780872/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19116 CPUtime=3.09 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 467 0 0 0 305 4 0 0 25 0 1 0 35544595 19574784 384 1992294400 134512640 137138936 4289233440 18446744073709551615 134542963 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4779 384 190 642 0 4135 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19116 [startup+6.30115 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2390 /proc/meminfo: memFree=1780748/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19240 CPUtime=6.29 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 502 0 0 0 620 9 0 0 25 0 1 0 35544595 19701760 419 1992294400 134512640 137138936 4289233440 18446744073709551615 134572790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4810 419 190 642 0 4166 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19240 [startup+12.7008 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2390 /proc/meminfo: memFree=1780624/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19364 CPUtime=12.69 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 520 0 0 0 1254 15 0 0 25 0 1 0 35544595 19828736 437 1992294400 134512640 137138936 4289233440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4841 437 190 642 0 4197 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19364 [startup+25.501 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2392 /proc/meminfo: memFree=1780500/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19492 CPUtime=25.49 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 561 0 0 0 2522 27 0 0 25 0 1 0 35544595 19959808 478 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4873 478 190 642 0 4229 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19492 [startup+51.1014 s] /proc/loadavg: 1.07 1.02 1.00 2/107 2392 /proc/meminfo: memFree=1780252/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19748 CPUtime=51.08 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 612 0 0 0 5057 51 0 0 25 0 1 0 35544595 20221952 529 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4937 529 190 642 0 4293 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19748 [startup+102.308 s] /proc/loadavg: 1.09 1.03 1.00 2/107 2394 /proc/meminfo: memFree=1780004/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19872 CPUtime=102.27 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 646 0 0 0 10131 96 0 0 25 0 1 0 35544595 20348928 563 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4968 563 190 642 0 4324 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 19872 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 2394 /proc/meminfo: memFree=1779756/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=19996 CPUtime=162.25 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 678 0 0 0 16081 144 0 0 25 0 1 0 35544595 20475904 595 1992294400 134512640 137138936 4289233440 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 4999 595 190 642 0 4355 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19996 [startup+222.302 s] /proc/loadavg: 1.09 1.05 1.00 2/107 2396 /proc/meminfo: memFree=1779632/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20124 CPUtime=222.24 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 718 0 0 0 22036 188 0 0 25 0 1 0 35544595 20606976 635 1992294400 134512640 137138936 4289233440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5031 635 190 642 0 4387 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 20124 [startup+282.301 s] /proc/loadavg: 1.21 1.08 1.01 2/107 2407 /proc/meminfo: memFree=1779136/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20124 CPUtime=282.21 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 718 0 0 0 27993 228 0 0 25 0 1 0 35544595 20606976 635 1992294400 134512640 137138936 4289233440 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5031 635 190 642 0 4387 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 20124 [startup+342.301 s] /proc/loadavg: 1.08 1.06 1.01 2/107 2409 /proc/meminfo: memFree=1779136/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20256 CPUtime=342.19 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 755 0 0 0 33951 268 0 0 25 0 1 0 35544595 20742144 672 1992294400 134512640 137138936 4289233440 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5064 672 190 642 0 4420 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 20256 [startup+402.302 s] /proc/loadavg: 1.03 1.05 1.00 2/107 2411 /proc/meminfo: memFree=1779136/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20256 CPUtime=402.17 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 756 0 0 0 39911 306 0 0 25 0 1 0 35544595 20742144 673 1992294400 134512640 137138936 4289233440 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5064 673 190 642 0 4420 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 20256 [startup+462.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 2411 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20256 CPUtime=462.16 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 756 0 0 0 45869 347 0 0 25 0 1 0 35544595 20742144 673 1992294400 134512640 137138936 4289233440 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5064 673 190 642 0 4420 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 20256 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 2413 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20368 CPUtime=522.15 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 51828 387 0 0 25 0 1 0 35544595 20856832 684 1992294400 134512640 137138936 4289233440 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5092 684 190 642 0 4448 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 20368 Solver just ended. Dumping a history of the last processes samples [startup+537.502 s] /proc/loadavg: 1.00 1.03 1.00 2/107 2413 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20364 CPUtime=537.34 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 53340 394 0 0 25 0 1 0 35544595 20852736 684 1992294400 134512640 137138936 4289233440 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5091 684 190 642 0 4447 0 Current children cumulated CPU time (s) 537.34 Current children cumulated vsize (KiB) 20364 [startup+550.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=550.14 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 54613 401 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 134600270 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 550.14 Current children cumulated vsize (KiB) 20360 [startup+556.701 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=556.54 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 55249 405 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 556.54 Current children cumulated vsize (KiB) 20360 [startup+563.101 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=562.95 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 55885 410 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 562.95 Current children cumulated vsize (KiB) 20360 [startup+564.701 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=564.53 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 56043 410 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 564.53 Current children cumulated vsize (KiB) 20360 [startup+565.501 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=565.34 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 56123 411 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 565.34 Current children cumulated vsize (KiB) 20360 [startup+565.901 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=565.73 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 56162 411 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 565.73 Current children cumulated vsize (KiB) 20360 [startup+566.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2415 /proc/meminfo: memFree=1778888/2059040 swapFree=4140408/4192956 [pid=2389] ppid=2387 vsize=20360 CPUtime=566.13 /proc/2389/stat : 2389 (bsolo_pb10) R 2387 2389 1546 0 -1 4202496 767 0 0 0 56202 411 0 0 25 0 1 0 35544595 20848640 684 1992294400 134512640 137138936 4289233440 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2389/statm: 5090 684 190 642 0 4446 0 Current children cumulated CPU time (s) 566.13 Current children cumulated vsize (KiB) 20360 Child status: 0 Real time (s): 566.351 CPU time (s): 566.194 CPU user time (s): 562.079 CPU system time (s): 4.11537 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 20368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 562.079 system time used= 4.11537 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 768 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= 1 involuntary context switches= 2333 runsolver used 0.85387 second user time and 2.76458 second system time The end
Begin job on node004 at 2010-06-15 12:56:47 IDJOB=2658125 IDBENCH=2897 IDSOLVER=1163 FILE ID=node004/2658125-1276599407 PBS_JOBID= 11172223 Free space on /tmp= 62564 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658125-1276599407/watcher-2658125-1276599407 -o /tmp/evaluation-result-2658125-1276599407/solver-2658125-1276599407 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658125-1276599407.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2b3af71376059fa940b007abcee01cc RANDOM SEED=1613257886 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1782648 kB Buffers: 46456 kB Cached: 136148 kB SwapCached: 6516 kB Active: 91708 kB Inactive: 104736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782648 kB SwapTotal: 4192956 kB SwapFree: 4140408 kB Dirty: 3940 kB Writeback: 12 kB AnonPages: 12016 kB Mapped: 13180 kB Slab: 58068 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181672 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62560 MiB End job on node004 at 2010-06-15 13:06:14