Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798 | 1798.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5-c.opb |
MD5SUM | 47657fb6d35516304c5b4897d4fb805d |
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 | 2678 |
Total number of constraints | 6689 |
Number of constraints which are clauses | 6689 |
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 | 2678 |
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 | 2678 |
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 | 2678 |
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-2657333-1276469098.opb 0.00/0.00 c File size is 225949 bytes. 0.00/0.03 c Highest Coefficient sum: 2678 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.036 s 0.00/0.04 c Var: 2678 Constr: 6689 6689/0/0 Lit: 18356 Watch. Lit: 13378 0.00/0.04 c Obj. Vars: 2678 (100 % of total variables) 0.04/0.09 c Pre-processing Time: 0.097 s 0.04/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.09 c 0 2489 6372 17596 2 12744 2123 0 0 0.10 0.04/0.09 c Switching off lower bounding mode. 1797.95/1798.74 c 100 2489 6472 21225 3 12944 2336 100 442 0.23 1797.95/1798.74 c 250 2489 6622 27843 4 13244 2570 250 558 0.45 1797.95/1798.74 c 475 2489 6847 36430 5 13694 2828 475 664 0.71 1797.95/1798.74 c 815 2489 7187 49462 6 14374 3111 815 745 1.09 1797.95/1798.74 c 1324 2489 7696 69665 9 15392 3423 1324 772 1.71 1797.95/1798.74 c 2087 2489 8459 101783 12 16918 3766 2087 754 2.77 1797.95/1798.74 c 3233 2489 9605 142435 14 19210 4143 3233 818 3.95 1797.95/1798.74 c 4954 2489 8885 118773 13 17770 4558 2513 860 5.76 1797.95/1798.74 c 7538 2489 8948 118861 13 17896 5014 2576 926 8.14 1797.95/1798.74 c 11417 2489 10083 178722 17 20166 5516 3711 965 11.82 1797.95/1798.74 c 17240 2489 9928 202673 20 19856 6068 3556 957 18.00 1797.95/1798.74 c 25978 2489 12159 345515 28 24318 6675 5787 921 28.20 1797.95/1798.74 c 39088 2489 10818 266202 24 21636 7343 4446 895 43.64 1797.95/1798.74 c 58758 2489 10585 247337 23 21170 8078 4213 862 68.13 1797.95/1798.74 c 88269 2489 14209 436836 30 28418 8886 7837 810 108.97 1797.95/1798.74 c 132539 2489 11394 311456 27 22788 9775 5022 757 174.91 1797.95/1798.74 c 198950 2489 15942 581981 36 31884 10753 9570 715 277.89 1797.95/1798.74 c 298570 2489 13947 486631 34 27894 11829 7575 676 441.17 1797.95/1798.74 c 448005 2489 15547 575959 37 31094 13012 9175 629 711.16 1797.95/1798.74 c 672163 2489 15986 491138 30 31972 14314 9614 605 1111.00 1797.95/1798.74 c 1008407 2489 18355 754993 41 36710 15746 11983 578 1743.65 1797.95/1798.74 c Resources Exceeded 1797.95/1798.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.74 c 21 1035671 51848 1095776 21210 812012 14838 576 1798.00 1797.95/1798.74 s UNKNOWN 1797.95/1798.74 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-2657333-1276469098/watcher-2657333-1276469098 -o /tmp/evaluation-result-2657333-1276469098/solver-2657333-1276469098 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657333-1276469098.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.85 0.97 0.99 2/106 27567 /proc/meminfo: memFree=1845652/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=11156 CPUtime=0 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 22511439 11423744 283 1992294400 134512640 137138936 4291358896 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 2789 283 176 642 0 2089 0 [startup+0.048486 s] /proc/loadavg: 0.85 0.97 0.99 2/106 27567 /proc/meminfo: memFree=1845652/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=12144 CPUtime=0.04 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 719 0 0 0 4 0 0 0 20 0 1 0 22511439 12435456 581 1992294400 134512640 137138936 4291358896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3036 581 184 642 0 2392 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12144 [startup+0.100498 s] /proc/loadavg: 0.85 0.97 0.99 2/106 27567 /proc/meminfo: memFree=1845652/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=12300 CPUtime=0.09 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 826 0 0 0 8 1 0 0 20 0 1 0 22511439 12595200 645 1992294400 134512640 137138936 4291358896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3075 645 191 642 0 2431 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12300 [startup+0.300539 s] /proc/loadavg: 0.85 0.97 0.99 2/106 27567 /proc/meminfo: memFree=1845652/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=12300 CPUtime=0.29 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 826 0 0 0 28 1 0 0 20 0 1 0 22511439 12595200 645 1992294400 134512640 137138936 4291358896 18446744073709551615 134543222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3075 645 191 642 0 2431 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12300 [startup+0.700625 s] /proc/loadavg: 0.85 0.97 0.99 2/106 27567 /proc/meminfo: memFree=1845652/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=12408 CPUtime=0.69 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 846 0 0 0 68 1 0 0 21 0 1 0 22511439 12705792 665 1992294400 134512640 137138936 4291358896 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3102 665 191 642 0 2458 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12408 [startup+1.50079 s] /proc/loadavg: 0.85 0.97 0.99 2/107 27568 /proc/meminfo: memFree=1843536/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=12760 CPUtime=1.49 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 948 0 0 0 148 1 0 0 23 0 1 0 22511439 13066240 767 1992294400 134512640 137138936 4291358896 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3190 767 191 642 0 2546 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12760 [startup+3.10114 s] /proc/loadavg: 0.85 0.97 0.99 2/107 27568 /proc/meminfo: memFree=1842668/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=13544 CPUtime=3.09 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 1136 0 0 0 307 2 0 0 25 0 1 0 22511439 13869056 955 1992294400 134512640 137138936 4291358896 18446744073709551615 136501691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3386 955 191 642 0 2742 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13544 [startup+6.30082 s] /proc/loadavg: 0.86 0.97 0.99 2/107 27568 /proc/meminfo: memFree=1840808/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=14972 CPUtime=6.29 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 1490 0 0 0 627 2 0 0 25 0 1 0 22511439 15331328 1309 1992294400 134512640 137138936 4291358896 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3743 1309 191 642 0 3099 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14972 [startup+12.7012 s] /proc/loadavg: 0.87 0.97 0.99 2/107 27568 /proc/meminfo: memFree=1840064/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=15588 CPUtime=12.69 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 1645 0 0 0 1265 4 0 0 25 0 1 0 22511439 15962112 1464 1992294400 134512640 137138936 4291358896 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 3897 1464 191 642 0 3253 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15588 [startup+25.5009 s] /proc/loadavg: 0.90 0.97 0.99 2/107 27568 /proc/meminfo: memFree=1838328/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=17464 CPUtime=25.48 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 2107 0 0 0 2541 7 0 0 25 0 1 0 22511439 17883136 1926 1992294400 134512640 137138936 4291358896 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 4366 1926 191 642 0 3722 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17464 [startup+51.1003 s] /proc/loadavg: 0.93 0.97 0.99 2/107 27568 /proc/meminfo: memFree=1836964/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=18712 CPUtime=51.07 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 2416 0 0 0 5095 12 0 0 25 0 1 0 22511439 19161088 2235 1992294400 134512640 137138936 4291358896 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 4678 2235 191 642 0 4034 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18712 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 27570 /proc/meminfo: memFree=1836220/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=19344 CPUtime=102.26 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 2582 0 0 0 10201 25 0 0 25 0 1 0 22511439 19808256 2401 1992294400 134512640 137138936 4291358896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 4836 2401 191 642 0 4192 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19344 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27572 /proc/meminfo: memFree=1835104/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=20504 CPUtime=162.23 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 2861 0 0 0 16187 36 0 0 25 0 1 0 22511439 20996096 2680 1992294400 134512640 137138936 4291358896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5126 2680 191 642 0 4482 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20504 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27574 /proc/meminfo: memFree=1834236/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=21280 CPUtime=222.21 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3074 0 0 0 22173 48 0 0 25 0 1 0 22511439 21790720 2893 1992294400 134512640 137138936 4291358896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5320 2893 191 642 0 4676 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21280 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27576 /proc/meminfo: memFree=1833740/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=21672 CPUtime=282.18 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3174 0 0 0 28158 60 0 0 25 0 1 0 22511439 22192128 2993 1992294400 134512640 137138936 4291358896 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5418 2993 191 642 0 4774 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 21672 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 27576 /proc/meminfo: memFree=1832872/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=22464 CPUtime=342.15 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3358 0 0 0 34145 70 0 0 25 0 1 0 22511439 23003136 3177 1992294400 134512640 137138936 4291358896 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5616 3177 191 642 0 4972 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 22464 [startup+402.301 s] /proc/loadavg: 1.04 0.99 0.99 2/107 27578 /proc/meminfo: memFree=1832872/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=22460 CPUtime=402.13 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3358 0 0 0 40132 81 0 0 25 0 1 0 22511439 22999040 3177 1992294400 134512640 137138936 4291358896 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5615 3177 191 642 0 4971 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 22460 [startup+462.301 s] /proc/loadavg: 1.01 0.99 0.99 2/107 27580 /proc/meminfo: memFree=1832128/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=23308 CPUtime=462.1 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3564 0 0 0 46116 94 0 0 25 0 1 0 22511439 23867392 3383 1992294400 134512640 137138936 4291358896 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5827 3383 191 642 0 5183 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 23308 [startup+522.302 s] /proc/loadavg: 1.08 1.00 1.00 2/107 27582 /proc/meminfo: memFree=1831756/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=23628 CPUtime=522.08 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3650 0 0 0 52102 106 0 0 25 0 1 0 22511439 24195072 3469 1992294400 134512640 137138936 4291358896 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5907 3469 191 642 0 5263 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 23628 [startup+582.301 s] /proc/loadavg: 1.10 1.02 1.00 2/107 27584 /proc/meminfo: memFree=1831632/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=23628 CPUtime=582.05 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3650 0 0 0 58088 117 0 0 25 0 1 0 22511439 24195072 3469 1992294400 134512640 137138936 4291358896 18446744073709551615 136511170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5907 3469 191 642 0 5263 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 23628 [startup+642.301 s] /proc/loadavg: 1.10 1.03 1.00 2/107 27584 /proc/meminfo: memFree=1831384/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=23880 CPUtime=642.04 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3727 0 0 0 64077 127 0 0 25 0 1 0 22511439 24453120 3546 1992294400 134512640 137138936 4291358896 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 5970 3546 191 642 0 5326 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 23880 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=24940 CPUtime=1061.85 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3980 0 0 0 105982 203 0 0 25 0 1 0 22511439 25538560 3799 1992294400 134512640 137138936 4291358896 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6235 3799 191 642 0 5591 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 24940 [startup+1122.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 27607 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=24944 CPUtime=1121.82 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 3981 0 0 0 111967 215 0 0 25 0 1 0 22511439 25542656 3800 1992294400 134512640 137138936 4291358896 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6236 3800 191 642 0 5592 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 24944 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 27609 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25664 CPUtime=1181.81 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 117956 225 0 0 25 0 1 0 22511439 26279936 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6416 3975 191 642 0 5772 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 25664 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27609 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25640 CPUtime=1241.78 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 123944 234 0 0 25 0 1 0 22511439 26255360 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6410 3975 191 642 0 5766 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 25640 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27611 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25628 CPUtime=1301.76 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 129932 244 0 0 25 0 1 0 22511439 26243072 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6407 3975 191 642 0 5763 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 25628 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27613 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1361.73 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 135918 255 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 25612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27615 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1421.71 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 141903 268 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 25612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27617 /proc/meminfo: memFree=1828904/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1481.69 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 147889 280 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 25612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27617 /proc/meminfo: memFree=1828780/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1541.66 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 153874 292 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 25612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27619 /proc/meminfo: memFree=1828780/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1601.64 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 159862 302 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 25612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27621 /proc/meminfo: memFree=1828780/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1661.62 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 165848 314 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 25612 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27623 /proc/meminfo: memFree=1828656/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=25612 CPUtime=1721.59 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4156 0 0 0 171836 323 0 0 25 0 1 0 22511439 26226688 3975 1992294400 134512640 137138936 4291358896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/27567/statm: 6403 3975 191 642 0 5759 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 25612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26180 CPUtime=1781.56 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 177820 336 0 0 25 0 1 0 22511439 26808320 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6545 4105 191 642 0 5901 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 26180 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26176 CPUtime=1791.16 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 178779 337 0 0 25 0 1 0 22511439 26804224 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6544 4105 191 642 0 5900 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 26176 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26176 CPUtime=1794.36 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 179098 338 0 0 25 0 1 0 22511439 26804224 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6544 4105 191 642 0 5900 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 26176 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26176 CPUtime=1795.95 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 179257 338 0 0 25 0 1 0 22511439 26804224 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6544 4105 191 642 0 5900 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 26176 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26176 CPUtime=1796.75 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 179337 338 0 0 25 0 1 0 22511439 26804224 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6544 4105 191 642 0 5900 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 26176 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26176 CPUtime=1797.54 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 179416 338 0 0 25 0 1 0 22511439 26804224 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6544 4105 191 642 0 5900 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 26176 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1827912/2059040 swapFree=4140220/4192956 [pid=27567] ppid=27565 vsize=26176 CPUtime=1797.95 /proc/27567/stat : 27567 (bsolo_pb10) R 27565 27567 27542 0 -1 4202496 4286 0 0 0 179456 339 0 0 25 0 1 0 22511439 26804224 4105 1992294400 134512640 137138936 4291358896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27567/statm: 6544 4105 191 642 0 5900 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 26176 Child status: 0 Real time (s): 1798.75 CPU time (s): 1798 CPU user time (s): 1794.61 CPU system time (s): 3.39248 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 26180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.61 system time used= 3.39248 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4286 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= 7580 runsolver used 3.09153 second user time and 8.37073 second system time The end
Begin job on node010 at 2010-06-14 00:44:58 IDJOB=2657333 IDBENCH=2198 IDSOLVER=1163 FILE ID=node010/2657333-1276469098 PBS_JOBID= 11173370 Free space on /tmp= 62500 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657333-1276469098/watcher-2657333-1276469098 -o /tmp/evaluation-result-2657333-1276469098/solver-2657333-1276469098 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657333-1276469098.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 47657fb6d35516304c5b4897d4fb805d RANDOM SEED=1670466612 node010.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.267 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.53 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.267 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: 1846180 kB Buffers: 40928 kB Cached: 94344 kB SwapCached: 5468 kB Active: 85184 kB Inactive: 61988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846180 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 4232 kB Writeback: 0 kB AnonPages: 10636 kB Mapped: 12732 kB Slab: 43888 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 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= 62496 MiB End job on node010 at 2010-06-14 01:14:57