Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
MD5SUM | 2b5564b5f03b34138f988fcf164c2fb6 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 53.5269 |
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 | 87751 |
Total number of constraints | 254772 |
Number of constraints which are clauses | 247060 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7712 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
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 | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.71 c PB-wave - v2 0.00/0.71 c command line = ./PB-wave 0.00/0.71 c seed = 110293057 0.00/0.71 c cutoff = 1000000 0.00/0.71 c tries = 1000000 0.00/0.71 c heuristic = c best, noise 50 / 100 0.00/0.71 #var 87751 #con 254772 0.00/0.71 mode is SAT 0.00/0.71 c tail starts after flip = 263253 0.00/0.71 c numatom = 87751, numclause = 254772, numliterals = 685560 0.00/0.71 c wff read in 0.00/0.71 c 0.00/0.71 c lowest final avg noise noise total avg mean mean 0.00/0.71 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.71 c this this this this this this success success until std 0.00/0.71 c try try try try try try rate tries assign dev 0.00/0.71 c 13.69/13.75 c 3914 4315 5779.43 1522.07 3.80 1000000 0 26.78/26.82 c 4057 4826 5952.19 1559.01 3.82 1000000 0 39.78/39.80 c 3854 3921 5879.62 1500.08 3.92 1000000 0 52.88/52.91 c 3910 4112 5970.37 1478.18 4.04 1000000 0 65.77/65.87 c 3967 4149 5914.05 1492.36 3.96 1000000 0 78.97/79.03 c 4070 4116 6015.75 1432.65 4.20 1000000 0 91.97/92.09 c 4140 4314 6013.28 1492.67 4.03 1000000 0 104.97/105.05 c 3981 4199 5991.96 1532.38 3.91 1000000 0 117.96/118.03 c 3901 4234 5810.57 1455.35 3.99 1000000 0 131.06/131.11 c 3918 4325 5862.70 1329.01 4.41 1000000 0 143.95/144.02 c 4055 4514 5901.08 1454.49 4.06 1000000 0 156.85/156.93 c 3772 4075 5902.36 1523.10 3.88 1000000 0 169.85/169.90 c 3961 4202 6017.89 1433.58 4.20 1000000 0 182.94/183.05 c 3735 4263 6128.86 1564.54 3.92 1000000 0 195.85/195.95 c 4059 4292 5919.34 1425.68 4.15 1000000 0 208.84/208.94 c 4096 4442 5932.08 1448.00 4.10 1000000 0 221.84/221.99 c 4120 4476 5933.62 1400.45 4.24 1000000 0 234.73/234.89 c 3814 4120 5856.12 1436.06 4.08 1000000 0 247.73/247.84 c 3891 4219 5709.41 1390.61 4.11 1000000 0 260.73/260.89 c 3728 4170 5941.72 1628.58 3.65 1000000 0 273.72/273.86 c 3971 4266 5805.65 1467.49 3.96 1000000 0 286.72/286.85 c 3605 3943 5790.35 1478.34 3.92 1000000 0 299.92/300.01 c 3872 4091 5904.89 1473.79 4.01 1000000 0 313.01/313.14 c 3631 4059 5851.47 1574.20 3.72 1000000 0 326.01/326.16 c 3970 4586 5861.83 1456.61 4.02 1000000 0 339.21/339.35 c 4011 4408 5942.12 1519.29 3.91 1000000 0 352.20/352.37 c 3938 4514 5941.84 1527.84 3.89 1000000 0 365.21/365.33 c 3975 4402 5881.78 1561.55 3.77 1000000 0 378.00/378.19 c 3751 3919 5721.51 1448.07 3.95 1000000 0 390.99/391.18 c 3848 3984 5854.00 1592.41 3.68 1000000 0 404.09/404.29 c 3958 4081 5788.47 1578.79 3.67 1000000 0 417.09/417.25 c 3602 3861 5788.02 1492.10 3.88 1000000 0 429.99/430.12 c 3833 4189 5721.93 1518.19 3.77 1000000 0 442.88/443.09 c 3523 3878 5644.29 1570.84 3.59 1000000 0 455.78/455.93 c 3730 4018 5862.99 1545.10 3.79 1000000 0 468.87/469.06 c 3929 4297 6005.37 1552.40 3.87 1000000 0 481.97/482.13 c 3870 4267 5861.45 1437.47 4.08 1000000 0 494.98/495.12 c 3804 4343 5756.36 1597.03 3.60 1000000 0 507.86/508.09 c 3971 4504 5973.70 1551.24 3.85 1000000 0 521.06/521.22 c 4008 4457 5930.77 1480.73 4.01 1000000 0 534.06/534.27 c 3901 4367 5769.95 1401.03 4.12 1000000 0 547.15/547.35 c 3931 4035 6022.60 1549.32 3.89 1000000 0 560.15/560.36 c 3735 4182 5921.89 1576.20 3.76 1000000 0 573.15/573.35 c 3831 4116 5782.65 1563.21 3.70 1000000 0 586.15/586.38 c 4108 4375 5965.84 1335.19 4.47 1000000 0 599.24/599.45 c 4058 4572 6006.78 1412.87 4.25 1000000 0 612.24/612.47 c 3832 4165 5821.32 1543.52 3.77 1000000 0 625.24/625.45 c 3934 4429 5737.67 1444.50 3.97 1000000 0 638.23/638.48 c 3937 4304 6015.22 1408.10 4.27 1000000 0 651.33/651.54 c 3888 4493 5853.61 1521.26 3.85 1000000 0 664.23/664.46 c 4029 4244 5827.95 1469.72 3.97 1000000 0 677.22/677.43 c 3823 4316 5836.24 1468.60 3.97 1000000 0 690.32/690.56 c 3619 4162 6017.00 1576.13 3.82 1000000 0 703.42/703.60 c 3852 4220 5791.61 1620.61 3.57 1000000 0 716.21/716.49 c 3781 4203 5891.98 1632.71 3.61 1000000 0 729.22/729.48 c 3952 4294 5882.96 1441.61 4.08 1000000 0 742.41/742.61 c 3929 4504 5874.64 1490.27 3.94 1000000 0 755.51/755.78 c 3918 4293 6024.67 1467.87 4.10 1000000 0 768.60/768.89 c 3918 4335 5948.93 1463.81 4.06 1000000 0 781.50/781.77 c 3691 3893 5689.91 1455.94 3.91 1000000 0 794.49/794.76 c 3850 4195 5809.35 1436.88 4.04 1000000 0 807.49/807.74 c 3805 4131 5844.67 1552.63 3.76 1000000 0 820.59/820.83 c 4105 4430 5934.88 1494.61 3.97 1000000 0 833.59/833.83 c 3796 4257 5714.01 1560.01 3.66 1000000 0 846.79/847.00 c 3796 4079 5862.07 1531.36 3.83 1000000 0 859.78/860.07 c 3650 4030 5736.22 1546.88 3.71 1000000 0 872.77/873.09 c 3755 4251 5829.90 1511.73 3.86 1000000 0 885.77/886.07 c 3811 4442 5918.98 1452.79 4.07 1000000 0 898.87/899.12 c 4075 4332 5936.02 1501.54 3.95 1000000 0 911.86/912.16 c 3949 4171 5861.96 1489.14 3.94 1000000 0 924.87/925.17 c 4039 4197 5948.79 1491.12 3.99 1000000 0 937.76/938.03 c 3932 4331 5894.26 1528.04 3.86 1000000 0 950.76/951.07 c 4096 4471 5912.46 1419.59 4.16 1000000 0 963.75/964.08 c 4038 4609 5861.31 1458.60 4.02 1000000 0 976.66/976.97 c 3887 4187 5769.85 1455.76 3.96 1000000 0 989.65/989.99 c 4097 4610 5954.34 1431.20 4.16 1000000 0 1002.74/1003.02 c 3806 4026 5786.34 1514.47 3.82 1000000 0 1015.54/1015.87 c 3664 4114 5735.54 1463.27 3.92 1000000 0 1028.64/1028.93 c 3881 4190 5867.08 1491.15 3.93 1000000 0 1041.54/1041.89 c 3881 4076 5979.53 1474.19 4.06 1000000 0 1054.53/1054.89 c 3920 3926 5818.87 1406.53 4.14 1000000 0 1067.63/1067.95 c 3943 4004 5941.96 1469.61 4.04 1000000 0 1080.52/1080.86 c 3840 4034 5786.34 1411.99 4.10 1000000 0 1093.52/1093.81 c 3979 4295 5928.72 1482.53 4.00 1000000 0 1106.42/1106.77 c 3861 4293 5837.29 1571.69 3.71 1000000 0 1119.52/1119.81 c 3971 4258 5940.07 1646.20 3.61 1000000 0 1132.51/1132.85 c 3855 3980 5825.49 1506.54 3.87 1000000 0 1145.41/1145.74 c 3677 4026 5578.79 1410.37 3.96 1000000 0 1158.30/1158.69 c 3949 4179 5799.33 1504.69 3.85 1000000 0 1171.31/1171.65 c 3881 4079 5682.50 1499.36 3.79 1000000 0 1184.30/1184.61 c 3626 3950 5834.27 1507.89 3.87 1000000 0 1197.39/1197.75 c 4028 4501 5952.63 1502.72 3.96 1000000 0 1210.29/1210.62 c 3662 4059 5693.11 1508.72 3.77 1000000 0 1223.29/1223.62 c 3873 4263 5907.22 1461.62 4.04 1000000 0 1236.48/1236.84 c 3995 4050 5925.39 1477.01 4.01 1000000 0 1249.48/1249.87 c 3913 4266 5847.12 1465.97 3.99 1000000 0 1262.49/1262.86 c 3962 4112 5855.51 1460.46 4.01 1000000 0 1275.48/1275.84 c 4057 4231 5938.85 1466.82 4.05 1000000 0 1288.47/1288.83 c 4145 4303 5844.58 1481.10 3.95 1000000 0 1301.47/1301.89 c 3931 4335 5713.89 1430.50 3.99 1000000 0 1314.67/1315.08 c 3737 3854 5959.83 1525.29 3.91 1000000 0 1327.66/1328.02 c 3760 4322 5798.65 1595.45 3.63 1000000 0 1340.57/1341.00 c 3687 3843 5801.44 1542.21 3.76 1000000 0 1353.56/1353.93 c 4092 4789 5779.75 1380.18 4.19 1000000 0 1366.55/1366.99 c 3825 4244 5890.68 1558.21 3.78 1000000 0 1379.55/1379.98 c 3803 4084 5886.66 1553.78 3.79 1000000 0 1392.45/1392.87 c 3987 4315 5815.48 1396.17 4.17 1000000 0 1405.55/1405.91 c 3998 4422 6034.61 1490.60 4.05 1000000 0 1418.44/1418.87 c 3801 4209 5809.95 1558.30 3.73 1000000 0 1431.54/1431.92 c 3768 4150 5894.09 1529.30 3.85 1000000 0 1444.43/1444.83 c 3620 3986 5730.94 1541.16 3.72 1000000 0 1457.43/1457.82 c 3795 4413 5932.89 1523.09 3.90 1000000 0 1470.43/1470.84 c 3965 4286 5866.24 1492.90 3.93 1000000 0 1483.32/1483.77 c 3825 4261 5821.86 1468.12 3.97 1000000 0 1496.52/1496.94 c 3961 4231 6043.70 1502.42 4.02 1000000 0 1509.62/1510.05 c 3677 4213 5777.07 1481.70 3.90 1000000 0 1522.61/1523.07 c 3988 4068 5874.76 1512.75 3.88 1000000 0 1535.51/1535.99 c 3995 4347 5975.36 1401.82 4.26 1000000 0 1548.61/1549.08 c 3908 4130 5883.24 1410.02 4.17 1000000 0 1561.61/1562.02 c 3976 4166 5835.27 1495.00 3.90 1000000 0 1574.60/1575.07 c 3928 4210 5870.07 1540.53 3.81 1000000 0 1587.60/1588.06 c 3650 4069 5670.73 1459.66 3.88 1000000 0 1600.49/1600.98 c 3785 4308 5815.83 1486.92 3.91 1000000 0 1613.40/1613.86 c 3709 4085 5935.05 1507.44 3.94 1000000 0 1626.50/1626.90 c 4075 4566 5893.17 1533.47 3.84 1000000 0 1639.28/1639.73 c 3570 3820 5664.17 1569.49 3.61 1000000 0 1652.28/1652.70 c 3853 4062 5880.22 1556.58 3.78 1000000 0 1665.18/1665.63 c 3934 4030 5949.45 1631.08 3.65 1000000 0 1678.18/1678.67 c 3824 4124 5854.77 1452.95 4.03 1000000 0 1691.38/1691.81 c 3697 4219 5734.78 1504.89 3.81 1000000 0 1704.27/1704.71 c 4089 4275 5877.61 1431.55 4.11 1000000 0 1717.17/1717.68 c 4059 4401 5946.32 1385.15 4.29 1000000 0 1730.06/1730.55 c 3787 4116 5854.94 1567.67 3.73 1000000 0 1743.07/1743.52 c 3915 3934 5784.33 1556.78 3.72 1000000 0 1756.06/1756.59 c 3870 4273 5998.21 1612.31 3.72 1000000 0 1769.15/1769.64 c 3818 4230 5771.26 1448.76 3.98 1000000 0 1782.15/1782.69 c 4234 4443 5994.93 1490.62 4.02 1000000 0 1795.15/1795.60 c 3770 4107 5800.30 1554.89 3.73 1000000 0 1800.05/1800.51 HOME/run: line 2: 3007 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-2669893-1276611565/watcher-2669893-1276611565 -o /tmp/evaluation-result-2669893-1276611565/solver-2669893-1276611565 -C 1800 -W 2000 -M 1800 run HOME/instance-2669893-1276611565.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 3006 /proc/meminfo: memFree=1756580/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) R 3004 3006 2562 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314544021 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [startup+0.101085 s] /proc/loadavg: 1.00 1.00 1.00 2/106 3006 /proc/meminfo: memFree=1756580/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.201094 s] /proc/loadavg: 1.00 1.00 1.00 2/106 3006 /proc/meminfo: memFree=1756580/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301106 s] /proc/loadavg: 1.00 1.00 1.00 2/106 3006 /proc/meminfo: memFree=1756580/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701141 s] /proc/loadavg: 1.00 1.00 1.00 2/106 3006 /proc/meminfo: memFree=1756580/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3008 /proc/meminfo: memFree=1736848/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1.49 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4886 0 0 0 147 2 0 0 25 0 1 0 36760445 41422848 4815 1992294400 134512640 135071400 4291543408 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4815 61 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10037 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3008 /proc/meminfo: memFree=1736848/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=3.09 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4886 0 0 0 307 2 0 0 25 0 1 0 36760445 41422848 4815 1992294400 134512640 135071400 4291543408 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4815 61 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30067 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3008 /proc/meminfo: memFree=1736848/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=6.29 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4887 0 0 0 627 2 0 0 25 0 1 0 36760445 41422848 4816 1992294400 134512640 135071400 4291543408 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4816 62 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3008 /proc/meminfo: memFree=1736848/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=12.69 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4887 0 0 0 1267 2 0 0 25 0 1 0 36760445 41422848 4816 1992294400 134512640 135071400 4291543408 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4816 62 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3010 /proc/meminfo: memFree=1736848/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=25.48 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 2546 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3010 /proc/meminfo: memFree=1736848/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=51.08 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 5106 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3012 /proc/meminfo: memFree=1736600/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=102.27 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 10225 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3012 /proc/meminfo: memFree=1736476/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=162.25 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 16223 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3014 /proc/meminfo: memFree=1736352/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=222.24 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 22222 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3016 /proc/meminfo: memFree=1736352/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=282.22 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 28220 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3018 /proc/meminfo: memFree=1736228/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=342.21 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 34219 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3020 /proc/meminfo: memFree=1736104/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=402.19 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 40217 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526611 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1062.03 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 106201 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3038 /proc/meminfo: memFree=1735236/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1122.01 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 112199 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3040 /proc/meminfo: memFree=1734988/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1182 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 118198 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526523 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3042 /proc/meminfo: memFree=1734740/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1241.98 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 124196 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 3044 /proc/meminfo: memFree=1734740/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1301.97 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 130195 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 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 3044 /proc/meminfo: memFree=1734740/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1361.95 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 136193 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 49152 [startup+1422.3 s] /proc/loadavg: 1.07 1.02 1.00 2/108 3046 /proc/meminfo: memFree=1734616/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1421.95 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 142193 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.09 1.03 1.00 2/108 3048 /proc/meminfo: memFree=1734616/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1481.92 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 148190 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 49152 [startup+1542.31 s] /proc/loadavg: 1.09 1.04 1.00 2/108 3050 /proc/meminfo: memFree=1734492/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1541.92 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 154190 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.09 1.04 1.00 2/108 3052 /proc/meminfo: memFree=1734368/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1601.89 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 160187 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.00 2/108 3052 /proc/meminfo: memFree=1734368/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1661.88 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 166186 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.15 1.07 1.01 2/108 3054 /proc/meminfo: memFree=1734244/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1721.86 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 172184 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.10 1.07 1.01 2/108 3056 /proc/meminfo: memFree=1733996/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1781.85 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 178183 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 1.06 1.01 2/108 3056 /proc/meminfo: memFree=1733996/2059040 swapFree=4140408/4192956 [pid=3006] ppid=3004 vsize=8700 CPUtime=0 /proc/3006/stat : 3006 (run) S 3004 3006 2562 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 36760445 8908800 244 1992294400 4194304 4922060 140733981537632 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/3006/statm: 2175 244 204 178 0 68 0 [pid=3007] ppid=3006 vsize=40452 CPUtime=1800.05 /proc/3007/stat : 3007 (PB-wave) R 3006 3006 2562 0 -1 4202496 4896 0 0 0 180003 2 0 0 25 0 1 0 36760445 41422848 4825 1992294400 134512640 135071400 4291543408 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/3007/statm: 10113 4825 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1800.04 CPU system time (s): 0.027995 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5269 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= 3 involuntary context switches= 2797 runsolver used 3.23151 second user time and 8.26274 second system time The end
Begin job on node004 at 2010-06-15 16:19:26 IDJOB=2669893 IDBENCH=1495 IDSOLVER=1171 FILE ID=node004/2669893-1276611565 PBS_JOBID= 11172268 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-unbounded.Ic22arity.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669893-1276611565/watcher-2669893-1276611565 -o /tmp/evaluation-result-2669893-1276611565/solver-2669893-1276611565 -C 1800 -W 2000 -M 1800 run HOME/instance-2669893-1276611565.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b5564b5f03b34138f988fcf164c2fb6 RANDOM SEED=539022414 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757100 kB Buffers: 64504 kB Cached: 143356 kB SwapCached: 6548 kB Active: 104040 kB Inactive: 117652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757100 kB SwapTotal: 4192956 kB SwapFree: 4140408 kB Dirty: 9004 kB Writeback: 0 kB AnonPages: 11980 kB Mapped: 13164 kB Slab: 58356 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182724 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 node004 at 2010-06-15 16:49:26