Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_1.opb |
MD5SUM | 6c6505c4760e09c43f48167716751a54 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1798.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74732 |
Sum of products size (including duplicates) | 149464 |
Number of different products | 37366 |
Sum of products size | 74732 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702619-1278572903.opb. 0.00/0.00 c Instance file HOME/instance-2702619-1278572903.opb 0.00/0.00 c File size is 3303662 bytes. 0.60/0.66 c Highest Coefficient sum: 1000 0.60/0.66 c ============================[ Problem Statistics ]============================= 0.60/0.66 c | | 0.60/0.66 c | Parsing time: 0.64 s | 0.60/0.66 c | Number Variables: 38366 | 0.60/0.66 c | Number Clauses: 37866 | 0.60/0.66 c | Number Cardinality: 1002 | 0.60/0.66 c | Number PB Constraints: 37366 | 1.69/1.80 c ============================[ Search Statistics ]============================== 1.69/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.80 c =============================================================================== 1.79/1.80 c | 0 | 38366 76234 301928 | 25411 0 nan | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: 0 1.79/1.86 o 0 1.79/1.86 c Elapsed CPU time: 1.83172 s Remaining CPU time: 178.168 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 0 | 38366 76235 302428 | 25411 0 nan | 0.000 % | 1.89/1.95 c =============================================================================== 1.89/1.95 c New solution: -1 1.89/1.95 o -1 1.89/1.95 c Elapsed CPU time: 1.91871 s Remaining CPU time: 178.081 s 1.89/1.95 c =============================================================================== 1.89/1.95 c | 1 | 38366 76236 302928 | 25412 1 502 | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c New solution: -2 1.99/2.01 o -2 1.99/2.01 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s 1.99/2.01 c =============================================================================== 1.99/2.01 c | 1 | 38366 76237 303428 | 25412 1 502 | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c New solution: -3 1.99/2.07 o -3 1.99/2.07 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s 1.99/2.07 c =============================================================================== 1.99/2.07 c | 1 | 38366 76238 303928 | 25412 1 502 | 0.000 % | 2.09/2.17 c =============================================================================== 2.09/2.17 c New solution: -4 2.09/2.17 o -4 2.09/2.17 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s 2.09/2.17 c =============================================================================== 2.09/2.17 c | 94 | 38366 76239 304428 | 25413 94 988 | 0.000 % | 2.19/2.23 c =============================================================================== 2.19/2.23 c New solution: -5 2.19/2.23 o -5 2.19/2.23 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s 2.19/2.23 c =============================================================================== 2.19/2.23 c | 95 | 38366 76240 304928 | 25413 95 983 | 0.000 % | 2.29/2.32 c | 195 | 38366 76240 304928 | 27954 195 987 | 0.000 % | 2.39/2.43 c | 345 | 38366 76240 304928 | 30750 345 989 | 0.000 % | 2.49/2.58 c | 572 | 38366 76240 304928 | 33825 572 990 | 0.000 % | 2.79/2.81 c | 912 | 38366 76240 304928 | 37207 912 990 | 0.000 % | 2.89/2.93 c =============================================================================== 2.89/2.93 c New solution: -6 2.89/2.93 o -6 2.89/2.93 c Elapsed CPU time: 2.88356 s Remaining CPU time: 177.116 s 2.89/2.93 c =============================================================================== 2.89/2.93 c | 916 | 38366 76241 305428 | 25413 916 987 | 0.000 % | 2.99/3.06 c | 1017 | 38366 76241 305428 | 27955 1017 987 | 0.000 % | 3.09/3.18 c | 1168 | 38366 76241 305428 | 30750 1168 987 | 0.000 % | 3.20/3.26 c =============================================================================== 3.20/3.26 c New solution: -7 3.20/3.26 o -7 3.20/3.26 c Elapsed CPU time: 3.20851 s Remaining CPU time: 176.791 s 3.20/3.26 c =============================================================================== 3.20/3.26 c | 1203 | 38366 76242 305928 | 25414 1203 985 | 0.000 % | 3.30/3.35 c | 1303 | 38366 76242 305928 | 27955 1303 985 | 0.000 % | 3.39/3.47 c | 1454 | 38366 76242 305928 | 30750 1454 986 | 0.000 % | 3.59/3.62 c | 1680 | 38366 76242 305928 | 33826 1680 986 | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: -8 3.79/3.80 o -8 3.79/3.80 c Elapsed CPU time: 3.73543 s Remaining CPU time: 176.265 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 1703 | 38366 76243 306428 | 25414 1703 977 | 0.000 % | 3.89/3.97 c | 1808 | 38366 76243 306428 | 27955 1808 978 | 0.000 % | 3.99/4.10 c | 1958 | 38366 76243 306428 | 30751 1958 979 | 0.000 % | 4.19/4.29 c | 2183 | 38366 76243 306428 | 33826 2183 980 | 0.000 % | 4.40/4.49 c | 2521 | 38366 76243 306428 | 37209 2521 981 | 0.000 % | 4.79/4.84 c | 3027 | 38366 76243 306428 | 40930 3027 982 | 0.000 % | 5.29/5.39 c | 3786 | 38366 76243 306428 | 45023 3786 983 | 0.000 % | 5.59/5.68 c =============================================================================== 5.59/5.68 c New solution: -9 5.59/5.68 o -9 5.59/5.68 c Elapsed CPU time: 5.58115 s Remaining CPU time: 174.419 s 5.59/5.68 c =============================================================================== 5.59/5.68 c | 4030 | 38366 76244 306928 | 25414 4030 980 | 0.000 % | 5.79/5.85 c | 4130 | 38366 76244 306928 | 27956 4130 980 | 0.000 % | 5.99/6.01 c | 4280 | 38366 76244 306928 | 30751 4280 981 | 0.000 % | 6.19/6.20 c | 4505 | 38366 76244 306928 | 33826 4505 981 | 0.000 % | 6.49/6.51 c | 4842 | 38366 76244 306928 | 37209 4842 981 | 0.000 % | 6.79/6.86 c | 5348 | 38366 76244 306928 | 40930 5348 982 | 0.000 % | 6.99/7.04 c =============================================================================== 6.99/7.04 c New solution: -10 6.99/7.04 o -10 6.99/7.04 c Elapsed CPU time: 6.92495 s Remaining CPU time: 173.075 s 6.99/7.04 c =============================================================================== 6.99/7.04 c | 5368 | 38366 76245 307428 | 25415 5368 979 | 0.000 % | 7.29/7.34 c | 5473 | 38366 76245 307428 | 27956 5473 979 | 0.000 % | 7.39/7.48 c | 5623 | 38366 76245 307428 | 30752 5623 980 | 0.000 % | 7.60/7.64 c | 5849 | 38366 76245 307428 | 33827 5849 980 | 0.000 % | 7.79/7.90 c | 6186 | 38366 76245 307428 | 37210 6186 980 | 0.000 % | 8.38/8.44 c | 6692 | 38366 76245 307428 | 40931 6692 980 | 0.000 % | 8.99/9.04 c | 7451 | 38366 76245 307428 | 45024 7451 974 | 0.000 % | 9.90/9.94 c | 8590 | 38366 76245 307428 | 49526 8590 971 | 0.000 % | 10.19/10.24 c =============================================================================== 10.19/10.24 c New solution: -11 10.19/10.24 o -11 10.19/10.24 c Elapsed CPU time: 10.0925 s Remaining CPU time: 169.908 s 10.19/10.24 c =============================================================================== 10.19/10.24 c | 8625 | 38366 76246 307928 | 25415 8625 968 | 0.000 % | 10.69/10.75 c | 8730 | 38366 76246 307928 | 27956 8730 969 | 0.000 % | 10.79/10.90 c | 8880 | 38366 76246 307928 | 30752 8880 969 | 0.000 % | 11.00/11.08 c | 9105 | 38366 76246 307928 | 33827 9105 969 | 0.000 % | 11.39/11.42 c | 9442 | 38366 76246 307928 | 37210 9442 970 | 0.000 % | 11.79/11.85 c | 9948 | 38366 76246 307928 | 40931 9948 970 | 0.000 % | 12.59/12.67 c | 10707 | 38366 76246 307928 | 45024 10707 970 | 0.000 % | 13.09/13.19 c =============================================================================== 13.09/13.19 c New solution: -12 13.09/13.19 o -12 13.09/13.19 c Elapsed CPU time: 13.018 s Remaining CPU time: 166.982 s 13.09/13.19 c =============================================================================== 13.09/13.19 c | 10761 | 38366 76247 308428 | 25415 10761 967 | 0.000 % | 14.69/14.71 c | 10888 | 38366 76247 308428 | 27957 10888 966 | 0.000 % | 15.89/15.93 c | 11039 | 38366 76247 308428 | 30752 11039 966 | 0.000 % | 16.78/16.82 c | 11266 | 38366 76247 308428 | 33828 11266 965 | 0.000 % | 18.29/18.36 c | 11603 | 38366 76247 308428 | 37211 11603 962 | 0.000 % | 34.88/34.98 c | 12118 | 38366 76247 308428 | 40932 12118 953 | 0.000 % | 35.38/35.41 c | 12877 | 38366 76247 308428 | 45025 12877 954 | 0.000 % | 35.98/36.07 c | 14016 | 38366 76247 308428 | 49527 14016 957 | 0.000 % | 36.88/36.97 c | 15724 | 38366 76247 308428 | 54480 15724 958 | 0.000 % | 38.58/38.62 c | 18286 | 38366 76247 308428 | 59928 18286 961 | 0.000 % | 40.97/41.05 c | 22130 | 38366 76247 308428 | 65921 22130 960 | 0.000 % | 45.88/45.99 c | 27898 | 38366 76247 308428 | 72513 27898 963 | 0.000 % | 57.27/57.39 c | 36547 | 38366 76247 308428 | 79765 36547 963 | 0.000 % | 75.36/75.47 c | 49521 | 38366 76247 308428 | 87741 49521 968 | 0.000 % | 115.45/115.56 c | 68982 | 38366 76247 308428 | 96515 68982 970 | 0.000 % | 181.02/181.15 c There are 0 assigned variables. 0 in cost function. 181.52/181.64 c core #1 181.52/181.64 c 181.52/181.64 c 181.52/181.64 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.52/181.64 c 181.52/181.64 c 181.52/181.64 c ============================[ Search Statistics ]============================== 181.52/181.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.52/181.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.52/181.64 c =============================================================================== 181.52/181.64 c | 0 | 38866 76920 310444 | 25640 0 nan | 0.000 % | 181.92/182.08 c | 100 | 38866 76920 310444 | 28204 100 196 | 0.476 % | 182.32/182.48 c | 250 | 38864 76920 310444 | 31024 250 265 | 1.294 % | 183.12/183.21 c | 475 | 38854 76920 310444 | 34126 475 263 | 1.459 % | 183.72/183.88 c =============================================================================== 184.02/184.15 c core #2 184.02/184.15 c 184.02/184.15 c 184.02/184.15 c Core size: 440 Core Weight: 1 Total Weight: -498 184.02/184.15 c 184.02/184.15 c 184.02/184.15 c ============================[ Search Statistics ]============================== 184.02/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.02/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.02/184.15 c =============================================================================== 184.02/184.15 c | 0 | 39276 76993 311479 | 25664 0 nan | 0.000 % | 184.64/184.73 c | 209 | 39276 76993 311479 | 28230 209 503 | 0.000 % | 185.03/185.20 c | 359 | 39276 76993 311479 | 31053 359 340 | 0.000 % | 185.92/186.07 c | 585 | 39276 76993 311479 | 34159 585 316 | 0.000 % | 187.13/187.24 c | 922 | 39276 76993 311479 | 37575 922 340 | 0.000 % | 188.92/189.00 c | 1428 | 39276 76993 311479 | 41332 1428 345 | 0.000 % | 191.62/191.70 c | 2187 | 39214 76993 311479 | 45465 2137 369 | 0.158 % | 195.52/195.63 c | 3328 | 39214 76993 311479 | 50012 3278 391 | 0.316 % | 201.92/202.06 c | 5036 | 39011 76993 311479 | 55013 4470 396 | 0.675 % | 210.22/210.36 c | 7598 | 38997 76993 311479 | 60515 7032 412 | 2.427 % | 224.41/224.56 c | 11472 | 37253 76993 311479 | 66566 9798 437 | 6.179 % | 244.20/244.34 c | 17238 | 34033 76993 311479 | 73223 14238 459 | 13.713 % | 272.60/272.78 c | 25887 | 32473 76993 311479 | 80545 21784 457 | 18.655 % | 315.68/315.81 c | 38889 | 30613 76993 311479 | 88600 32879 461 | 22.703 % | 332.97/333.12 c =============================================================================== 334.37/334.59 c core #3 334.37/334.59 c 334.37/334.59 c 334.37/334.59 c Core size: 675 Core Weight: 1 Total Weight: -497 334.37/334.59 c 334.37/334.59 c 334.37/334.59 c ============================[ Search Statistics ]============================== 334.37/334.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 334.37/334.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 334.37/334.59 c =============================================================================== 334.37/334.59 c | 0 | 39776 77118 312818 | 25706 0 nan | 0.000 % | 334.87/335.08 c | 192 | 39776 77118 312818 | 28276 192 663 | 0.000 % | 334.97/335.18 c | 343 | 39776 77118 312818 | 31104 343 374 | 0.000 % | 335.67/335.89 c | 568 | 39776 77118 312818 | 34214 568 463 | 0.000 % | 336.97/337.11 c | 905 | 39776 77118 312818 | 37636 905 460 | 0.000 % | 339.37/339.56 c | 1411 | 39776 77118 312818 | 41399 1411 430 | 0.000 % | 342.47/342.70 c | 2192 | 39776 77118 312818 | 45539 2192 474 | 0.000 % | 346.37/346.51 c | 3340 | 39776 77118 312818 | 50093 3340 488 | 0.000 % | 352.27/352.45 c | 5050 | 39776 77118 312818 | 55103 5050 513 | 0.000 % | 371.86/372.04 c | 7613 | 39776 77118 312818 | 60613 7613 499 | 0.000 % | 387.45/387.63 c | 11464 | 39776 77118 312818 | 66674 11464 503 | 0.000 % | 409.44/409.62 c | 17230 | 39776 77118 312818 | 73342 17230 511 | 0.000 % | 443.43/443.66 c | 25879 | 39776 77118 312818 | 80676 25879 548 | 0.000 % | 498.41/498.60 c | 38853 | 39776 77118 312818 | 88744 38853 575 | 0.000 % | 587.48/587.73 c | 58316 | 39776 77118 312818 | 97618 58316 596 | 0.000 % | 716.84/717.20 c | 87508 | 39776 77118 312818 | 107380 87508 617 | 0.000 % | 892.96/893.36 c | 131298 | 39776 77118 312818 | 118118 35107 604 | 0.000 % | 1179.36/1179.80 c | 196982 | 39776 77118 312818 | 129930 100791 606 | 0.001 % | 1630.60/1631.30 c | 295532 | 39776 77118 312818 | 142923 72812 638 | 0.000 % |
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-2702619-1278572903/watcher-2702619-1278572903 -o /tmp/evaluation-result-2702619-1278572903/solver-2702619-1278572903 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702619-1278572903.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.08 0.09 0.44 3/106 28440 /proc/meminfo: memFree=1853380/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=6320 CPUtime=0 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 25497544 6471680 333 1992294400 134512640 135752675 4292138064 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 1580 334 137 303 0 468 0 [startup+0.05214 s] /proc/loadavg: 0.08 0.09 0.44 3/106 28440 /proc/meminfo: memFree=1853380/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=9664 CPUtime=0.04 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 1245 0 0 0 4 0 0 0 20 0 1 0 25497544 9895936 1163 1992294400 134512640 135752675 4292138064 18446744073709551615 135221611 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 2416 1163 186 303 0 1304 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9664 [startup+0.101148 s] /proc/loadavg: 0.08 0.09 0.44 3/106 28440 /proc/meminfo: memFree=1853380/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=12684 CPUtime=0.09 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 1829 0 0 0 8 1 0 0 20 0 1 0 25497544 12988416 1747 1992294400 134512640 135752675 4292138064 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 3171 1747 235 303 0 2059 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12684 [startup+0.301183 s] /proc/loadavg: 0.08 0.09 0.44 3/106 28440 /proc/meminfo: memFree=1853380/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=16004 CPUtime=0.29 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 3049 0 0 0 28 1 0 0 20 0 1 0 25497544 16388096 2934 1992294400 134512640 135752675 4292138064 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 4001 2934 484 303 0 2889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16004 [startup+0.701252 s] /proc/loadavg: 0.08 0.09 0.44 3/106 28440 /proc/meminfo: memFree=1853380/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=24024 CPUtime=0.69 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 6352 0 0 0 67 2 0 0 20 0 1 0 25497544 24600576 5333 1992294400 134512640 135752675 4292138064 18446744073709551615 134524481 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 6006 5333 142 303 0 5701 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24024 [startup+1.50139 s] /proc/loadavg: 0.08 0.09 0.44 2/107 28441 /proc/meminfo: memFree=1829192/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=29112 CPUtime=1.49 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 7578 0 0 0 146 3 0 0 22 0 1 0 25497544 29810688 6559 1992294400 134512640 135752675 4292138064 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 7278 6559 142 303 0 6973 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29112 [startup+3.10067 s] /proc/loadavg: 0.08 0.09 0.44 2/107 28441 /proc/meminfo: memFree=1829440/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=26508 CPUtime=3.09 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 7676 0 0 0 304 5 0 0 25 0 1 0 25497544 27144192 5981 1992294400 134512640 135752675 4292138064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 6627 5981 145 303 0 6322 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26508 [startup+6.30122 s] /proc/loadavg: 0.15 0.11 0.44 2/107 28441 /proc/meminfo: memFree=1821380/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=38124 CPUtime=6.29 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 10579 0 0 0 619 10 0 0 25 0 1 0 25497544 39038976 8884 1992294400 134512640 135752675 4292138064 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 9531 8884 145 303 0 9226 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38124 [startup+12.7013 s] /proc/loadavg: 0.22 0.12 0.45 2/107 28441 /proc/meminfo: memFree=1796580/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=62432 CPUtime=12.69 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 16643 0 0 0 1253 16 0 0 25 0 1 0 25497544 63930368 14948 1992294400 134512640 135752675 4292138064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 15608 14948 145 303 0 15303 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62432 [startup+25.5015 s] /proc/loadavg: 0.39 0.16 0.45 2/107 28441 /proc/meminfo: memFree=1789264/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=67328 CPUtime=25.48 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 17860 0 0 0 2530 18 0 0 25 0 1 0 25497544 68943872 16165 1992294400 134512640 135752675 4292138064 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 16832 16165 145 303 0 16527 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67328 [startup+51.101 s] /proc/loadavg: 0.60 0.23 0.47 2/107 28442 /proc/meminfo: memFree=1713624/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=144680 CPUtime=51.07 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 37204 0 0 0 5075 32 0 0 25 0 1 0 25497544 148152320 35509 1992294400 134512640 135752675 4292138064 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 36170 35509 145 303 0 35865 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 144680 [startup+102.309 s] /proc/loadavg: 0.82 0.35 0.49 2/107 28443 /proc/meminfo: memFree=1589376/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=266760 CPUtime=102.26 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 67702 0 0 0 10164 62 0 0 25 0 1 0 25497544 273162240 66007 1992294400 134512640 135752675 4292138064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 66690 66007 145 303 0 66385 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 266760 [startup+162.301 s] /proc/loadavg: 0.93 0.46 0.52 2/107 28445 /proc/meminfo: memFree=1498484/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=358192 CPUtime=162.23 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 90537 0 0 0 16127 96 0 0 25 0 1 0 25497544 366788608 88842 1992294400 134512640 135752675 4292138064 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 89548 88842 145 303 0 89243 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 358192 [startup+222.301 s] /proc/loadavg: 0.97 0.56 0.55 2/107 28446 /proc/meminfo: memFree=1463268/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=222.22 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100538 0 0 0 22102 120 0 0 25 0 1 0 25497544 400560128 97249 1992294400 134512640 135752675 4292138064 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97249 146 303 0 97488 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 391172 [startup+282.301 s] /proc/loadavg: 0.99 0.64 0.57 2/107 28448 /proc/meminfo: memFree=1463268/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=282.19 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100538 0 0 0 28089 130 0 0 25 0 1 0 25497544 400560128 97249 1992294400 134512640 135752675 4292138064 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97249 146 303 0 97488 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 391172 [startup+342.301 s] /proc/loadavg: 0.99 0.70 0.60 2/107 28450 /proc/meminfo: memFree=1463268/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=342.17 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100538 0 0 0 34076 141 0 0 25 0 1 0 25497544 400560128 97249 1992294400 134512640 135752675 4292138064 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97249 146 303 0 97488 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 391172 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.62 2/107 28451 /proc/meminfo: memFree=1463144/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=402.15 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100538 0 0 0 40063 152 0 0 25 0 1 0 25497544 400560128 97249 1992294400 134512640 135752675 4292138064 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97249 146 303 0 97488 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 391172 [startup+462.301 s] /proc/loadavg: 0.99 0.79 0.64 2/107 28453 /proc/meminfo: memFree=1463144/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=462.13 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100538 0 0 0 46048 165 0 0 25 0 1 0 25497544 400560128 97249 1992294400 134512640 135752675 4292138064 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97249 146 303 0 97488 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 391172 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.66 2/107 28454 /proc/meminfo: memFree=1463144/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=522.1 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100538 0 0 0 52035 175 0 0 25 0 1 0 25497544 400560128 97249 1992294400 134512640 135752675 4292138064 18446744073709551615 134643616 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97249 146 303 0 97488 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 391172 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.68 2/107 28456 /proc/meminfo: memFree=1463144/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=582.07 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100543 0 0 0 58024 183 0 0 25 0 1 0 25497544 400560128 97254 1992294400 134512640 135752675 4292138064 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97254 146 303 0 97488 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 391172 [startup+642.301 s] /proc/loadavg: 0.99 0.88 0.69 2/107 28458 /proc/meminfo: memFree=1463144/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=391172 CPUtime=642.06 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 100550 0 0 0 64012 194 0 0 25 0 1 0 25497544 400560128 97261 1992294400 134512640 135752675 4292138064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 97793 97261 146 303 0 97488 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 391172 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.95 0.76 2/107 28467 /proc/meminfo: memFree=1354644/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=499052 CPUtime=881.97 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 127528 0 0 0 87945 252 0 0 25 0 1 0 25497544 511029248 124239 1992294400 134512640 135752675 4292138064 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 124763 124239 146 303 0 124458 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 499052 [startup+942.301 s] /proc/loadavg: 1.00 0.95 0.77 2/107 28468 /proc/meminfo: memFree=1309136/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=545192 CPUtime=941.95 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 139058 0 0 0 93924 271 0 0 25 0 1 0 25497544 558276608 135769 1992294400 134512640 135752675 4292138064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 136298 135769 146 303 0 135993 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 545192 [startup+1002.3 s] /proc/loadavg: 1.00 0.96 0.78 2/107 28470 /proc/meminfo: memFree=1263008/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=590648 CPUtime=1001.93 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 150418 0 0 0 99903 290 0 0 25 0 1 0 25497544 604823552 147129 1992294400 134512640 135752675 4292138064 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 147662 147129 146 303 0 147357 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 590648 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.79 2/107 28472 /proc/meminfo: memFree=1213408/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=641276 CPUtime=1061.91 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 163085 0 0 0 105883 308 0 0 25 0 1 0 25497544 656666624 159796 1992294400 134512640 135752675 4292138064 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 160319 159796 146 303 0 160014 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 641276 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.80 2/107 28473 /proc/meminfo: memFree=1171992/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=681680 CPUtime=1121.88 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 173162 0 0 0 111860 328 0 0 25 0 1 0 25497544 698040320 169873 1992294400 134512640 135752675 4292138064 18446744073709551615 135204672 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 170420 169873 146 303 0 170115 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 681680 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.81 2/107 28475 /proc/meminfo: memFree=1132064/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=721648 CPUtime=1181.86 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 183184 0 0 0 117839 347 0 0 25 0 1 0 25497544 738967552 179895 1992294400 134512640 135752675 4292138064 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 180412 179895 146 303 0 180107 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 721648 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 28476 /proc/meminfo: memFree=1087176/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=766660 CPUtime=1241.84 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 194402 0 0 0 123820 364 0 0 25 0 1 0 25497544 785059840 191113 1992294400 134512640 135752675 4292138064 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 191665 191113 146 303 0 191360 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 766660 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 28478 /proc/meminfo: memFree=1041296/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=811860 CPUtime=1301.83 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 205710 0 0 0 129801 382 0 0 25 0 1 0 25497544 831344640 202421 1992294400 134512640 135752675 4292138064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 202965 202421 146 303 0 202660 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 811860 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 28480 /proc/meminfo: memFree=996284/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=857448 CPUtime=1361.79 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 217023 0 0 0 135779 400 0 0 25 0 1 0 25497544 878026752 213734 1992294400 134512640 135752675 4292138064 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 214362 213734 146 303 0 214057 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 857448 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.84 2/107 28481 /proc/meminfo: memFree=946312/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=906848 CPUtime=1421.78 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 229405 0 0 0 141757 421 0 0 25 0 1 0 25497544 928612352 226116 1992294400 134512640 135752675 4292138064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 226712 226116 146 303 0 226407 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 906848 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 28483 /proc/meminfo: memFree=890760/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=962636 CPUtime=1481.75 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 243323 0 0 0 147732 443 0 0 25 0 1 0 25497544 985739264 240034 1992294400 134512640 135752675 4292138064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 240659 240034 146 303 0 240354 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 962636 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 28485 /proc/meminfo: memFree=851452/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=1001492 CPUtime=1541.73 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 253060 0 0 0 153714 459 0 0 25 0 1 0 25497544 1025527808 249771 1992294400 134512640 135752675 4292138064 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 250373 249771 146 303 0 250068 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1001492 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 28486 /proc/meminfo: memFree=810904/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=1041968 CPUtime=1601.71 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 263180 0 0 0 159691 480 0 0 25 0 1 0 25497544 1066975232 259891 1992294400 134512640 135752675 4292138064 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 260492 259891 146 303 0 260187 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1041968 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 28488 /proc/meminfo: memFree=769116/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=1083736 CPUtime=1661.68 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 273614 0 0 0 165670 498 0 0 25 0 1 0 25497544 1109745664 270325 1992294400 134512640 135752675 4292138064 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 270934 270325 146 303 0 270629 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1083736 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 28489 /proc/meminfo: memFree=730304/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=1123380 CPUtime=1721.66 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 283506 0 0 0 171648 518 0 0 25 0 1 0 25497544 1150341120 280217 1992294400 134512640 135752675 4292138064 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 280845 280217 146 303 0 280540 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1123380 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 28491 /proc/meminfo: memFree=682688/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=1170180 CPUtime=1781.63 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 295204 0 0 0 177625 538 0 0 25 0 1 0 25497544 1198264320 291915 1992294400 134512640 135752675 4292138064 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 292545 291915 146 303 0 292240 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1170180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.97 0.88 2/107 28492 /proc/meminfo: memFree=669668/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=1182988 CPUtime=1800.04 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4202496 298411 0 0 0 179459 545 0 0 25 0 1 0 25497544 1211379712 295122 1992294400 134512640 135752675 4292138064 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28440/statm: 295747 295122 146 303 0 295442 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1182988 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 0.97 0.88 2/107 28492 /proc/meminfo: memFree=669668/2059040 swapFree=4139716/4192956 [pid=28440] ppid=28438 vsize=0 CPUtime=1800.14 /proc/28440/stat : 28440 (wbo1.4b) R 28438 28440 28405 0 -1 4203524 298411 0 0 0 179459 555 0 0 25 0 1 0 25497544 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28440/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.83 CPU time (s): 1800.16 CPU user time (s): 1794.59 CPU system time (s): 5.57015 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 1182988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 5.57015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 298411 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= 8 involuntary context switches= 1881 runsolver used 3.03554 second user time and 8.44971 second system time The end
Begin job on node048 at 2010-07-08 09:08:23 IDJOB=2702619 IDBENCH=48244 IDSOLVER=1190 FILE ID=node048/2702619-1278572903 PBS_JOBID= 11240078 Free space on /tmp= 62564 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702619-1278572903/watcher-2702619-1278572903 -o /tmp/evaluation-result-2702619-1278572903/solver-2702619-1278572903 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702619-1278572903.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6c6505c4760e09c43f48167716751a54 RANDOM SEED=2017092108 node048.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.262 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.52 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.262 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856636 kB Buffers: 15260 kB Cached: 102640 kB SwapCached: 6676 kB Active: 95700 kB Inactive: 35492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856636 kB SwapTotal: 4192956 kB SwapFree: 4139716 kB Dirty: 3608 kB Writeback: 0 kB AnonPages: 11616 kB Mapped: 11956 kB Slab: 49200 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179932 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-2702619-1278572903.opb Free space on /tmp at the end= 62556 MiB End job on node048 at 2010-07-08 09:38:28