Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.17 | 1798.64 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | 7d701b956113b6fc93a1922e71200e27 |
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 | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
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 | 17 |
Number of terms in the objective function | 4250 |
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 | 4250 |
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 | 4250 |
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-2657331-1276465465.opb 0.00/0.00 c File size is 1728885 bytes. 0.19/0.28 c Highest Coefficient sum: 4250 0.19/0.28 c Parsing was ok!! 0.19/0.28 c Total parsing time: 0.28 s 0.29/0.30 c Var: 4250 Constr: 68397 68397/0/0 Lit: 138669 Watch. Lit: 136794 0.29/0.30 c Obj. Vars: 4250 (100 % of total variables) 1.49/1.55 c Pre-processing Time: 1.555 s 1.49/1.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.56 c 0 4250 68397 138669 2 136794 22799 0 0 1.56 1.49/1.56 c Switching off lower bounding mode. 1798.03/1798.56 c 100 4250 68497 145912 2 136994 25079 100 62 1.59 1798.03/1798.56 c 251 4250 68648 169656 2 137296 27587 251 151 1.66 1798.03/1798.56 c 476 4250 68873 221818 3 137746 30346 476 254 1.87 1798.03/1798.56 c 819 4250 69216 310333 4 138432 33381 819 386 2.12 1798.03/1798.56 c 1327 4250 69724 472116 6 139448 36720 1327 502 2.64 1798.03/1798.56 c 2090 4250 70487 718394 10 140974 40393 2090 603 3.46 1798.03/1798.56 c 3239 4250 71636 981087 13 143272 44433 3239 693 4.67 1798.03/1798.56 c 4961 4250 73358 1414064 19 146716 48877 4961 701 7.07 1798.03/1798.56 c 7545 4250 75942 1918347 25 151884 53765 7545 738 10.21 1798.03/1798.56 c 11425 4250 79822 3099089 38 159644 59142 11425 558 20.46 1798.03/1798.56 c 17248 4250 85645 6207574 72 171290 65057 17248 380 45.30 1798.03/1798.56 c 25988 4250 94385 10800248 114 188770 71563 25988 261 99.53 1798.03/1798.56 c 39099 4250 107496 18730035 174 214992 78720 39099 212 183.74 1798.03/1798.56 c 58771 4250 127168 32066540 252 254336 86593 58771 147 399.17 1798.03/1798.56 c 88281 4250 82736 11213592 135 165472 95253 14339 76 1150.16 1798.03/1798.56 c 132551 4250 127006 42942023 338 254012 104779 58609 81 1624.05 1798.03/1798.56 c Resources Exceeded 1798.03/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.03/1798.56 c 16 139556 51070 624660 134011 48915540 65614 77 1798.09 1798.03/1798.56 s UNKNOWN 1798.03/1798.56 c Total time: 1798.09 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-2657331-1276465465/watcher-2657331-1276465465 -o /tmp/evaluation-result-2657331-1276465465/solver-2657331-1276465465 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657331-1276465465.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.02 1.05 1.00 3/106 25921 /proc/meminfo: memFree=1834120/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=12640 CPUtime=0 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 378 0 0 0 0 0 0 0 17 0 1 0 22132908 12943360 296 1992294400 134512640 137138936 4290336336 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 3160 296 175 642 0 2093 0 [startup+0.0350871 s] /proc/loadavg: 1.02 1.05 1.00 3/106 25921 /proc/meminfo: memFree=1834120/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=13324 CPUtime=0.03 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 578 0 0 0 3 0 0 0 17 0 1 0 22132908 13643776 496 1992294400 134512640 137138936 4290336336 18446744073709551615 136496634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 3331 497 213 642 0 2264 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13324 [startup+0.101092 s] /proc/loadavg: 1.02 1.05 1.00 3/106 25921 /proc/meminfo: memFree=1834120/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=14976 CPUtime=0.09 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 1089 0 0 0 9 0 0 0 17 0 1 0 22132908 15335424 1007 1992294400 134512640 137138936 4290336336 18446744073709551615 136511096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 3744 1007 311 642 0 2677 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14976 [startup+0.301112 s] /proc/loadavg: 1.02 1.05 1.00 3/106 25921 /proc/meminfo: memFree=1834120/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=20716 CPUtime=0.29 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 3226 0 0 0 28 1 0 0 17 0 1 0 22132908 21213184 2721 1992294400 134512640 137138936 4290336336 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 5179 2723 182 642 0 4535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20716 [startup+0.701152 s] /proc/loadavg: 1.02 1.05 1.00 3/106 25921 /proc/meminfo: memFree=1834120/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=23508 CPUtime=0.69 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 3935 0 0 0 68 1 0 0 17 0 1 0 22132908 24072192 3430 1992294400 134512640 137138936 4290336336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 5877 3430 185 642 0 5233 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23508 [startup+1.50123 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25922 /proc/meminfo: memFree=1820968/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=23508 CPUtime=1.49 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 3935 0 0 0 142 7 0 0 18 0 1 0 22132908 24072192 3430 1992294400 134512640 137138936 4290336336 18446744073709551615 134558340 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 5877 3430 185 642 0 5233 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23508 [startup+3.10139 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25922 /proc/meminfo: memFree=1820844/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=27208 CPUtime=3.09 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 5928 0 0 0 299 10 0 0 21 0 1 0 22132908 27860992 4371 1992294400 134512640 137138936 4290336336 18446744073709551615 136511084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 6802 4371 190 642 0 6158 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27208 [startup+6.30071 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25922 /proc/meminfo: memFree=1809808/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=36508 CPUtime=6.28 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 8253 0 0 0 616 12 0 0 25 0 1 0 22132908 37384192 6696 1992294400 134512640 137138936 4290336336 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 9127 6696 190 642 0 8483 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36508 [startup+12.7014 s] /proc/loadavg: 1.02 1.05 1.00 2/107 25922 /proc/meminfo: memFree=1796416/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=48848 CPUtime=12.68 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 11341 0 0 0 1252 16 0 0 25 0 1 0 22132908 50020352 9784 1992294400 134512640 137138936 4290336336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 12212 9784 190 642 0 11568 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48848 [startup+25.5006 s] /proc/loadavg: 1.01 1.04 1.00 2/107 25924 /proc/meminfo: memFree=1774840/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=69784 CPUtime=25.48 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 16563 0 0 0 2527 21 0 0 25 0 1 0 22132908 71458816 15006 1992294400 134512640 137138936 4290336336 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 17446 15006 190 642 0 16802 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 69784 [startup+51.1012 s] /proc/loadavg: 1.01 1.04 1.00 2/107 25924 /proc/meminfo: memFree=1738880/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=105940 CPUtime=51.08 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 25606 0 0 0 5076 32 0 0 25 0 1 0 22132908 108482560 24049 1992294400 134512640 137138936 4290336336 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 26485 24049 190 642 0 25841 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 105940 [startup+102.308 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25926 /proc/meminfo: memFree=1682212/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=161544 CPUtime=102.27 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 39517 0 0 0 10179 48 0 0 25 0 1 0 22132908 165421056 37960 1992294400 134512640 137138936 4290336336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 40386 37960 190 642 0 39742 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 161544 [startup+162.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25926 /proc/meminfo: memFree=1606696/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=237556 CPUtime=162.25 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 58516 0 0 0 16155 70 0 0 25 0 1 0 22132908 243257344 56959 1992294400 134512640 137138936 4290336336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 59389 56959 190 642 0 58745 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 237556 [startup+222.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25928 /proc/meminfo: memFree=1544448/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=299152 CPUtime=222.23 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 73913 0 0 0 22137 86 0 0 25 0 1 0 22132908 306331648 72356 1992294400 134512640 137138936 4290336336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 74788 72356 190 642 0 74144 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 299152 [startup+282.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25930 /proc/meminfo: memFree=1486912/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=356900 CPUtime=282.22 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 88356 0 0 0 28123 99 0 0 25 0 1 0 22132908 365465600 86799 1992294400 134512640 137138936 4290336336 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 89225 86799 190 642 0 88581 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 356900 [startup+342.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25932 /proc/meminfo: memFree=1444876/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=398460 CPUtime=342.2 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 98734 0 0 0 34114 106 0 0 25 0 1 0 22132908 408023040 97177 1992294400 134512640 137138936 4290336336 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 99615 97177 190 642 0 98971 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 398460 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25934 /proc/meminfo: memFree=1408296/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=435228 CPUtime=402.19 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 107929 0 0 0 40104 115 0 0 25 0 1 0 22132908 445673472 106372 1992294400 134512640 137138936 4290336336 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 108807 106372 190 642 0 108163 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 435228 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25934 /proc/meminfo: memFree=1367872/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=475228 CPUtime=462.17 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 117929 0 0 0 46094 123 0 0 25 0 1 0 22132908 486633472 116372 1992294400 134512640 137138936 4290336336 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 118807 116372 190 642 0 118163 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 475228 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25936 /proc/meminfo: memFree=1332904/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=510468 CPUtime=522.15 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 126751 0 0 0 52085 130 0 0 25 0 1 0 22132908 522719232 125194 1992294400 134512640 137138936 4290336336 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 127617 125194 190 642 0 126973 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 510468 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25938 /proc/meminfo: memFree=1300044/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=542956 CPUtime=582.14 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 134875 0 0 0 58077 137 0 0 25 0 1 0 22132908 555986944 133318 1992294400 134512640 137138936 4290336336 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 135739 133318 190 642 0 135095 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 542956 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 25940 /proc/meminfo: memFree=1269416/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=573152 CPUtime=642.13 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 142424 0 0 0 64070 143 0 0 25 0 1 0 22132908 586907648 140867 1992294400 134512640 137138936 4290336336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 143288 140867 190 642 0 142644 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 573152 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1097676/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=743768 CPUtime=1121.99 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 185058 0 0 0 112022 177 0 0 25 0 1 0 22132908 761618432 183501 1992294400 134512640 137138936 4290336336 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 185942 183501 190 642 0 185298 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 743768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25963 /proc/meminfo: memFree=1089368/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1181.98 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 118009 189 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 751572 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25965 /proc/meminfo: memFree=1089368/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1241.96 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 123996 200 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 751572 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25967 /proc/meminfo: memFree=1089368/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1301.96 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 129991 205 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 751572 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25967 /proc/meminfo: memFree=1089368/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1361.94 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 135985 209 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 751572 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25969 /proc/meminfo: memFree=1089368/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1421.93 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 141982 211 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 751572 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25971 /proc/meminfo: memFree=1089368/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1481.9 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 147977 213 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 751572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25973 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1541.89 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 153974 215 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 751572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25975 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1601.87 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 159970 217 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 751572 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25975 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1661.85 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 165967 218 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 751572 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25977 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1721.84 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 171964 220 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 751572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1781.83 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 177962 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 751572 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 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1791.43 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 178922 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 751572 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1794.63 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 179242 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 751572 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1796.22 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 179401 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 751572 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1797.02 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 179481 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (KiB) 751572 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1797.82 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 179561 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 751572 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=751572 CPUtime=1798.03 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202496 187096 0 0 0 179582 221 0 0 25 0 1 0 22132908 769609728 185452 1992294400 134512640 137138936 4290336336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25921/statm: 187893 185452 190 642 0 187249 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 751572 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25979 /proc/meminfo: memFree=1089740/2059040 swapFree=4134576/4192956 [pid=25921] ppid=25919 vsize=0 CPUtime=1798.12 /proc/25921/stat : 25921 (bsolo_pb10) R 25919 25921 24849 0 -1 4202500 187096 0 0 0 179587 225 0 0 25 0 1 0 22132908 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/25921/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.64 CPU time (s): 1798.17 CPU user time (s): 1795.88 CPU system time (s): 2.29165 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 751920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.87 system time used= 2.29165 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187096 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= 2 involuntary context switches= 20657 runsolver used 2.92556 second user time and 8.5327 second system time The end
Begin job on node017 at 2010-06-13 23:44:25 IDJOB=2657331 IDBENCH=2183 IDSOLVER=1163 FILE ID=node017/2657331-1276465465 PBS_JOBID= 11173350 Free space on /tmp= 62368 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657331-1276465465/watcher-2657331-1276465465 -o /tmp/evaluation-result-2657331-1276465465/solver-2657331-1276465465 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657331-1276465465.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7d701b956113b6fc93a1922e71200e27 RANDOM SEED=293957791 node017.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.201 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834648 kB Buffers: 48664 kB Cached: 98776 kB SwapCached: 11368 kB Active: 102892 kB Inactive: 58308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834648 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 5588 kB Writeback: 0 kB AnonPages: 12128 kB Mapped: 9248 kB Slab: 41452 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184264 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= 62364 MiB End job on node017 at 2010-06-14 00:14:24