Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798.08 | 1798.55 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_2_80.opb |
MD5SUM | f309126dc76153b39022a856cb65e640 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74976 |
Sum of products size (including duplicates) | 149952 |
Number of different products | 37488 |
Sum of products size | 74976 |
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-2671352-1276723745.opb 0.00/0.00 c File size is 3314438 bytes. 0.49/0.59 c Highest Coefficient sum: 1000 0.49/0.59 c Parsing was ok!! 0.49/0.59 c Total parsing time: 0.59 s 0.59/0.64 c Var: 38488 Constr: 76479 37988/1003/37488 Lit: 303404 Watch. Lit: 264499 0.59/0.64 c Obj. Vars: 0 (0 % of total variables) 179.63/179.72 c Pre-processing Time: 179.668 s 179.63/179.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.63/179.72 c 0 38488 76479 303404 3 264499 500000 0 0 179.67 179.63/179.72 c Switching off lower bounding mode. 1797.93/1798.47 c 100 38488 76580 304702 3 264780 550001 101 0 180.76 1797.93/1798.47 c 250 38488 76730 305152 3 265080 605002 251 1 181.72 1797.93/1798.47 c 475 38488 76955 310526 4 265530 665503 476 2 182.51 1797.93/1798.47 c 813 38488 77293 355137 4 266206 732054 814 4 184.27 1797.93/1798.47 c 1321 38488 77801 363604 4 267222 805260 1322 7 186.09 1797.93/1798.47 c 2084 38488 78579 511952 6 268908 885787 2100 10 190.24 1797.93/1798.47 c 3230 38488 79769 938984 11 271288 974366 3290 15 202.17 1797.93/1798.47 c 4958 38488 81617 1831533 22 279462 500000 5138 22 216.34 1797.93/1798.47 c 7542 38488 84365 3310082 39 296592 550001 7886 33 228.04 1797.93/1798.47 c 11421 38488 88467 5386841 60 317142 605002 11988 45 252.76 1797.93/1798.47 c 17245 38488 94614 8337929 88 350014 665503 18135 57 298.89 1797.93/1798.47 c 25982 38488 103871 12917651 124 412029 732054 27392 67 383.86 1797.93/1798.47 c 39092 38488 117793 19952478 169 497122 805260 41314 70 558.41 1797.93/1798.47 c 58765 38488 138558 30599317 220 581000 885787 62079 68 862.54 1797.93/1798.47 c 88275 38488 168899 44064495 260 649915 974366 92420 65 1344.79 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 15 110943 61026 4458595 192369 54827191 115890 61 1798.01 1797.93/1798.47 s UNKNOWN 1797.93/1798.47 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-2671352-1276723745/watcher-2671352-1276723745 -o /tmp/evaluation-result-2671352-1276723745/solver-2671352-1276723745 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671352-1276723745.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19953 /proc/meminfo: memFree=1848144/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=21992 CPUtime=0 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 371 0 0 0 0 0 0 0 23 0 1 0 13665679 22519808 289 1992294400 134512640 137138936 4286666608 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 5498 290 175 642 0 4044 0 [startup+0.046881 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19953 /proc/meminfo: memFree=1848144/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=15748 CPUtime=0.04 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 813 0 0 0 4 0 0 0 23 0 1 0 13665679 16125952 691 1992294400 134512640 137138936 4286666608 18446744073709551615 134603268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 3937 691 226 642 0 2483 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15748 [startup+0.100884 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19953 /proc/meminfo: memFree=1848144/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=16784 CPUtime=0.09 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 1169 0 0 0 9 0 0 0 23 0 1 0 13665679 17186816 1047 1992294400 134512640 137138936 4286666608 18446744073709551615 134516178 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 4196 1047 289 642 0 2742 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16784 [startup+0.300904 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19953 /proc/meminfo: memFree=1848144/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=20336 CPUtime=0.29 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 2324 0 0 0 28 1 0 0 23 0 1 0 13665679 20824064 2202 1992294400 134512640 137138936 4286666608 18446744073709551615 136659608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 5084 2202 562 642 0 3630 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20336 [startup+0.700943 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19953 /proc/meminfo: memFree=1848144/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=32700 CPUtime=0.69 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6515 0 0 0 66 3 0 0 25 0 1 0 13665679 33484800 5583 1992294400 134512640 137138936 4286666608 18446744073709551615 134566259 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8175 5583 184 642 0 7531 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32700 [startup+1.50102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19954 /proc/meminfo: memFree=1826312/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=1.49 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6649 0 0 0 146 3 0 0 25 0 1 0 13665679 33890304 5717 1992294400 134512640 137138936 4286666608 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5717 184 642 0 7630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33096 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19954 /proc/meminfo: memFree=1826064/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=3.09 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6650 0 0 0 306 3 0 0 25 0 1 0 13665679 33890304 5718 1992294400 134512640 137138936 4286666608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5718 184 642 0 7630 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33096 [startup+6.30149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19954 /proc/meminfo: memFree=1825692/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=6.29 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6651 0 0 0 626 3 0 0 25 0 1 0 13665679 33890304 5719 1992294400 134512640 137138936 4286666608 18446744073709551615 136504919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5719 184 642 0 7630 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33096 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19954 /proc/meminfo: memFree=1825692/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=12.68 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6651 0 0 0 1265 3 0 0 25 0 1 0 13665679 33890304 5719 1992294400 134512640 137138936 4286666608 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5719 184 642 0 7630 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33096 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19954 /proc/meminfo: memFree=1825692/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=25.49 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6652 0 0 0 2545 4 0 0 25 0 1 0 13665679 33890304 5720 1992294400 134512640 137138936 4286666608 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5720 184 642 0 7630 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33096 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19956 /proc/meminfo: memFree=1825692/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=51.07 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6652 0 0 0 5102 5 0 0 25 0 1 0 13665679 33890304 5720 1992294400 134512640 137138936 4286666608 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5720 184 642 0 7630 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33096 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19956 /proc/meminfo: memFree=1825692/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=102.27 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6652 0 0 0 10219 8 0 0 25 0 1 0 13665679 33890304 5720 1992294400 134512640 137138936 4286666608 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5720 184 642 0 7630 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33096 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19958 /proc/meminfo: memFree=1825692/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=33096 CPUtime=162.24 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 6652 0 0 0 16214 10 0 0 25 0 1 0 13665679 33890304 5720 1992294400 134512640 137138936 4286666608 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 8274 5720 184 642 0 7630 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33096 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19963 /proc/meminfo: memFree=1794696/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=63872 CPUtime=222.22 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 17077 0 0 0 22180 42 0 0 25 0 1 0 13665679 65404928 13399 1992294400 134512640 137138936 4286666608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 15968 13399 192 642 0 15324 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 63872 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19965 /proc/meminfo: memFree=1731208/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=127388 CPUtime=282.2 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 33369 0 0 0 28133 87 0 0 25 0 1 0 13665679 130445312 29278 1992294400 134512640 137138936 4286666608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 31847 29278 192 642 0 31203 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 127388 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19965 /proc/meminfo: memFree=1687560/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=170424 CPUtime=342.19 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 44128 0 0 0 34104 115 0 0 25 0 1 0 13665679 174514176 40037 1992294400 134512640 137138936 4286666608 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 42606 40037 192 642 0 41962 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 170424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19967 /proc/meminfo: memFree=1646640/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=211656 CPUtime=402.18 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 54436 0 0 0 40078 140 0 0 25 0 1 0 13665679 216735744 50345 1992294400 134512640 137138936 4286666608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 52914 50345 192 642 0 52270 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 211656 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19969 /proc/meminfo: memFree=1614772/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=243420 CPUtime=462.16 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 62377 0 0 0 46053 163 0 0 25 0 1 0 13665679 249262080 58286 1992294400 134512640 137138936 4286666608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 60855 58286 192 642 0 60211 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 243420 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19971 /proc/meminfo: memFree=1581168/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=276944 CPUtime=522.14 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 70782 0 0 0 52028 186 0 0 25 0 1 0 13665679 283590656 66691 1992294400 134512640 137138936 4286666608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 69236 66691 192 642 0 68592 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 276944 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19973 /proc/meminfo: memFree=1552896/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=305188 CPUtime=582.13 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 77819 0 0 0 58009 204 0 0 25 0 1 0 13665679 312512512 73728 1992294400 134512640 137138936 4286666608 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 76297 73728 192 642 0 75653 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 305188 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19973 /proc/meminfo: memFree=1525492/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=332248 CPUtime=642.12 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 84584 0 0 0 63992 220 0 0 25 0 1 0 13665679 340221952 80493 1992294400 134512640 137138936 4286666608 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 83062 80493 192 642 0 82418 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 332248 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1350776/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=507116 CPUtime=1062.01 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 128301 0 0 0 105827 374 0 0 25 0 1 0 13665679 519286784 124210 1992294400 134512640 137138936 4286666608 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 126779 124210 192 642 0 126135 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 507116 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19987 /proc/meminfo: memFree=1331184/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=526580 CPUtime=1122 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 133167 0 0 0 111801 399 0 0 25 0 1 0 13665679 539217920 129076 1992294400 134512640 137138936 4286666608 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 131645 129076 192 642 0 131001 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 526580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19989 /proc/meminfo: memFree=1309112/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=548520 CPUtime=1181.98 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 138658 0 0 0 117778 420 0 0 25 0 1 0 13665679 561684480 134567 1992294400 134512640 137138936 4286666608 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 137130 134567 192 642 0 136486 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 548520 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19989 /proc/meminfo: memFree=1287412/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=570200 CPUtime=1241.96 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 144072 0 0 0 123751 445 0 0 25 0 1 0 13665679 583884800 139981 1992294400 134512640 137138936 4286666608 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 142550 139981 192 642 0 141906 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 570200 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19991 /proc/meminfo: memFree=1265836/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=591336 CPUtime=1301.95 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 149372 0 0 0 129717 478 0 0 25 0 1 0 13665679 605528064 145281 1992294400 134512640 137138936 4286666608 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 147834 145281 192 642 0 147190 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 591336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19993 /proc/meminfo: memFree=1247360/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=610196 CPUtime=1361.94 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 154071 0 0 0 135692 502 0 0 25 0 1 0 13665679 624840704 149980 1992294400 134512640 137138936 4286666608 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 152549 149980 192 642 0 151905 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 610196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19995 /proc/meminfo: memFree=1227768/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=629372 CPUtime=1421.92 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 158865 0 0 0 141670 522 0 0 25 0 1 0 13665679 644476928 154774 1992294400 134512640 137138936 4286666608 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 157343 154774 192 642 0 156699 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 629372 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19997 /proc/meminfo: memFree=1204704/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=652740 CPUtime=1481.9 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 164707 0 0 0 147648 542 0 0 25 0 1 0 13665679 668405760 160616 1992294400 134512640 137138936 4286666608 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 163185 160616 192 642 0 162541 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 652740 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19997 /proc/meminfo: memFree=1185980/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=671060 CPUtime=1541.89 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 169296 0 0 0 153621 568 0 0 25 0 1 0 13665679 687165440 165205 1992294400 134512640 137138936 4286666608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 167765 165205 192 642 0 167121 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 671060 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19999 /proc/meminfo: memFree=1164032/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=693316 CPUtime=1601.88 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 174851 0 0 0 159595 593 0 0 25 0 1 0 13665679 709955584 170760 1992294400 134512640 137138936 4286666608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 173329 170760 192 642 0 172685 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 693316 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20001 /proc/meminfo: memFree=1144316/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=712548 CPUtime=1661.86 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 179664 0 0 0 165573 613 0 0 25 0 1 0 13665679 729649152 175573 1992294400 134512640 137138936 4286666608 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 178137 175573 192 642 0 177493 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 712548 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20003 /proc/meminfo: memFree=1128816/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=728324 CPUtime=1721.84 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 183603 0 0 0 171549 635 0 0 25 0 1 0 13665679 745803776 179512 1992294400 134512640 137138936 4286666608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 182081 179512 192 642 0 181437 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 728324 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20005 /proc/meminfo: memFree=1114060/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=742564 CPUtime=1781.83 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 187163 0 0 0 177531 652 0 0 25 0 1 0 13665679 760385536 183072 1992294400 134512640 137138936 4286666608 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 185641 183072 192 642 0 184997 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 742564 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 20005 /proc/meminfo: memFree=1112448/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=744124 CPUtime=1791.43 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 187584 0 0 0 178491 652 0 0 25 0 1 0 13665679 761982976 183493 1992294400 134512640 137138936 4286666608 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 186031 183493 192 642 0 185387 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 744124 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20005 /proc/meminfo: memFree=1111828/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=744700 CPUtime=1794.64 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 187729 0 0 0 178810 654 0 0 25 0 1 0 13665679 762572800 183638 1992294400 134512640 137138936 4286666608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 186175 183638 192 642 0 185531 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 744700 [startup+1796.7 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20005 /proc/meminfo: memFree=1111332/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=745304 CPUtime=1796.23 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 187848 0 0 0 178968 655 0 0 25 0 1 0 13665679 763191296 183757 1992294400 134512640 137138936 4286666608 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 186326 183757 192 642 0 185682 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 745304 [startup+1797.5 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20005 /proc/meminfo: memFree=1111332/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=745304 CPUtime=1797.03 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 187848 0 0 0 179048 655 0 0 25 0 1 0 13665679 763191296 183757 1992294400 134512640 137138936 4286666608 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 186326 183757 192 642 0 185682 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 745304 [startup+1798.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20005 /proc/meminfo: memFree=1111332/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=745304 CPUtime=1797.82 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202496 187861 0 0 0 179127 655 0 0 25 0 1 0 13665679 763191296 183770 1992294400 134512640 137138936 4286666608 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19953/statm: 186326 183770 192 642 0 185682 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 745304 [startup+1798.51 s] /proc/loadavg: 1.08 1.02 1.01 2/107 20005 /proc/meminfo: memFree=1110960/2059040 swapFree=4140368/4192956 [pid=19953] ppid=19951 vsize=0 CPUtime=1798.03 /proc/19953/stat : 19953 (bsolo_pb10) R 19951 19953 19369 0 -1 4202500 187935 0 0 0 179145 658 0 0 25 0 1 0 13665679 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/19953/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.08 CPU user time (s): 1791.45 CPU system time (s): 6.62899 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 745652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.45 system time used= 6.62899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187935 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= 4069 runsolver used 2.93055 second user time and 8.5297 second system time The end
Begin job on node056 at 2010-06-16 23:29:05 IDJOB=2671352 IDBENCH=48356 IDSOLVER=1162 FILE ID=node056/2671352-1276723745 PBS_JOBID= 11174156 Free space on /tmp= 98636 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_2_80.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671352-1276723745/watcher-2671352-1276723745 -o /tmp/evaluation-result-2671352-1276723745/solver-2671352-1276723745 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671352-1276723745.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f309126dc76153b39022a856cb65e640 RANDOM SEED=893431610 node056.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.215 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.43 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.215 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851524 kB Buffers: 21900 kB Cached: 97696 kB SwapCached: 5884 kB Active: 28340 kB Inactive: 103936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851524 kB SwapTotal: 4192956 kB SwapFree: 4140368 kB Dirty: 4856 kB Writeback: 8 kB AnonPages: 11160 kB Mapped: 12836 kB Slab: 53336 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179968 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671352-1276723745.opb Free space on /tmp at the end= 98632 MiB End job on node056 at 2010-06-16 23:59:06