Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798.11 | 1798.7 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx75.opb |
MD5SUM | 899c8865b8ac9a45eaa204f923cbd9e8 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, 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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4977 |
Total number of constraints | 5494 |
Number of constraints which are clauses | 4970 |
Number of constraints which are cardinality constraints (but not clauses) | 76 |
Number of constraints which are nor clauses,nor cardinality constraints | 448 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 448 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7 |
Number of bits of the sum of numbers in the objective function | 3 |
Biggest number in a constraint | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 947 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656308-1276688021.opb 0.00/0.00 c File size is 469538 bytes. 0.02/0.08 c Highest Coefficient sum: 947 0.02/0.08 c Parsing was ok!! 0.02/0.08 c Total parsing time: 0.087 s 0.02/0.09 c Var: 4977 Constr: 5569 5045/76/448 Lit: 53487 Watch. Lit: 46427 0.02/0.09 c Obj. Vars: 7 (0.140647 % of total variables) 3.78/3.84 c Pre-processing Time: 3.842 s 3.78/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.84 c 0 4970 598 43540 72 38272 103052 0 0 3.84 3.78/3.84 c Switching off lower bounding mode. 1798.00/1798.61 c 101 4970 702 49533 70 38592 113358 104 25 3.92 1798.00/1798.61 c 251 4970 859 60790 70 38802 124694 261 62 4.03 1798.00/1798.61 c 477 4970 1101 125521 114 39482 137164 503 109 4.34 1798.00/1798.61 c 819 4970 1444 168964 117 40216 150881 846 174 4.68 1798.00/1798.61 c 1327 4970 1955 192192 98 41190 165970 1357 246 5.37 1798.00/1798.61 c 2090 4970 2746 280305 102 42725 182568 2148 334 6.25 1798.00/1798.61 c 3236 4970 3914 406199 103 45092 200825 3316 421 7.68 1798.00/1798.61 c 4959 4970 5715 632942 110 48746 220908 5117 524 9.45 1798.00/1798.61 c 7544 4970 8388 812150 96 54172 242999 7790 582 12.94 1798.00/1798.61 c 11423 4970 12550 3452767 275 63175 267299 11952 381 29.94 1798.00/1798.61 c 17247 4970 18881 3901515 206 75898 294029 18283 445 38.71 1798.00/1798.61 c 25984 4970 28306 6076529 214 95166 323432 27708 418 62.02 1798.00/1798.61 c 39094 4970 41763 7232045 173 126033 355776 41165 419 93.27 1798.00/1798.61 c 58764 4970 63398 9971550 157 170387 391354 62800 352 166.93 1798.00/1798.62 c 88274 4970 98291 28129942 286 244032 430490 97693 202 435.69 1798.00/1798.62 c 132546 4970 149448 36328404 243 349691 473540 148850 177 748.32 1798.00/1798.62 c 198959 4970 218164 39879919 182 487398 520895 217566 135 1465.73 1798.00/1798.62 c Resources Exceeded 1798.00/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.62 c 17 226093 61445 901522 250260 62035646 249662 125 1798.03 1798.00/1798.62 s UNKNOWN 1798.00/1798.62 c Total time: 1798.03 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-2656308-1276688021/watcher-2656308-1276688021 -o /tmp/evaluation-result-2656308-1276688021/solver-2656308-1276688021 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656308-1276688021.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.00 1.05 1.01 3/106 16110 /proc/meminfo: memFree=1780052/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=11392 CPUtime=0 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 358 0 0 0 0 0 0 0 25 0 1 0 10093092 11665408 277 1992294400 134512640 137138936 4292157648 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 2848 278 177 642 0 2089 0 [startup+0.029989 s] /proc/loadavg: 1.00 1.05 1.01 3/106 16110 /proc/meminfo: memFree=1780052/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=12080 CPUtime=0.02 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 550 0 0 0 2 0 0 0 25 0 1 0 10093092 12369920 469 1992294400 134512640 137138936 4292157648 18446744073709551615 134603059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 3020 469 205 642 0 2261 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12080 [startup+0.101001 s] /proc/loadavg: 1.00 1.05 1.01 3/106 16110 /proc/meminfo: memFree=1780052/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=13632 CPUtime=0.09 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 1148 0 0 0 9 0 0 0 25 0 1 0 10093092 13959168 952 1992294400 134512640 137138936 4292157648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 3408 952 184 642 0 2764 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13632 [startup+0.301034 s] /proc/loadavg: 1.00 1.05 1.01 3/106 16110 /proc/meminfo: memFree=1780052/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=13632 CPUtime=0.29 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 1148 0 0 0 29 0 0 0 25 0 1 0 10093092 13959168 952 1992294400 134512640 137138936 4292157648 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 3408 952 184 642 0 2764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13632 [startup+0.7011 s] /proc/loadavg: 1.00 1.05 1.01 3/106 16110 /proc/meminfo: memFree=1780052/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=13632 CPUtime=0.69 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 1148 0 0 0 69 0 0 0 25 0 1 0 10093092 13959168 952 1992294400 134512640 137138936 4292157648 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 3408 952 184 642 0 2764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13632 [startup+1.50023 s] /proc/loadavg: 1.00 1.05 1.01 2/107 16111 /proc/meminfo: memFree=1776944/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=13632 CPUtime=1.49 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 1149 0 0 0 149 0 0 0 25 0 1 0 10093092 13959168 953 1992294400 134512640 137138936 4292157648 18446744073709551615 134542933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 3408 953 184 642 0 2764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13632 [startup+3.1005 s] /proc/loadavg: 1.00 1.05 1.01 2/107 16111 /proc/meminfo: memFree=1776324/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=13672 CPUtime=3.08 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 1188 0 0 0 308 0 0 0 25 0 1 0 10093092 14000128 985 1992294400 134512640 137138936 4292157648 18446744073709551615 134532610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 3418 985 185 642 0 2774 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13672 [startup+6.30103 s] /proc/loadavg: 1.00 1.05 1.01 2/107 16111 /proc/meminfo: memFree=1774712/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=16452 CPUtime=6.28 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 1884 0 0 0 612 16 0 0 25 0 1 0 10093092 16846848 1681 1992294400 134512640 137138936 4292157648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 4113 1681 192 642 0 3469 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16452 [startup+12.7011 s] /proc/loadavg: 1.00 1.05 1.01 3/107 16111 /proc/meminfo: memFree=1767148/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=23404 CPUtime=12.69 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 3624 0 0 0 1241 28 0 0 25 0 1 0 10093092 23965696 3421 1992294400 134512640 137138936 4292157648 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 5851 3421 192 642 0 5207 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23404 [startup+25.5012 s] /proc/loadavg: 1.00 1.05 1.01 2/107 16111 /proc/meminfo: memFree=1738628/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=51764 CPUtime=25.49 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 10718 0 0 0 2515 34 0 0 25 0 1 0 10093092 53006336 10513 1992294400 134512640 137138936 4292157648 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 12941 10513 192 642 0 12297 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51764 [startup+51.1015 s] /proc/loadavg: 1.00 1.04 1.01 2/107 16113 /proc/meminfo: memFree=1708496/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=81900 CPUtime=51.07 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 18243 0 0 0 5064 43 0 0 25 0 1 0 10093092 83865600 18038 1992294400 134512640 137138936 4292157648 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 20475 18038 192 642 0 19831 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 81900 [startup+102.309 s] /proc/loadavg: 1.00 1.03 1.00 2/107 16113 /proc/meminfo: memFree=1671668/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=118212 CPUtime=102.27 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 27327 0 0 0 10168 59 0 0 25 0 1 0 10093092 121049088 27122 1992294400 134512640 137138936 4292157648 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 29553 27122 192 642 0 28909 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 118212 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16115 /proc/meminfo: memFree=1644884/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=144896 CPUtime=162.24 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 34004 0 0 0 16143 81 0 0 25 0 1 0 10093092 148373504 33799 1992294400 134512640 137138936 4292157648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 36224 33799 192 642 0 35580 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 144896 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16117 /proc/meminfo: memFree=1572468/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=217360 CPUtime=222.22 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 52118 0 0 0 22121 101 0 0 25 0 1 0 10093092 222576640 51913 1992294400 134512640 137138936 4292157648 18446744073709551615 134573854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 54340 51913 192 642 0 53696 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 217360 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16119 /proc/meminfo: memFree=1512576/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=277576 CPUtime=282.2 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 67174 0 0 0 28106 114 0 0 25 0 1 0 10093092 284237824 66969 1992294400 134512640 137138936 4292157648 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 69394 66969 192 642 0 68750 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 277576 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16121 /proc/meminfo: memFree=1465216/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=324288 CPUtime=342.18 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 78851 0 0 0 34092 126 0 0 25 0 1 0 10093092 332070912 78646 1992294400 134512640 137138936 4292157648 18446744073709551615 134551552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 81072 78646 192 642 0 80428 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 324288 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16121 /proc/meminfo: memFree=1425908/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=363708 CPUtime=402.17 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 88704 0 0 0 40082 135 0 0 25 0 1 0 10093092 372436992 88499 1992294400 134512640 137138936 4292157648 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 90927 88499 192 642 0 90283 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 363708 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16123 /proc/meminfo: memFree=1395652/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=393588 CPUtime=462.15 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 96179 0 0 0 46070 145 0 0 25 0 1 0 10093092 403034112 95974 1992294400 134512640 137138936 4292157648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 98397 95974 192 642 0 97753 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 393588 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16125 /proc/meminfo: memFree=1367256/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=422068 CPUtime=522.12 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 103305 0 0 0 52056 156 0 0 25 0 1 0 10093092 432197632 103100 1992294400 134512640 137138936 4292157648 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 105517 103100 192 642 0 104873 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 422068 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16127 /proc/meminfo: memFree=1347168/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=441836 CPUtime=582.11 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 108245 0 0 0 58044 167 0 0 25 0 1 0 10093092 452440064 108040 1992294400 134512640 137138936 4292157648 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 110459 108040 192 642 0 109815 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 441836 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16129 /proc/meminfo: memFree=1329808/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=459076 CPUtime=642.09 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 112547 0 0 0 64034 175 0 0 25 0 1 0 10093092 470093824 112342 1992294400 134512640 137138936 4292157648 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 114769 112342 192 642 0 114125 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 459076 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1262848/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=525428 CPUtime=1121.93 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 129138 0 0 0 111977 216 0 0 25 0 1 0 10093092 538038272 128933 1992294400 134512640 137138936 4292157648 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 131357 128933 192 642 0 130713 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 525428 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16143 /proc/meminfo: memFree=1257640/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=530704 CPUtime=1181.92 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 130449 0 0 0 117972 220 0 0 25 0 1 0 10093092 543440896 130244 1992294400 134512640 137138936 4292157648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 132676 130244 192 642 0 132032 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 530704 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16145 /proc/meminfo: memFree=1252804/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=535328 CPUtime=1241.89 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 131604 0 0 0 123966 223 0 0 25 0 1 0 10093092 548175872 131399 1992294400 134512640 137138936 4292157648 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 133832 131399 192 642 0 133188 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 535328 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16145 /proc/meminfo: memFree=1250696/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=537352 CPUtime=1301.88 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 132122 0 0 0 129962 226 0 0 25 0 1 0 10093092 550248448 131917 1992294400 134512640 137138936 4292157648 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 134338 131917 192 642 0 133694 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 537352 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16147 /proc/meminfo: memFree=1248092/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=539948 CPUtime=1361.85 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 132770 0 0 0 135957 228 0 0 25 0 1 0 10093092 552906752 132565 1992294400 134512640 137138936 4292157648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 134987 132565 192 642 0 134343 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 539948 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16149 /proc/meminfo: memFree=1245116/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=542936 CPUtime=1421.84 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 133514 0 0 0 141953 231 0 0 25 0 1 0 10093092 555966464 133309 1992294400 134512640 137138936 4292157648 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 135734 133309 192 642 0 135090 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 542936 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16151 /proc/meminfo: memFree=1221556/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=567688 CPUtime=1481.82 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 139694 0 0 0 147944 238 0 0 25 0 1 0 10093092 581312512 139489 1992294400 134512640 137138936 4292157648 18446744073709551615 136296985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 141922 139489 192 642 0 141278 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 567688 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16153 /proc/meminfo: memFree=1149264/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=638860 CPUtime=1541.79 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 157485 0 0 0 153927 252 0 0 25 0 1 0 10093092 654192640 157280 1992294400 134512640 137138936 4292157648 18446744073709551615 134606604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 159715 157280 192 642 0 159071 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 638860 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16153 /proc/meminfo: memFree=1094580/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=693964 CPUtime=1601.78 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 171258 0 0 0 159915 263 0 0 25 0 1 0 10093092 710619136 171053 1992294400 134512640 137138936 4292157648 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 173491 171053 192 642 0 172847 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 693964 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 16164 /proc/meminfo: memFree=1040888/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=746876 CPUtime=1661.74 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 184492 0 0 0 165899 275 0 0 25 0 1 0 10093092 764801024 184287 1992294400 134512640 137138936 4292157648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 186719 184287 192 642 0 186075 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 746876 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16166 /proc/meminfo: memFree=1006912/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=780980 CPUtime=1721.73 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 193033 0 0 0 171891 282 0 0 25 0 1 0 10093092 799723520 192828 1992294400 134512640 137138936 4292157648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 195245 192828 192 642 0 194601 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 780980 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 16168 /proc/meminfo: memFree=967604/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=819860 CPUtime=1781.71 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 202740 0 0 0 177880 291 0 0 25 0 1 0 10093092 839536640 202535 1992294400 134512640 137138936 4292157648 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 204965 202535 192 642 0 204321 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 819860 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.00 1.00 2/107 16168 /proc/meminfo: memFree=960536/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=826800 CPUtime=1791.32 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 204463 0 0 0 178840 292 0 0 25 0 1 0 10093092 846643200 204258 1992294400 134512640 137138936 4292157648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 206700 204258 192 642 0 206056 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 826800 [startup+1795.1 s] /proc/loadavg: 1.01 1.00 1.00 2/107 16168 /proc/meminfo: memFree=958800/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=828480 CPUtime=1794.51 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 204887 0 0 0 179159 292 0 0 25 0 1 0 10093092 848363520 204682 1992294400 134512640 137138936 4292157648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 207120 204682 192 642 0 206476 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 828480 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16168 /proc/meminfo: memFree=958180/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=829296 CPUtime=1796.1 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 205108 0 0 0 179318 292 0 0 25 0 1 0 10093092 849199104 204903 1992294400 134512640 137138936 4292157648 18446744073709551615 134599742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 207324 204903 192 642 0 206680 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 829296 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16168 /proc/meminfo: memFree=957560/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=829784 CPUtime=1796.9 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 205213 0 0 0 179398 292 0 0 25 0 1 0 10093092 849698816 205008 1992294400 134512640 137138936 4292157648 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 207446 205008 192 642 0 206802 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 829784 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16168 /proc/meminfo: memFree=957560/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=830112 CPUtime=1797.7 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 205309 0 0 0 179478 292 0 0 25 0 1 0 10093092 850034688 205104 1992294400 134512640 137138936 4292157648 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 207528 205104 192 642 0 206884 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 830112 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16168 /proc/meminfo: memFree=957064/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=830316 CPUtime=1797.91 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 205352 0 0 0 179499 292 0 0 25 0 1 0 10093092 850243584 205147 1992294400 134512640 137138936 4292157648 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 207579 205147 192 642 0 206935 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 830316 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16168 /proc/meminfo: memFree=957064/2059040 swapFree=4168596/4192956 [pid=16110] ppid=16108 vsize=830316 CPUtime=1798 /proc/16110/stat : 16110 (bsolo_pb10) R 16108 16110 15910 0 -1 4202496 205359 0 0 0 179508 292 0 0 25 0 1 0 10093092 850243584 205154 1992294400 134512640 137138936 4292157648 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16110/statm: 207579 205154 192 642 0 206935 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 830316 Child status: 0 Real time (s): 1798.7 CPU time (s): 1798.11 CPU user time (s): 1795.11 CPU system time (s): 3.00854 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 830316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.11 system time used= 3.00854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205359 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= 5009 runsolver used 2.80657 second user time and 8.65568 second system time The end
Begin job on node055 at 2010-06-16 13:33:41 IDJOB=2656308 IDBENCH=71843 IDSOLVER=1162 FILE ID=node055/2656308-1276688021 PBS_JOBID= 11172597 Free space on /tmp= 62480 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx75.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656308-1276688021/watcher-2656308-1276688021 -o /tmp/evaluation-result-2656308-1276688021/solver-2656308-1276688021 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656308-1276688021.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8 RANDOM SEED=1925959081 node055.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.258 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.51 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.258 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: 1780580 kB Buffers: 63240 kB Cached: 112888 kB SwapCached: 1504 kB Active: 96124 kB Inactive: 116580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1780580 kB SwapTotal: 4192956 kB SwapFree: 4168596 kB Dirty: 4396 kB Writeback: 0 kB AnonPages: 35052 kB Mapped: 15056 kB Slab: 43992 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183200 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node055 at 2010-06-16 14:03:40