Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.62 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx30.opb |
MD5SUM | a013c9210a7cfe037db9246041ce6240 |
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 | 774 |
Total number of constraints | 994 |
Number of constraints which are clauses | 771 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 192 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 192 |
Number of terms in the objective function | 3 |
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 | 3 |
Number of bits of the sum of numbers in the objective function | 2 |
Biggest number in a constraint | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 380 |
Number of bits of the biggest sum of numbers | 9 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680400-1277460543.opb. 0.00/0.00 c Instance file HOME/instance-2680400-1277460543.opb 0.00/0.00 c File size is 72189 bytes. 0.00/0.01 c Highest Coefficient sum: 380 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 774 | 0.00/0.01 c | Number Clauses: 801 | 0.00/0.01 c | Number Cardinality: 31 | 0.00/0.01 c | Number PB Constraints: 192 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 771 1024 8847 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 771 1024 8847 | 5500 100 57 | 0.388 % | 0.00/0.04 c | 250 | 771 1024 8847 | 6050 250 38 | 0.388 % | 0.04/0.07 c | 477 | 771 1024 8847 | 6655 477 47 | 0.388 % | 0.09/0.12 c | 814 | 771 1024 8847 | 7320 814 56 | 0.388 % | 0.09/0.19 c | 1324 | 771 1024 8847 | 8052 1324 61 | 0.388 % | 0.29/0.31 c | 2086 | 771 1024 8847 | 8857 2086 63 | 0.388 % | 0.39/0.45 c | 3225 | 771 1024 8847 | 9743 3225 59 | 0.388 % | 0.69/0.71 c | 4933 | 771 1024 8847 | 10717 4933 56 | 0.388 % | 1.19/1.25 c | 7496 | 771 1024 8847 | 11789 7496 58 | 0.388 % | 1.99/2.05 c | 11340 | 771 1024 8847 | 12968 11340 59 | 0.388 % | 3.30/3.34 c | 17106 | 771 1024 8847 | 14265 10495 73 | 0.388 % | 6.09/6.19 c | 25756 | 771 1024 8847 | 15692 11948 77 | 0.388 % | 10.19/10.25 c | 38730 | 771 1024 8847 | 17261 9097 71 | 0.388 % | 17.49/17.53 c | 58191 | 771 1024 8847 | 18987 11190 73 | 0.388 % | 25.89/25.95 c | 87384 | 771 1024 8847 | 20886 11669 61 | 0.388 % | 44.99/45.09 c | 131173 | 771 1024 8847 | 22974 13398 68 | 0.388 % | 68.67/68.78 c | 196859 | 771 1024 8847 | 25272 21308 67 | 0.388 % | 106.06/106.15 c | 295386 | 771 1024 8847 | 27799 11782 78 | 0.388 % | 169.65/169.74 c | 443175 | 771 1024 8847 | 30579 26880 80 | 0.388 % | 181.54/181.69 c There are 3 assigned variables. 3 in cost function. 181.94/182.07 c ============================[ Search Statistics ]============================== 181.94/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.07 c =============================================================================== 181.94/182.07 c | 0 | 771 255 7302 | 5000 0 nan | 0.000 % | 182.04/182.11 c | 100 | 771 255 7302 | 5500 100 57 | 0.388 % | 182.04/182.13 c | 250 | 771 255 7302 | 6050 250 38 | 0.388 % | 182.04/182.19 c | 477 | 771 255 7302 | 6655 477 47 | 0.388 % | 182.15/182.25 c | 814 | 771 255 7302 | 7320 814 56 | 0.388 % | 182.25/182.33 c | 1324 | 771 255 7302 | 8052 1324 61 | 0.388 % | 182.35/182.45 c | 2086 | 771 255 7302 | 8857 2086 63 | 0.388 % | 182.55/182.60 c | 3225 | 771 255 7302 | 9743 3225 59 | 0.388 % | 182.75/182.88 c | 4933 | 771 255 7302 | 10717 4933 56 | 0.388 % | 183.35/183.46 c | 7496 | 771 255 7302 | 11789 7496 58 | 0.388 % | 184.24/184.33 c | 11340 | 771 255 7302 | 12968 11340 59 | 0.388 % | 185.65/185.70 c | 17106 | 771 255 7302 | 14265 10495 73 | 0.388 % | 188.55/188.67 c | 25756 | 771 255 7302 | 15692 11948 77 | 0.388 % | 192.75/192.84 c | 38730 | 771 255 7302 | 17261 9097 71 | 0.388 % | 200.15/200.27 c | 58191 | 771 255 7302 | 18987 11190 73 | 0.388 % | 208.64/208.79 c | 87384 | 771 255 7302 | 20886 11669 61 | 0.388 % | 227.64/227.74 c | 131173 | 771 255 7302 | 22974 13398 68 | 0.388 % | 251.53/251.60 c | 196859 | 771 255 7302 | 25272 21308 67 | 0.388 % | 288.72/288.86 c | 295386 | 771 255 7302 | 27799 11782 78 | 0.388 % | 352.81/352.92 c | 443175 | 771 255 7302 | 30579 26880 80 | 0.388 % | 461.79/461.90 c | 664858 | 771 255 7302 | 33637 20655 76 | 0.388 % | 631.34/631.52 c | 997383 | 771 255 7302 | 37001 15391 73 | 0.388 % | 885.88/886.17 c | 1496172 | 771 255 7302 | 40701 25429 58 | 0.388 % | 1306.48/1306.89 c | 2244354 | 771 255 7302 | 44771 24277 54 | 0.388 % |
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-2680400-1277460543/watcher-2680400-1277460543 -o /tmp/evaluation-result-2680400-1277460543/solver-2680400-1277460543 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680400-1277460543.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 0.97 3/106 27252 /proc/meminfo: memFree=1514888/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=2780 CPUtime=0 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 87346719 2846720 230 1992294400 134512640 135752675 4290242768 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 695 230 140 303 0 372 0 [startup+0.0510739 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27252 /proc/meminfo: memFree=1514888/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=2972 CPUtime=0.04 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 399 0 0 0 4 0 0 0 20 0 1 0 87346719 3043328 299 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 743 299 145 303 0 438 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2972 [startup+0.101078 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27252 /proc/meminfo: memFree=1514888/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=3104 CPUtime=0.09 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 426 0 0 0 9 0 0 0 20 0 1 0 87346719 3178496 326 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 776 326 145 303 0 471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3104 [startup+0.301096 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27252 /proc/meminfo: memFree=1514888/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=3500 CPUtime=0.29 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 549 0 0 0 28 1 0 0 20 0 1 0 87346719 3584000 449 1992294400 134512640 135752675 4290242768 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 875 449 145 303 0 570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3500 [startup+0.701131 s] /proc/loadavg: 1.00 1.00 0.97 3/106 27252 /proc/meminfo: memFree=1514888/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=4424 CPUtime=0.69 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 759 0 0 0 67 2 0 0 21 0 1 0 87346719 4530176 659 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 1106 659 145 303 0 801 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4424 [startup+1.5012 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27253 /proc/meminfo: memFree=1512152/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=5748 CPUtime=1.49 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 1095 0 0 0 146 3 0 0 23 0 1 0 87346719 5885952 995 1992294400 134512640 135752675 4290242768 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 1437 995 145 303 0 1132 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5748 [startup+3.10135 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27253 /proc/meminfo: memFree=1510168/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=8524 CPUtime=3.09 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 1797 0 0 0 303 6 0 0 25 0 1 0 87346719 8728576 1697 1992294400 134512640 135752675 4290242768 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 2131 1697 145 303 0 1826 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8524 [startup+6.30063 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27253 /proc/meminfo: memFree=1505332/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=12488 CPUtime=6.29 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 2784 0 0 0 620 9 0 0 25 0 1 0 87346719 12787712 2684 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 3122 2684 145 303 0 2817 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12488 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27253 /proc/meminfo: memFree=1497652/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=19884 CPUtime=12.69 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 4625 0 0 0 1254 15 0 0 25 0 1 0 87346719 20361216 4525 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 4971 4525 145 303 0 4666 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19884 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27253 /proc/meminfo: memFree=1482904/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=34312 CPUtime=25.49 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 8221 0 0 0 2521 28 0 0 25 0 1 0 87346719 35135488 8121 1992294400 134512640 135752675 4290242768 18446744073709551615 134642643 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 8578 8121 145 303 0 8273 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34312 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27253 /proc/meminfo: memFree=1461700/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=55636 CPUtime=51.08 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 13557 0 0 0 5061 47 0 0 25 0 1 0 87346719 56971264 13457 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 13909 13457 145 303 0 13604 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55636 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27255 /proc/meminfo: memFree=1418052/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=98852 CPUtime=102.27 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 24375 0 0 0 10130 97 0 0 25 0 1 0 87346719 101224448 24275 1992294400 134512640 135752675 4290242768 18446744073709551615 134611579 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 24713 24275 145 303 0 24408 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 98852 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27257 /proc/meminfo: memFree=1360516/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=156772 CPUtime=162.25 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 38829 0 0 0 16074 151 0 0 25 0 1 0 87346719 160534528 38729 1992294400 134512640 135752675 4290242768 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 39193 38729 145 303 0 38888 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 156772 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27259 /proc/meminfo: memFree=1316620/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=200040 CPUtime=222.24 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 49711 0 0 0 22020 204 0 0 25 0 1 0 87346719 204840960 49581 1992294400 134512640 135752675 4290242768 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 50010 49581 146 303 0 49705 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 200040 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27259 /proc/meminfo: memFree=1274336/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=242612 CPUtime=282.23 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 60332 0 0 0 27964 259 0 0 25 0 1 0 87346719 248434688 60202 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 60653 60202 146 303 0 60348 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 242612 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27261 /proc/meminfo: memFree=1223620/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=292968 CPUtime=342.2 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 72907 0 0 0 33910 310 0 0 25 0 1 0 87346719 299999232 72777 1992294400 134512640 135752675 4290242768 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 73242 72777 146 303 0 72937 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 292968 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27263 /proc/meminfo: memFree=1177244/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=339900 CPUtime=402.19 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 84633 0 0 0 39861 358 0 0 25 0 1 0 87346719 348057600 84503 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 84975 84503 146 303 0 84670 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 339900 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 27265 /proc/meminfo: memFree=1129132/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=387268 CPUtime=462.18 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 96456 0 0 0 45817 401 0 0 25 0 1 0 87346719 396562432 96326 1992294400 134512640 135752675 4290242768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 96817 96326 146 303 0 96512 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 387268 [startup+522.301 s] /proc/loadavg: 1.05 1.01 0.98 2/107 27267 /proc/meminfo: memFree=1083996/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=432428 CPUtime=522.17 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 107772 0 0 0 51773 444 0 0 25 0 1 0 87346719 442806272 107642 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 108107 107642 146 303 0 107802 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 432428 [startup+582.301 s] /proc/loadavg: 1.02 1.01 0.98 2/107 27267 /proc/meminfo: memFree=1042084/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=474156 CPUtime=582.15 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 118186 0 0 0 57731 484 0 0 25 0 1 0 87346719 485535744 118056 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 118539 118056 146 303 0 118234 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 474156 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27269 /proc/meminfo: memFree=995088/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=520848 CPUtime=642.14 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 129857 0 0 0 63678 536 0 0 25 0 1 0 87346719 533348352 129727 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 130212 129727 146 303 0 129907 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 520848 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27275 /proc/meminfo: memFree=842320/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=673488 CPUtime=882.08 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 167972 0 0 0 87499 709 0 0 25 0 1 0 87346719 689651712 167842 1992294400 134512640 135752675 4290242768 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 168372 167842 146 303 0 168067 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 673488 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27277 /proc/meminfo: memFree=800904/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=715076 CPUtime=942.06 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 178349 0 0 0 93451 755 0 0 25 0 1 0 87346719 732237824 178219 1992294400 134512640 135752675 4290242768 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 178769 178219 146 303 0 178464 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 715076 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27279 /proc/meminfo: memFree=769036/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=746632 CPUtime=1002.05 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 186213 0 0 0 99411 794 0 0 25 0 1 0 87346719 764551168 186083 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 186658 186083 146 303 0 186353 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 746632 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27281 /proc/meminfo: memFree=729480/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=786684 CPUtime=1062.03 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 196227 0 0 0 105364 839 0 0 25 0 1 0 87346719 805564416 196097 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 196671 196097 146 303 0 196366 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 786684 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27283 /proc/meminfo: memFree=697240/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=818268 CPUtime=1122.02 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 204117 0 0 0 111326 876 0 0 25 0 1 0 87346719 837906432 203987 1992294400 134512640 135752675 4290242768 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 204567 203987 146 303 0 204262 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 818268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27283 /proc/meminfo: memFree=663140/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=852720 CPUtime=1182.01 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 212735 0 0 0 117286 915 0 0 25 0 1 0 87346719 873185280 212605 1992294400 134512640 135752675 4290242768 18446744073709551615 134607287 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 213180 212605 146 303 0 212875 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 852720 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27285 /proc/meminfo: memFree=632016/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=883312 CPUtime=1241.99 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 220375 0 0 0 123246 953 0 0 25 0 1 0 87346719 904511488 220245 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 220828 220245 146 303 0 220523 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 883312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27287 /proc/meminfo: memFree=599652/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=915276 CPUtime=1301.99 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 228370 0 0 0 129206 993 0 0 25 0 1 0 87346719 937242624 228240 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 228819 228240 146 303 0 228514 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 915276 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27289 /proc/meminfo: memFree=561708/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=953556 CPUtime=1361.96 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 237947 0 0 0 135162 1034 0 0 25 0 1 0 87346719 976441344 237817 1992294400 134512640 135752675 4290242768 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 238389 237817 146 303 0 238084 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 953556 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 0.98 2/107 27294 /proc/meminfo: memFree=531824/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=982640 CPUtime=1421.96 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 245189 0 0 0 141127 1069 0 0 25 0 1 0 87346719 1006223360 245059 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 245660 245059 146 303 0 245355 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 982640 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 0.98 2/107 27294 /proc/meminfo: memFree=499088/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1016072 CPUtime=1481.93 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 253548 0 0 0 147084 1109 0 0 25 0 1 0 87346719 1040457728 253418 1992294400 134512640 135752675 4290242768 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 254018 253418 146 303 0 253713 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1016072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27296 /proc/meminfo: memFree=459408/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1055096 CPUtime=1541.92 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 263304 0 0 0 153044 1148 0 0 25 0 1 0 87346719 1080418304 263174 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 263774 263174 146 303 0 263469 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1055096 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27298 /proc/meminfo: memFree=425556/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1089704 CPUtime=1601.91 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 271974 0 0 0 158998 1193 0 0 25 0 1 0 87346719 1115856896 271844 1992294400 134512640 135752675 4290242768 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 272426 271844 146 303 0 272121 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1089704 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27300 /proc/meminfo: memFree=394432/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1119840 CPUtime=1661.89 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 279484 0 0 0 164961 1228 0 0 25 0 1 0 87346719 1146716160 279354 1992294400 134512640 135752675 4290242768 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 279960 279354 146 303 0 279655 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1119840 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27302 /proc/meminfo: memFree=363928/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1151140 CPUtime=1721.88 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 287314 0 0 0 170922 1266 0 0 25 0 1 0 87346719 1178767360 287184 1992294400 134512640 135752675 4290242768 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 287785 287184 146 303 0 287480 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1151140 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27302 /proc/meminfo: memFree=335408/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1178904 CPUtime=1781.86 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 294232 0 0 0 176888 1298 0 0 25 0 1 0 87346719 1207197696 294102 1992294400 134512640 135752675 4290242768 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 294726 294102 146 303 0 294421 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1178904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27304 /proc/meminfo: memFree=326232/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=1188012 CPUtime=1800.06 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4202496 296501 0 0 0 178699 1307 0 0 25 0 1 0 87346719 1216524288 296371 1992294400 134512640 135752675 4290242768 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27252/statm: 297003 296371 146 303 0 296698 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1188012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.98 2/108 27305 /proc/meminfo: memFree=1350360/2059040 swapFree=4140380/4192956 [pid=27252] ppid=27250 vsize=0 CPUtime=1800.17 /proc/27252/stat : 27252 (wbo1.4b) R 27250 27252 26441 0 -1 4203524 296501 0 0 0 178699 1318 0 0 25 0 1 0 87346719 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27252/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.19 CPU user time (s): 1786.99 CPU system time (s): 13.195 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1188012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.99 system time used= 13.195 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296501 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= 2825 runsolver used 3.16252 second user time and 8.31973 second system time The end
Begin job on node043 at 2010-06-25 12:09:03 IDJOB=2680400 IDBENCH=71846 IDSOLVER=1190 FILE ID=node043/2680400-1277460543 PBS_JOBID= 11188124 Free space on /tmp= 62324 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx30.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680400-1277460543/watcher-2680400-1277460543 -o /tmp/evaluation-result-2680400-1277460543/solver-2680400-1277460543 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680400-1277460543.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240 RANDOM SEED=1820992984 node043.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.241 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.48 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.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1515416 kB Buffers: 120052 kB Cached: 315024 kB SwapCached: 5496 kB Active: 32428 kB Inactive: 416520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1515416 kB SwapTotal: 4192956 kB SwapFree: 4140380 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 12364 kB Mapped: 12012 kB Slab: 72576 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182428 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= 62324 MiB End job on node043 at 2010-06-25 12:39:06