Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.05 | 1800.44 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12016_4-sat.opb |
MD5SUM | 142eb7aa6e3fc22a3161df6b33ced1a2 |
Bench Category | DEC-SMALLINT-LIN (no 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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 48642 |
Total number of constraints | 155800 |
Number of constraints which are clauses | 155000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 800 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 684 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2684780-1278433534.opb. 0.00/0.00 c Instance file HOME/instance-2684780-1278433534.opb 0.00/0.00 c File size is 5306210 bytes. 0.99/1.04 c Highest Coefficient sum: 684 0.99/1.04 c ============================[ Problem Statistics ]============================= 0.99/1.04 c | | 0.99/1.04 c | Parsing time: 1.02 s | 0.99/1.04 c | Number Variables: 48642 | 0.99/1.04 c | Number Clauses: 155000 | 0.99/1.04 c | Number Cardinality: 0 | 0.99/1.04 c | Number PB Constraints: 800 | 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 33740 155800 347681 | 51933 0 nan | 0.000 % | 1.10/1.12 c | 101 | 33740 155800 347681 | 57126 101 15 | 30.636 % | 1.19/1.22 c | 252 | 33740 155800 347681 | 62839 252 26 | 30.636 % | 1.39/1.46 c | 479 | 33740 155800 347681 | 69123 479 28 | 30.636 % | 1.59/1.67 c | 816 | 33740 155800 347681 | 76035 816 32 | 30.636 % | 1.89/1.98 c | 1322 | 33740 155800 347681 | 83639 1322 33 | 30.636 % | 2.38/2.42 c | 2083 | 33740 155800 347681 | 92003 2083 34 | 30.636 % | 2.89/2.99 c | 3223 | 33740 155800 347681 | 101203 3223 34 | 30.636 % | 4.08/4.15 c | 4931 | 33740 155800 347681 | 111323 4931 31 | 30.636 % | 5.08/5.13 c | 7493 | 33740 155800 347681 | 122456 7493 32 | 30.636 % | 8.48/8.58 c | 11337 | 33740 155800 347681 | 134701 11337 39 | 30.636 % | 12.38/12.49 c | 17103 | 33740 155800 347681 | 148171 17103 42 | 30.636 % | 17.59/17.66 c | 25754 | 33740 155800 347681 | 162989 25754 37 | 30.636 % | 27.88/27.99 c | 38729 | 33740 155800 347681 | 179287 38729 42 | 30.636 % | 42.79/42.88 c | 58191 | 33740 155800 347681 | 197216 58191 42 | 30.636 % | 67.97/68.03 c | 87384 | 33740 155800 347681 | 216938 87384 48 | 30.636 % | 117.16/117.21 c | 131173 | 33740 155800 347681 | 238632 131173 43 | 30.636 % | 228.14/228.23 c | 196857 | 33740 155800 347681 | 262495 196857 56 | 30.636 % | 423.69/423.83 c | 295383 | 33740 155800 347681 | 288745 295383 61 | 30.636 % | 693.94/694.16 c | 443173 | 33740 155800 347681 | 317619 128875 91 | 30.636 % | 1408.39/1408.71 c | 664857 | 33740 155800 347681 | 349381 350559 79 | 30.636 % |
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-2684780-1278433534/watcher-2684780-1278433534 -o /tmp/evaluation-result-2684780-1278433534/solver-2684780-1278433534 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2684780-1278433534.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 1.01 0.68 2/106 18327 /proc/meminfo: memFree=1462396/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=7908 CPUtime=0 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 300 0 0 0 0 0 0 0 19 0 1 0 11560958 8097792 219 1992294400 134512640 135751879 4290897952 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 1977 224 134 303 0 376 0 [startup+0.096453 s] /proc/loadavg: 0.92 1.01 0.68 2/106 18327 /proc/meminfo: memFree=1462396/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=12584 CPUtime=0.08 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 1494 0 0 0 8 0 0 0 19 0 1 0 11560958 12886016 1413 1992294400 134512640 135751879 4290897952 18446744073709551615 134560635 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 3146 1413 273 303 0 1545 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12584 [startup+0.101452 s] /proc/loadavg: 0.92 1.01 0.68 2/106 18327 /proc/meminfo: memFree=1462396/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=12716 CPUtime=0.09 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 1550 0 0 0 9 0 0 0 19 0 1 0 11560958 13021184 1469 1992294400 134512640 135751879 4290897952 18446744073709551615 134637640 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 3179 1470 280 303 0 1578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12716 [startup+0.301465 s] /proc/loadavg: 0.92 1.01 0.68 2/106 18327 /proc/meminfo: memFree=1462396/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=14804 CPUtime=0.28 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 2363 0 0 0 28 0 0 0 20 0 1 0 11560958 15159296 2282 1992294400 134512640 135751879 4290897952 18446744073709551615 134637794 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 3701 2282 590 303 0 2100 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14804 [startup+0.701489 s] /proc/loadavg: 0.92 1.01 0.68 2/106 18327 /proc/meminfo: memFree=1462396/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=22828 CPUtime=0.69 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 4750 0 0 0 68 1 0 0 21 0 1 0 11560958 23375872 4596 1992294400 134512640 135751879 4290897952 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 5707 4596 1198 303 0 4106 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22828 [startup+1.50154 s] /proc/loadavg: 0.92 1.01 0.68 2/107 18328 /proc/meminfo: memFree=1446640/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=23132 CPUtime=1.49 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 6414 0 0 0 147 2 0 0 23 0 1 0 11560958 23687168 4770 1992294400 134512640 135751879 4290897952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 5783 4770 143 303 0 5478 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23132 [startup+3.10164 s] /proc/loadavg: 0.92 1.01 0.68 2/107 18328 /proc/meminfo: memFree=1443540/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=23796 CPUtime=3.09 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 6586 0 0 0 306 3 0 0 25 0 1 0 11560958 24367104 4942 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 5949 4942 143 303 0 5644 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23796 [startup+6.30087 s] /proc/loadavg: 1.09 1.05 0.69 2/107 18329 /proc/meminfo: memFree=1442052/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=24984 CPUtime=6.29 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 6904 0 0 0 624 5 0 0 25 0 1 0 11560958 25583616 5260 1992294400 134512640 135751879 4290897952 18446744073709551615 134607756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 6246 5260 143 303 0 5941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24984 [startup+12.7002 s] /proc/loadavg: 1.08 1.05 0.70 2/107 18329 /proc/meminfo: memFree=1439696/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=27492 CPUtime=12.68 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 7533 0 0 0 1260 8 0 0 25 0 1 0 11560958 28151808 5889 1992294400 134512640 135751879 4290897952 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 6873 5889 143 303 0 6568 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27492 [startup+25.501 s] /proc/loadavg: 1.06 1.04 0.70 2/107 18329 /proc/meminfo: memFree=1434984/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=32240 CPUtime=25.48 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 8696 0 0 0 2532 16 0 0 25 0 1 0 11560958 33013760 7052 1992294400 134512640 135751879 4290897952 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 8060 7052 143 303 0 7755 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32240 [startup+51.1016 s] /proc/loadavg: 1.04 1.04 0.71 2/107 18329 /proc/meminfo: memFree=1425684/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=41800 CPUtime=51.07 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 11077 0 0 0 5077 30 0 0 25 0 1 0 11560958 42803200 9433 1992294400 134512640 135751879 4290897952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 10450 9433 143 303 0 10145 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41800 [startup+102.309 s] /proc/loadavg: 1.02 1.03 0.72 2/107 18331 /proc/meminfo: memFree=1411176/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=55776 CPUtime=102.27 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 14558 0 0 0 10172 55 0 0 25 0 1 0 11560958 57114624 12914 1992294400 134512640 135751879 4290897952 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 13944 12914 143 303 0 13639 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 55776 [startup+162.302 s] /proc/loadavg: 1.00 1.02 0.74 2/107 18333 /proc/meminfo: memFree=1395056/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=72172 CPUtime=162.25 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 18630 0 0 0 16150 75 0 0 25 0 1 0 11560958 73904128 16986 1992294400 134512640 135751879 4290897952 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 18043 16986 143 303 0 17738 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72172 [startup+222.301 s] /proc/loadavg: 1.00 1.02 0.75 2/107 18334 /proc/meminfo: memFree=1382160/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=84724 CPUtime=222.24 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 21805 0 0 0 22132 92 0 0 25 0 1 0 11560958 86757376 20161 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 21181 20161 143 303 0 20876 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 84724 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.76 2/107 18335 /proc/meminfo: memFree=1368148/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=99120 CPUtime=282.23 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 25348 0 0 0 28112 111 0 0 25 0 1 0 11560958 101498880 23704 1992294400 134512640 135751879 4290897952 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 24780 23704 143 303 0 24475 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 99120 [startup+342.301 s] /proc/loadavg: 1.00 1.01 0.77 2/107 18337 /proc/meminfo: memFree=1357236/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=109824 CPUtime=342.21 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 28037 0 0 0 34092 129 0 0 25 0 1 0 11560958 112459776 26393 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 27456 26393 143 303 0 27151 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 109824 [startup+402.301 s] /proc/loadavg: 1.04 1.02 0.79 2/107 18339 /proc/meminfo: memFree=1347688/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=119220 CPUtime=402.2 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 30409 0 0 0 40073 147 0 0 25 0 1 0 11560958 122081280 28765 1992294400 134512640 135751879 4290897952 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 29805 28765 143 303 0 29500 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 119220 [startup+462.301 s] /proc/loadavg: 1.01 1.01 0.80 2/107 18341 /proc/meminfo: memFree=1332064/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=135144 CPUtime=462.19 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 34295 0 0 0 46053 166 0 0 25 0 1 0 11560958 138387456 32651 1992294400 134512640 135751879 4290897952 18446744073709551615 134616743 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 33786 32651 143 303 0 33481 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 135144 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.81 2/107 18342 /proc/meminfo: memFree=1313216/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=154156 CPUtime=522.17 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 39056 0 0 0 52024 193 0 0 25 0 1 0 11560958 157855744 37412 1992294400 134512640 135751879 4290897952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 38539 37412 143 303 0 38234 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 154156 [startup+582.302 s] /proc/loadavg: 1.07 1.02 0.83 2/107 18343 /proc/meminfo: memFree=1297964/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=169216 CPUtime=582.17 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 42826 0 0 0 58001 216 0 0 25 0 1 0 11560958 173277184 41182 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 42304 41182 143 303 0 41999 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 169216 [startup+642.301 s] /proc/loadavg: 1.09 1.03 0.84 2/107 18345 /proc/meminfo: memFree=1286060/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=180840 CPUtime=642.16 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 45728 0 0 0 63986 230 0 0 25 0 1 0 11560958 185180160 44084 1992294400 134512640 135751879 4290897952 18446744073709551615 134616669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 45210 44084 143 303 0 44905 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 180840 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.01 0.86 2/107 18350 /proc/meminfo: memFree=1250596/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=216328 CPUtime=822.11 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 54574 0 0 0 81926 285 0 0 25 0 1 0 11560958 221519872 52930 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 54082 52930 143 303 0 53777 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 216328 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.86 2/107 18351 /proc/meminfo: memFree=1242660/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=224300 CPUtime=882.1 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 56559 0 0 0 87909 301 0 0 25 0 1 0 11560958 229683200 54915 1992294400 134512640 135751879 4290897952 18446744073709551615 134620359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 56075 54915 143 303 0 55770 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 224300 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.87 2/107 18353 /proc/meminfo: memFree=1235468/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=231440 CPUtime=942.09 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 58350 0 0 0 93892 317 0 0 25 0 1 0 11560958 236994560 56706 1992294400 134512640 135751879 4290897952 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 57860 56706 143 303 0 57555 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 231440 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 18355 /proc/meminfo: memFree=1228896/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=237932 CPUtime=1002.07 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 59958 0 0 0 99880 327 0 0 25 0 1 0 11560958 243642368 58314 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 59483 58314 143 303 0 59178 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 237932 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 18357 /proc/meminfo: memFree=1223564/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=243396 CPUtime=1062.06 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 61323 0 0 0 105868 338 0 0 25 0 1 0 11560958 249237504 59679 1992294400 134512640 135751879 4290897952 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 60849 59679 143 303 0 60544 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 243396 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 18358 /proc/meminfo: memFree=1218232/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=248572 CPUtime=1122.05 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 62604 0 0 0 111856 349 0 0 25 0 1 0 11560958 254537728 60960 1992294400 134512640 135751879 4290897952 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 62143 60960 143 303 0 61838 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 248572 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 18359 /proc/meminfo: memFree=1211784/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=255108 CPUtime=1182.03 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 64223 0 0 0 117843 360 0 0 25 0 1 0 11560958 261230592 62579 1992294400 134512640 135751879 4290897952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 63777 62579 143 303 0 63472 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 255108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.90 2/107 18361 /proc/meminfo: memFree=1206824/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=259888 CPUtime=1242.02 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 65417 0 0 0 123835 367 0 0 25 0 1 0 11560958 266125312 63773 1992294400 134512640 135751879 4290897952 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 64972 63773 143 303 0 64667 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 259888 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 0.91 2/107 18363 /proc/meminfo: memFree=1201616/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=264832 CPUtime=1302.02 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 66659 0 0 0 129826 376 0 0 25 0 1 0 11560958 271187968 65015 1992294400 134512640 135751879 4290897952 18446744073709551615 134610306 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 66208 65015 143 303 0 65903 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 264832 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 0.91 2/107 18365 /proc/meminfo: memFree=1196904/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=269656 CPUtime=1361.99 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 67871 0 0 0 135815 384 0 0 25 0 1 0 11560958 276127744 66227 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 67414 66227 143 303 0 67109 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 269656 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18366 /proc/meminfo: memFree=1191696/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=274844 CPUtime=1421.99 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 69173 0 0 0 141805 394 0 0 25 0 1 0 11560958 281440256 67529 1992294400 134512640 135751879 4290897952 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 68711 67529 143 303 0 68406 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 274844 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18367 /proc/meminfo: memFree=1185620/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=280916 CPUtime=1481.97 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 70695 0 0 0 147792 405 0 0 25 0 1 0 11560958 287657984 69051 1992294400 134512640 135751879 4290897952 18446744073709551615 134602480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 70229 69051 143 303 0 69924 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 280916 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18369 /proc/meminfo: memFree=1176320/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=290160 CPUtime=1541.96 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 73008 0 0 0 153772 424 0 0 25 0 1 0 11560958 297123840 71364 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 72540 71364 143 303 0 72235 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 290160 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18371 /proc/meminfo: memFree=1169376/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=297044 CPUtime=1601.95 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 74744 0 0 0 159757 438 0 0 25 0 1 0 11560958 304173056 73100 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 74261 73100 143 303 0 73956 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 297044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18373 /proc/meminfo: memFree=1163176/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=303264 CPUtime=1661.93 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 76296 0 0 0 165742 451 0 0 25 0 1 0 11560958 310542336 74652 1992294400 134512640 135751879 4290897952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 75816 74652 143 303 0 75511 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 303264 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18374 /proc/meminfo: memFree=1157844/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=308684 CPUtime=1721.92 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 77627 0 0 0 171728 464 0 0 25 0 1 0 11560958 316092416 75983 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 77171 75983 143 303 0 76866 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 308684 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 3/107 18375 /proc/meminfo: memFree=1152140/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=313980 CPUtime=1781.91 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 78959 0 0 0 177715 476 0 0 25 0 1 0 11560958 321515520 77315 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 78495 77315 143 303 0 78190 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 313980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.91 2/107 18376 /proc/meminfo: memFree=1150652/2059040 swapFree=4192956/4192956 [pid=18327] ppid=18325 vsize=315436 CPUtime=1800 /proc/18327/stat : 18327 (wbo1.4a) R 18325 18327 17984 0 -1 4202496 79337 0 0 0 179520 480 0 0 25 0 1 0 11560958 323006464 77693 1992294400 134512640 135751879 4290897952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18327/statm: 78859 77693 143 303 0 78554 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 315436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.44 CPU time (s): 1800.05 CPU user time (s): 1795.21 CPU system time (s): 4.83926 CPU usage (%): 99.9784 Max. virtual memory (cumulated for all children) (KiB): 315436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.21 system time used= 4.83926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79337 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= 19774 runsolver used 3.15152 second user time and 8.32373 second system time The end
Begin job on node039 at 2010-07-06 18:25:34 IDJOB=2684780 IDBENCH=73562 IDSOLVER=1160 FILE ID=node039/2684780-1278433534 PBS_JOBID= 11233443 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb COMMAND LINE= wbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684780-1278433534/watcher-2684780-1278433534 -o /tmp/evaluation-result-2684780-1278433534/solver-2684780-1278433534 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2684780-1278433534.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 142eb7aa6e3fc22a3161df6b33ced1a2 RANDOM SEED=653273845 node039.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1463596 kB Buffers: 104352 kB Cached: 359136 kB SwapCached: 0 kB Active: 198024 kB Inactive: 325420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1463596 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7976 kB Writeback: 0 kB AnonPages: 59940 kB Mapped: 14416 kB Slab: 50152 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179616 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2684780-1278433534.opb Free space on /tmp at the end= 62520 MiB End job on node039 at 2010-07-06 18:55:37