Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798.11 | 1798.72 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_40.opb |
MD5SUM | 67a15ea3b760eccb0e507c1f93bad0e1 |
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 | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12432 |
Sum of products size (including duplicates) | 24864 |
Number of different products | 6216 |
Sum of products size | 12432 |
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-2671304-1276722585.opb 0.00/0.00 c File size is 531711 bytes. 0.07/0.09 c Highest Coefficient sum: 400 0.07/0.09 c Parsing was ok!! 0.07/0.09 c Total parsing time: 0.089 s 0.07/0.09 c Var: 6616 Constr: 13035 6416/403/6216 Lit: 51128 Watch. Lit: 44355 0.07/0.09 c Obj. Vars: 0 (0 % of total variables) 9.08/9.18 c Pre-processing Time: 9.177 s 9.08/9.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.08/9.18 c 0 6616 13035 51128 3 44355 169751 0 0 9.18 9.08/9.18 c Switching off lower bounding mode. 1797.99/1798.61 c 100 6616 13136 51826 3 44596 186727 101 10 9.29 1797.99/1798.61 c 250 6616 13286 62031 4 44896 205400 251 26 9.44 1797.99/1798.61 c 475 6616 13524 103112 7 45380 225941 489 48 9.85 1797.99/1798.61 c 813 6616 13867 126512 9 46066 248536 832 79 10.21 1797.99/1798.61 c 1321 6616 14402 217873 15 47271 273390 1367 117 11.21 1797.99/1798.61 c 2084 6616 15240 391696 25 50909 300730 2205 175 11.88 1797.99/1798.61 c 3232 6616 16475 667738 40 55013 330804 3440 245 13.15 1797.99/1798.61 c 4954 6616 18345 1048610 57 62982 363885 5310 310 15.94 1797.99/1798.61 c 7539 6616 21149 1633044 77 71019 400274 8114 351 21.43 1797.99/1798.61 c 11418 6616 25337 2530979 99 84957 440302 12302 376 30.32 1797.99/1798.61 c 17240 6616 31419 4046410 128 97440 484333 18384 402 42.80 1797.99/1798.61 c 25977 6616 40581 6394012 157 115908 532767 27546 404 64.20 1797.99/1798.61 c 39087 6616 54308 9839645 181 143688 586044 41273 401 97.30 1797.99/1798.61 c 58757 6616 75061 15186677 202 185755 644649 62026 362 161.90 1797.99/1798.61 c 88267 6616 105986 23027741 217 248155 709114 92951 315 279.45 1797.99/1798.61 c 132538 6616 152791 34770362 227 342158 780026 139756 265 499.64 1797.99/1798.61 c 198949 6616 222861 51653543 231 482874 858029 209826 216 917.58 1797.99/1798.61 c 298571 6616 329597 76989525 233 696979 943832 316562 166 1794.93 1797.99/1798.61 c Resources Exceeded 1797.99/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.61 c 18 298916 106005 2438138 329971 77074046 316936 166 1798.01 1797.99/1798.61 s UNKNOWN 1797.99/1798.61 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-2671304-1276722585/watcher-2671304-1276722585 -o /tmp/evaluation-result-2671304-1276722585/solver-2671304-1276722585 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671304-1276722585.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.07 1.06 1.00 3/106 12971 /proc/meminfo: memFree=1683056/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=11460 CPUtime=0 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 45914884 11735040 279 1992294400 134512640 137138936 4294513568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 2865 280 175 642 0 2091 0 [startup+0.0791869 s] /proc/loadavg: 1.07 1.06 1.00 3/106 12971 /proc/meminfo: memFree=1683056/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=12964 CPUtime=0.07 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 835 0 0 0 7 0 0 0 20 0 1 0 45914884 13275136 753 1992294400 134512640 137138936 4294513568 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3241 754 278 642 0 2467 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12964 [startup+0.101191 s] /proc/loadavg: 1.07 1.06 1.00 3/106 12971 /proc/meminfo: memFree=1683056/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=14360 CPUtime=0.09 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 1335 0 0 0 9 0 0 0 20 0 1 0 45914884 14704640 1123 1992294400 134512640 137138936 4294513568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3590 1123 184 642 0 2946 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14360 [startup+0.301228 s] /proc/loadavg: 1.07 1.06 1.00 3/106 12971 /proc/meminfo: memFree=1683056/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=14360 CPUtime=0.29 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 1356 0 0 0 29 0 0 0 20 0 1 0 45914884 14704640 1144 1992294400 134512640 137138936 4294513568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3590 1144 184 642 0 2946 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14360 [startup+0.701302 s] /proc/loadavg: 1.07 1.06 1.00 3/106 12971 /proc/meminfo: memFree=1683056/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=14360 CPUtime=0.69 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 1357 0 0 0 69 0 0 0 20 0 1 0 45914884 14704640 1145 1992294400 134512640 137138936 4294513568 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3590 1145 184 642 0 2946 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14360 [startup+1.50145 s] /proc/loadavg: 1.07 1.06 1.00 2/107 12972 /proc/meminfo: memFree=1679452/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=14360 CPUtime=1.49 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 1359 0 0 0 149 0 0 0 23 0 1 0 45914884 14704640 1147 1992294400 134512640 137138936 4294513568 18446744073709551615 134543000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3590 1147 184 642 0 2946 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14360 [startup+3.10075 s] /proc/loadavg: 1.06 1.06 1.00 2/107 12972 /proc/meminfo: memFree=1679328/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=14360 CPUtime=3.09 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 1359 0 0 0 309 0 0 0 25 0 1 0 45914884 14704640 1147 1992294400 134512640 137138936 4294513568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3590 1147 184 642 0 2946 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14360 [startup+6.30135 s] /proc/loadavg: 1.06 1.06 1.00 2/107 12972 /proc/meminfo: memFree=1679204/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=14360 CPUtime=6.29 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 1359 0 0 0 628 1 0 0 25 0 1 0 45914884 14704640 1147 1992294400 134512640 137138936 4294513568 18446744073709551615 134566132 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 3590 1147 184 642 0 2946 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14360 [startup+12.7005 s] /proc/loadavg: 1.05 1.06 1.00 2/107 12972 /proc/meminfo: memFree=1674120/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=21772 CPUtime=12.69 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 3554 0 0 0 1261 8 0 0 25 0 1 0 45914884 22294528 3014 1992294400 134512640 137138936 4294513568 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 5443 3014 192 642 0 4799 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21772 [startup+25.5009 s] /proc/loadavg: 1.04 1.06 1.00 2/107 12974 /proc/meminfo: memFree=1652792/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=41168 CPUtime=25.48 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 8405 0 0 0 2530 18 0 0 25 0 1 0 45914884 42156032 7865 1992294400 134512640 137138936 4294513568 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 10292 7865 192 642 0 9648 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41168 [startup+51.1017 s] /proc/loadavg: 1.03 1.05 1.00 2/107 12974 /proc/meminfo: memFree=1615096/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=79052 CPUtime=51.08 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 17860 0 0 0 5072 36 0 0 25 0 1 0 45914884 80949248 17320 1992294400 134512640 137138936 4294513568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 19763 17320 192 642 0 19119 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 79052 [startup+102.308 s] /proc/loadavg: 1.01 1.04 1.00 2/107 12976 /proc/meminfo: memFree=1541688/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=151596 CPUtime=102.26 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 35995 0 0 0 10159 67 0 0 25 0 1 0 45914884 155234304 35455 1992294400 134512640 137138936 4294513568 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 37899 35455 192 642 0 37255 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 151596 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 12976 /proc/meminfo: memFree=1478944/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=214848 CPUtime=162.24 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 51817 0 0 0 16124 100 0 0 25 0 1 0 45914884 220004352 51277 1992294400 134512640 137138936 4294513568 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 53712 51277 192 642 0 53068 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 214848 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12978 /proc/meminfo: memFree=1419548/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=273580 CPUtime=222.22 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 66491 0 0 0 22091 131 0 0 25 0 1 0 45914884 280145920 65951 1992294400 134512640 137138936 4294513568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 68395 65951 192 642 0 67751 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 273580 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12980 /proc/meminfo: memFree=1374288/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=319128 CPUtime=282.19 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 77869 0 0 0 28063 156 0 0 25 0 1 0 45914884 326787072 77329 1992294400 134512640 137138936 4294513568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 79782 77329 192 642 0 79138 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 319128 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12982 /proc/meminfo: memFree=1325308/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=367504 CPUtime=342.18 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 89991 0 0 0 34038 180 0 0 25 0 1 0 45914884 376324096 89451 1992294400 134512640 137138936 4294513568 18446744073709551615 134551141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 91876 89451 192 642 0 91232 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 367504 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12984 /proc/meminfo: memFree=1280172/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=413168 CPUtime=402.16 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 101389 0 0 0 40014 202 0 0 25 0 1 0 45914884 423084032 100849 1992294400 134512640 137138936 4294513568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 103292 100849 192 642 0 102648 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 413168 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12984 /proc/meminfo: memFree=1242352/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=450296 CPUtime=462.13 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 110678 0 0 0 45991 222 0 0 25 0 1 0 45914884 461103104 110138 1992294400 134512640 137138936 4294513568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 112574 110138 192 642 0 111930 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 450296 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12986 /proc/meminfo: memFree=1204408/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=488776 CPUtime=522.12 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 120302 0 0 0 51975 237 0 0 25 0 1 0 45914884 500506624 119762 1992294400 134512640 137138936 4294513568 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 122194 119762 192 642 0 121550 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 488776 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12988 /proc/meminfo: memFree=1164604/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=528036 CPUtime=582.09 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 130109 0 0 0 57952 257 0 0 25 0 1 0 45914884 540708864 129569 1992294400 134512640 137138936 4294513568 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 132009 129569 192 642 0 131365 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 528036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12990 /proc/meminfo: memFree=1128520/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=563636 CPUtime=642.08 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 139011 0 0 0 63931 277 0 0 25 0 1 0 45914884 577163264 138471 1992294400 134512640 137138936 4294513568 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 140909 138471 192 642 0 140265 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 563636 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=931856/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=760192 CPUtime=1061.93 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 188144 0 0 0 105799 394 0 0 25 0 1 0 45914884 778436608 187604 1992294400 134512640 137138936 4294513568 18446744073709551615 134544834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 190048 187604 192 642 0 189404 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 760192 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13002 /proc/meminfo: memFree=908296/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=783372 CPUtime=1121.91 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 193939 0 0 0 111785 406 0 0 25 0 1 0 45914884 802172928 193399 1992294400 134512640 137138936 4294513568 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 195843 193399 192 642 0 195199 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 783372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13004 /proc/meminfo: memFree=882504/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=809456 CPUtime=1181.89 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 200475 0 0 0 117768 421 0 0 25 0 1 0 45914884 828882944 199935 1992294400 134512640 137138936 4294513568 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 202364 199935 192 642 0 201720 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 809456 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13006 /proc/meminfo: memFree=859936/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=831436 CPUtime=1241.87 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 205973 0 0 0 123753 434 0 0 25 0 1 0 45914884 851390464 205433 1992294400 134512640 137138936 4294513568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 207859 205433 192 642 0 207215 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 831436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13008 /proc/meminfo: memFree=838360/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=852768 CPUtime=1301.85 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 211306 0 0 0 129742 443 0 0 25 0 1 0 45914884 873234432 210766 1992294400 134512640 137138936 4294513568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 213192 210766 192 642 0 212548 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 852768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13008 /proc/meminfo: memFree=814180/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=877256 CPUtime=1361.84 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 217426 0 0 0 135724 460 0 0 25 0 1 0 45914884 898310144 216886 1992294400 134512640 137138936 4294513568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 219314 216886 192 642 0 218670 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 877256 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13010 /proc/meminfo: memFree=793224/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=897912 CPUtime=1421.81 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 222590 0 0 0 141713 468 0 0 25 0 1 0 45914884 919461888 222050 1992294400 134512640 137138936 4294513568 18446744073709551615 134602769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 224478 222050 192 642 0 223834 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 897912 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13012 /proc/meminfo: memFree=765076/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=926072 CPUtime=1481.79 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 229632 0 0 0 147695 484 0 0 25 0 1 0 45914884 948297728 229092 1992294400 134512640 137138936 4294513568 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 231518 229092 192 642 0 230874 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 926072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13014 /proc/meminfo: memFree=741268/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=949780 CPUtime=1541.77 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 235549 0 0 0 153678 499 0 0 25 0 1 0 45914884 972574720 235009 1992294400 134512640 137138936 4294513568 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 237445 235009 192 642 0 236801 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 949780 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 13016 /proc/meminfo: memFree=719940/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=971304 CPUtime=1601.75 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 240938 0 0 0 159661 514 0 0 25 0 1 0 45914884 994615296 240398 1992294400 134512640 137138936 4294513568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 242826 240398 192 642 0 242182 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 971304 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13016 /proc/meminfo: memFree=701960/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=988956 CPUtime=1661.73 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 245347 0 0 0 165646 527 0 0 25 0 1 0 45914884 1012690944 244807 1992294400 134512640 137138936 4294513568 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 247239 244807 192 642 0 246595 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 988956 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13021 /proc/meminfo: memFree=684476/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1006060 CPUtime=1721.71 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 249611 0 0 0 171633 538 0 0 25 0 1 0 45914884 1030205440 249071 1992294400 134512640 137138936 4294513568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 251515 249071 192 642 0 250871 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1006060 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=665008/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1025640 CPUtime=1781.69 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 254506 0 0 0 177620 549 0 0 25 0 1 0 45914884 1050255360 253966 1992294400 134512640 137138936 4294513568 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 256410 253966 192 642 0 255766 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1025640 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=661660/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1028964 CPUtime=1791.29 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 255337 0 0 0 178578 551 0 0 25 0 1 0 45914884 1053659136 254797 1992294400 134512640 137138936 4294513568 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 257241 254797 192 642 0 256597 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 1028964 [startup+1795.1 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=660668/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1029896 CPUtime=1794.49 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 255575 0 0 0 178897 552 0 0 25 0 1 0 45914884 1054613504 255035 1992294400 134512640 137138936 4294513568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 257474 255035 192 642 0 256830 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 1029896 [startup+1796.7 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=660420/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1030260 CPUtime=1796.08 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 255678 0 0 0 179055 553 0 0 25 0 1 0 45914884 1054986240 255138 1992294400 134512640 137138936 4294513568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 257565 255138 192 642 0 256921 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 1030260 [startup+1797.5 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=660048/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1030600 CPUtime=1796.88 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 255751 0 0 0 179135 553 0 0 25 0 1 0 45914884 1055334400 255211 1992294400 134512640 137138936 4294513568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 257650 255211 192 642 0 257006 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 1030600 [startup+1798.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=660048/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=1031032 CPUtime=1797.69 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202496 255858 0 0 0 179215 554 0 0 25 0 1 0 45914884 1055776768 255318 1992294400 134512640 137138936 4294513568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12971/statm: 257758 255318 192 642 0 257114 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 1031032 [startup+1798.7 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13023 /proc/meminfo: memFree=659552/2059040 swapFree=4140352/4192956 [pid=12971] ppid=12969 vsize=0 CPUtime=1798.08 /proc/12971/stat : 12971 (bsolo_pb10) R 12969 12971 12176 0 -1 4202500 255899 0 0 0 179246 562 0 0 25 0 1 0 45914884 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/12971/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.72 CPU time (s): 1798.11 CPU user time (s): 1792.47 CPU system time (s): 5.64214 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 1031168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.47 system time used= 5.64214 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255899 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= 3125 runsolver used 2.99654 second user time and 8.45671 second system time The end
Begin job on node019 at 2010-06-16 23:09:45 IDJOB=2671304 IDBENCH=48340 IDSOLVER=1162 FILE ID=node019/2671304-1276722585 PBS_JOBID= 11174136 Free space on /tmp= 62416 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_40.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671304-1276722585/watcher-2671304-1276722585 -o /tmp/evaluation-result-2671304-1276722585/solver-2671304-1276722585 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671304-1276722585.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1 RANDOM SEED=1425774322 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1684452 kB Buffers: 138420 kB Cached: 143156 kB SwapCached: 6068 kB Active: 114984 kB Inactive: 179896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1684452 kB SwapTotal: 4192956 kB SwapFree: 4140352 kB Dirty: 4208 kB Writeback: 0 kB AnonPages: 11668 kB Mapped: 13104 kB Slab: 58004 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182768 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-2671304-1276722585.opb Free space on /tmp at the end= 62408 MiB End job on node019 at 2010-06-16 23:39:44