Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.22 | 1800.72 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655757-1276688661.opb. 0.00/0.00 c Instance file HOME/instance-2655757-1276688661.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.02 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.00/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.70 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.04 c | 11340 | 771 1024 8847 | 12968 11340 59 | 0.388 % | 3.30/3.33 c | 17106 | 771 1024 8847 | 14265 10495 73 | 0.388 % | 6.09/6.17 c | 25756 | 771 1024 8847 | 15692 11948 77 | 0.388 % | 10.19/10.24 c | 38730 | 771 1024 8847 | 17261 9097 71 | 0.388 % | 17.50/17.51 c | 58191 | 771 1024 8847 | 18987 11190 73 | 0.388 % | 25.88/25.95 c | 87384 | 771 1024 8847 | 20886 11669 61 | 0.388 % | 44.98/45.05 c | 131173 | 771 1024 8847 | 22974 13398 68 | 0.388 % | 68.67/68.75 c | 196859 | 771 1024 8847 | 25272 21308 67 | 0.388 % | 106.16/106.25 c | 295386 | 771 1024 8847 | 27799 11782 78 | 0.388 % | 169.74/169.86 c | 443175 | 771 1024 8847 | 30579 26880 80 | 0.388 % | 181.54/181.63 c There are 3 assigned variables. 3 in cost function. 181.94/182.02 c ============================[ Search Statistics ]============================== 181.94/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.02 c =============================================================================== 181.94/182.02 c | 0 | 771 255 7302 | 5000 0 nan | 0.000 % | 181.94/182.06 c | 100 | 771 255 7302 | 5500 100 57 | 0.388 % | 181.94/182.08 c | 250 | 771 255 7302 | 6050 250 38 | 0.388 % | 182.04/182.14 c | 477 | 771 255 7302 | 6655 477 47 | 0.388 % | 182.04/182.19 c | 814 | 771 255 7302 | 7320 814 56 | 0.388 % | 182.14/182.27 c | 1324 | 771 255 7302 | 8052 1324 61 | 0.388 % | 182.24/182.39 c | 2086 | 771 255 7302 | 8857 2086 63 | 0.388 % | 182.45/182.54 c | 3225 | 771 255 7302 | 9743 3225 59 | 0.388 % | 182.74/182.81 c | 4933 | 771 255 7302 | 10717 4933 56 | 0.388 % | 183.24/183.40 c | 7496 | 771 255 7302 | 11789 7496 58 | 0.388 % | 184.14/184.27 c | 11340 | 771 255 7302 | 12968 11340 59 | 0.388 % | 185.54/185.64 c | 17106 | 771 255 7302 | 14265 10495 73 | 0.388 % | 188.53/188.60 c | 25756 | 771 255 7302 | 15692 11948 77 | 0.388 % | 192.63/192.72 c | 38730 | 771 255 7302 | 17261 9097 71 | 0.388 % | 199.93/200.07 c | 58191 | 771 255 7302 | 18987 11190 73 | 0.388 % | 208.43/208.57 c | 87384 | 771 255 7302 | 20886 11669 61 | 0.388 % | 227.53/227.66 c | 131173 | 771 255 7302 | 22974 13398 68 | 0.388 % | 251.22/251.32 c | 196859 | 771 255 7302 | 25272 21308 67 | 0.388 % | 288.20/288.38 c | 295386 | 771 255 7302 | 27799 11782 78 | 0.388 % | 352.09/352.27 c | 443175 | 771 255 7302 | 30579 26880 80 | 0.388 % | 460.67/460.85 c | 664858 | 771 255 7302 | 33637 20655 76 | 0.388 % | 629.42/629.67 c | 997383 | 771 255 7302 | 37001 15391 73 | 0.388 % | 883.95/884.29 c | 1496172 | 771 255 7302 | 40701 25429 58 | 0.388 % | 1306.02/1306.44 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-2655757-1276688661/watcher-2655757-1276688661 -o /tmp/evaluation-result-2655757-1276688661/solver-2655757-1276688661 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655757-1276688661.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.92 0.98 0.99 3/106 16627 /proc/meminfo: memFree=1676332/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=2772 CPUtime=0 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 10161265 2838528 242 1992294400 134512640 135751879 4288746544 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 693 242 146 303 0 370 0 [startup+0.077677 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16627 /proc/meminfo: memFree=1676332/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=2964 CPUtime=0.07 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 413 0 0 0 7 0 0 0 20 0 1 0 10161265 3035136 314 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 741 314 147 303 0 436 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2964 [startup+0.101679 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16627 /proc/meminfo: memFree=1676332/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=3096 CPUtime=0.09 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 429 0 0 0 9 0 0 0 20 0 1 0 10161265 3170304 330 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 774 330 147 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.300703 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16627 /proc/meminfo: memFree=1676332/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=3492 CPUtime=0.29 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 551 0 0 0 29 0 0 0 20 0 1 0 10161265 3575808 452 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 873 452 147 303 0 568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3492 [startup+0.70075 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16627 /proc/meminfo: memFree=1676332/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=4416 CPUtime=0.69 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 761 0 0 0 68 1 0 0 21 0 1 0 10161265 4521984 662 1992294400 134512640 135751879 4288746544 18446744073709551615 134616843 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 1104 662 147 303 0 799 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4416 [startup+1.50084 s] /proc/loadavg: 0.92 0.98 0.99 2/107 16628 /proc/meminfo: memFree=1673596/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=5740 CPUtime=1.49 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 1096 0 0 0 147 2 0 0 22 0 1 0 10161265 5877760 997 1992294400 134512640 135751879 4288746544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 1435 997 147 303 0 1130 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5740 [startup+3.10103 s] /proc/loadavg: 0.92 0.98 0.99 2/107 16628 /proc/meminfo: memFree=1671612/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=8516 CPUtime=3.09 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 1804 0 0 0 304 5 0 0 25 0 1 0 10161265 8720384 1705 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 2129 1705 148 303 0 1824 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8516 [startup+6.3014 s] /proc/loadavg: 0.93 0.98 0.99 2/107 16628 /proc/meminfo: memFree=1666652/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=12480 CPUtime=6.29 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 2793 0 0 0 621 8 0 0 25 0 1 0 10161265 12779520 2694 1992294400 134512640 135751879 4288746544 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 3120 2694 148 303 0 2815 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12480 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 16628 /proc/meminfo: memFree=1658840/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=19876 CPUtime=12.69 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 4633 0 0 0 1254 15 0 0 25 0 1 0 10161265 20353024 4534 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 4969 4534 148 303 0 4664 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19876 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/107 16630 /proc/meminfo: memFree=1644084/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=34304 CPUtime=25.48 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 8224 0 0 0 2521 27 0 0 25 0 1 0 10161265 35127296 8125 1992294400 134512640 135751879 4288746544 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 8576 8125 148 303 0 8271 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34304 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/107 16630 /proc/meminfo: memFree=1622880/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=55628 CPUtime=51.08 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 13562 0 0 0 5061 47 0 0 25 0 1 0 10161265 56963072 13463 1992294400 134512640 135751879 4288746544 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 13907 13463 148 303 0 13602 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55628 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 16632 /proc/meminfo: memFree=1579232/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=98844 CPUtime=102.27 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 24355 0 0 0 10133 94 0 0 25 0 1 0 10161265 101216256 24256 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 24711 24256 148 303 0 24406 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 98844 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16632 /proc/meminfo: memFree=1521572/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=156764 CPUtime=162.24 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 38810 0 0 0 16080 144 0 0 25 0 1 0 10161265 160526336 38711 1992294400 134512640 135751879 4288746544 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 39191 38711 148 303 0 38886 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 156764 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16634 /proc/meminfo: memFree=1477552/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=200172 CPUtime=222.23 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 49738 0 0 0 22025 198 0 0 25 0 1 0 10161265 204976128 49609 1992294400 134512640 135751879 4288746544 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 50043 49609 150 303 0 49738 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 200172 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16636 /proc/meminfo: memFree=1435020/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=242940 CPUtime=282.21 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 60413 0 0 0 27971 250 0 0 25 0 1 0 10161265 248770560 60284 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 60735 60284 150 303 0 60430 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 242940 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16638 /proc/meminfo: memFree=1384180/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=293476 CPUtime=342.19 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 73046 0 0 0 33916 303 0 0 25 0 1 0 10161265 300519424 72917 1992294400 134512640 135751879 4288746544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 73369 72917 150 303 0 73064 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 293476 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16640 /proc/meminfo: memFree=1337308/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=340628 CPUtime=402.17 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 84836 0 0 0 39865 352 0 0 25 0 1 0 10161265 348803072 84707 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 85157 84707 150 303 0 84852 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 340628 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16640 /proc/meminfo: memFree=1289320/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=388340 CPUtime=462.16 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 96747 0 0 0 45823 393 0 0 25 0 1 0 10161265 397660160 96618 1992294400 134512640 135751879 4288746544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 97085 96618 150 303 0 96780 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 388340 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16642 /proc/meminfo: memFree=1244308/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=433136 CPUtime=522.14 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 107946 0 0 0 51778 436 0 0 25 0 1 0 10161265 443531264 107817 1992294400 134512640 135751879 4288746544 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 108284 107817 150 303 0 107979 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 433136 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16644 /proc/meminfo: memFree=1202024/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=475052 CPUtime=582.13 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 118406 0 0 0 57734 479 0 0 25 0 1 0 10161265 486453248 118277 1992294400 134512640 135751879 4288746544 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 118763 118277 150 303 0 118458 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 475052 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16646 /proc/meminfo: memFree=1154904/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=521760 CPUtime=642.12 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 130077 0 0 0 63684 528 0 0 25 0 1 0 10161265 534282240 129948 1992294400 134512640 135751879 4288746544 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 130440 129948 150 303 0 130135 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 521760 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16652 /proc/meminfo: memFree=1001268/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=675328 CPUtime=882.05 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 168425 0 0 0 87505 700 0 0 25 0 1 0 10161265 691535872 168296 1992294400 134512640 135751879 4288746544 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 168832 168296 150 303 0 168527 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 675328 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16654 /proc/meminfo: memFree=960472/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=716388 CPUtime=942.03 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 178676 0 0 0 93457 746 0 0 25 0 1 0 10161265 733581312 178547 1992294400 134512640 135751879 4288746544 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 179097 178547 150 303 0 178792 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 716388 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16665 /proc/meminfo: memFree=928976/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=747020 CPUtime=1002 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 186343 0 0 0 99418 782 0 0 25 0 1 0 10161265 764948480 186214 1992294400 134512640 135751879 4288746544 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 186755 186214 150 303 0 186450 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 747020 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16665 /proc/meminfo: memFree=889172/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=787332 CPUtime=1061.99 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 196411 0 0 0 105372 827 0 0 25 0 1 0 10161265 806227968 196282 1992294400 134512640 135751879 4288746544 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 196833 196282 150 303 0 196528 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 787332 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16667 /proc/meminfo: memFree=857552/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=818580 CPUtime=1121.97 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 204201 0 0 0 111334 863 0 0 25 0 1 0 10161265 838225920 204072 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 204645 204072 150 303 0 204340 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 818580 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16669 /proc/meminfo: memFree=823204/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=853084 CPUtime=1181.95 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 212833 0 0 0 117291 904 0 0 25 0 1 0 10161265 873558016 212704 1992294400 134512640 135751879 4288746544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 213271 212704 150 303 0 212966 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 853084 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16671 /proc/meminfo: memFree=792328/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=883564 CPUtime=1241.94 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 220450 0 0 0 123251 943 0 0 25 0 1 0 10161265 904769536 220321 1992294400 134512640 135751879 4288746544 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 220891 220321 150 303 0 220586 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 883564 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16673 /proc/meminfo: memFree=759964/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=915660 CPUtime=1301.93 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 228466 0 0 0 129208 985 0 0 25 0 1 0 10161265 937635840 228337 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 228915 228337 150 303 0 228610 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 915660 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16673 /proc/meminfo: memFree=722144/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=953808 CPUtime=1361.9 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 238009 0 0 0 135159 1031 0 0 25 0 1 0 10161265 976699392 237880 1992294400 134512640 135751879 4288746544 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 238452 237880 150 303 0 238147 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 953808 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16675 /proc/meminfo: memFree=692880/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=982700 CPUtime=1421.89 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 245205 0 0 0 141121 1068 0 0 25 0 1 0 10161265 1006284800 245076 1992294400 134512640 135751879 4288746544 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 245675 245076 150 303 0 245370 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 982700 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16677 /proc/meminfo: memFree=660640/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1015668 CPUtime=1481.87 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 253455 0 0 0 147078 1109 0 0 25 0 1 0 10161265 1040044032 253326 1992294400 134512640 135751879 4288746544 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 253917 253326 150 303 0 253612 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1015668 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16679 /proc/meminfo: memFree=620588/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1054820 CPUtime=1541.85 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 263250 0 0 0 153032 1153 0 0 25 0 1 0 10161265 1080135680 263121 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 263705 263121 150 303 0 263400 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1054820 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16681 /proc/meminfo: memFree=587108/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1088904 CPUtime=1601.84 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 271758 0 0 0 158990 1194 0 0 25 0 1 0 10161265 1115037696 271629 1992294400 134512640 135751879 4288746544 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 272226 271629 150 303 0 271921 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1088904 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16681 /proc/meminfo: memFree=555984/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1119432 CPUtime=1661.82 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 279386 0 0 0 164953 1229 0 0 25 0 1 0 10161265 1146298368 279257 1992294400 134512640 135751879 4288746544 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 279858 279257 150 303 0 279553 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1119432 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16683 /proc/meminfo: memFree=525604/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1149808 CPUtime=1721.81 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 286982 0 0 0 170916 1265 0 0 25 0 1 0 10161265 1177403392 286853 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 287452 286853 150 303 0 287147 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1149808 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16685 /proc/meminfo: memFree=496836/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1178232 CPUtime=1781.79 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 294068 0 0 0 176879 1300 0 0 25 0 1 0 10161265 1206509568 293939 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 294558 293939 150 303 0 294253 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1178232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16685 /proc/meminfo: memFree=487536/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=1187340 CPUtime=1800.1 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4202496 296364 0 0 0 178700 1310 0 0 25 0 1 0 10161265 1215836160 296235 1992294400 134512640 135751879 4288746544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16627/statm: 296835 296235 150 303 0 296530 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1187340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.98 0.99 2/107 16685 /proc/meminfo: memFree=487536/2059040 swapFree=4192956/4192956 [pid=16627] ppid=16625 vsize=0 CPUtime=1800.2 /proc/16627/stat : 16627 (wbo1.4b) R 16625 16627 16602 0 -1 4203524 296364 0 0 0 178700 1320 0 0 25 0 1 0 10161265 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/16627/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.22 CPU user time (s): 1787 CPU system time (s): 13.217 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1187340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787 system time used= 13.217 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 296364 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= 4 involuntary context switches= 3348 runsolver used 3.3005 second user time and 8.17876 second system time The end
Begin job on node033 at 2010-06-16 13:44:21 IDJOB=2655757 IDBENCH=71846 IDSOLVER=1161 FILE ID=node033/2655757-1276688661 PBS_JOBID= 11172613 Free space on /tmp= 62592 MiB SOLVER NAME= wbo 1.4b 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-2655757-1276688661/watcher-2655757-1276688661 -o /tmp/evaluation-result-2655757-1276688661/solver-2655757-1276688661 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655757-1276688661.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240 RANDOM SEED=134814184 node033.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.242 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.242 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: 1676860 kB Buffers: 82424 kB Cached: 160756 kB SwapCached: 0 kB Active: 97656 kB Inactive: 205136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1676860 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2836 kB Writeback: 0 kB AnonPages: 59572 kB Mapped: 15308 kB Slab: 57740 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181092 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= 62588 MiB End job on node033 at 2010-06-16 14:14:24