Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb |
MD5SUM | 14c93c93dc53353f81a889ada18ba601 |
Bench Category | DEC-SMALLINT (no 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 | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 81558 |
Total number of constraints | 240469 |
Number of constraints which are clauses | 235865 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4604 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
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 | 68 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 257 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.64 c PB-wave - v2 0.00/0.64 c command line = ./PB-wave 0.00/0.64 c seed = 87027078 0.00/0.64 c cutoff = 1000000 0.00/0.64 c tries = 1000000 0.00/0.64 c heuristic = c best, noise 50 / 100 0.00/0.64 #var 81558 #con 240469 0.00/0.64 mode is SAT 0.00/0.64 c tail starts after flip = 244674 0.00/0.64 c numatom = 81558, numclause = 240469, numliterals = 609711 0.00/0.64 c wff read in 0.00/0.64 c 0.00/0.64 c lowest final avg noise noise total avg mean mean 0.00/0.64 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.64 c this this this this this this success success until std 0.00/0.64 c try try try try try try rate tries assign dev 0.00/0.64 c 18.59/18.70 c 2506 2777 3971.30 1153.05 3.44 1000000 0 36.67/36.79 c 2511 2731 4040.89 1110.09 3.64 1000000 0 54.76/54.89 c 2386 2849 3893.25 1159.29 3.36 1000000 0 72.86/72.95 c 2512 2689 3972.18 1152.06 3.45 1000000 0 91.06/91.11 c 2499 2776 3869.78 1155.48 3.35 1000000 0 109.05/109.15 c 2442 2564 3963.38 1130.26 3.51 1000000 0 127.25/127.38 c 2504 2583 4079.35 1172.02 3.48 1000000 0 145.44/145.54 c 2473 2959 3964.37 1052.23 3.77 1000000 0 163.34/163.49 c 2506 2742 3963.90 1168.31 3.39 1000000 0 181.44/181.59 c 2443 3011 4045.62 1210.48 3.34 1000000 0 199.53/199.66 c 2408 2528 3969.20 1143.05 3.47 1000000 0 217.52/217.68 c 2387 2734 3967.60 1150.04 3.45 1000000 0 235.72/235.87 c 2577 2926 3955.02 1066.41 3.71 1000000 0 254.02/254.19 c 2471 2925 4077.04 1173.91 3.47 1000000 0 272.01/272.14 c 2295 2533 3910.64 1139.65 3.43 1000000 0 290.21/290.33 c 2458 2944 3973.36 1075.21 3.70 1000000 0 308.20/308.36 c 2411 2786 3977.32 1233.96 3.22 1000000 0 326.30/326.47 c 2552 2838 3937.05 1135.00 3.47 1000000 0 344.29/344.46 c 2423 2886 3923.32 1105.53 3.55 1000000 0 362.39/362.59 c 2471 2648 3880.93 1126.42 3.45 1000000 0 380.68/380.83 c 2544 2781 3995.37 1141.96 3.50 1000000 0 398.88/399.03 c 2574 3225 4033.73 1175.13 3.43 1000000 0 416.88/417.07 c 2392 2738 3957.10 1191.23 3.32 1000000 0 434.87/435.02 c 2299 2732 3898.84 1088.40 3.58 1000000 0 452.77/452.90 c 2328 2570 3913.54 1168.20 3.35 1000000 0 470.86/471.07 c 2730 2897 3986.14 1124.00 3.55 1000000 0 489.06/489.25 c 2520 2955 3968.23 1161.39 3.42 1000000 0 507.05/507.25 c 2490 2887 3954.62 1098.06 3.60 1000000 0 525.35/525.54 c 2792 3241 4121.87 1096.43 3.76 1000000 0 543.34/543.52 c 2323 2530 3940.90 1120.78 3.52 1000000 0 561.34/561.58 c 2210 2486 3977.06 1290.89 3.08 1000000 0 579.44/579.64 c 2559 2941 4005.73 1131.92 3.54 1000000 0 597.53/597.77 c 2548 2703 3996.68 1110.48 3.60 1000000 0 615.83/616.02 c 2550 2906 4015.15 1154.09 3.48 1000000 0 634.02/634.24 c 2502 2706 3964.56 1083.25 3.66 1000000 0 652.42/652.61 c 2642 3033 4087.37 1067.79 3.83 1000000 0 670.31/670.55 c 2551 3162 4004.17 1153.54 3.47 1000000 0 688.32/688.57 c 2543 2907 4007.80 1219.47 3.29 1000000 0 706.30/706.59 c 2424 2600 3962.83 1150.09 3.45 1000000 0 724.20/724.42 c 2393 2596 3935.05 1164.96 3.38 1000000 0 742.30/742.54 c 2396 2844 3936.00 1157.94 3.40 1000000 0 760.19/760.48 c 2385 2772 3833.46 1201.27 3.19 1000000 0 778.09/778.35 c 2627 2754 3946.41 1134.19 3.48 1000000 0 796.38/796.61 c 2336 2491 4028.77 1151.82 3.50 1000000 0 814.58/814.86 c 2480 2934 3948.14 1131.92 3.49 1000000 0 832.97/833.25 c 2544 2947 4078.23 1096.66 3.72 1000000 0 850.97/851.23 c 2344 2588 3964.54 1112.30 3.56 1000000 0 868.96/869.22 c 2351 2561 3916.32 1196.60 3.27 1000000 0 886.96/887.23 c 2498 2740 3978.80 1218.18 3.27 1000000 0 905.16/905.45 c 2398 2878 4005.03 1210.85 3.31 1000000 0 923.05/923.30 c 2286 2682 3859.80 1150.70 3.35 1000000 0 940.95/941.28 c 2411 2700 4001.31 1168.31 3.42 1000000 0 959.14/959.49 c 2602 2853 4114.70 1094.33 3.76 1000000 0 977.24/977.58 c 2389 2680 3970.51 1238.58 3.21 1000000 0 995.43/995.80 c 2503 3148 3977.55 1192.89 3.33 1000000 0 1013.33/1013.68 c 2154 2664 3921.85 1220.21 3.21 1000000 0 1031.53/1031.85 c 2530 2939 4017.59 1230.48 3.27 1000000 0 1049.52/1049.85 c 2386 2957 3850.93 1131.85 3.40 1000000 0 1067.51/1067.87 c 2503 2981 3938.47 1154.25 3.41 1000000 0 1085.51/1085.88 c 2400 3033 3928.62 1180.04 3.33 1000000 0 1103.71/1104.01 c 2356 2926 3962.17 1107.86 3.58 1000000 0 1121.40/1121.73 c 2483 2940 3933.85 1211.10 3.25 1000000 0 1139.60/1139.92 c 2396 2667 3978.07 1214.92 3.27 1000000 0 1157.29/1157.63 c 2243 2550 3716.73 1115.61 3.33 1000000 0 1175.29/1175.64 c 2495 2844 3986.50 1171.93 3.40 1000000 0 1193.48/1193.85 c 2409 2842 3946.17 1142.99 3.45 1000000 0 1211.58/1211.92 c 2564 2871 4061.41 1232.02 3.30 1000000 0 1229.68/1230.05 c 2557 3177 3940.54 1140.39 3.46 1000000 0 1247.97/1248.30 c 2475 2787 4027.58 1133.15 3.55 1000000 0 1265.87/1266.26 c 2454 2646 3893.08 1159.84 3.36 1000000 0 1284.06/1284.47 c 2461 2946 4018.40 1129.41 3.56 1000000 0 1302.36/1302.77 c 2718 2957 4165.63 1162.71 3.58 1000000 0 1320.76/1321.11 c 2521 2829 4055.97 1265.46 3.21 1000000 0 1338.65/1339.08 c 2561 2927 4011.66 1212.06 3.31 1000000 0 1356.84/1357.24 c 2494 2893 4025.69 1102.61 3.65 1000000 0 1374.84/1375.27 c 2306 2681 3962.56 1183.35 3.35 1000000 0 1392.93/1393.31 c 2425 2566 3905.69 1180.34 3.31 1000000 0 1411.13/1411.54 c 2515 2883 3946.75 1126.05 3.50 1000000 0 1429.12/1429.55 c 2599 2917 3981.77 1182.16 3.37 1000000 0 1447.32/1447.73 c 2496 2678 4045.31 1217.89 3.32 1000000 0 1465.02/1465.45 c 2383 2505 3908.58 1224.83 3.19 1000000 0 1483.31/1483.77 c 2430 2810 3960.39 1161.99 3.41 1000000 0 1501.41/1501.86 c 2406 2802 3978.84 1161.41 3.43 1000000 0 1519.40/1519.85 c 2497 2657 3954.92 1068.83 3.70 1000000 0 1537.50/1537.95 c 2508 3080 3877.95 1073.28 3.61 1000000 0 1555.69/1556.13 c 2471 2946 4017.93 1191.85 3.37 1000000 0 1573.99/1574.45 c 2465 2888 3996.17 1151.24 3.47 1000000 0 1592.08/1592.56 c 2446 2905 3978.78 1142.50 3.48 1000000 0 1610.18/1610.64 c 2384 2737 3970.62 1175.74 3.38 1000000 0 1628.28/1628.74 c 2421 2779 3972.43 1252.35 3.17 1000000 0 1646.37/1646.83 c 2412 3058 3873.07 1114.86 3.47 1000000 0 1664.47/1664.96 c 2517 2774 4011.17 1139.81 3.52 1000000 0 1682.26/1682.77 c 2442 2840 3932.70 1095.53 3.59 1000000 0 1700.26/1700.72 c 2435 2861 3943.56 1119.07 3.52 1000000 0 1718.45/1718.99 c 2421 2604 3963.95 1173.71 3.38 1000000 0 1736.46/1736.91 c 2559 2807 3940.67 1039.58 3.79 1000000 0 1754.44/1754.94 c 2534 2899 4035.81 1183.35 3.41 1000000 0 1772.34/1772.88 c 2495 3232 3956.91 1109.41 3.57 1000000 0 1790.43/1790.93 c 2528 2717 3974.97 1105.89 3.59 1000000 0 1800.04/1800.51 HOME/run: line 2: 9861 Terminated ./PB-wave < $1
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-2669555-1276611030/watcher-2669555-1276611030 -o /tmp/evaluation-result-2669555-1276611030/solver-2669555-1276611030 -C 1800 -W 2000 -M 1800 run HOME/instance-2669555-1276611030.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9860 /proc/meminfo: memFree=1781048/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) R 9858 9860 9446 0 -1 4202496 343 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490223509 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [startup+0.034462 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9860 /proc/meminfo: memFree=1781048/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101467 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9860 /proc/meminfo: memFree=1781048/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301484 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9860 /proc/meminfo: memFree=1781048/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70152 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9860 /proc/meminfo: memFree=1781048/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50159 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9862 /proc/meminfo: memFree=1763052/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1.49 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4539 0 0 0 147 2 0 0 21 0 1 0 2394533 41422848 4469 1992294400 134512640 135071400 4286660400 18446744073709551615 134526999 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4469 61 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10073 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9862 /proc/meminfo: memFree=1762804/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=3.09 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4539 0 0 0 307 2 0 0 25 0 1 0 2394533 41422848 4469 1992294400 134512640 135071400 4286660400 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4469 61 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30102 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9862 /proc/meminfo: memFree=1762556/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=6.29 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4540 0 0 0 627 2 0 0 25 0 1 0 2394533 41422848 4470 1992294400 134512640 135071400 4286660400 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4470 62 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9862 /proc/meminfo: memFree=1762556/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=12.69 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4540 0 0 0 1267 2 0 0 25 0 1 0 2394533 41422848 4470 1992294400 134512640 135071400 4286660400 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4470 62 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9864 /proc/meminfo: memFree=1762556/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=25.48 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 2546 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.101 s] /proc/loadavg: 1.06 1.02 1.00 2/108 9864 /proc/meminfo: memFree=1762556/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=51.07 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 5105 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526392 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.09 1.03 1.00 2/108 9866 /proc/meminfo: memFree=1762556/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=102.26 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 10224 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/108 9866 /proc/meminfo: memFree=1762432/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=162.24 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 16222 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.09 1.04 1.00 2/108 9868 /proc/meminfo: memFree=1762432/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=222.22 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 22220 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.03 1.03 1.00 2/108 9870 /proc/meminfo: memFree=1762308/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=282.21 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 28219 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526541 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/108 9872 /proc/meminfo: memFree=1762308/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=342.19 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 34217 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/108 9874 /proc/meminfo: memFree=1762184/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=402.18 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 40216 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1122 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 112198 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9894 /proc/meminfo: memFree=1761316/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1181.99 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 118197 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9896 /proc/meminfo: memFree=1761068/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1241.97 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 124195 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9898 /proc/meminfo: memFree=1760944/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1301.97 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 130195 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134525971 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9901 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1361.94 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 136192 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9903 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1421.93 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 142191 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9905 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1481.91 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 148189 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9907 /proc/meminfo: memFree=1760448/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1541.9 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 154188 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9909 /proc/meminfo: memFree=1760448/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1601.88 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 160186 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9909 /proc/meminfo: memFree=1760448/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1661.87 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 166185 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9911 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1721.85 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 172183 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526658 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9913 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1781.84 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 178182 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9913 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1800.04 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 180002 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9913 /proc/meminfo: memFree=1760324/2059040 swapFree=4192956/4192956 [pid=9860] ppid=9858 vsize=8700 CPUtime=0 /proc/9860/stat : 9860 (run) S 9858 9860 9446 0 -1 4202496 359 0 0 0 0 0 0 0 17 0 1 0 2394533 8908800 243 1992294400 4194304 4922060 140737252409296 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9860/statm: 2175 243 204 178 0 68 0 [pid=9861] ppid=9860 vsize=40452 CPUtime=1800.04 /proc/9861/stat : 9861 (PB-wave) R 9860 9860 9446 0 -1 4202496 4548 0 0 0 180002 2 0 0 25 0 1 0 2394533 41422848 4478 1992294400 134512640 135071400 4286660400 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9861/statm: 10113 4478 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1800.03 CPU system time (s): 0.033994 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.033994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4920 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 7431 runsolver used 3.00954 second user time and 8.48171 second system time The end
Begin job on node051 at 2010-06-15 16:10:31 IDJOB=2669555 IDBENCH=1475 IDSOLVER=1171 FILE ID=node051/2669555-1276611030 PBS_JOBID= 11172278 Free space on /tmp= 62556 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669555-1276611030/watcher-2669555-1276611030 -o /tmp/evaluation-result-2669555-1276611030/solver-2669555-1276611030 -C 1800 -W 2000 -M 1800 run HOME/instance-2669555-1276611030.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14c93c93dc53353f81a889ada18ba601 RANDOM SEED=1384755568 node051.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.255 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.51 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1781444 kB Buffers: 25788 kB Cached: 128420 kB SwapCached: 0 kB Active: 109792 kB Inactive: 103772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1781444 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8148 kB Writeback: 40 kB AnonPages: 59384 kB Mapped: 15488 kB Slab: 42192 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181816 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= 62556 MiB End job on node051 at 2010-06-15 16:40:31