Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798.09 | 1798.6 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb |
MD5SUM | ff64c7b9cef588c95a335f732f2d905b |
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) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
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-2671361-1276723838.opb 0.00/0.00 c File size is 531927 bytes. 0.06/0.09 c Highest Coefficient sum: 400 0.06/0.09 c Parsing was ok!! 0.06/0.09 c Total parsing time: 0.089 s 0.06/0.09 c Var: 6620 Constr: 13043 6420/403/6220 Lit: 51160 Watch. Lit: 44383 0.06/0.09 c Obj. Vars: 0 (0 % of total variables) 9.39/9.40 c Pre-processing Time: 9.405 s 9.39/9.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.40 c 0 6620 13043 51160 3 44383 170370 0 0 9.40 9.39/9.40 c Switching off lower bounding mode. 1797.99/1798.51 c 100 6620 13144 51858 3 44624 187408 101 10 9.52 1797.99/1798.51 c 250 6620 13295 63638 4 44926 206149 252 25 9.67 1797.99/1798.51 c 475 6620 13531 113425 8 45398 226764 488 47 10.04 1797.99/1798.51 c 813 6620 13875 147946 10 46092 249441 832 78 10.42 1797.99/1798.51 c 1321 6620 14405 243165 16 47152 274386 1362 115 11.44 1797.99/1798.51 c 2085 6620 15208 383805 25 49802 301825 2165 169 12.30 1797.99/1798.51 c 3231 6620 16464 650468 39 54860 332008 3421 241 13.37 1797.99/1798.51 c 4952 6620 18331 976231 53 58972 365209 5288 316 15.64 1797.99/1798.51 c 7536 6620 21143 1540786 72 65886 401730 8100 353 21.32 1797.99/1798.51 c 11415 6620 25232 2413032 95 74881 441904 12189 392 29.10 1797.99/1798.51 c 17237 6620 31394 3852609 122 87481 486095 18351 400 43.07 1797.99/1798.51 c 25974 6620 40516 5931545 146 105833 534705 27473 376 69.00 1797.99/1798.51 c 39084 6620 54204 9084975 167 133456 588176 41161 322 121.15 1797.99/1798.51 c 58754 6620 74753 13733437 183 175078 646994 61710 293 200.34 1797.99/1798.51 c 88264 6620 105461 20629245 195 236787 711694 92418 255 344.99 1797.99/1798.51 c 132534 6620 152187 30918371 203 330716 782864 139144 217 609.39 1797.99/1798.51 c 198944 6620 221693 46557277 210 470841 861151 208650 177 1121.69 1797.99/1798.51 c Resources Exceeded 1797.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 17 263894 128538 3191552 289359 61354796 276316 146 1798.01 1797.99/1798.51 s UNKNOWN 1797.99/1798.51 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-2671361-1276723838/watcher-2671361-1276723838 -o /tmp/evaluation-result-2671361-1276723838/solver-2671361-1276723838 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671361-1276723838.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.08 1.04 1.00 3/106 9927 /proc/meminfo: memFree=1772732/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=11460 CPUtime=0 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 47987788 11735040 283 1992294400 134512640 137138936 4291298688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 2865 283 175 642 0 2091 0 [startup+0.062393 s] /proc/loadavg: 1.08 1.04 1.00 3/106 9927 /proc/meminfo: memFree=1772732/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=12688 CPUtime=0.06 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 730 0 0 0 6 0 0 0 20 0 1 0 47987788 12992512 648 1992294400 134512640 137138936 4291298688 18446744073709551615 134531584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3172 648 254 642 0 2398 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12688 [startup+0.101396 s] /proc/loadavg: 1.08 1.04 1.00 3/106 9927 /proc/meminfo: memFree=1772732/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=14364 CPUtime=0.09 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 1336 0 0 0 9 0 0 0 20 0 1 0 47987788 14708736 1124 1992294400 134512640 137138936 4291298688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3591 1124 184 642 0 2947 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14364 [startup+0.301411 s] /proc/loadavg: 1.08 1.04 1.00 3/106 9927 /proc/meminfo: memFree=1772732/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=14364 CPUtime=0.29 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 1360 0 0 0 29 0 0 0 20 0 1 0 47987788 14708736 1148 1992294400 134512640 137138936 4291298688 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3591 1148 184 642 0 2947 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14364 [startup+0.701445 s] /proc/loadavg: 1.08 1.04 1.00 3/106 9927 /proc/meminfo: memFree=1772732/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=14364 CPUtime=0.69 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 1360 0 0 0 69 0 0 0 20 0 1 0 47987788 14708736 1148 1992294400 134512640 137138936 4291298688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3591 1148 184 642 0 2947 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14364 [startup+1.50151 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9928 /proc/meminfo: memFree=1769004/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=14364 CPUtime=1.49 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 1360 0 0 0 149 0 0 0 23 0 1 0 47987788 14708736 1148 1992294400 134512640 137138936 4291298688 18446744073709551615 136511215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3591 1148 184 642 0 2947 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14364 [startup+3.10064 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9928 /proc/meminfo: memFree=1768756/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=14364 CPUtime=3.09 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 1360 0 0 0 309 0 0 0 25 0 1 0 47987788 14708736 1148 1992294400 134512640 137138936 4291298688 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3591 1148 184 642 0 2947 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14364 [startup+6.3009 s] /proc/loadavg: 1.07 1.04 1.00 2/107 9928 /proc/meminfo: memFree=1768632/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=14364 CPUtime=6.29 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 1360 0 0 0 629 0 0 0 25 0 1 0 47987788 14708736 1148 1992294400 134512640 137138936 4291298688 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 3591 1148 184 642 0 2947 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14364 [startup+12.7004 s] /proc/loadavg: 1.06 1.04 1.00 2/107 9928 /proc/meminfo: memFree=1764664/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=20568 CPUtime=12.69 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 3243 0 0 0 1261 8 0 0 25 0 1 0 47987788 21061632 2703 1992294400 134512640 137138936 4291298688 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 5142 2703 192 642 0 4498 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20568 [startup+25.5015 s] /proc/loadavg: 1.05 1.03 1.00 2/107 9930 /proc/meminfo: memFree=1742716/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=40664 CPUtime=25.48 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 8266 0 0 0 2530 18 0 0 25 0 1 0 47987788 41639936 7726 1992294400 134512640 137138936 4291298688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 10166 7726 192 642 0 9522 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40664 [startup+51.1015 s] /proc/loadavg: 1.03 1.03 1.00 2/107 9930 /proc/meminfo: memFree=1709484/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=73852 CPUtime=51.08 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 16566 0 0 0 5068 40 0 0 25 0 1 0 47987788 75624448 16026 1992294400 134512640 137138936 4291298688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 18463 16026 192 642 0 17819 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73852 [startup+102.309 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9932 /proc/meminfo: memFree=1664224/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=118484 CPUtime=102.27 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 27726 0 0 0 10157 70 0 0 25 0 1 0 47987788 121327616 27186 1992294400 134512640 137138936 4291298688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 29621 27186 192 642 0 28977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 118484 [startup+162.302 s] /proc/loadavg: 1.13 1.05 1.01 2/107 9932 /proc/meminfo: memFree=1615740/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=167292 CPUtime=162.24 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 39920 0 0 0 16122 102 0 0 25 0 1 0 47987788 171307008 39380 1992294400 134512640 137138936 4291298688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 41823 39380 192 642 0 41179 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 167292 [startup+222.301 s] /proc/loadavg: 1.04 1.04 1.00 2/107 9934 /proc/meminfo: memFree=1570976/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=211692 CPUtime=222.22 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 51022 0 0 0 22091 131 0 0 25 0 1 0 47987788 216772608 50482 1992294400 134512640 137138936 4291298688 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 52923 50482 192 642 0 52279 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 211692 [startup+282.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 9936 /proc/meminfo: memFree=1532536/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=250288 CPUtime=282.22 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 60685 0 0 0 28067 155 0 0 25 0 1 0 47987788 256294912 60145 1992294400 134512640 137138936 4291298688 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 62572 60145 192 642 0 61928 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 250288 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9938 /proc/meminfo: memFree=1496824/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=285492 CPUtime=342.19 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 69486 0 0 0 34040 179 0 0 25 0 1 0 47987788 292343808 68946 1992294400 134512640 137138936 4291298688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 71373 68946 192 642 0 70729 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 285492 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9940 /proc/meminfo: memFree=1461608/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=320836 CPUtime=402.18 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 78320 0 0 0 40014 204 0 0 25 0 1 0 47987788 328536064 77780 1992294400 134512640 137138936 4291298688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 80209 77780 192 642 0 79565 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 320836 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9940 /proc/meminfo: memFree=1429616/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=352588 CPUtime=462.16 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 86243 0 0 0 45986 230 0 0 25 0 1 0 47987788 361050112 85703 1992294400 134512640 137138936 4291298688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 88147 85703 192 642 0 87503 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 352588 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9942 /proc/meminfo: memFree=1397004/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=385044 CPUtime=522.15 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 94358 0 0 0 51966 249 0 0 25 0 1 0 47987788 394285056 93818 1992294400 134512640 137138936 4291298688 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 96261 93818 192 642 0 95617 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 385044 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9944 /proc/meminfo: memFree=1370096/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=411912 CPUtime=582.12 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 101079 0 0 0 57943 269 0 0 25 0 1 0 47987788 421797888 100539 1992294400 134512640 137138936 4291298688 18446744073709551615 134542223 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 102978 100539 192 642 0 102334 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 411912 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9946 /proc/meminfo: memFree=1345048/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=436764 CPUtime=642.11 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 107296 0 0 0 63925 286 0 0 25 0 1 0 47987788 447246336 106756 1992294400 134512640 137138936 4291298688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 109191 106756 192 642 0 108547 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 436764 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1175788/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=605632 CPUtime=1061.99 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 149508 0 0 0 105789 410 0 0 25 0 1 0 47987788 620167168 148968 1992294400 134512640 137138936 4291298688 18446744073709551615 136505599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 151408 148968 192 642 0 150764 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 605632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1150616/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=630556 CPUtime=1121.97 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 155745 0 0 0 111770 427 0 0 25 0 1 0 47987788 645689344 155205 1992294400 134512640 137138936 4291298688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 157639 155205 192 642 0 156995 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 630556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9960 /proc/meminfo: memFree=1127800/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=653664 CPUtime=1181.95 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 161520 0 0 0 117750 445 0 0 25 0 1 0 47987788 669351936 160980 1992294400 134512640 137138936 4291298688 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 163416 160980 192 642 0 162772 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 653664 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9962 /proc/meminfo: memFree=1106596/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=674436 CPUtime=1241.94 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 166705 0 0 0 123727 467 0 0 25 0 1 0 47987788 690622464 166165 1992294400 134512640 137138936 4291298688 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 168609 166165 192 642 0 167965 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 674436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9964 /proc/meminfo: memFree=1084772/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=696000 CPUtime=1301.92 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 172096 0 0 0 129706 486 0 0 25 0 1 0 47987788 712704000 171556 1992294400 134512640 137138936 4291298688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 174000 171556 192 642 0 173356 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 696000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9964 /proc/meminfo: memFree=1068032/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=712716 CPUtime=1361.9 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 176289 0 0 0 135688 502 0 0 25 0 1 0 47987788 729821184 175749 1992294400 134512640 137138936 4291298688 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 178179 175749 192 642 0 177535 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 712716 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9966 /proc/meminfo: memFree=1048316/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=732324 CPUtime=1421.89 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 181184 0 0 0 141675 514 0 0 25 0 1 0 47987788 749899776 180644 1992294400 134512640 137138936 4291298688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 183081 180644 192 642 0 182437 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 732324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9968 /proc/meminfo: memFree=1034428/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=746368 CPUtime=1481.87 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 184688 0 0 0 147661 526 0 0 25 0 1 0 47987788 764280832 184148 1992294400 134512640 137138936 4291298688 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 186592 184148 192 642 0 185948 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 746368 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9970 /proc/meminfo: memFree=1018556/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=761992 CPUtime=1541.85 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 188594 0 0 0 153646 539 0 0 25 0 1 0 47987788 780279808 188054 1992294400 134512640 137138936 4291298688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 190498 188054 192 642 0 189854 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 761992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9972 /proc/meminfo: memFree=1004048/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=776524 CPUtime=1601.84 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 192239 0 0 0 159633 551 0 0 25 0 1 0 47987788 795160576 191699 1992294400 134512640 137138936 4291298688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 194131 191699 192 642 0 193487 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 776524 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9972 /proc/meminfo: memFree=987804/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=792656 CPUtime=1661.82 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 196276 0 0 0 165617 565 0 0 25 0 1 0 47987788 811679744 195736 1992294400 134512640 137138936 4291298688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 198164 195736 192 642 0 197520 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 792656 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9974 /proc/meminfo: memFree=973172/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=807348 CPUtime=1721.8 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 199947 0 0 0 171604 576 0 0 25 0 1 0 47987788 826724352 199407 1992294400 134512640 137138936 4291298688 18446744073709551615 134542174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 201837 199407 192 642 0 201193 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 807348 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9976 /proc/meminfo: memFree=957672/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=822428 CPUtime=1781.79 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 203710 0 0 0 177590 589 0 0 25 0 1 0 47987788 842166272 203170 1992294400 134512640 137138936 4291298688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 205607 203170 192 642 0 204963 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 822428 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 9976 /proc/meminfo: memFree=955192/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=824896 CPUtime=1791.39 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 204336 0 0 0 178548 591 0 0 25 0 1 0 47987788 844693504 203796 1992294400 134512640 137138936 4291298688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 206224 203796 192 642 0 205580 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 824896 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9976 /proc/meminfo: memFree=954324/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=825696 CPUtime=1794.59 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 204537 0 0 0 178867 592 0 0 25 0 1 0 47987788 845512704 203997 1992294400 134512640 137138936 4291298688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 206424 203997 192 642 0 205780 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 825696 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9976 /proc/meminfo: memFree=954076/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=826112 CPUtime=1796.18 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 204629 0 0 0 179026 592 0 0 25 0 1 0 47987788 845938688 204089 1992294400 134512640 137138936 4291298688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 206528 204089 192 642 0 205884 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 826112 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9976 /proc/meminfo: memFree=953828/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=826272 CPUtime=1796.99 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 204678 0 0 0 179106 593 0 0 25 0 1 0 47987788 846102528 204138 1992294400 134512640 137138936 4291298688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 206568 204138 192 642 0 205924 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 826272 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9976 /proc/meminfo: memFree=953828/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=826536 CPUtime=1797.78 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 204746 0 0 0 179185 593 0 0 25 0 1 0 47987788 846372864 204206 1992294400 134512640 137138936 4291298688 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 206634 204206 192 642 0 205990 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 826536 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9976 /proc/meminfo: memFree=953456/2059040 swapFree=4140244/4192956 [pid=9927] ppid=9925 vsize=826696 CPUtime=1797.99 /proc/9927/stat : 9927 (bsolo_pb10) R 9925 9927 9335 0 -1 4202496 204770 0 0 0 179206 593 0 0 25 0 1 0 47987788 846536704 204230 1992294400 134512640 137138936 4291298688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9927/statm: 206674 204230 192 642 0 206030 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 826696 Child status: 0 Real time (s): 1798.6 CPU time (s): 1798.09 CPU user time (s): 1792.07 CPU system time (s): 6.01708 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 826696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.07 system time used= 6.01708 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 204770 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= 4651 runsolver used 2.86756 second user time and 8.58869 second system time The end
Begin job on node003 at 2010-06-16 23:30:38 IDJOB=2671361 IDBENCH=48359 IDSOLVER=1162 FILE ID=node003/2671361-1276723838 PBS_JOBID= 11174139 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_2_40.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671361-1276723838/watcher-2671361-1276723838 -o /tmp/evaluation-result-2671361-1276723838/solver-2671361-1276723838 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671361-1276723838.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b RANDOM SEED=1238329708 node003.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.251 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.50 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.251 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1773880 kB Buffers: 90884 kB Cached: 112664 kB SwapCached: 5996 kB Active: 80188 kB Inactive: 136552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1773880 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 4100 kB Writeback: 0 kB AnonPages: 11616 kB Mapped: 13176 kB Slab: 46664 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181616 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-2671361-1276723838.opb Free space on /tmp at the end= 62576 MiB End job on node003 at 2010-06-17 00:00:37