Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798.28 | 1798.92 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb |
MD5SUM | 6671ed3c9b389a2223dba62c8a435d2e |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
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) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877865-1245216191.opb 0.00/0.00 c File size is 1388292 bytes. 0.19/0.20 c Highest Coefficient sum: 1000 0.19/0.20 c Parsing was ok!! 0.19/0.20 c Total parsing time: 0.206 s 0.19/0.23 c Var: 16722 Constr: 32947 16222/1003/15722 Lit: 129276 Watch. Lit: 112137 0.19/0.23 c Obj. Vars: 0 (0 % of total variables) 30.68/30.72 c Pre-processing Time: 30.712 s 30.68/30.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.68/30.73 c 0 16722 32947 129276 3 112137 430751 0 0 30.71 30.68/30.73 c Switching off lower bounding mode. 1797.96/1798.64 c 421 16722 33368 427767 12 112979 473827 421 12 32.56 1797.96/1798.64 c 586 16722 33533 578459 17 113309 521210 586 17 32.73 1797.96/1798.64 c 821 16722 33768 791739 23 113779 573332 821 24 33.00 1797.96/1798.64 c 1187 16722 34134 1122071 32 114511 630666 1187 35 33.49 1797.96/1798.64 c 1706 16722 34653 1597177 46 115549 693733 1706 50 34.06 1797.96/1798.64 c 2474 16722 35421 2298773 64 117085 763107 2474 70 35.31 1797.96/1798.64 c 3621 16722 36568 3349766 91 119379 839418 3621 97 37.24 1797.96/1798.64 c 5345 16722 38292 4920643 128 122827 923360 5345 128 41.64 1797.96/1798.64 c 7936 16722 40883 7290366 178 128009 500000 7936 170 46.63 1797.96/1798.64 c 11815 16722 44762 10834635 242 135767 550001 11815 204 57.76 1797.96/1798.64 c 17637 16722 50584 16094050 318 147411 605002 17637 210 83.89 1797.96/1798.64 c 26375 16722 59322 24070042 405 164887 665503 26375 224 117.73 1797.96/1798.64 c 39485 16722 72432 36008852 497 191107 732054 39485 230 171.10 1797.96/1798.64 c 59156 16722 92103 47704098 517 230449 805260 59156 208 283.96 1797.96/1798.64 c 88666 16722 121613 66794060 549 289469 885787 88666 174 507.99 1797.96/1798.64 c 132936 16722 165883 96199879 579 378009 974366 132936 135 980.05 1797.96/1798.64 c Resources Exceeded 1797.96/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.64 c 16 191745 50439 796273 224692 133941920 191745 106 1798.01 1797.96/1798.64 s UNKNOWN 1797.96/1798.64 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-1877865-1245216191/watcher-1877865-1245216191 -o /tmp/evaluation-result-1877865-1245216191/solver-1877865-1245216191 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877865-1245216191.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.22 1.09 1.02 3/64 10290 /proc/meminfo: memFree=1795104/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=19892 CPUtime=0 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 189215581 20369408 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 4973 250 174 640 0 3990 0 [startup+0.105684 s] /proc/loadavg: 1.22 1.09 1.02 3/64 10290 /proc/meminfo: memFree=1795104/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=14748 CPUtime=0.1 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 1077 0 0 0 10 0 0 0 18 0 1 0 189215581 15101952 1061 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 3687 1061 334 640 0 2704 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14748 [startup+0.201699 s] /proc/loadavg: 1.22 1.09 1.02 3/64 10290 /proc/meminfo: memFree=1795104/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=16936 CPUtime=0.19 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 1794 0 0 0 19 0 0 0 18 0 1 0 189215581 17342464 1778 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 4234 1778 497 640 0 3251 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16936 [startup+0.301716 s] /proc/loadavg: 1.22 1.09 1.02 3/64 10290 /proc/meminfo: memFree=1795104/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=0.29 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2902 0 0 0 29 0 0 0 19 0 1 0 189215581 20635648 2547 1992294400 134512640 137136520 4294956256 18446744073709551615 136499604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2547 189 640 0 4394 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20152 [startup+0.701785 s] /proc/loadavg: 1.22 1.09 1.02 3/64 10290 /proc/meminfo: memFree=1795104/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=0.69 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2904 0 0 0 69 0 0 0 23 0 1 0 189215581 20635648 2549 1992294400 134512640 137136520 4294956256 18446744073709551615 136498156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2549 189 640 0 4394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20152 [startup+1.50192 s] /proc/loadavg: 1.22 1.09 1.02 2/65 10291 /proc/meminfo: memFree=1785688/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=1.49 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2904 0 0 0 149 0 0 0 25 0 1 0 189215581 20635648 2549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2549 189 640 0 4394 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20152 [startup+3.1012 s] /proc/loadavg: 1.22 1.09 1.02 2/65 10291 /proc/meminfo: memFree=1785560/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=3.09 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2905 0 0 0 308 1 0 0 25 0 1 0 189215581 20635648 2550 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2550 189 640 0 4394 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20152 [startup+6.30175 s] /proc/loadavg: 1.21 1.09 1.02 2/65 10291 /proc/meminfo: memFree=1785368/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=6.28 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2905 0 0 0 627 1 0 0 25 0 1 0 189215581 20635648 2550 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2550 189 640 0 4394 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20152 [startup+12.7019 s] /proc/loadavg: 1.19 1.09 1.02 2/65 10291 /proc/meminfo: memFree=1785304/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=12.69 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2905 0 0 0 1267 2 0 0 25 0 1 0 189215581 20635648 2550 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2550 189 640 0 4394 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20152 [startup+25.5011 s] /proc/loadavg: 1.15 1.08 1.02 2/65 10291 /proc/meminfo: memFree=1785304/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=20152 CPUtime=25.48 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 2905 0 0 0 2544 4 0 0 25 0 1 0 189215581 20635648 2550 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 5038 2550 189 640 0 4394 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20152 [startup+51.1015 s] /proc/loadavg: 1.10 1.07 1.02 2/65 10291 /proc/meminfo: memFree=1672728/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=134848 CPUtime=51.06 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 32208 0 0 0 5086 20 0 0 25 0 1 0 189215581 138084352 31232 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 33712 31232 196 640 0 33068 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 134848 [startup+102.301 s] /proc/loadavg: 1.04 1.06 1.01 2/65 10291 /proc/meminfo: memFree=1523288/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=281884 CPUtime=102.25 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 68971 0 0 0 10184 41 0 0 25 0 1 0 189215581 288649216 67995 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 70471 67995 196 640 0 69827 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 281884 [startup+162.303 s] /proc/loadavg: 1.07 1.06 1.01 2/65 10291 /proc/meminfo: memFree=1342360/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=463760 CPUtime=162.23 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 114436 0 0 0 16157 66 0 0 25 0 1 0 189215581 474890240 113460 1992294400 134512640 137136520 4294956256 18446744073709551615 134600754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 115940 113460 196 640 0 115296 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 463760 [startup+222.305 s] /proc/loadavg: 1.35 1.13 1.04 2/65 10291 /proc/meminfo: memFree=1255960/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=548908 CPUtime=222.21 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 135722 0 0 0 22133 88 0 0 25 0 1 0 189215581 562081792 134746 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 137227 134746 196 640 0 136583 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 548908 [startup+282.301 s] /proc/loadavg: 1.17 1.12 1.03 2/65 10291 /proc/meminfo: memFree=1176536/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=628832 CPUtime=282.18 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 155701 0 0 0 28114 104 0 0 25 0 1 0 189215581 643923968 154725 1992294400 134512640 137136520 4294956256 18446744073709551615 134574183 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 157208 154725 196 640 0 156564 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 628832 [startup+342.302 s] /proc/loadavg: 1.06 1.09 1.03 2/65 10291 /proc/meminfo: memFree=1099096/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=705328 CPUtime=342.16 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 174844 0 0 0 34095 121 0 0 25 0 1 0 189215581 722255872 173868 1992294400 134512640 137136520 4294956256 18446744073709551615 134600585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 176332 173868 196 640 0 175688 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 705328 [startup+402.301 s] /proc/loadavg: 1.02 1.07 1.02 2/65 10291 /proc/meminfo: memFree=1035800/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=769664 CPUtime=402.14 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 190921 0 0 0 40081 133 0 0 25 0 1 0 189215581 788135936 189945 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 192416 189945 196 640 0 191772 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 769664 [startup+462.302 s] /proc/loadavg: 1.01 1.06 1.02 2/65 10291 /proc/meminfo: memFree=970968/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=833372 CPUtime=462.12 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 206853 0 0 0 46064 148 0 0 25 0 1 0 189215581 853372928 205877 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 208343 205877 196 640 0 207699 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 833372 [startup+522.302 s] /proc/loadavg: 1.00 1.04 1.01 2/65 10291 /proc/meminfo: memFree=919128/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=885224 CPUtime=522.1 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 219819 0 0 0 52048 162 0 0 25 0 1 0 189215581 906469376 218843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 221306 218843 196 640 0 220662 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 885224 [startup+582.301 s] /proc/loadavg: 1.00 1.03 1.01 2/65 10291 /proc/meminfo: memFree=868696/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=935584 CPUtime=582.08 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 232407 0 0 0 58036 172 0 0 25 0 1 0 189215581 958038016 231431 1992294400 134512640 137136520 4294956256 18446744073709551615 134571159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 233896 231431 196 640 0 233252 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 935584 [startup+642.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 10291 /proc/meminfo: memFree=817048/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=987600 CPUtime=642.06 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 245411 0 0 0 64022 184 0 0 25 0 1 0 189215581 1011302400 244435 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 246900 244435 196 640 0 246256 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 987600 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=480280/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1322932 CPUtime=1121.89 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 329251 0 0 0 111932 257 0 0 25 0 1 0 189215581 1354682368 328275 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 330733 328275 196 640 0 330089 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1322932 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=450840/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1352548 CPUtime=1181.87 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 336646 0 0 0 117923 264 0 0 25 0 1 0 189215581 1385009152 335670 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 338137 335670 196 640 0 337493 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1352548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=422040/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1381004 CPUtime=1241.84 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 343744 0 0 0 123914 270 0 0 25 0 1 0 189215581 1414148096 342768 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 345251 342768 196 640 0 344607 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1381004 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=392664/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1410672 CPUtime=1301.82 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 351158 0 0 0 129905 277 0 0 25 0 1 0 189215581 1444528128 350182 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 352668 350182 196 640 0 352024 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1410672 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=356056/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1446972 CPUtime=1361.81 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 360238 0 0 0 135896 285 0 0 25 0 1 0 189215581 1481699328 359262 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 361743 359262 196 640 0 361099 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1446972 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=317912/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1484556 CPUtime=1421.79 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 369646 0 0 0 141887 292 0 0 25 0 1 0 189215581 1520185344 368670 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 371139 368670 196 640 0 370495 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1484556 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=281624/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1521496 CPUtime=1481.77 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 378872 0 0 0 147877 300 0 0 25 0 1 0 189215581 1558011904 377896 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 380374 377896 196 640 0 379730 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1521496 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=245016/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1557372 CPUtime=1541.75 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 387856 0 0 0 153866 309 0 0 25 0 1 0 189215581 1594748928 386880 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 389343 386880 196 640 0 388699 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1557372 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=207000/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1595644 CPUtime=1601.72 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 397428 0 0 0 159852 320 0 0 25 0 1 0 189215581 1633939456 396452 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 398911 396452 196 640 0 398267 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 1595644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=164632/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1637676 CPUtime=1661.7 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 407920 0 0 0 165839 331 0 0 25 0 1 0 189215581 1676980224 406944 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 409419 406944 196 640 0 408775 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1637676 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10291 /proc/meminfo: memFree=115608/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1687112 CPUtime=1721.68 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 420293 0 0 0 171826 342 0 0 25 0 1 0 189215581 1727602688 419317 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 421778 419317 196 640 0 421134 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1687112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=63192/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1738864 CPUtime=1781.66 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 433202 0 0 0 177812 354 0 0 25 0 1 0 189215581 1780596736 432226 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 434716 432226 196 640 0 434072 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1738864 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=61144/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1740884 CPUtime=1791.35 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 433711 0 0 0 178781 354 0 0 25 0 1 0 189215581 1782665216 432735 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 435221 432735 196 640 0 434577 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 1740884 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=60248/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1741676 CPUtime=1794.55 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 433928 0 0 0 179101 354 0 0 25 0 1 0 189215581 1783476224 432952 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 435419 432952 196 640 0 434775 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 1741676 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=59864/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1742072 CPUtime=1796.15 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 434034 0 0 0 179261 354 0 0 25 0 1 0 189215581 1783881728 433058 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 435518 433058 196 640 0 434874 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 1742072 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=59800/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1742204 CPUtime=1796.95 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 434049 0 0 0 179341 354 0 0 25 0 1 0 189215581 1784016896 433073 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 435551 433073 196 640 0 434907 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 1742204 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=59800/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=1742336 CPUtime=1797.75 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194304 434073 0 0 0 179421 354 0 0 25 0 1 0 189215581 1784152064 433097 1992294400 134512640 137136520 4294956256 18446744073709551615 134574412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 435584 433097 196 640 0 434940 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 1742336 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=59608/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=0 CPUtime=1798.16 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194308 434095 0 0 0 179446 370 0 0 25 0 1 0 189215581 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.16 Current children cumulated vsize (KiB) 0 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10293 /proc/meminfo: memFree=59608/2055920 swapFree=4181252/4192956 [pid=10290] ppid=10288 vsize=0 CPUtime=1798.26 /proc/10290/stat : 10290 (bsolo) R 10288 10290 10080 0 -1 4194308 434095 0 0 0 179446 380 0 0 25 0 1 0 189215581 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10290/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.92 CPU time (s): 1798.28 CPU user time (s): 1794.46 CPU system time (s): 3.82042 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 1742336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.46 system time used= 3.82042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 434095 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= 3215 runsolver used 1.3228 second user time and 3.75243 second system time The end
Begin job on node48 at 2009-06-17 07:23:11 IDJOB=1877865 IDBENCH=48350 IDSOLVER=700 FILE ID=node48/1877865-1245216191 PBS_JOBID= 9368414 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_3_80.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877865-1245216191/watcher-1877865-1245216191 -o /tmp/evaluation-result-1877865-1245216191/solver-1877865-1245216191 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877865-1245216191.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e RANDOM SEED=1930593842 node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.270 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.270 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1796608 kB Buffers: 52488 kB Cached: 137340 kB SwapCached: 5468 kB Active: 94012 kB Inactive: 103684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796608 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 4360 kB Writeback: 0 kB Mapped: 13544 kB Slab: 47580 kB Committed_AS: 171332 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877865-1245216191.opb Free space on /tmp at the end= 66232 MiB End job on node48 at 2009-06-17 07:53:11