Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798.01 | 1798.56 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-4.opb |
MD5SUM | 172d8bfe30610a29dfe3bb9d98ed3f4c |
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 | 13489 |
Number of constraints which are clauses | 13489 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656398-1276430646.opb 0.00/0.00 c File size is 455441 bytes. 0.00/0.07 c Highest Coefficient sum: 6352 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.071 s 0.00/0.07 c Var: 6352 Constr: 13489 13489/0/0 Lit: 33997 Watch. Lit: 26837 0.00/0.07 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.16 c Pre-processing Time: 0.168 s 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 1957 5822 16470 2 11644 1940 0 0 0.17 0.09/0.17 c Switching off lower bounding mode. 1797.94/1798.56 c 100 1957 6022 23048 3 12044 2135 200 253 0.39 1797.94/1798.56 c 251 1957 6324 34886 5 12648 2349 502 343 0.73 1797.94/1798.56 c 477 1957 6776 52654 7 13552 2584 954 364 1.31 1797.94/1798.56 c 816 1957 7454 76174 10 14908 2843 1632 406 2.01 1797.94/1798.56 c 1324 1957 8470 113510 13 16940 3128 2648 433 3.05 1797.94/1798.56 c 2087 1957 9996 169714 16 19992 3441 4174 453 4.60 1797.94/1798.56 c 3234 1957 12290 258132 21 24580 3786 6468 482 6.70 1797.94/1798.56 c 4955 1957 9311 130837 14 18622 4165 3489 501 9.87 1797.94/1798.56 c 7539 1957 7938 90712 11 15876 4582 2116 510 14.76 1797.94/1798.56 c 11419 1957 8903 129409 14 17806 5041 3081 527 21.65 1797.94/1798.56 c 17242 1957 13529 435790 32 27058 5546 7707 510 33.79 1797.94/1798.56 c 25979 1957 9154 150934 16 18308 6101 3332 499 51.99 1797.94/1798.56 c 39089 1957 12821 303546 23 25642 6712 6999 474 82.40 1797.94/1798.56 c 58760 1957 13212 364730 27 26424 7384 7390 455 128.87 1797.94/1798.56 c 88270 1957 15306 525306 34 30612 8123 9484 432 204.06 1797.94/1798.56 c 132540 1957 10211 261482 25 20422 8936 4389 391 338.23 1797.94/1798.56 c 198950 1957 18909 782050 41 37818 9830 13087 373 533.28 1797.94/1798.56 c 298570 1957 13646 427358 31 27292 10814 7824 362 822.58 1797.94/1798.56 c 448005 1957 18620 722765 38 37240 11896 12798 356 1257.63 1797.94/1798.56 c Resources Exceeded 1797.94/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.56 c 19 633584 42346 685354 17845 597703 12023 352 1798.01 1797.94/1798.56 s UNKNOWN 1797.94/1798.56 c Total time: 1798.01 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-2656398-1276430646/watcher-2656398-1276430646 -o /tmp/evaluation-result-2656398-1276430646/solver-2656398-1276430646 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656398-1276430646.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24863 /proc/meminfo: memFree=1715012/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=19208 CPUtime=0 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 18668613 19668992 278 1992294400 134512640 137138936 4287661600 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 4802 278 172 642 0 4046 0 [startup+0.105689 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24863 /proc/meminfo: memFree=1715012/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=13704 CPUtime=0.09 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1177 0 0 0 9 0 0 0 20 0 1 0 18668613 14032896 983 1992294400 134512640 137138936 4287661600 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 3426 983 184 642 0 2782 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13704 [startup+0.201701 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24863 /proc/meminfo: memFree=1715012/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=13768 CPUtime=0.19 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1235 0 0 0 18 1 0 0 20 0 1 0 18668613 14098432 1023 1992294400 134512640 137138936 4287661600 18446744073709551615 136504017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 3442 1023 192 642 0 2798 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13768 [startup+0.301712 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24863 /proc/meminfo: memFree=1715012/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=13768 CPUtime=0.29 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1235 0 0 0 28 1 0 0 20 0 1 0 18668613 14098432 1023 1992294400 134512640 137138936 4287661600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 3442 1023 192 642 0 2798 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13768 [startup+0.70076 s] /proc/loadavg: 0.92 0.98 0.99 3/106 24863 /proc/meminfo: memFree=1715012/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=13768 CPUtime=0.69 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1235 0 0 0 68 1 0 0 21 0 1 0 18668613 14098432 1023 1992294400 134512640 137138936 4287661600 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 3442 1023 192 642 0 2798 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13768 [startup+1.50085 s] /proc/loadavg: 0.92 0.98 0.99 2/107 24864 /proc/meminfo: memFree=1711408/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=13768 CPUtime=1.49 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1235 0 0 0 148 1 0 0 23 0 1 0 18668613 14098432 1023 1992294400 134512640 137138936 4287661600 18446744073709551615 134606869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 3442 1023 192 642 0 2798 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13768 [startup+3.10104 s] /proc/loadavg: 0.92 0.98 0.99 2/107 24864 /proc/meminfo: memFree=1711160/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=14388 CPUtime=3.09 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1370 0 0 0 307 2 0 0 25 0 1 0 18668613 14733312 1158 1992294400 134512640 137138936 4287661600 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 3597 1158 192 642 0 2953 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14388 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24864 /proc/meminfo: memFree=1709176/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=16296 CPUtime=6.29 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 1848 0 0 0 627 2 0 0 25 0 1 0 18668613 16687104 1636 1992294400 134512640 137138936 4287661600 18446744073709551615 134543926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 4074 1636 192 642 0 3430 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16296 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 24864 /proc/meminfo: memFree=1707448/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=17492 CPUtime=12.69 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 2147 0 0 0 1266 3 0 0 25 0 1 0 18668613 17911808 1935 1992294400 134512640 137138936 4287661600 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 4373 1935 192 642 0 3729 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17492 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/107 24864 /proc/meminfo: memFree=1706704/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=18252 CPUtime=25.48 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 2350 0 0 0 2542 6 0 0 25 0 1 0 18668613 18690048 2138 1992294400 134512640 137138936 4287661600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 4563 2138 192 642 0 3919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18252 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/107 24864 /proc/meminfo: memFree=1704100/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=20780 CPUtime=51.07 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 2971 0 0 0 5098 9 0 0 25 0 1 0 18668613 21278720 2759 1992294400 134512640 137138936 4287661600 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 5195 2759 192 642 0 4551 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20780 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/107 24866 /proc/meminfo: memFree=1703852/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=20828 CPUtime=102.26 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 2980 0 0 0 10210 16 0 0 25 0 1 0 18668613 21327872 2768 1992294400 134512640 137138936 4287661600 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 5207 2768 192 642 0 4563 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20828 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24868 /proc/meminfo: memFree=1702240/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=22304 CPUtime=162.24 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3365 0 0 0 16199 25 0 0 25 0 1 0 18668613 22839296 3153 1992294400 134512640 137138936 4287661600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 5576 3153 192 642 0 4932 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22304 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24870 /proc/meminfo: memFree=1701620/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=23092 CPUtime=222.24 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3549 0 0 0 22190 34 0 0 25 0 1 0 18668613 23646208 3337 1992294400 134512640 137138936 4287661600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 5773 3337 192 642 0 5129 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 23092 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24870 /proc/meminfo: memFree=1701000/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=23668 CPUtime=282.2 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3691 0 0 0 28178 42 0 0 25 0 1 0 18668613 24236032 3479 1992294400 134512640 137138936 4287661600 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 5917 3479 192 642 0 5273 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 23668 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24872 /proc/meminfo: memFree=1700256/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=24376 CPUtime=342.19 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3884 0 0 0 34169 50 0 0 25 0 1 0 18668613 24961024 3672 1992294400 134512640 137138936 4287661600 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6094 3672 192 642 0 5450 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 24376 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24874 /proc/meminfo: memFree=1699884/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=24728 CPUtime=402.17 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3957 0 0 0 40160 57 0 0 25 0 1 0 18668613 25321472 3745 1992294400 134512640 137138936 4287661600 18446744073709551615 136505588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6182 3745 192 642 0 5538 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 24728 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24876 /proc/meminfo: memFree=1699760/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=24632 CPUtime=462.15 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3957 0 0 0 46148 67 0 0 25 0 1 0 18668613 25223168 3739 1992294400 134512640 137138936 4287661600 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6158 3739 192 642 0 5514 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 24632 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24878 /proc/meminfo: memFree=1699636/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=24632 CPUtime=522.13 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 3957 0 0 0 52139 74 0 0 25 0 1 0 18668613 25223168 3739 1992294400 134512640 137138936 4287661600 18446744073709551615 134607253 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6158 3739 192 642 0 5514 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 24632 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24881 /proc/meminfo: memFree=1698148/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=25084 CPUtime=582.12 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4070 0 0 0 58129 83 0 0 25 0 1 0 18668613 25686016 3852 1992294400 134512640 137138936 4287661600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6271 3852 192 642 0 5627 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 25084 [startup+642.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 24883 /proc/meminfo: memFree=1698148/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=25036 CPUtime=642.1 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4070 0 0 0 64119 91 0 0 25 0 1 0 18668613 25636864 3840 1992294400 134512640 137138936 4287661600 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6259 3840 192 642 0 5615 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 25036 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1697652/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26228 CPUtime=1121.95 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4377 0 0 0 112042 153 0 0 25 0 1 0 18668613 26857472 4135 1992294400 134512640 137138936 4287661600 18446744073709551615 134576319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6557 4135 192 642 0 5913 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 26228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24897 /proc/meminfo: memFree=1697528/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26300 CPUtime=1181.93 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4381 0 0 0 118032 161 0 0 25 0 1 0 18668613 26931200 4139 1992294400 134512640 137138936 4287661600 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6575 4139 192 642 0 5931 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 26300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24899 /proc/meminfo: memFree=1697404/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26292 CPUtime=1241.91 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4381 0 0 0 124022 169 0 0 25 0 1 0 18668613 26923008 4139 1992294400 134512640 137138936 4287661600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6573 4139 192 642 0 5929 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 26292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24901 /proc/meminfo: memFree=1697280/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26288 CPUtime=1301.89 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4382 0 0 0 130010 179 0 0 25 0 1 0 18668613 26918912 4140 1992294400 134512640 137138936 4287661600 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6572 4140 192 642 0 5928 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 26288 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24903 /proc/meminfo: memFree=1697280/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26408 CPUtime=1361.87 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 136001 186 0 0 25 0 1 0 18668613 27041792 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134607598 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6602 4181 192 642 0 5958 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 26408 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24905 /proc/meminfo: memFree=1697156/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1421.86 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 141993 193 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 26404 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24905 /proc/meminfo: memFree=1697032/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1481.83 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 147982 201 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134544840 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 26404 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24907 /proc/meminfo: memFree=1697032/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1541.82 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 153973 209 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 26404 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24909 /proc/meminfo: memFree=1697032/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1601.79 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 159962 217 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 26404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24911 /proc/meminfo: memFree=1696908/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1661.77 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 165952 225 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 26404 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24913 /proc/meminfo: memFree=1696784/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1721.76 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 171944 232 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 26404 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24913 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1781.74 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 177934 240 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 26404 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1791.44 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 178903 241 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 26404 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1794.65 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 179223 242 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 26404 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1796.23 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 179381 242 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 26404 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1797.03 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 179461 242 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 26404 [startup+1798 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1797.43 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 179501 242 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134618947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 26404 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1797.83 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 179541 242 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 26404 [startup+1798.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24915 /proc/meminfo: memFree=1696536/2059040 swapFree=4136464/4192956 [pid=24863] ppid=24861 vsize=26404 CPUtime=1797.94 /proc/24863/stat : 24863 (bsolo_pb10) R 24861 24863 23834 0 -1 4202496 4423 0 0 0 179552 242 0 0 25 0 1 0 18668613 27037696 4181 1992294400 134512640 137138936 4287661600 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24863/statm: 6601 4181 192 642 0 5957 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 26404 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.01 CPU user time (s): 1795.58 CPU system time (s): 2.42963 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 26464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.58 system time used= 2.42963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4423 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= 3043 runsolver used 3.16752 second user time and 8.29074 second system time The end
Begin job on node001 at 2010-06-13 14:04:06 IDJOB=2656398 IDBENCH=2122 IDSOLVER=1162 FILE ID=node001/2656398-1276430646 PBS_JOBID= 11173305 Free space on /tmp= 62392 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656398-1276430646/watcher-2656398-1276430646 -o /tmp/evaluation-result-2656398-1276430646/solver-2656398-1276430646 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656398-1276430646.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 172d8bfe30610a29dfe3bb9d98ed3f4c RANDOM SEED=1814997921 node001.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.202 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.202 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: 1715416 kB Buffers: 102588 kB Cached: 154592 kB SwapCached: 16988 kB Active: 139416 kB Inactive: 137796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1715416 kB SwapTotal: 4192956 kB SwapFree: 4136464 kB Dirty: 4388 kB Writeback: 0 kB AnonPages: 10952 kB Mapped: 9156 kB Slab: 44636 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181860 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= 62388 MiB End job on node001 at 2010-06-13 14:34:05