Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798.33 | 1799.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.29.opb |
MD5SUM | b0a7c1cc13cb603591c6d50e3dba1a47 |
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 | 14500 |
Total number of constraints | 461872 |
Number of constraints which are clauses | 461872 |
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 | 29 |
Number of terms in the objective function | 14500 |
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 | 14500 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 14500 |
Number of bits of the biggest sum of numbers | 14 |
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-2656395-1276417463.opb 0.00/0.00 c File size is 11967798 bytes. 1.89/1.93 c Highest Coefficient sum: 14500 1.89/1.93 c Parsing was ok!! 1.89/1.93 c Total parsing time: 1.936 s 1.99/2.09 c Var: 14500 Constr: 461872 461872/0/0 Lit: 930494 Watch. Lit: 923744 1.99/2.09 c Obj. Vars: 14500 (100 % of total variables) 17.98/18.02 c Pre-processing Time: 18.017 s 17.98/18.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.98/18.03 c 0 14500 461872 930494 2 923744 153957 0 0 18.02 17.98/18.03 c Switching off lower bounding mode. 1798.19/1798.91 c 100 14500 462072 952236 2 924144 169353 200 5 18.19 1798.19/1798.91 c 252 14500 462376 993112 2 924752 186289 504 13 19.37 1798.19/1798.91 c 477 14500 462826 1149654 2 925652 204918 954 23 20.12 1798.19/1798.91 c 817 14500 463506 1350870 2 927012 225410 1634 38 21.11 1798.19/1798.91 c 1326 14500 464524 1834440 3 929048 247952 2652 56 23.40 1798.19/1798.91 c 2090 14500 466052 2856018 6 932104 272748 4180 75 27.70 1798.19/1798.91 c 3236 14500 468344 4362584 9 936688 300023 6472 92 34.91 1798.19/1798.91 c 4957 14500 471786 7000032 14 943572 330026 9914 97 50.70 1798.19/1798.91 c 7548 14500 476968 10424910 21 953936 363029 15096 102 73.31 1798.19/1798.91 c 11428 14500 484728 15329744 31 969456 399332 22856 101 112.66 1798.19/1798.91 c 17250 14500 496372 32427234 65 992744 439266 34500 68 252.07 1798.19/1798.91 c 25987 14500 513846 57651464 112 1027692 483193 51974 52 494.03 1798.19/1798.91 c Reducing formula size due to memory constraints 1798.19/1798.91 c Memory Limit: 1000.00 MB Used: 1026.28 MB 1798.19/1798.91 c 39098 14500 493622 47507634 96 987244 587471 31750 43 904.62 1798.19/1798.91 c Reducing formula size due to memory constraints 1798.19/1798.91 c Memory Limit: 1000.00 MB Used: 1047.58 MB 1798.19/1798.91 c Reducing formula size due to memory constraints 1798.19/1798.91 c Memory Limit: 1000.00 MB Used: 1028.21 MB 1798.19/1798.91 c Resources Exceeded 1798.19/1798.91 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.19/1798.91 c 13 57126 19694 206732 490478 75287979 28606 31 1798.22 1798.19/1798.91 s UNKNOWN 1798.19/1798.91 c Total time: 1798.22 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-2656395-1276417463/watcher-2656395-1276417463 -o /tmp/evaluation-result-2656395-1276417463/solver-2656395-1276417463 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656395-1276417463.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 22687 /proc/meminfo: memFree=1794560/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=30448 CPUtime=0 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 17347962 31178752 281 1992294400 134512640 137138936 4293285808 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 7612 281 172 642 0 4046 0 [startup+0.0986751 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22687 /proc/meminfo: memFree=1794560/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=25260 CPUtime=0.09 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 1169 0 0 0 9 0 0 0 20 0 1 0 17347962 25866240 1088 1992294400 134512640 137138936 4293285808 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 6315 1089 305 642 0 2749 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25260 [startup+0.101671 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22687 /proc/meminfo: memFree=1794560/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=25396 CPUtime=0.09 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 1191 0 0 0 9 0 0 0 20 0 1 0 17347962 26005504 1110 1992294400 134512640 137138936 4293285808 18446744073709551615 134520069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 6349 1110 309 642 0 2783 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25396 [startup+0.301707 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22687 /proc/meminfo: memFree=1794560/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=30212 CPUtime=0.29 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 2699 0 0 0 29 0 0 0 20 0 1 0 17347962 30937088 2618 1992294400 134512640 137138936 4293285808 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 7553 2618 605 642 0 3987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30212 [startup+0.701777 s] /proc/loadavg: 0.92 0.98 0.99 3/106 22687 /proc/meminfo: memFree=1794560/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=39700 CPUtime=0.69 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 5697 0 0 0 67 2 0 0 20 0 1 0 17347962 40652800 5616 1992294400 134512640 137138936 4293285808 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 9925 5616 1213 642 0 6359 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39700 [startup+1.50192 s] /proc/loadavg: 0.92 0.98 0.99 2/107 22690 /proc/meminfo: memFree=1769132/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=58668 CPUtime=1.49 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 11648 0 0 0 145 4 0 0 22 0 1 0 17347962 60076032 11567 1992294400 134512640 137138936 4293285808 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 14667 11567 2425 642 0 11101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58668 [startup+3.10121 s] /proc/loadavg: 0.92 0.98 0.99 2/107 22690 /proc/meminfo: memFree=1724492/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=79796 CPUtime=3.09 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 20497 0 0 0 301 8 0 0 25 0 1 0 17347962 81711104 17494 1992294400 134512640 137138936 4293285808 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 19949 17494 183 642 0 19305 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79796 [startup+6.30178 s] /proc/loadavg: 0.93 0.98 0.99 2/107 22690 /proc/meminfo: memFree=1709364/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=95040 CPUtime=6.29 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 24301 0 0 0 614 15 0 0 25 0 1 0 17347962 97320960 21298 1992294400 134512640 137138936 4293285808 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 23760 21298 184 642 0 23116 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 95040 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 22690 /proc/meminfo: memFree=1709364/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=95040 CPUtime=12.69 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 24301 0 0 0 1229 40 0 0 25 0 1 0 17347962 97320960 21298 1992294400 134512640 137138936 4293285808 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 23760 21298 184 642 0 23116 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 95040 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/107 22690 /proc/meminfo: memFree=1706760/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=98428 CPUtime=25.48 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 28994 0 0 0 2481 67 0 0 25 0 1 0 17347962 100790272 22159 1992294400 134512640 137138936 4293285808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 24607 22159 192 642 0 23963 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 98428 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/107 22690 /proc/meminfo: memFree=1646372/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=159280 CPUtime=51.07 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 44208 0 0 0 5030 77 0 0 25 0 1 0 17347962 163102720 37373 1992294400 134512640 137138936 4293285808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 39820 37373 192 642 0 39176 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 159280 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 22692 /proc/meminfo: memFree=1553496/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=250900 CPUtime=102.25 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 67105 0 0 0 10136 89 0 0 25 0 1 0 17347962 256921600 60270 1992294400 134512640 137138936 4293285808 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 62725 60270 192 642 0 62081 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 250900 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22694 /proc/meminfo: memFree=1452684/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=352404 CPUtime=162.23 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 92474 0 0 0 16120 103 0 0 25 0 1 0 17347962 360861696 85639 1992294400 134512640 137138936 4293285808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 88101 85639 192 642 0 87457 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 352404 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22694 /proc/meminfo: memFree=1363404/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=440936 CPUtime=222.21 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 114639 0 0 0 22106 115 0 0 25 0 1 0 17347962 451518464 107804 1992294400 134512640 137138936 4293285808 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 110234 107804 192 642 0 109590 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 440936 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22696 /proc/meminfo: memFree=1269164/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=535540 CPUtime=282.18 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 138284 0 0 0 28092 126 0 0 25 0 1 0 17347962 548392960 131449 1992294400 134512640 137138936 4293285808 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 133885 131449 192 642 0 133241 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 535540 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22698 /proc/meminfo: memFree=1179884/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=624272 CPUtime=342.16 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 160442 0 0 0 34079 137 0 0 25 0 1 0 17347962 639254528 153607 1992294400 134512640 137138936 4293285808 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 156068 153607 192 642 0 155424 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 624272 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22700 /proc/meminfo: memFree=1107344/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=696920 CPUtime=402.13 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 178630 0 0 0 40068 145 0 0 25 0 1 0 17347962 713646080 171795 1992294400 134512640 137138936 4293285808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 174230 171795 192 642 0 173586 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 696920 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22702 /proc/meminfo: memFree=1034804/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=768784 CPUtime=462.11 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 196594 0 0 0 46058 153 0 0 25 0 1 0 17347962 787234816 189759 1992294400 134512640 137138936 4293285808 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 192196 189759 192 642 0 191552 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 768784 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22702 /proc/meminfo: memFree=970448/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=833316 CPUtime=522.09 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 212709 0 0 0 52046 163 0 0 25 0 1 0 17347962 853315584 205874 1992294400 134512640 137138936 4293285808 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 208329 205874 192 642 0 207685 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 833316 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22704 /proc/meminfo: memFree=913160/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=889980 CPUtime=582.07 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 226897 0 0 0 58037 170 0 0 25 0 1 0 17347962 911339520 220062 1992294400 134512640 137138936 4293285808 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 222495 220062 192 642 0 221851 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 889980 [startup+642.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 22706 /proc/meminfo: memFree=857360/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=945444 CPUtime=642.05 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 240740 0 0 0 64029 176 0 0 25 0 1 0 17347962 968134656 233905 1992294400 134512640 137138936 4293285808 18446744073709551615 134606636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 236361 233905 192 642 0 235717 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 945444 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=736956/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1065044 CPUtime=1121.87 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 270635 0 0 0 111990 197 0 0 25 0 1 0 17347962 1090605056 263800 1992294400 134512640 137138936 4293285808 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 266261 263800 192 642 0 265617 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1065044 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22720 /proc/meminfo: memFree=736956/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1065044 CPUtime=1181.83 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 270635 0 0 0 117986 197 0 0 25 0 1 0 17347962 1090605056 263800 1992294400 134512640 137138936 4293285808 18446744073709551615 136505085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 266261 263800 192 642 0 265617 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1065044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22722 /proc/meminfo: memFree=715132/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1086840 CPUtime=1241.81 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 276084 0 0 0 123980 201 0 0 25 0 1 0 17347962 1112924160 269249 1992294400 134512640 137138936 4293285808 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 271710 269249 192 642 0 271066 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1086840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22724 /proc/meminfo: memFree=715132/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1086840 CPUtime=1301.79 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 276084 0 0 0 129978 201 0 0 25 0 1 0 17347962 1112924160 269249 1992294400 134512640 137138936 4293285808 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 271710 269249 192 642 0 271066 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1086840 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 22726 /proc/meminfo: memFree=715132/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1086840 CPUtime=1361.76 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 276084 0 0 0 135974 202 0 0 25 0 1 0 17347962 1112924160 269249 1992294400 134512640 137138936 4293285808 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 271710 269249 192 642 0 271066 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 1086840 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 22726 /proc/meminfo: memFree=715132/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1086840 CPUtime=1421.75 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 276084 0 0 0 141972 203 0 0 25 0 1 0 17347962 1112924160 269249 1992294400 134512640 137138936 4293285808 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 271710 269249 192 642 0 271066 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1086840 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22728 /proc/meminfo: memFree=704840/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1481.72 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 147968 204 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1097020 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22730 /proc/meminfo: memFree=704840/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1541.7 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 153965 205 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1097020 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22732 /proc/meminfo: memFree=704840/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1601.67 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 159962 205 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 1097020 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22734 /proc/meminfo: memFree=704840/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1661.65 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 165959 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 1097020 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22734 /proc/meminfo: memFree=704716/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1721.63 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 171957 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1097020 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1781.6 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 177954 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 1097020 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 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1791.21 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 178915 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 1097020 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1794.4 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 179234 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 1097020 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1795.99 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 179393 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 1097020 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1797.59 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 179553 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 1097020 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1797.99 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 179593 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 1097020 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=1097020 CPUtime=1798.19 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202496 278629 0 0 0 179613 206 0 0 25 0 1 0 17347962 1123348480 271794 1992294400 134512640 137138936 4293285808 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22687/statm: 274255 271794 192 642 0 273611 0 Current children cumulated CPU time (s) 1798.19 Current children cumulated vsize (KiB) 1097020 [startup+1799 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22736 /proc/meminfo: memFree=704468/2059040 swapFree=4136716/4192956 [pid=22687] ppid=22685 vsize=0 CPUtime=1798.3 /proc/22687/stat : 22687 (bsolo_pb10) R 22685 22687 22486 0 -1 4202500 278629 0 0 0 179615 215 0 0 25 0 1 0 17347962 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/22687/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.3 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1799.03 CPU time (s): 1798.33 CPU user time (s): 1796.15 CPU system time (s): 2.17567 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 1097020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.15 system time used= 2.17567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278629 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= 5065 runsolver used 2.88856 second user time and 8.5687 second system time The end
Begin job on node012 at 2010-06-13 10:24:24 IDJOB=2656395 IDBENCH=2058 IDSOLVER=1162 FILE ID=node012/2656395-1276417463 PBS_JOBID= 11173292 Free space on /tmp= 62400 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656395-1276417463/watcher-2656395-1276417463 -o /tmp/evaluation-result-2656395-1276417463/solver-2656395-1276417463 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656395-1276417463.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47 RANDOM SEED=1770471718 node012.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.258 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.51 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.258 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: 1794964 kB Buffers: 34392 kB Cached: 144460 kB SwapCached: 16500 kB Active: 145896 kB Inactive: 52596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794964 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 15608 kB Writeback: 0 kB AnonPages: 10964 kB Mapped: 9280 kB Slab: 43820 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181224 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= 62396 MiB End job on node012 at 2010-06-13 10:54:23