Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.26 | 1801 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1874932-1245220650.opb. 0.00/0.00 c Instance file HOME/instance-1874932-1245220650.opb 0.00/0.00 c File size is 469538 bytes. 0.00/0.07 c Highest Coefficient sum: 947 0.00/0.07 c ============================[ Problem Statistics ]============================= 0.00/0.07 c | | 0.00/0.07 c | Parsing time: 0.07 s | 0.00/0.07 c | Number Variables: 4977 | 0.00/0.07 c | Number Clauses: 5052 | 0.00/0.07 c | Number Cardinality: 76 | 0.00/0.07 c | Number PB Constraints: 448 | 0.00/0.07 c core #1 0.00/0.07 c Core size: 36 Core Weight: 1 Total Weight: 1 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.08/0.09 c core #2 0.08/0.09 c Core size: 9 Core Weight: 1 Total Weight: 2 0.08/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 4984 5578 53522 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #3 0.09/0.10 c Core size: 10 Core Weight: 1 Total Weight: 3 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 4991 5579 53536 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #4 0.09/0.12 c Core size: 11 Core Weight: 1 Total Weight: 4 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 4998 5580 53550 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #5 0.09/0.14 c Core size: 12 Core Weight: 1 Total Weight: 5 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 5005 5581 53564 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 101 | 5005 5581 53564 | 5500 101 12 | 0.140 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #6 0.09/0.16 c Core size: 13 Core Weight: 1 Total Weight: 6 0.09/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 5012 5582 53578 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 101 | 5012 5582 53578 | 5500 101 16 | 0.139 % | 0.09/0.18 c | 251 | 5012 5582 53578 | 6050 251 18 | 0.139 % | 0.09/0.19 c =============================================================================== 0.09/0.20 c core #7 0.09/0.20 c Core size: 14 Core Weight: 1 Total Weight: 7 0.09/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 5019 5583 53592 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 101 | 5019 5583 53592 | 5500 101 20 | 0.139 % | 0.19/0.25 c | 252 | 5019 5583 53592 | 6050 252 179 | 0.139 % | 0.19/0.29 c | 478 | 5019 5583 53592 | 6655 478 189 | 0.139 % | 0.29/0.38 c | 816 | 5019 5583 53592 | 7320 816 137 | 0.139 % | 0.49/0.53 c | 1323 | 5019 5583 53592 | 8052 1323 209 | 0.139 % | 0.69/0.74 c | 2084 | 5019 5583 53592 | 8857 2084 148 | 0.139 % | 1.00/1.02 c | 3223 | 5019 5583 53592 | 9743 3223 176 | 0.139 % | 1.39/1.41 c | 4934 | 5019 5583 53592 | 10717 4934 152 | 0.139 % | 2.09/2.12 c | 7496 | 5019 5583 53592 | 11789 7496 177 | 0.139 % | 3.39/3.46 c | 11340 | 5019 5583 53592 | 12968 11340 129 | 0.139 % | 5.49/5.55 c | 17107 | 5019 5583 53592 | 14265 9241 138 | 0.139 % | 10.68/10.72 c | 25756 | 5019 5583 53592 | 15692 9357 403 | 0.139 % | 15.89/15.92 c | 38731 | 5019 5583 53592 | 17261 13476 65 | 0.139 % | 34.87/34.99 c | 58192 | 5019 5583 53592 | 18987 12430 713 | 0.139 % | 47.17/47.21 c | 87385 | 5019 5583 53592 | 20886 10545 35 | 0.139 % | 90.65/90.78 c | 131174 | 5019 5583 53592 | 22974 17654 204 | 0.139 % | 220.70/220.87 c | 196858 | 5019 5583 53592 | 25272 17489 173 | 0.139 % | 292.37/292.55 c | 295385 | 5019 5583 53592 | 27799 23818 78 | 0.139 % | 657.11/657.46 c | 443176 | 5019 5583 53592 | 30579 20571 590 | 0.139 % | 811.35/811.73 c | 664860 | 5019 5583 53592 | 33637 24048 42 | 0.139 % | 1707.69/1708.43 c | 997385 | 5019 5583 53592 | 37001 21989 559 | 0.139 % |
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-1874932-1245220650/watcher-1874932-1245220650 -o /tmp/evaluation-result-1874932-1245220650/solver-1874932-1245220650 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874932-1245220650.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: 0.99 0.97 0.98 3/64 7593 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=3132 CPUtime=0 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 189665700 3207168 210 1992294400 134512640 135709839 4294956240 18446744073709551615 134545448 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 783 210 129 292 0 373 0 [startup+0.0897769 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7593 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=5572 CPUtime=0.08 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 1108 0 0 0 8 0 0 0 18 0 1 0 189665700 5705728 898 1992294400 134512640 135709839 4294956240 18446744073709551615 135236193 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 1357 898 134 292 0 1062 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5572 [startup+0.102777 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7593 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=6508 CPUtime=0.09 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 1375 0 0 0 9 0 0 0 18 0 1 0 189665700 6664192 1165 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 1627 1166 134 292 0 1332 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6508 [startup+0.3018 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7593 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=10688 CPUtime=0.29 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 2495 0 0 0 28 1 0 0 19 0 1 0 189665700 10944512 2225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 2672 2225 136 292 0 2377 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10688 [startup+0.702842 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7593 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=11356 CPUtime=0.69 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 2665 0 0 0 68 1 0 0 23 0 1 0 189665700 11628544 2395 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 2839 2395 136 292 0 2544 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11356 [startup+1.50193 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1813408/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=14020 CPUtime=1.49 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 3320 0 0 0 146 3 0 0 25 0 1 0 189665700 14356480 3050 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 3505 3050 136 292 0 3210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14020 [startup+3.10111 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1809568/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=17320 CPUtime=3.09 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 4149 0 0 0 305 4 0 0 25 0 1 0 189665700 17735680 3879 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 4330 3879 136 292 0 4035 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17320 [startup+6.30147 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1802784/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=25636 CPUtime=6.29 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 6223 0 0 0 623 6 0 0 25 0 1 0 189665700 26251264 5953 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 6409 5953 136 292 0 6114 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25636 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1783784/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=42676 CPUtime=12.69 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 10490 0 0 0 1256 13 0 0 25 0 1 0 189665700 43700224 10220 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 10669 10220 136 292 0 10374 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42676 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1750056/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=76120 CPUtime=25.48 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 18853 0 0 0 2526 22 0 0 25 0 1 0 189665700 77946880 18583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 19030 18583 136 292 0 18735 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76120 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1713448/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=113144 CPUtime=51.07 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 28097 0 0 0 5072 35 0 0 25 0 1 0 189665700 115859456 27827 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 28286 27827 136 292 0 27991 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 113144 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1656360/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=169160 CPUtime=102.25 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 42093 0 0 0 10172 53 0 0 25 0 1 0 189665700 173219840 41823 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 42290 41823 136 292 0 41995 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 169160 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1628200/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=197692 CPUtime=162.22 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 49214 0 0 0 16155 67 0 0 25 0 1 0 189665700 202436608 48944 1992294400 134512640 135709839 4294956240 18446744073709551615 134573931 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 49423 48944 136 292 0 49128 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 197692 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1605288/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=220304 CPUtime=222.2 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 54868 0 0 0 22141 79 0 0 25 0 1 0 189665700 225591296 54598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 55076 54598 136 292 0 54781 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 220304 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1564520/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=261456 CPUtime=282.18 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 65131 0 0 0 28113 105 0 0 25 0 1 0 189665700 267730944 64861 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 65364 64861 136 292 0 65069 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 261456 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1482920/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=342608 CPUtime=342.15 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 85390 0 0 0 34090 125 0 0 25 0 1 0 189665700 350830592 85120 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 85652 85120 136 292 0 85357 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 342608 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1435624/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=390264 CPUtime=402.12 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 97303 0 0 0 40072 140 0 0 25 0 1 0 189665700 399630336 97033 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 97566 97033 136 292 0 97271 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 390264 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1380776/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=445044 CPUtime=462.1 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 110999 0 0 0 46054 156 0 0 25 0 1 0 189665700 455725056 110729 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 111261 110729 136 292 0 110966 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 445044 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1310056/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=515432 CPUtime=522.06 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 128579 0 0 0 52032 174 0 0 25 0 1 0 189665700 527802368 128309 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 128858 128309 136 292 0 128563 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 515432 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1268712/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=556956 CPUtime=582.04 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 138933 0 0 0 58019 185 0 0 25 0 1 0 189665700 570322944 138663 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 139239 138663 136 292 0 138944 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 556956 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7594 /proc/meminfo: memFree=1204776/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=620224 CPUtime=642.02 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 154753 0 0 0 64000 202 0 0 25 0 1 0 189665700 635109376 154483 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 155056 154483 136 292 0 154761 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 620224 [startup+702.303 s] ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=1064936/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=759596 CPUtime=881.91 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 189545 0 0 0 87908 283 0 0 25 0 1 0 189665700 777826304 189275 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 189899 189275 136 292 0 189604 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 759596 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=1045480/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=779544 CPUtime=941.9 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 194487 0 0 0 93897 293 0 0 25 0 1 0 189665700 798253056 194217 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 194886 194217 136 292 0 194591 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 779544 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=1024296/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=800544 CPUtime=1001.87 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 199753 0 0 0 99885 302 0 0 25 0 1 0 189665700 819757056 199483 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 200136 199483 136 292 0 199841 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 800544 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=1000616/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=824596 CPUtime=1061.84 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 205735 0 0 0 105872 312 0 0 25 0 1 0 189665700 844386304 205465 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 206149 205465 136 292 0 205854 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 824596 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=985000/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=840032 CPUtime=1121.82 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 209590 0 0 0 111862 320 0 0 25 0 1 0 189665700 860192768 209320 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 210008 209320 136 292 0 209713 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 840032 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=967144/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=858092 CPUtime=1181.79 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 214071 0 0 0 117851 328 0 0 25 0 1 0 189665700 878686208 213801 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 214523 213801 136 292 0 214228 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 858092 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=944872/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=880184 CPUtime=1241.77 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 219595 0 0 0 123840 337 0 0 25 0 1 0 189665700 901308416 219325 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 220046 219325 136 292 0 219751 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 880184 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=920744/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=904016 CPUtime=1301.75 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 225572 0 0 0 129827 348 0 0 25 0 1 0 189665700 925712384 225302 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 226004 225302 136 292 0 225709 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 904016 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7596 /proc/meminfo: memFree=903912/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=921080 CPUtime=1361.72 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 229794 0 0 0 135815 357 0 0 25 0 1 0 189665700 943185920 229524 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 230270 229524 136 292 0 229975 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 921080 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=877480/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=947096 CPUtime=1421.7 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 236319 0 0 0 141803 367 0 0 25 0 1 0 189665700 969826304 236049 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 236774 236049 136 292 0 236479 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 947096 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=850408/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=974424 CPUtime=1481.68 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 243145 0 0 0 147789 379 0 0 25 0 1 0 189665700 997810176 242875 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 243606 242875 136 292 0 243311 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 974424 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=821352/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=1003200 CPUtime=1541.65 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 250335 0 0 0 153775 390 0 0 25 0 1 0 189665700 1027276800 250065 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 250800 250065 136 292 0 250505 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 1003200 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=791656/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=1033144 CPUtime=1601.63 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 257827 0 0 0 159759 404 0 0 25 0 1 0 189665700 1057939456 257557 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 258286 257557 136 292 0 257991 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 1033144 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=745704/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=1078824 CPUtime=1661.61 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 269257 0 0 0 165744 417 0 0 25 0 1 0 189665700 1104715776 268987 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 269706 268987 136 292 0 269411 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 1078824 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=695272/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=1130184 CPUtime=1721.58 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 282063 0 0 0 171726 432 0 0 25 0 1 0 189665700 1157308416 281793 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 282546 281793 136 292 0 282251 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 1130184 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=553192/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=1271956 CPUtime=1781.56 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 317531 0 0 0 177691 465 0 0 25 0 1 0 189665700 1302482944 317261 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 317989 317261 136 292 0 317694 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 1271956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=494568/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=1329512 CPUtime=1800.05 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4194304 331881 0 0 0 179527 478 0 0 25 0 1 0 189665700 1361420288 331611 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 332378 331611 136 292 0 332083 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1329512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7601 /proc/meminfo: memFree=494568/2055920 swapFree=4191900/4192956 [pid=7593] ppid=7591 vsize=0 CPUtime=1800.15 /proc/7593/stat : 7593 (wbo) R 7591 7593 7513 0 -1 4195332 331881 0 0 0 179527 488 0 0 25 0 1 0 189665700 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/7593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801 CPU time (s): 1800.26 CPU user time (s): 1795.28 CPU system time (s): 4.98124 CPU usage (%): 99.9589 Max. virtual memory (cumulated for all children) (KiB): 1329512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.28 system time used= 4.98124 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 331881 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= 3 involuntary context switches= 6787 runsolver used 1.48177 second user time and 5.08223 second system time The end
Begin job on node9 at 2009-06-17 08:37:30 IDJOB=1874932 IDBENCH=71843 IDSOLVER=698 FILE ID=node9/1874932-1245220650 PBS_JOBID= 9368438 Free space on /tmp= 66160 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx75.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1874932-1245220650/watcher-1874932-1245220650 -o /tmp/evaluation-result-1874932-1245220650/solver-1874932-1245220650 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874932-1245220650.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8 RANDOM SEED=1382129761 node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1824136 kB Buffers: 51756 kB Cached: 113088 kB SwapCached: 260 kB Active: 35416 kB Inactive: 142168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824136 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2832 kB Writeback: 0 kB Mapped: 21984 kB Slab: 40216 kB Committed_AS: 191416 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874932-1245220650.opb Free space on /tmp at the end= 66160 MiB End job on node9 at 2009-06-17 09:07:33