Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.01 | 1798.64 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
MD5SUM | 5a9e4c8983ff8fc3ce01109a5c224dd2 |
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 | 6352 |
Total number of constraints | 13453 |
Number of constraints which are clauses | 13453 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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-2657334-1276473548.opb 0.00/0.00 c File size is 453911 bytes. 0.02/0.07 c Highest Coefficient sum: 6352 0.02/0.07 c Parsing was ok!! 0.02/0.07 c Total parsing time: 0.071 s 0.02/0.07 c Var: 6352 Constr: 13453 13453/0/0 Lit: 33853 Watch. Lit: 26765 0.02/0.07 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.16 c Pre-processing Time: 0.167 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 1908 5719 16192 2 11438 1906 0 0 0.17 0.09/0.16 c Switching off lower bounding mode. 1797.96/1798.63 c 101 1908 5820 19006 3 11640 2097 101 400 0.25 1797.96/1798.63 c 251 1908 5970 25006 4 11940 2307 251 593 0.42 1797.96/1798.63 c 476 1908 6195 34573 5 12390 2538 476 670 0.71 1797.96/1798.63 c 815 1908 6534 45144 6 13068 2792 815 823 0.99 1797.96/1798.63 c 1324 1908 7043 59134 8 14086 3072 1324 949 1.39 1797.96/1798.63 c 2088 1908 7807 86464 11 15614 3380 2088 1045 2.00 1797.96/1798.63 c 3234 1908 8953 131062 14 17906 3719 3234 963 3.36 1797.96/1798.63 c 4955 1908 10674 202253 18 21348 4091 4955 814 6.09 1797.96/1798.63 c 7540 1908 13259 321851 24 26518 4501 7540 653 11.54 1797.96/1798.63 c 11419 1908 10327 191539 18 20654 4952 4608 597 19.11 1797.96/1798.63 c 17242 1908 9154 174022 19 18308 5448 3435 445 38.66 1797.96/1798.63 c 25979 1908 10688 202217 18 21376 5993 4969 515 50.38 1797.96/1798.63 c 39089 1908 8759 116366 13 17518 6593 3040 558 69.97 1797.96/1798.63 c 58761 1908 12815 417358 32 25630 7253 7096 585 100.38 1797.96/1798.63 c 88272 1908 9437 187634 19 18874 7979 3718 607 145.19 1797.96/1798.63 c 132542 1908 10891 271016 24 21782 8777 5172 620 213.58 1797.96/1798.63 c 198952 1908 15098 495898 32 30196 9655 9379 599 331.65 1797.96/1798.63 c 298573 1908 11683 221823 18 23366 10621 5964 601 496.41 1797.96/1798.63 c 448009 1908 18330 652552 35 36660 11684 12611 609 735.63 1797.96/1798.63 c 672169 1908 15162 486238 32 30324 12853 9443 567 1184.79 1797.96/1798.63 c Resources Exceeded 1797.96/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.63 c 20 937665 102573 1088992 18601 763833 12882 521 1798.00 1797.96/1798.63 s UNKNOWN 1797.96/1798.63 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-2657334-1276473548/watcher-2657334-1276473548 -o /tmp/evaluation-result-2657334-1276473548/solver-2657334-1276473548 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657334-1276473548.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.99 0.98 0.99 3/106 28625 /proc/meminfo: memFree=1850908/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=19204 CPUtime=0 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 22956403 19664896 280 1992294400 134512640 137138936 4290127104 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 4801 280 172 642 0 4046 0 [startup+0.0256091 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28625 /proc/meminfo: memFree=1850908/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=11808 CPUtime=0.02 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 524 0 0 0 2 0 0 0 20 0 1 0 22956403 12091392 442 1992294400 134512640 137138936 4290127104 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 2952 443 201 642 0 2197 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11808 [startup+0.101623 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28625 /proc/meminfo: memFree=1850908/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=13696 CPUtime=0.09 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 1175 0 0 0 9 0 0 0 20 0 1 0 22956403 14024704 982 1992294400 134512640 137138936 4290127104 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 3424 982 184 642 0 2780 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13696 [startup+0.301661 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28625 /proc/meminfo: memFree=1850908/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=13756 CPUtime=0.29 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 1231 0 0 0 28 1 0 0 20 0 1 0 22956403 14086144 1020 1992294400 134512640 137138936 4290127104 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 3439 1020 191 642 0 2795 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13756 [startup+0.700741 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28625 /proc/meminfo: memFree=1850908/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=13756 CPUtime=0.69 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 1231 0 0 0 68 1 0 0 20 0 1 0 22956403 14086144 1020 1992294400 134512640 137138936 4290127104 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 3439 1020 191 642 0 2795 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13756 [startup+1.5009 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28626 /proc/meminfo: memFree=1847428/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=13756 CPUtime=1.49 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 1231 0 0 0 147 2 0 0 23 0 1 0 22956403 14086144 1020 1992294400 134512640 137138936 4290127104 18446744073709551615 136504071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 3439 1020 191 642 0 2795 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13756 [startup+3.10121 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28626 /proc/meminfo: memFree=1847304/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=14392 CPUtime=3.09 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 1385 0 0 0 307 2 0 0 25 0 1 0 22956403 14737408 1174 1992294400 134512640 137138936 4290127104 18446744073709551615 134543126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 3598 1174 191 642 0 2954 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14392 [startup+6.30084 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28626 /proc/meminfo: memFree=1845444/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=15700 CPUtime=6.29 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 1710 0 0 0 626 3 0 0 25 0 1 0 22956403 16076800 1499 1992294400 134512640 137138936 4290127104 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 3925 1499 191 642 0 3281 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15700 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28626 /proc/meminfo: memFree=1843212/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=17888 CPUtime=12.69 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 2245 0 0 0 1264 5 0 0 25 0 1 0 22956403 18317312 2034 1992294400 134512640 137138936 4290127104 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 4472 2034 191 642 0 3828 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17888 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28628 /proc/meminfo: memFree=1842344/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=18460 CPUtime=25.48 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 2388 0 0 0 2542 6 0 0 25 0 1 0 22956403 18903040 2177 1992294400 134512640 137138936 4290127104 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 4615 2177 191 642 0 3971 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18460 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28628 /proc/meminfo: memFree=1841600/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=19216 CPUtime=51.07 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 2594 0 0 0 5097 10 0 0 25 0 1 0 22956403 19677184 2383 1992294400 134512640 137138936 4290127104 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 4804 2383 191 642 0 4160 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19216 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28630 /proc/meminfo: memFree=1839368/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=21416 CPUtime=102.26 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3126 0 0 0 10206 20 0 0 25 0 1 0 22956403 21929984 2915 1992294400 134512640 137138936 4290127104 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 5354 2915 191 642 0 4710 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21416 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28639 /proc/meminfo: memFree=1837384/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=22912 CPUtime=162.22 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3505 0 0 0 16191 31 0 0 25 0 1 0 22956403 23461888 3294 1992294400 134512640 137138936 4290127104 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 5728 3294 191 642 0 5084 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 22912 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28641 /proc/meminfo: memFree=1836516/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=23696 CPUtime=222.21 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3703 0 0 0 22176 45 0 0 25 0 1 0 22956403 24264704 3492 1992294400 134512640 137138936 4290127104 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 5924 3492 191 642 0 5280 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 23696 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28643 /proc/meminfo: memFree=1836020/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=24244 CPUtime=282.19 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3847 0 0 0 28162 57 0 0 25 0 1 0 22956403 24825856 3636 1992294400 134512640 137138936 4290127104 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6061 3636 191 642 0 5417 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 24244 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28645 /proc/meminfo: memFree=1836020/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=24244 CPUtime=342.17 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3848 0 0 0 34148 69 0 0 25 0 1 0 22956403 24825856 3637 1992294400 134512640 137138936 4290127104 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6061 3637 191 642 0 5417 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 24244 [startup+402.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28647 /proc/meminfo: memFree=1836020/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=24244 CPUtime=402.15 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3848 0 0 0 40133 82 0 0 25 0 1 0 22956403 24825856 3637 1992294400 134512640 137138936 4290127104 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6061 3637 191 642 0 5417 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 24244 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28647 /proc/meminfo: memFree=1836020/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=24244 CPUtime=462.12 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3848 0 0 0 46117 95 0 0 25 0 1 0 22956403 24825856 3637 1992294400 134512640 137138936 4290127104 18446744073709551615 134542164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6061 3637 191 642 0 5417 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 24244 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28649 /proc/meminfo: memFree=1836020/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=24244 CPUtime=522.1 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 3849 0 0 0 52104 106 0 0 25 0 1 0 22956403 24825856 3638 1992294400 134512640 137138936 4290127104 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6061 3638 191 642 0 5417 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 24244 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28651 /proc/meminfo: memFree=1835152/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=25312 CPUtime=582.08 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4106 0 0 0 58088 120 0 0 25 0 1 0 22956403 25919488 3895 1992294400 134512640 137138936 4290127104 18446744073709551615 134575263 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6328 3895 191 642 0 5684 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 25312 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28653 /proc/meminfo: memFree=1834408/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=25916 CPUtime=642.07 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4267 0 0 0 64076 131 0 0 25 0 1 0 22956403 26537984 4056 1992294400 134512640 137138936 4290127104 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6479 4056 191 642 0 5835 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 25916 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1832300/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27244 CPUtime=1121.9 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4602 0 0 0 111970 220 0 0 25 0 1 0 22956403 27897856 4391 1992294400 134512640 137138936 4290127104 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6811 4391 191 642 0 6167 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 27244 [startup+1182.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 28670 /proc/meminfo: memFree=1832300/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27236 CPUtime=1181.87 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4602 0 0 0 117955 232 0 0 25 0 1 0 22956403 27889664 4390 1992294400 134512640 137138936 4290127104 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6809 4390 191 642 0 6165 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 27236 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 28672 /proc/meminfo: memFree=1832300/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27444 CPUtime=1241.85 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4639 0 0 0 123942 243 0 0 25 0 1 0 22956403 28102656 4427 1992294400 134512640 137138936 4290127104 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6861 4427 191 642 0 6217 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 27444 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28674 /proc/meminfo: memFree=1831928/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27860 CPUtime=1301.84 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4752 0 0 0 129930 254 0 0 25 0 1 0 22956403 28528640 4540 1992294400 134512640 137138936 4290127104 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6965 4540 191 642 0 6321 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 27860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28674 /proc/meminfo: memFree=1831928/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27856 CPUtime=1361.81 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4752 0 0 0 135916 265 0 0 25 0 1 0 22956403 28524544 4540 1992294400 134512640 137138936 4290127104 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6964 4540 191 642 0 6320 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 27856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28676 /proc/meminfo: memFree=1831804/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27856 CPUtime=1421.8 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4752 0 0 0 141904 276 0 0 25 0 1 0 22956403 28524544 4540 1992294400 134512640 137138936 4290127104 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6964 4540 191 642 0 6320 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 27856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28678 /proc/meminfo: memFree=1831804/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27856 CPUtime=1481.77 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4752 0 0 0 147891 286 0 0 25 0 1 0 22956403 28524544 4540 1992294400 134512640 137138936 4290127104 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6964 4540 191 642 0 6320 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 27856 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28680 /proc/meminfo: memFree=1831804/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=27856 CPUtime=1541.75 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4752 0 0 0 153880 295 0 0 25 0 1 0 22956403 28524544 4540 1992294400 134512640 137138936 4290127104 18446744073709551615 134542292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 6964 4540 191 642 0 6320 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 27856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28682 /proc/meminfo: memFree=1831184/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28896 CPUtime=1601.73 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 4997 0 0 0 159867 306 0 0 25 0 1 0 22956403 29589504 4785 1992294400 134512640 137138936 4290127104 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7224 4785 191 642 0 6580 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 28896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28682 /proc/meminfo: memFree=1830688/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=29004 CPUtime=1661.71 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 165857 314 0 0 25 0 1 0 22956403 29700096 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134573777 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7251 4819 191 642 0 6607 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 29004 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28684 /proc/meminfo: memFree=1830564/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28992 CPUtime=1721.68 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 171845 323 0 0 25 0 1 0 22956403 29687808 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7248 4819 191 642 0 6604 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 28992 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28988 CPUtime=1781.67 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 177834 333 0 0 25 0 1 0 22956403 29683712 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134578220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7247 4819 191 642 0 6603 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 28988 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 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1791.27 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 178793 334 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134575245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 28984 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1794.47 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 179112 335 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 28984 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1796.06 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 179271 335 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 28984 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1796.86 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 179351 335 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 28984 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1797.66 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 179431 335 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 28984 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1797.86 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 179451 335 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 28984 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28686 /proc/meminfo: memFree=1830316/2059040 swapFree=4136184/4192956 [pid=28625] ppid=28623 vsize=28984 CPUtime=1797.96 /proc/28625/stat : 28625 (bsolo_pb10) R 28623 28625 27638 0 -1 4202496 5031 0 0 0 179461 335 0 0 25 0 1 0 22956403 29679616 4819 1992294400 134512640 137138936 4290127104 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28625/statm: 7246 4819 191 642 0 6602 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 28984 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.01 CPU user time (s): 1794.65 CPU system time (s): 3.36049 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 29004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.65 system time used= 3.36049 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5031 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= 3057 runsolver used 2.81657 second user time and 8.64368 second system time The end
Begin job on node011 at 2010-06-14 01:59:08 IDJOB=2657334 IDBENCH=2208 IDSOLVER=1163 FILE ID=node011/2657334-1276473548 PBS_JOBID= 11173359 Free space on /tmp= 62264 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657334-1276473548/watcher-2657334-1276473548 -o /tmp/evaluation-result-2657334-1276473548/solver-2657334-1276473548 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657334-1276473548.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5a9e4c8983ff8fc3ce01109a5c224dd2 RANDOM SEED=2063228616 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851436 kB Buffers: 40328 kB Cached: 91304 kB SwapCached: 9796 kB Active: 62304 kB Inactive: 81836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851436 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 4364 kB Writeback: 0 kB AnonPages: 11060 kB Mapped: 9268 kB Slab: 41536 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62260 MiB End job on node011 at 2010-06-14 02:29:07