Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.01 | 1798.42 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f2000.opb |
MD5SUM | fad56081e554a0467e4020315c4dfc76 |
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 | 4000 |
Total number of constraints | 10500 |
Number of constraints which are clauses | 10500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 4000 |
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 | 4000 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4000 |
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-2657332-1276468124.opb 0.00/0.00 c File size is 367884 bytes. 0.00/0.06 c Highest Coefficient sum: 4000 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.061 s 0.00/0.06 c Var: 4000 Constr: 10500 10500/0/0 Lit: 29500 Watch. Lit: 21000 0.00/0.06 c Obj. Vars: 4000 (100 % of total variables) 0.09/0.12 c Pre-processing Time: 0.119 s 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 3995 10500 29500 2 21000 3499 0 0 0.12 0.09/0.12 c Switching off lower bounding mode. 1797.99/1798.41 c 103 3995 10603 36621 3 21206 3849 103 635 0.16 1797.99/1798.41 c 254 3995 10754 49666 4 21508 4234 254 1090 0.23 1797.99/1798.41 c 481 3995 10981 73030 6 21962 4658 481 1317 0.36 1797.99/1798.41 c 821 3995 11321 105133 9 22642 5124 821 1526 0.54 1797.99/1798.41 c 1330 3995 11830 158003 13 23660 5637 1330 1633 0.81 1797.99/1798.41 c 2093 3995 12593 227531 18 25186 6201 2093 1605 1.30 1797.99/1798.41 c 3240 3995 13740 351824 25 27480 6822 3240 1521 2.13 1797.99/1798.41 c 4961 3995 15461 570450 36 30922 7505 4961 1446 3.43 1797.99/1798.41 c 7546 3995 14254 482720 33 28508 8256 3754 1277 5.91 1797.99/1798.41 c 11426 3995 18134 969998 53 36268 9082 7634 1180 9.68 1797.99/1798.41 c 17249 3995 18971 1144568 60 37942 9991 8471 1028 16.77 1797.99/1798.41 c 25989 3995 16827 874290 51 33654 10991 6327 936 27.74 1797.99/1798.41 c 39100 3995 18040 939892 52 36080 12091 7540 830 47.05 1797.99/1798.41 c 58771 3995 18372 1012744 55 36744 13301 7872 742 79.20 1797.99/1798.41 c 88281 3995 19619 1185886 60 39238 14632 9119 683 129.07 1797.99/1798.41 c 132553 3995 17817 896906 50 35634 16096 7317 632 209.69 1797.99/1798.41 c 198963 3995 24874 1774751 71 49748 17706 14374 586 339.47 1797.99/1798.41 c 298583 3995 21538 1336930 62 43076 19477 11038 562 530.36 1797.99/1798.41 c 448020 3995 28576 2506707 87 57152 21425 18076 519 862.35 1797.99/1798.41 c 672178 3995 28972 2215228 76 57944 23568 18472 476 1411.31 1797.99/1798.41 c Resources Exceeded 1797.99/1798.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.41 c 20 817283 246114 1343830 28270 2131177 17770 454 1798.00 1797.99/1798.41 s UNKNOWN 1797.99/1798.41 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-2657332-1276468124/watcher-2657332-1276468124 -o /tmp/evaluation-result-2657332-1276468124/solver-2657332-1276468124 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657332-1276468124.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.00 1.00 3/106 25684 /proc/meminfo: memFree=1794564/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=11304 CPUtime=0 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 373 0 0 0 0 0 0 0 18 0 1 0 20467789 11575296 291 1992294400 134512640 137138936 4293367424 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 2826 291 175 642 0 2092 0 [startup+0.097901 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25684 /proc/meminfo: memFree=1794564/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=13436 CPUtime=0.08 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 1088 0 0 0 8 0 0 0 21 0 1 0 20467789 13758464 916 1992294400 134512640 137138936 4293367424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 3359 916 185 642 0 2715 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13436 [startup+0.100903 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25684 /proc/meminfo: memFree=1794564/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=13436 CPUtime=0.09 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 1088 0 0 0 9 0 0 0 21 0 1 0 20467789 13758464 916 1992294400 134512640 137138936 4293367424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 3359 916 185 642 0 2715 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13436 [startup+0.300919 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25684 /proc/meminfo: memFree=1794564/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=13360 CPUtime=0.29 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 1186 0 0 0 28 1 0 0 21 0 1 0 20467789 13680640 912 1992294400 134512640 137138936 4293367424 18446744073709551615 134543015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 3340 912 190 642 0 2696 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13360 [startup+0.700949 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25684 /proc/meminfo: memFree=1794564/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=14468 CPUtime=0.69 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 1445 0 0 0 67 2 0 0 22 0 1 0 20467789 14815232 1171 1992294400 134512640 137138936 4293367424 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 3617 1171 190 642 0 2973 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14468 [startup+1.50101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25685 /proc/meminfo: memFree=1789844/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=16272 CPUtime=1.49 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 1896 0 0 0 146 3 0 0 25 0 1 0 20467789 16662528 1622 1992294400 134512640 137138936 4293367424 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 4068 1622 190 642 0 3424 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16272 [startup+3.10014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25685 /proc/meminfo: memFree=1787364/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=19616 CPUtime=3.09 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 2744 0 0 0 305 4 0 0 25 0 1 0 20467789 20086784 2470 1992294400 134512640 137138936 4293367424 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 4904 2470 190 642 0 4260 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19616 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25685 /proc/meminfo: memFree=1780420/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=24908 CPUtime=6.29 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 4063 0 0 0 624 5 0 0 25 0 1 0 20467789 25505792 3789 1992294400 134512640 137138936 4293367424 18446744073709551615 136504358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 6227 3789 190 642 0 5583 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24908 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25687 /proc/meminfo: memFree=1775212/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=29316 CPUtime=12.69 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 5162 0 0 0 1261 8 0 0 25 0 1 0 20467789 30019584 4888 1992294400 134512640 137138936 4293367424 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 7329 4888 190 642 0 6685 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29316 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25687 /proc/meminfo: memFree=1773104/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=31376 CPUtime=25.49 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 5690 0 0 0 2536 13 0 0 25 0 1 0 20467789 32129024 5416 1992294400 134512640 137138936 4293367424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 7844 5416 190 642 0 7200 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31376 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25687 /proc/meminfo: memFree=1771120/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=33408 CPUtime=51.08 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 6188 0 0 0 5088 20 0 0 25 0 1 0 20467789 34209792 5914 1992294400 134512640 137138936 4293367424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 8352 5914 190 642 0 7708 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33408 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25689 /proc/meminfo: memFree=1767648/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=36812 CPUtime=102.27 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 7037 0 0 0 10195 32 0 0 25 0 1 0 20467789 37695488 6763 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 9203 6763 190 642 0 8559 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36812 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25691 /proc/meminfo: memFree=1763184/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=41152 CPUtime=162.25 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 8122 0 0 0 16181 44 0 0 25 0 1 0 20467789 42139648 7848 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 10288 7848 190 642 0 9644 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 41152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25691 /proc/meminfo: memFree=1762936/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=41232 CPUtime=222.24 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 8149 0 0 0 22168 56 0 0 25 0 1 0 20467789 42221568 7875 1992294400 134512640 137138936 4293367424 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 10308 7875 190 642 0 9664 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 41232 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25693 /proc/meminfo: memFree=1762440/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=41816 CPUtime=282.23 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 8291 0 0 0 28155 68 0 0 25 0 1 0 20467789 42819584 8017 1992294400 134512640 137138936 4293367424 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 10454 8017 190 642 0 9810 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 41816 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25695 /proc/meminfo: memFree=1761696/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=42448 CPUtime=342.21 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 8463 0 0 0 34142 79 0 0 25 0 1 0 20467789 43466752 8189 1992294400 134512640 137138936 4293367424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 10612 8189 190 642 0 9968 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 42448 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25697 /proc/meminfo: memFree=1759960/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=44140 CPUtime=402.2 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 8884 0 0 0 40128 92 0 0 25 0 1 0 20467789 45199360 8610 1992294400 134512640 137138936 4293367424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 11035 8610 190 642 0 10391 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 44140 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25699 /proc/meminfo: memFree=1758720/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=45372 CPUtime=462.19 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 9180 0 0 0 46115 104 0 0 25 0 1 0 20467789 46460928 8906 1992294400 134512640 137138936 4293367424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 11343 8906 190 642 0 10699 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 45372 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25699 /proc/meminfo: memFree=1757356/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=46704 CPUtime=522.17 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 9514 0 0 0 52101 116 0 0 25 0 1 0 20467789 47824896 9240 1992294400 134512640 137138936 4293367424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 11676 9240 190 642 0 11032 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 46704 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25704 /proc/meminfo: memFree=1755992/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=47324 CPUtime=582.16 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 9670 0 0 0 58090 126 0 0 25 0 1 0 20467789 48459776 9396 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 11831 9396 190 642 0 11187 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 47324 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25706 /proc/meminfo: memFree=1753760/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=49544 CPUtime=642.15 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 10232 0 0 0 64078 137 0 0 25 0 1 0 20467789 50733056 9958 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 12386 9958 190 642 0 11742 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 49544 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1748304/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1122.03 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11631 0 0 0 111989 214 0 0 25 0 1 0 20467789 56471552 11355 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11355 190 642 0 13143 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 55148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25720 /proc/meminfo: memFree=1748180/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1182.02 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11631 0 0 0 117978 224 0 0 25 0 1 0 20467789 56471552 11355 1992294400 134512640 137138936 4293367424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11355 190 642 0 13143 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 55148 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25722 /proc/meminfo: memFree=1748056/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1242 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11631 0 0 0 123968 232 0 0 25 0 1 0 20467789 56471552 11355 1992294400 134512640 137138936 4293367424 18446744073709551615 136504146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11355 190 642 0 13143 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 55148 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25724 /proc/meminfo: memFree=1747808/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1301.99 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11631 0 0 0 129957 242 0 0 25 0 1 0 20467789 56471552 11355 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11355 190 642 0 13143 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 55148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25726 /proc/meminfo: memFree=1747808/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1361.98 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11631 0 0 0 135945 253 0 0 25 0 1 0 20467789 56471552 11355 1992294400 134512640 137138936 4293367424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11355 190 642 0 13143 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 55148 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25726 /proc/meminfo: memFree=1747808/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55156 CPUtime=1421.97 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 141935 262 0 0 25 0 1 0 20467789 56479744 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13789 11357 190 642 0 13145 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 55156 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 25728 /proc/meminfo: memFree=1747808/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55152 CPUtime=1481.95 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 147923 272 0 0 25 0 1 0 20467789 56475648 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13788 11357 190 642 0 13144 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 55152 [startup+1542.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 25730 /proc/meminfo: memFree=1747684/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1541.94 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 153913 281 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 55148 [startup+1602.3 s] /proc/loadavg: 1.20 1.06 1.01 2/107 25732 /proc/meminfo: memFree=1747560/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1601.92 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 159900 292 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 55148 [startup+1662.3 s] /proc/loadavg: 1.07 1.05 1.00 2/107 25734 /proc/meminfo: memFree=1747560/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1661.91 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 165891 300 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 55148 [startup+1722.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 25734 /proc/meminfo: memFree=1747436/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1721.9 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 171882 308 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 55148 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747064/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1781.88 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 177873 315 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 136521055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 55148 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1791.48 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 178831 317 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 55148 [startup+1795.1 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1794.68 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 179151 317 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 55148 [startup+1796.7 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1796.27 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 179310 317 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 55148 [startup+1797.5 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1797.07 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 179390 317 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 55148 [startup+1797.9 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1797.47 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 179430 317 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 55148 [startup+1798.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1797.88 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 179470 318 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134573839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 55148 [startup+1798.4 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25736 /proc/meminfo: memFree=1747188/2059040 swapFree=4136644/4192956 [pid=25684] ppid=25682 vsize=55148 CPUtime=1797.99 /proc/25684/stat : 25684 (bsolo_pb10) R 25682 25684 25411 0 -1 4202496 11633 0 0 0 179481 318 0 0 25 0 1 0 20467789 56471552 11357 1992294400 134512640 137138936 4293367424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25684/statm: 13787 11357 190 642 0 13143 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 55148 Child status: 0 Real time (s): 1798.42 CPU time (s): 1798.01 CPU user time (s): 1794.82 CPU system time (s): 3.18651 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 55156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.82 system time used= 3.18651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11633 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= 2760 runsolver used 2.85057 second user time and 8.60869 second system time The end
Begin job on node026 at 2010-06-14 00:28:44 IDJOB=2657332 IDBENCH=2191 IDSOLVER=1163 FILE ID=node026/2657332-1276468124 PBS_JOBID= 11173360 Free space on /tmp= 62508 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657332-1276468124/watcher-2657332-1276468124 -o /tmp/evaluation-result-2657332-1276468124/solver-2657332-1276468124 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657332-1276468124.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76 RANDOM SEED=1945306980 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1795092 kB Buffers: 60012 kB Cached: 126340 kB SwapCached: 9328 kB Active: 96096 kB Inactive: 102448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795092 kB SwapTotal: 4192956 kB SwapFree: 4136644 kB Dirty: 4252 kB Writeback: 0 kB AnonPages: 10864 kB Mapped: 9300 kB Slab: 43676 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181264 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= 62504 MiB End job on node026 at 2010-06-14 00:58:42