Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb |
MD5SUM | 6a25ee38adc43f783b18badd1224270c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 13480 |
Total number of constraints | 26619 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 26619 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2843 |
Number of bits of the biggest sum of numbers | 12 |
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.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2655855-1276588081.opb. 0.00/0.01 c Instance file HOME/instance-2655855-1276588081.opb 0.00/0.01 c File size is 7804237 bytes. 1.19/1.26 c Highest Coefficient sum: 2843 1.19/1.26 c ============================[ Problem Statistics ]============================= 1.19/1.26 c | | 1.19/1.26 c | Parsing time: 1.22 s | 1.19/1.26 c | Number Variables: 13480 | 1.19/1.26 c | Number Clauses: 0 | 1.19/1.26 c | Number Cardinality: 0 | 1.19/1.26 c | Number PB Constraints: 26619 | 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 13480 26619 916142 | 8873 0 nan | 0.000 % | 4.69/4.73 c | 100 | 13480 26619 916142 | 9760 100 33 | 0.000 % | 6.69/6.72 c | 250 | 13480 26619 916142 | 10736 250 31 | 0.000 % | 9.59/9.61 c | 476 | 13480 26619 916142 | 11809 476 29 | 0.000 % | 14.88/14.96 c | 816 | 13480 26619 916142 | 12990 816 31 | 0.000 % | 21.18/21.28 c | 1323 | 13480 26619 916142 | 14290 1323 32 | 0.000 % | 29.18/29.24 c | 2082 | 13480 26619 916142 | 15719 2082 33 | 0.000 % | 44.68/44.75 c | 3222 | 13480 26619 916142 | 17290 3222 38 | 0.000 % | 68.87/68.97 c | 4930 | 13480 26619 916142 | 19020 4930 42 | 0.000 % | 95.46/95.52 c | 7492 | 13480 26619 916142 | 20922 7492 42 | 0.000 % | 139.85/139.93 c | 11337 | 13480 26619 916142 | 23014 11337 40 | 0.000 % | 180.15/180.27 c There are 0 assigned variables. 0 in cost function. 182.04/182.18 c core #1 182.04/182.18 c core #2 182.04/182.18 c ============================[ Search Statistics ]============================== 182.04/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.18 c =============================================================================== 182.04/182.18 c | 0 | 13357 26646 916165 | 8882 0 nan | 0.000 % | 182.14/182.20 c =============================================================================== 182.85/182.90 c core #3 182.85/182.90 c ============================[ Search Statistics ]============================== 182.85/182.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.90 c =============================================================================== 182.85/182.90 c | 0 | 13366 26654 916176 | 8884 0 nan | 0.000 % | 182.85/182.93 c =============================================================================== 183.55/183.64 c core #4 183.55/183.64 c ============================[ Search Statistics ]============================== 183.55/183.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.55/183.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.55/183.64 c =============================================================================== 183.55/183.64 c | 0 | 13393 26661 916191 | 8887 0 nan | 0.000 % | 183.65/183.74 c =============================================================================== 184.34/184.46 c core #5 184.34/184.46 c ============================[ Search Statistics ]============================== 184.34/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.46 c =============================================================================== 184.34/184.46 c | 0 | 13404 26668 916207 | 8889 0 nan | 0.000 % | 184.65/184.72 c =============================================================================== 185.35/185.43 c core #6 185.35/185.43 c ============================[ Search Statistics ]============================== 185.35/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.43 c =============================================================================== 185.35/185.43 c | 0 | 13430 26674 916225 | 8891 0 nan | 0.000 % | 185.86/185.91 c =============================================================================== 186.54/186.63 c core #7 186.54/186.63 c ============================[ Search Statistics ]============================== 186.54/186.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.63 c =============================================================================== 186.54/186.63 c | 0 | 13442 26680 916244 | 8893 0 nan | 0.000 % | 187.44/187.58 c =============================================================================== 188.24/188.31 c core #8 188.24/188.31 c ============================[ Search Statistics ]============================== 188.24/188.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.31 c =============================================================================== 188.24/188.31 c | 0 | 13455 26686 916265 | 8895 0 nan | 0.000 % | 190.16/190.22 c | 101 | 13455 26686 916265 | 9784 101 25 | 0.738 % | 191.95/192.04 c =============================================================================== 192.64/192.77 c core #9 192.64/192.77 c ============================[ Search Statistics ]============================== 192.64/192.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.64/192.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.64/192.77 c =============================================================================== 192.64/192.77 c | 0 | 13480 26691 916288 | 8897 0 nan | 0.000 % | 195.04/195.10 c | 100 | 13480 26691 916288 | 9786 100 26 | 0.590 % | 197.85/197.93 c | 250 | 13470 26691 916288 | 10765 250 28 | 0.907 % | 197.95/198.09 c =============================================================================== 198.74/198.81 c core #10 198.74/198.81 c ============================[ Search Statistics ]============================== 198.74/198.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.74/198.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.74/198.81 c =============================================================================== 198.74/198.81 c | 0 | 13494 26698 916316 | 8899 0 nan | 0.000 % | 201.25/201.34 c | 101 | 13494 26698 916316 | 9789 101 26 | 0.589 % | 205.34/205.40 c | 253 | 13494 26698 916316 | 10768 253 30 | 0.589 % | 208.44/208.52 c =============================================================================== 209.14/209.25 c core #11 209.14/209.25 c ============================[ Search Statistics ]============================== 209.14/209.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.14/209.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.14/209.25 c =============================================================================== 209.14/209.25 c | 0 | 13512 26705 916352 | 8901 0 nan | 0.000 % | 211.44/211.56 c | 100 | 13512 26705 916352 | 9791 100 28 | 0.589 % | 214.24/214.38 c | 250 | 13512 26705 916352 | 10771 250 37 | 0.589 % | 218.44/218.51 c | 475 | 13511 26705 916352 | 11848 475 36 | 0.596 % | 223.04/223.17 c | 815 | 13492 26705 916352 | 13032 815 36 | 0.986 % | 223.34/223.41 c =============================================================================== 224.03/224.14 c core #12 224.03/224.14 c ============================[ Search Statistics ]============================== 224.03/224.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.03/224.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.03/224.14 c =============================================================================== 224.03/224.14 c | 0 | 13518 26710 916360 | 8903 0 nan | 0.000 % | 226.23/226.39 c | 100 | 13518 26710 916360 | 9793 100 25 | 0.588 % | 228.54/228.69 c | 251 | 13518 26710 916360 | 10773 251 27 | 0.588 % | 232.23/232.37 c | 476 | 13518 26710 916360 | 11850 476 28 | 0.588 % | 239.64/239.72 c | 814 | 13518 26710 916360 | 13035 814 32 | 0.588 % | 247.83/247.91 c | 1321 | 13517 26710 916360 | 14338 958 33 | 0.596 % | 261.13/261.20 c | 2082 | 13493 26710 916360 | 15772 1719 36 | 2.699 % | 268.52/268.61 c =============================================================================== 269.22/269.33 c core #13 269.22/269.33 c ============================[ Search Statistics ]============================== 269.22/269.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 269.22/269.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 269.22/269.33 c =============================================================================== 269.22/269.33 c | 0 | 13542 26714 916390 | 8904 0 nan | 0.000 % | 271.33/271.48 c | 102 | 13542 26714 916390 | 9795 102 25 | 0.441 % | 274.23/274.39 c | 252 | 13536 26714 916390 | 10774 252 25 | 0.581 % | 278.32/278.42 c | 477 | 13536 26714 916390 | 11852 477 29 | 0.581 % | 283.82/283.99 c | 816 | 13534 26714 916390 | 13037 816 30 | 0.588 % | 291.32/291.50 c | 1322 | 13533 26714 916390 | 14341 1322 30 | 0.588 % | 301.32/301.49 c | 2082 | 13522 26714 916390 | 15775 1814 32 | 0.588 % | 320.61/320.74 c | 3222 | 13519 26714 916390 | 17352 2954 32 | 0.713 % | 340.91/341.01 c =============================================================================== 341.61/341.74 c core #14 341.61/341.74 c ============================[ Search Statistics ]============================== 341.61/341.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 341.61/341.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 341.61/341.74 c =============================================================================== 341.61/341.74 c | 0 | 13575 26720 916457 | 8906 0 nan | 0.000 % | 343.70/343.81 c | 102 | 13575 26720 916457 | 9797 102 25 | 0.440 % | 346.90/347.06 c | 253 | 13575 26720 916457 | 10777 253 26 | 0.440 % | 351.40/351.50 c | 479 | 13575 26720 916457 | 11854 479 30 | 0.440 % | 357.00/357.11 c | 816 | 13575 26720 916457 | 13040 816 31 | 0.440 % | 366.50/366.69 c | 1323 | 13575 26720 916457 | 14344 1323 33 | 0.440 % | 381.19/381.34 c | 2082 | 13575 26720 916457 | 15778 2082 35 | 0.440 % | 396.99/397.19 c | 3222 | 13575 26720 916457 | 17356 3222 37 | 0.440 % | 426.59/426.71 c | 4930 | 13575 26720 916457 | 19092 4930 38 | 0.440 % | 464.87/465.08 c | 7494 | 13575 26720 916457 | 21001 7494 40 | 0.440 % | 517.16/517.34 c | 11338 | 13575 26720 916457 | 23101 11338 42 | 0.440 % | 599.54/599.77 c | 17106 | 13575 26720 916457 | 25411 17106 43 | 0.440 % | 734.22/734.40 c =============================================================================== 734.91/735.18 c core #15 734.91/735.18 c ============================[ Search Statistics ]============================== 734.91/735.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 734.91/735.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 734.91/735.18 c =============================================================================== 734.91/735.18 c | 0 | 13584 26727 916478 | 8909 0 nan | 0.000 % | 737.51/737.75 c | 102 | 13584 26727 916478 | 9799 102 25 | 0.440 % | 740.51/740.72 c | 253 | 13584 26727 916478 | 10779 253 26 | 0.440 % | 743.81/744.01 c | 480 | 13584 26727 916478 | 11857 480 29 | 0.440 % | 749.01/749.28 c | 817 | 13584 26727 916478 | 13043 817 31 | 0.440 % | 760.21/760.42 c | 1324 | 13584 26727 916478 | 14348 1324 35 | 0.440 % | 775.71/775.90 c | 2083 | 13584 26727 916478 | 15782 2083 39 | 0.440 % | 799.17/799.48 c | 3222 | 13584 26727 916478 | 17361 3222 41 | 0.440 % | 827.97/828.26 c | 4930 | 13584 26727 916478 | 19097 4930 41 | 0.440 % | 875.26/875.54 c | 7494 | 13577 26727 916478 | 21006 7399 42 | 0.491 % | 951.13/951.40 c | 11338 | 13576 26727 916478 | 23107 10952 45 | 0.498 % | 1058.50/1058.87 c | 17104 | 13571 26727 916478 | 25418 12863 46 | 0.542 % | 1069.49/1069.86 c =============================================================================== 1070.30/1070.63 c core #16 1070.30/1070.63 c ============================[ Search Statistics ]============================== 1070.30/1070.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1070.30/1070.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1070.30/1070.63 c =============================================================================== 1070.30/1070.63 c | 0 | 13589 26731 916485 | 8910 0 nan | 0.000 % | 1072.60/1072.92 c | 102 | 13589 26731 916485 | 9801 102 25 | 0.440 % | 1075.70/1076.01 c | 253 | 13589 26731 916485 | 10781 253 24 | 0.440 % | 1079.90/1080.29 c | 481 | 13589 26731 916485 | 11859 481 25 | 0.440 % | 1085.41/1085.74 c | 820 | 13589 26731 916485 | 13045 820 25 | 0.440 % | 1094.89/1095.28 c | 1326 | 13589 26731 916485 | 14350 1326 30 | 0.440 % | 1104.19/1104.53 c | 2085 | 13589 26731 916485 | 15785 2085 32 | 0.440 % | 1116.68/1117.07 c | 3224 | 13589 26731 916485 | 17363 3224 31 | 0.440 % | 1146.99/1147.34 c | 4932 | 13589 26731 916485 | 19100 4932 34 | 0.440 % | 1191.17/1191.51 c | 7494 | 13589 26731 916485 | 21010 7494 36 | 0.440 % | 1253.05/1253.49 c | 11338 | 13589 26731 916485 | 23111 11338 38 | 0.440 % | 1331.14/1331.52 c | 17106 | 13589 26731 916485 | 25422 17106 39 | 0.440 % | 1444.61/1445.03 c | 25756 | 13589 26731 916485 | 27964 11771 39 | 0.440 % | 1685.87/1686.37 c | 38731 | 13589 26731 916485 | 30760 24746 41 | 0.440 % |
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-2655855-1276588081/watcher-2655855-1276588081 -o /tmp/evaluation-result-2655855-1276588081/solver-2655855-1276588081 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655855-1276588081.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.02 0.01 3/107 2362 /proc/meminfo: memFree=1692812/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=10196 CPUtime=0 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 305 0 0 0 0 0 0 0 17 0 1 0 103554 10440704 223 1992294400 134512640 135751879 4286662272 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 2549 224 146 303 0 338 0 [startup+0.060927 s] /proc/loadavg: 0.08 0.02 0.01 3/107 2362 /proc/meminfo: memFree=1692812/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=11384 CPUtime=0.05 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 671 0 0 0 5 0 0 0 17 0 1 0 103554 11657216 589 1992294400 134512640 135751879 4286662272 18446744073709551615 135390013 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 2846 589 224 303 0 635 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11384 [startup+0.100931 s] /proc/loadavg: 0.08 0.02 0.01 3/107 2362 /proc/meminfo: memFree=1692812/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=12332 CPUtime=0.09 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 972 0 0 0 9 0 0 0 17 0 1 0 103554 12627968 890 1992294400 134512640 135751879 4286662272 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 3083 890 285 303 0 872 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12332 [startup+0.300952 s] /proc/loadavg: 0.08 0.02 0.01 3/107 2362 /proc/meminfo: memFree=1692812/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=17184 CPUtime=0.28 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 2463 0 0 0 28 0 0 0 18 0 1 0 103554 17596416 2381 1992294400 134512640 135751879 4286662272 18446744073709551615 134574051 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 4296 2381 589 303 0 2085 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 17184 [startup+0.700992 s] /proc/loadavg: 0.08 0.02 0.01 3/107 2362 /proc/meminfo: memFree=1692812/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=26124 CPUtime=0.69 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 5299 0 0 0 68 1 0 0 18 0 1 0 103554 26750976 5217 1992294400 134512640 135751879 4286662272 18446744073709551615 134559667 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 6531 5217 1194 303 0 4320 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26124 [startup+1.50107 s] /proc/loadavg: 0.08 0.02 0.01 2/108 2363 /proc/meminfo: memFree=1669120/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=33376 CPUtime=1.49 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10287 0 0 0 145 4 0 0 19 0 1 0 103554 34177024 7881 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8344 7881 146 303 0 8039 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33376 [startup+3.10123 s] /proc/loadavg: 0.08 0.02 0.01 2/108 2363 /proc/meminfo: memFree=1660688/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=33376 CPUtime=3.09 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10287 0 0 0 305 4 0 0 23 0 1 0 103554 34177024 7881 1992294400 134512640 135751879 4286662272 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8344 7881 146 303 0 8039 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33376 [startup+6.30156 s] /proc/loadavg: 0.23 0.05 0.02 2/108 2363 /proc/meminfo: memFree=1660316/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=33376 CPUtime=6.29 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10288 0 0 0 625 4 0 0 25 0 1 0 103554 34177024 7882 1992294400 134512640 135751879 4286662272 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8344 7882 147 303 0 8039 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33376 [startup+12.7012 s] /proc/loadavg: 0.29 0.06 0.02 2/108 2363 /proc/meminfo: memFree=1660316/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=33508 CPUtime=12.68 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10303 0 0 0 1264 4 0 0 25 0 1 0 103554 34312192 7897 1992294400 134512640 135751879 4286662272 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8377 7897 147 303 0 8072 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33508 [startup+25.5004 s] /proc/loadavg: 0.45 0.11 0.04 2/108 2363 /proc/meminfo: memFree=1660316/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=33772 CPUtime=25.48 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10368 0 0 0 2543 5 0 0 25 0 1 0 103554 34582528 7962 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8443 7962 147 303 0 8138 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33772 [startup+51.1006 s] /proc/loadavg: 0.64 0.18 0.06 2/108 2363 /proc/meminfo: memFree=1660316/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=34300 CPUtime=51.07 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10502 0 0 0 5101 6 0 0 25 0 1 0 103554 35123200 8096 1992294400 134512640 135751879 4286662272 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8575 8096 147 303 0 8270 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34300 [startup+102.309 s] /proc/loadavg: 0.84 0.30 0.11 2/108 2365 /proc/meminfo: memFree=1659076/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=35620 CPUtime=102.27 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 10811 0 0 0 10216 11 0 0 25 0 1 0 103554 36474880 8405 1992294400 134512640 135751879 4286662272 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 8905 8405 147 303 0 8600 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 35620 [startup+162.301 s] /proc/loadavg: 0.94 0.43 0.16 2/108 2367 /proc/meminfo: memFree=1657836/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=36808 CPUtime=162.25 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 11131 0 0 0 16209 16 0 0 25 0 1 0 103554 37691392 8725 1992294400 134512640 135751879 4286662272 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 9202 8725 147 303 0 8897 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36808 [startup+222.301 s] /proc/loadavg: 0.98 0.53 0.21 2/108 2369 /proc/meminfo: memFree=1590132/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=104424 CPUtime=222.24 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 28408 0 0 0 22197 27 0 0 25 0 1 0 103554 106930176 25632 1992294400 134512640 135751879 4286662272 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 26106 25632 151 303 0 25801 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 104424 [startup+282.3 s] /proc/loadavg: 0.99 0.61 0.26 2/108 2369 /proc/meminfo: memFree=1581948/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=112384 CPUtime=282.22 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 30419 0 0 0 28191 31 0 0 25 0 1 0 103554 115081216 27643 1992294400 134512640 135751879 4286662272 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 28096 27643 151 303 0 27791 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 112384 [startup+342.301 s] /proc/loadavg: 0.99 0.68 0.30 2/108 2371 /proc/meminfo: memFree=1577360/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=116896 CPUtime=342.2 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 31532 0 0 0 34185 35 0 0 25 0 1 0 103554 119701504 28756 1992294400 134512640 135751879 4286662272 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 29224 28756 151 303 0 28919 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 116896 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.34 2/108 2373 /proc/meminfo: memFree=1577236/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=116896 CPUtime=402.18 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 31536 0 0 0 40180 38 0 0 25 0 1 0 103554 119701504 28760 1992294400 134512640 135751879 4286662272 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 29224 28760 151 303 0 28919 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 116896 [startup+462.3 s] /proc/loadavg: 0.99 0.78 0.38 2/108 2375 /proc/meminfo: memFree=1577236/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=116896 CPUtime=462.17 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 31540 0 0 0 46174 43 0 0 25 0 1 0 103554 119701504 28764 1992294400 134512640 135751879 4286662272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 29224 28764 151 303 0 28919 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 116896 [startup+522.301 s] /proc/loadavg: 0.99 0.82 0.42 2/108 2377 /proc/meminfo: memFree=1577112/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=116896 CPUtime=522.16 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 31544 0 0 0 52168 48 0 0 25 0 1 0 103554 119701504 28768 1992294400 134512640 135751879 4286662272 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 29224 28768 151 303 0 28919 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 116896 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.45 2/108 2377 /proc/meminfo: memFree=1577112/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=116896 CPUtime=582.15 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 31544 0 0 0 58163 52 0 0 25 0 1 0 103554 119701504 28768 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 29224 28768 151 303 0 28919 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 116896 [startup+642.3 s] /proc/loadavg: 0.99 0.87 0.48 2/108 2379 /proc/meminfo: memFree=1576988/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=116896 CPUtime=642.14 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 31544 0 0 0 64158 56 0 0 25 0 1 0 103554 119701504 28768 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 29224 28768 151 303 0 28919 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 116896 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.59 2/108 2394 /proc/meminfo: memFree=1565524/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=127248 CPUtime=882.05 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 34123 0 0 0 88135 70 0 0 25 0 1 0 103554 130301952 31347 1992294400 134512640 135751879 4286662272 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 31812 31347 151 303 0 31507 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 127248 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/108 2396 /proc/meminfo: memFree=1565400/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=127248 CPUtime=942.03 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 34126 0 0 0 94130 73 0 0 25 0 1 0 103554 130301952 31350 1992294400 134512640 135751879 4286662272 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 31812 31350 151 303 0 31507 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 127248 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.64 3/108 2398 /proc/meminfo: memFree=1565400/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=127248 CPUtime=1002.01 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 34127 0 0 0 100125 76 0 0 25 0 1 0 103554 130301952 31351 1992294400 134512640 135751879 4286662272 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 31812 31351 151 303 0 31507 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 127248 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.65 2/108 2400 /proc/meminfo: memFree=1565400/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=127248 CPUtime=1062 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 34127 0 0 0 106121 79 0 0 25 0 1 0 103554 130301952 31351 1992294400 134512640 135751879 4286662272 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 31812 31351 151 303 0 31507 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 127248 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/108 2402 /proc/meminfo: memFree=1560068/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1121.99 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 112115 84 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 133208 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/108 2402 /proc/meminfo: memFree=1559944/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1181.97 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 118110 87 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 133208 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.71 2/108 2404 /proc/meminfo: memFree=1559696/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1241.96 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 124106 90 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 133208 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/108 2406 /proc/meminfo: memFree=1559572/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1301.95 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 130102 93 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 133208 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.74 2/108 2408 /proc/meminfo: memFree=1559572/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1361.93 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 136097 96 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 133208 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/108 2410 /proc/meminfo: memFree=1559572/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1421.92 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 142091 101 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 133208 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/108 2410 /proc/meminfo: memFree=1559572/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1481.9 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 148086 104 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134611119 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 133208 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/108 2412 /proc/meminfo: memFree=1559572/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1541.9 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 154082 108 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 133208 [startup+1602.3 s] /proc/loadavg: 1.11 1.00 0.79 2/108 2414 /proc/meminfo: memFree=1559448/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1601.88 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 160078 110 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 133208 [startup+1662.3 s] /proc/loadavg: 1.04 1.00 0.81 2/108 2416 /proc/meminfo: memFree=1559448/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1661.87 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 166074 113 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 133208 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 0.82 2/108 2418 /proc/meminfo: memFree=1559324/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1721.86 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 172068 118 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 133208 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.82 2/108 2418 /proc/meminfo: memFree=1559076/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1781.85 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 178063 122 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 133208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.83 2/108 2420 /proc/meminfo: memFree=1559076/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1800.05 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 179882 123 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 133208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.83 2/108 2420 /proc/meminfo: memFree=1559076/2059040 swapFree=4192956/4192956 [pid=2362] ppid=2360 vsize=133208 CPUtime=1800.05 /proc/2362/stat : 2362 (wbo1.4b) R 2360 2362 2335 0 -1 4202496 35599 0 0 0 179882 123 0 0 25 0 1 0 103554 136404992 32823 1992294400 134512640 135751879 4286662272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2362/statm: 33302 32823 151 303 0 32997 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 133208 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1798.83 CPU system time (s): 1.24481 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 133208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.24481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35599 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= 9 involuntary context switches= 4517 runsolver used 3.06053 second user time and 8.43672 second system time The end
Begin job on node030 at 2010-06-15 09:48:02 IDJOB=2655855 IDBENCH=2639 IDSOLVER=1161 FILE ID=node030/2655855-1276588081 PBS_JOBID= 11172220 Free space on /tmp= 62544 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655855-1276588081/watcher-2655855-1276588081 -o /tmp/evaluation-result-2655855-1276588081/solver-2655855-1276588081 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655855-1276588081.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c RANDOM SEED=299910383 node030.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.244 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.244 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1694844 kB Buffers: 14536 kB Cached: 244332 kB SwapCached: 0 kB Active: 101152 kB Inactive: 217124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1694844 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10572 kB Writeback: 0 kB AnonPages: 59408 kB Mapped: 15288 kB Slab: 24132 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182032 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= 62540 MiB End job on node030 at 2010-06-15 10:18:05