Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.08 | 1798.78 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx49.opb |
MD5SUM | e08af5097f76b1d4e2b0ba1d8a42ed5a |
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 | 2130 |
Total number of constraints | 2495 |
Number of constraints which are clauses | 2125 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 320 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 320 |
Number of terms in the objective function | 5 |
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 | 5 |
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 | 636 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657238-1276688926.opb 0.00/0.00 c File size is 208560 bytes. 0.00/0.04 c Highest Coefficient sum: 636 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.037 s 0.00/0.04 c Var: 2130 Constr: 2544 2174/50/320 Lit: 24185 Watch. Lit: 21198 0.00/0.04 c Obj. Vars: 5 (0.234742 % of total variables) 0.79/0.87 c Pre-processing Time: 0.874 s 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 2125 418 19930 47 17583 46019 0 0 0.87 0.79/0.87 c Switching off lower bounding mode. 1797.99/1798.70 c 101 2125 519 23963 46 17785 50621 101 111 0.91 1797.99/1798.70 c 252 2125 670 34296 51 18151 55684 252 264 0.95 1797.99/1798.70 c 478 2125 896 54377 60 18587 61253 478 453 1.05 1797.99/1798.70 c 816 2125 1234 85415 69 19279 67379 816 710 1.15 1797.99/1798.70 c 1324 2125 1742 95169 54 20327 74117 1324 935 1.42 1797.99/1798.70 c 2088 2125 2506 188116 75 21823 81529 2088 1281 1.63 1797.99/1798.70 c 3238 2125 3656 283876 77 24123 89682 3238 1558 2.08 1797.99/1798.70 c 4961 2125 5379 595090 110 27625 98651 4961 1708 2.90 1797.99/1798.70 c 7546 2125 7964 756672 95 32707 108517 7546 1701 4.43 1797.99/1798.70 c 11425 2125 11843 1174154 99 40465 119369 11425 1596 7.16 1797.99/1798.70 c 17248 2125 17666 2227489 126 52207 131306 17248 1069 16.13 1797.99/1798.70 c 25986 2125 26404 4242037 160 69571 144437 25986 757 34.29 1797.99/1798.70 c 39096 2125 39514 6106329 154 95807 158881 39096 624 62.62 1797.99/1798.70 c 58771 2125 59189 10412245 175 135125 174770 58771 439 133.84 1797.99/1798.70 c 88281 2125 88699 20622231 232 194193 192248 88281 286 308.46 1797.99/1798.70 c 132551 2125 132969 28700998 215 282701 211473 132551 219 604.50 1797.99/1798.70 c 198962 2125 199380 47593786 238 415555 232621 198962 162 1220.68 1797.99/1798.70 c Resources Exceeded 1797.99/1798.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.70 c 17 266445 90404 894051 48606 11248999 48188 148 1798.01 1797.99/1798.70 s UNKNOWN 1797.99/1798.70 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-2657238-1276688926/watcher-2657238-1276688926 -o /tmp/evaluation-result-2657238-1276688926/solver-2657238-1276688926 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657238-1276688926.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.00 1.00 3/106 13119 /proc/meminfo: memFree=1739928/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=11136 CPUtime=0 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 353 0 0 0 0 0 0 0 19 0 1 0 44494209 11403264 271 1992294400 134512640 137138936 4293219600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 2784 271 175 642 0 2089 0 [startup+0.0645981 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13119 /proc/meminfo: memFree=1739928/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=11992 CPUtime=0.06 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 685 0 0 0 6 0 0 0 19 0 1 0 44494209 12279808 552 1992294400 134512640 137138936 4293219600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 2998 552 184 642 0 2354 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11992 [startup+0.101604 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13119 /proc/meminfo: memFree=1739928/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=11992 CPUtime=0.09 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 685 0 0 0 9 0 0 0 19 0 1 0 44494209 12279808 552 1992294400 134512640 137138936 4293219600 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 2998 552 184 642 0 2354 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11992 [startup+0.301639 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13119 /proc/meminfo: memFree=1739928/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=11992 CPUtime=0.29 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 685 0 0 0 29 0 0 0 20 0 1 0 44494209 12279808 552 1992294400 134512640 137138936 4293219600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 2998 552 184 642 0 2354 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11992 [startup+0.701711 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13119 /proc/meminfo: memFree=1739928/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=12056 CPUtime=0.69 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 703 0 0 0 69 0 0 0 21 0 1 0 44494209 12345344 570 1992294400 134512640 137138936 4293219600 18446744073709551615 134532579 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 3014 570 185 642 0 2370 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12056 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13120 /proc/meminfo: memFree=1738184/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=13304 CPUtime=1.49 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 1030 0 0 0 147 2 0 0 23 0 1 0 44494209 13623296 897 1992294400 134512640 137138936 4293219600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 3326 897 190 642 0 2682 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13304 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13120 /proc/meminfo: memFree=1734712/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=19972 CPUtime=3.08 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 2688 0 0 0 305 3 0 0 25 0 1 0 44494209 20451328 2555 1992294400 134512640 137138936 4293219600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 4993 2555 190 642 0 4349 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19972 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13120 /proc/meminfo: memFree=1725412/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=26304 CPUtime=6.29 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 4282 0 0 0 625 4 0 0 25 0 1 0 44494209 26935296 4149 1992294400 134512640 137138936 4293219600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 6576 4149 190 642 0 5932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26304 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13122 /proc/meminfo: memFree=1712640/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=38192 CPUtime=12.69 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 7257 0 0 0 1261 8 0 0 25 0 1 0 44494209 39108608 7124 1992294400 134512640 137138936 4293219600 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 9548 7124 190 642 0 8904 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38192 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13122 /proc/meminfo: memFree=1690568/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=59752 CPUtime=25.48 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 12637 0 0 0 2533 15 0 0 25 0 1 0 44494209 61186048 12504 1992294400 134512640 137138936 4293219600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 14938 12504 190 642 0 14294 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59752 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13122 /proc/meminfo: memFree=1665148/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=85340 CPUtime=51.07 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 19028 0 0 0 5083 24 0 0 25 0 1 0 44494209 87388160 18895 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 21335 18895 190 642 0 20691 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85340 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13124 /proc/meminfo: memFree=1619516/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=130164 CPUtime=102.26 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 30251 0 0 0 10181 45 0 0 25 0 1 0 44494209 133287936 30118 1992294400 134512640 137138936 4293219600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 32541 30118 190 642 0 31897 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 130164 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13126 /proc/meminfo: memFree=1562228/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=187920 CPUtime=162.23 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 44687 0 0 0 16152 71 0 0 25 0 1 0 44494209 192430080 44554 1992294400 134512640 137138936 4293219600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 46980 44554 190 642 0 46336 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 187920 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13126 /proc/meminfo: memFree=1513992/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=235472 CPUtime=222.2 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 56559 0 0 0 22134 86 0 0 25 0 1 0 44494209 241123328 56426 1992294400 134512640 137138936 4293219600 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 58868 56426 190 642 0 58224 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 235472 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13128 /proc/meminfo: memFree=1478528/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=271204 CPUtime=282.18 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 65507 0 0 0 28121 97 0 0 25 0 1 0 44494209 277712896 65374 1992294400 134512640 137138936 4293219600 18446744073709551615 134603150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 67802 65374 190 642 0 67158 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 271204 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13130 /proc/meminfo: memFree=1449388/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=300008 CPUtime=342.16 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 72699 0 0 0 34107 109 0 0 25 0 1 0 44494209 307208192 72566 1992294400 134512640 137138936 4293219600 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 75002 72566 190 642 0 74358 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 300008 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13132 /proc/meminfo: memFree=1431036/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=318540 CPUtime=402.13 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 77323 0 0 0 40093 120 0 0 25 0 1 0 44494209 326184960 77190 1992294400 134512640 137138936 4293219600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 79635 77190 190 642 0 78991 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 318540 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13134 /proc/meminfo: memFree=1410824/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=338476 CPUtime=462.11 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 82318 0 0 0 46077 134 0 0 25 0 1 0 44494209 346599424 82185 1992294400 134512640 137138936 4293219600 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 84619 82185 190 642 0 83975 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 338476 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13134 /proc/meminfo: memFree=1391356/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=357824 CPUtime=522.09 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 87157 0 0 0 52063 146 0 0 25 0 1 0 44494209 366411776 87024 1992294400 134512640 137138936 4293219600 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 89456 87024 190 642 0 88812 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 357824 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13136 /proc/meminfo: memFree=1369780/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=379248 CPUtime=582.06 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 92504 0 0 0 58049 157 0 0 25 0 1 0 44494209 388349952 92371 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 94812 92371 190 642 0 94168 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 379248 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13138 /proc/meminfo: memFree=1338532/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=410252 CPUtime=642.06 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 100265 0 0 0 64036 170 0 0 25 0 1 0 44494209 420098048 100132 1992294400 134512640 137138936 4293219600 18446744073709551615 134542266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 102563 100132 190 642 0 101919 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 410252 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1164684/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=583768 CPUtime=1061.87 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 143651 0 0 0 105942 245 0 0 25 0 1 0 44494209 597778432 143518 1992294400 134512640 137138936 4293219600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 145942 143518 190 642 0 145298 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 583768 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13159 /proc/meminfo: memFree=1142736/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=605456 CPUtime=1121.85 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 149050 0 0 0 111933 252 0 0 25 0 1 0 44494209 619986944 148917 1992294400 134512640 137138936 4293219600 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 151364 148917 190 642 0 150720 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 605456 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13161 /proc/meminfo: memFree=1121656/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=626472 CPUtime=1181.82 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 154313 0 0 0 117923 259 0 0 25 0 1 0 44494209 641507328 154180 1992294400 134512640 137138936 4293219600 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 156618 154180 190 642 0 155974 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 626472 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13163 /proc/meminfo: memFree=1105288/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=642312 CPUtime=1241.8 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 158283 0 0 0 123913 267 0 0 25 0 1 0 44494209 657727488 158150 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 160578 158150 190 642 0 159934 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 642312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13165 /proc/meminfo: memFree=1095864/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=651764 CPUtime=1301.78 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 160650 0 0 0 129905 273 0 0 25 0 1 0 44494209 667406336 160517 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 162941 160517 190 642 0 162297 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 651764 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13167 /proc/meminfo: memFree=1084580/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=663220 CPUtime=1361.76 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 163501 0 0 0 135894 282 0 0 25 0 1 0 44494209 679137280 163368 1992294400 134512640 137138936 4293219600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 165805 163368 190 642 0 165161 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 663220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13167 /proc/meminfo: memFree=1066848/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=680676 CPUtime=1421.75 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 167858 0 0 0 141884 291 0 0 25 0 1 0 44494209 697012224 167725 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 170169 167725 190 642 0 169525 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 680676 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13169 /proc/meminfo: memFree=1046884/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=700744 CPUtime=1481.71 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 172891 0 0 0 147871 300 0 0 25 0 1 0 44494209 717561856 172758 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 175186 172758 190 642 0 174542 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 700744 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13174 /proc/meminfo: memFree=1024564/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=722468 CPUtime=1541.69 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 178309 0 0 0 153862 307 0 0 25 0 1 0 44494209 739807232 178176 1992294400 134512640 137138936 4293219600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 180617 178176 190 642 0 179973 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 722468 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13176 /proc/meminfo: memFree=1007700/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1601.67 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 159851 316 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 738624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13178 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1661.64 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 165842 322 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 738624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13178 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1721.62 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 171832 330 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 738624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1781.6 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 177822 338 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 738624 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 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1791.2 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 178781 339 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 738624 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1794.4 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 179101 339 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 738624 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1795.99 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 179260 339 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 738624 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1796.79 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 179340 339 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 738624 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1797.59 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 179420 339 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 738624 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13180 /proc/meminfo: memFree=1007948/2059040 swapFree=4136756/4192956 [pid=13119] ppid=13117 vsize=738624 CPUtime=1797.99 /proc/13119/stat : 13119 (bsolo_pb10) R 13117 13119 12563 0 -1 4202496 182570 0 0 0 179460 339 0 0 25 0 1 0 44494209 756350976 182209 1992294400 134512640 137138936 4293219600 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13119/statm: 184656 182209 190 642 0 184012 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 738624 Child status: 0 Real time (s): 1798.78 CPU time (s): 1798.08 CPU user time (s): 1794.61 CPU system time (s): 3.47047 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (KiB): 739536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.61 system time used= 3.47047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182570 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= 21878 runsolver used 2.90456 second user time and 8.5537 second system time The end
Begin job on node012 at 2010-06-16 13:48:47 IDJOB=2657238 IDBENCH=71848 IDSOLVER=1163 FILE ID=node012/2657238-1276688926 PBS_JOBID= 11172575 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx49.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657238-1276688926/watcher-2657238-1276688926 -o /tmp/evaluation-result-2657238-1276688926/solver-2657238-1276688926 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657238-1276688926.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e08af5097f76b1d4e2b0ba1d8a42ed5a RANDOM SEED=1517650114 node012.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740580 kB Buffers: 91092 kB Cached: 132320 kB SwapCached: 9680 kB Active: 105860 kB Inactive: 131044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740580 kB SwapTotal: 4192956 kB SwapFree: 4136756 kB Dirty: 4120 kB Writeback: 0 kB AnonPages: 11836 kB Mapped: 9420 kB Slab: 59824 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182912 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= 62584 MiB End job on node012 at 2010-06-16 14:18:45