Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798.01 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb |
MD5SUM | 0f5232be892543458d8a9fd6fc4fb56e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.01608 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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-2670591-1276703009.opb 0.00/0.00 c File size is 36228 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5544 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1797.93/1798.56 c 100 648 1181 13430 11 4036 6099 190 2500 0.04 1797.93/1798.56 c 250 648 1457 33164 22 4560 6709 466 2873 0.09 1797.93/1798.56 c 476 648 1889 63405 33 5747 7380 898 2902 0.16 1797.93/1798.56 c 814 648 2547 105917 41 7615 8119 1556 3048 0.27 1797.93/1798.56 c 1324 648 3512 171153 48 10089 8931 2521 2764 0.48 1797.93/1798.56 c 2088 648 4974 285761 57 13917 9825 3983 2512 0.83 1797.93/1798.56 c 3235 648 7244 438391 60 20037 10808 6253 2484 1.30 1797.93/1798.56 c 4956 648 10457 654061 62 28234 11889 9466 2257 2.19 1797.93/1798.56 c 7540 648 9281 619426 66 24202 13078 8290 1472 5.12 1797.93/1798.56 c 11419 648 10172 649553 63 25734 14386 9181 1107 10.31 1797.93/1798.56 c 17241 648 14161 887994 62 35519 15825 13170 884 19.49 1797.93/1798.56 c 25979 648 14595 984348 67 37688 17408 13604 921 28.18 1797.93/1798.56 c 39089 648 12244 732367 59 32577 19149 11253 918 42.56 1797.93/1798.56 c 58759 648 11759 667017 56 31514 21064 10768 740 79.32 1797.93/1798.56 c 88269 648 13273 885973 66 33717 23171 12282 671 131.44 1797.93/1798.56 c 132540 648 14848 1100751 74 35329 25489 13857 630 210.07 1797.93/1798.56 c 198952 648 25365 1755255 69 65799 28038 24374 564 352.59 1797.93/1798.56 c 298573 648 15011 1034566 68 37185 30842 14020 524 568.89 1797.93/1798.56 c 448008 648 17781 1144995 64 47056 33927 16790 452 990.01 1797.93/1798.56 c 672167 648 32066 2250999 70 81713 37320 31075 398 1684.80 1797.93/1798.56 c Resources Exceeded 1797.93/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.56 c 20 719213 5799 741629 33917 2375533 32926 400 1798.00 1797.93/1798.56 s UNKNOWN 1797.93/1798.56 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670591-1276703009/watcher-2670591-1276703009 -o /tmp/evaluation-result-2670591-1276703009/solver-2670591-1276703009 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670591-1276703009.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10433 /proc/meminfo: memFree=1780656/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=10920 CPUtime=0 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 380 0 0 0 0 0 0 0 18 0 1 0 45902648 11182080 290 1992294400 134512640 137138936 4291834304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 2730 291 184 642 0 2086 0 [startup+0.0703711 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10433 /proc/meminfo: memFree=1780656/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=11320 CPUtime=0.06 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 474 0 0 0 6 0 0 0 21 0 1 0 45902648 11591680 384 1992294400 134512640 137138936 4291834304 18446744073709551615 134618245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 2830 384 192 642 0 2186 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11320 [startup+0.100374 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10433 /proc/meminfo: memFree=1780656/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=11448 CPUtime=0.09 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 517 0 0 0 9 0 0 0 21 0 1 0 45902648 11722752 427 1992294400 134512640 137138936 4291834304 18446744073709551615 134618325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 2862 427 192 642 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.300396 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10433 /proc/meminfo: memFree=1780656/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=12620 CPUtime=0.29 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 813 0 0 0 29 0 0 0 21 0 1 0 45902648 12922880 723 1992294400 134512640 137138936 4291834304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 3155 723 192 642 0 2511 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12620 [startup+0.700441 s] /proc/loadavg: 0.99 0.99 0.91 3/106 10433 /proc/meminfo: memFree=1780656/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=14544 CPUtime=0.69 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 1287 0 0 0 69 0 0 0 22 0 1 0 45902648 14893056 1197 1992294400 134512640 137138936 4291834304 18446744073709551615 134542978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 3636 1197 192 642 0 2992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14544 [startup+1.50053 s] /proc/loadavg: 1.15 1.02 0.92 2/107 10434 /proc/meminfo: memFree=1775564/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=18020 CPUtime=1.49 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 2146 0 0 0 148 1 0 0 25 0 1 0 45902648 18452480 2056 1992294400 134512640 137138936 4291834304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 4505 2056 192 642 0 3861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18020 [startup+3.10071 s] /proc/loadavg: 1.15 1.02 0.92 2/107 10434 /proc/meminfo: memFree=1770852/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=22112 CPUtime=3.09 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 3192 0 0 0 307 2 0 0 25 0 1 0 45902648 22642688 3102 1992294400 134512640 137138936 4291834304 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 5528 3102 192 642 0 4884 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22112 [startup+6.30106 s] /proc/loadavg: 1.15 1.02 0.92 2/107 10434 /proc/meminfo: memFree=1767628/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=23524 CPUtime=6.29 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 3547 0 0 0 626 3 0 0 25 0 1 0 45902648 24088576 3457 1992294400 134512640 137138936 4291834304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 5881 3457 192 642 0 5237 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23524 [startup+12.7008 s] /proc/loadavg: 1.13 1.02 0.92 2/107 10434 /proc/meminfo: memFree=1766388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=24688 CPUtime=12.68 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 3838 0 0 0 1265 3 0 0 25 0 1 0 45902648 25280512 3748 1992294400 134512640 137138936 4291834304 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 6172 3748 192 642 0 5528 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24688 [startup+25.5002 s] /proc/loadavg: 1.11 1.02 0.92 2/107 10436 /proc/meminfo: memFree=1764652/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=26888 CPUtime=25.48 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 4362 0 0 0 2541 7 0 0 25 0 1 0 45902648 27533312 4272 1992294400 134512640 137138936 4291834304 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 6722 4272 192 642 0 6078 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26888 [startup+51.101 s] /proc/loadavg: 1.07 1.02 0.92 2/107 10436 /proc/meminfo: memFree=1761304/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=29832 CPUtime=51.08 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 5117 0 0 0 5095 13 0 0 25 0 1 0 45902648 30547968 5027 1992294400 134512640 137138936 4291834304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 7458 5027 192 642 0 6814 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29832 [startup+102.308 s] /proc/loadavg: 1.03 1.01 0.92 2/107 10438 /proc/meminfo: memFree=1756964/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=34040 CPUtime=102.27 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 6165 0 0 0 10201 26 0 0 25 0 1 0 45902648 34856960 6075 1992294400 134512640 137138936 4291834304 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 8510 6075 192 642 0 7866 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34040 [startup+162.3 s] /proc/loadavg: 1.01 1.01 0.92 2/107 10438 /proc/meminfo: memFree=1756840/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=34172 CPUtime=162.24 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 6204 0 0 0 16188 36 0 0 25 0 1 0 45902648 34992128 6114 1992294400 134512640 137138936 4291834304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 8543 6114 192 642 0 7899 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34172 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10440 /proc/meminfo: memFree=1751756/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=39064 CPUtime=222.22 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 7426 0 0 0 22176 46 0 0 25 0 1 0 45902648 40001536 7336 1992294400 134512640 137138936 4291834304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 9766 7336 192 642 0 9122 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39064 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10442 /proc/meminfo: memFree=1751756/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=39060 CPUtime=282.21 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 7426 0 0 0 28165 56 0 0 25 0 1 0 45902648 39997440 7336 1992294400 134512640 137138936 4291834304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 9765 7336 192 642 0 9121 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39060 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10444 /proc/meminfo: memFree=1751756/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=39056 CPUtime=342.18 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 7426 0 0 0 34152 66 0 0 25 0 1 0 45902648 39993344 7336 1992294400 134512640 137138936 4291834304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 9764 7336 192 642 0 9120 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 39056 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10446 /proc/meminfo: memFree=1748408/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=42456 CPUtime=402.17 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 8280 0 0 0 40142 75 0 0 25 0 1 0 45902648 43474944 8190 1992294400 134512640 137138936 4291834304 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 10614 8190 192 642 0 9970 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 42456 [startup+462.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10446 /proc/meminfo: memFree=1748284/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=42456 CPUtime=462.15 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 8280 0 0 0 46131 84 0 0 25 0 1 0 45902648 43474944 8190 1992294400 134512640 137138936 4291834304 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 10614 8190 192 642 0 9970 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 42456 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10448 /proc/meminfo: memFree=1748284/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=42456 CPUtime=522.13 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 8280 0 0 0 52119 94 0 0 25 0 1 0 45902648 43474944 8190 1992294400 134512640 137138936 4291834304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 10614 8190 192 642 0 9970 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 42456 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10450 /proc/meminfo: memFree=1747664/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=43048 CPUtime=582.12 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 8427 0 0 0 58108 104 0 0 25 0 1 0 45902648 44081152 8337 1992294400 134512640 137138936 4291834304 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 10762 8337 192 642 0 10118 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 43048 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10452 /proc/meminfo: memFree=1743448/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=47248 CPUtime=642.11 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 9477 0 0 0 64098 113 0 0 25 0 1 0 45902648 48381952 9387 1992294400 134512640 137138936 4291834304 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 11812 9387 192 642 0 11168 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 47248 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1739480/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=49920 CPUtime=1061.96 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10157 0 0 0 106021 175 0 0 25 0 1 0 45902648 51118080 10033 1992294400 134512640 137138936 4291834304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12480 10033 192 642 0 11836 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 49920 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10473 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1121.94 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 112011 183 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 50816 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10475 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1181.93 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 118002 191 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 50816 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10477 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1241.9 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 123993 197 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 50816 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10479 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1301.89 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 129986 203 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 50816 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10479 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1361.86 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 135973 213 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 50816 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10481 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1421.85 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 141963 222 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 50816 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10483 /proc/meminfo: memFree=1739232/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=50816 CPUtime=1481.82 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10372 0 0 0 147955 227 0 0 25 0 1 0 45902648 52035584 10248 1992294400 134512640 137138936 4291834304 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12704 10248 192 642 0 12060 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 50816 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10485 /proc/meminfo: memFree=1738488/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=51648 CPUtime=1541.81 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10616 0 0 0 153945 236 0 0 25 0 1 0 45902648 52887552 10488 1992294400 134512640 137138936 4291834304 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12912 10488 192 642 0 12268 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 51648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10487 /proc/meminfo: memFree=1738488/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=51784 CPUtime=1601.78 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10618 0 0 0 159937 241 0 0 25 0 1 0 45902648 53026816 10490 1992294400 134512640 137138936 4291834304 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12946 10490 192 642 0 12302 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 51784 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10487 /proc/meminfo: memFree=1738488/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=51776 CPUtime=1661.76 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10620 0 0 0 165925 251 0 0 25 0 1 0 45902648 53018624 10488 1992294400 134512640 137138936 4291834304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12944 10488 192 642 0 12300 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 51776 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10489 /proc/meminfo: memFree=1738488/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=51792 CPUtime=1721.75 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 10627 0 0 0 171913 262 0 0 25 0 1 0 45902648 53035008 10495 1992294400 134512640 137138936 4291834304 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 12948 10495 192 642 0 12304 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 51792 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1781.73 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 177902 271 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 54836 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1791.34 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 178861 273 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 54836 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1794.53 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 179180 273 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 54836 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1796.13 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 179339 274 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 54836 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1796.93 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 179419 274 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 54836 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1797.73 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 179499 274 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 54836 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.92 2/107 10491 /proc/meminfo: memFree=1735388/2059040 swapFree=4140260/4192956 [pid=10433] ppid=10431 vsize=54836 CPUtime=1797.93 /proc/10433/stat : 10433 (bsolo_pb10) R 10431 10433 9540 0 -1 4202496 11423 0 0 0 179519 274 0 0 25 0 1 0 45902648 56152064 11253 1992294400 134512640 137138936 4291834304 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10433/statm: 13709 11253 192 642 0 13065 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 54836 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.01 CPU user time (s): 1795.26 CPU system time (s): 2.74958 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 54836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.26 system time used= 2.74958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11423 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= 6686 runsolver used 2.79657 second user time and 8.66068 second system time The end
Begin job on node009 at 2010-06-16 17:43:29 IDJOB=2670591 IDBENCH=48012 IDSOLVER=1162 FILE ID=node009/2670591-1276703009 PBS_JOBID= 11174125 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670591-1276703009/watcher-2670591-1276703009 -o /tmp/evaluation-result-2670591-1276703009/solver-2670591-1276703009 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670591-1276703009.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f5232be892543458d8a9fd6fc4fb56e RANDOM SEED=42093191 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1781680 kB Buffers: 57852 kB Cached: 124324 kB SwapCached: 6060 kB Active: 80928 kB Inactive: 114432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1781680 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 3964 kB Writeback: 0 kB AnonPages: 11624 kB Mapped: 13104 kB Slab: 60264 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180360 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-2670591-1276703009.opb Free space on /tmp at the end= 62552 MiB End job on node009 at 2010-06-16 18:13:28