Trace number 3740986

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.04 1774.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-48.opb
MD5SUMbcbd6cca7644150bcdcbd185d4571ad6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark155.412
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9956
Total number of constraints224622
Number of constraints which are clauses201792
Number of constraints which are cardinality constraints (but not clauses)738
Number of constraints which are nor clauses,nor cardinality constraints22092
Minimum length of a constraint1
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.09	c no version file found!!!
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version	1.6.0_24
0.05/0.09	c os.name	Linux
0.05/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch	amd64
0.05/0.09	c Free memory 1599470296
0.05/0.09	c Max memory 1607860224
0.05/0.09	c Total memory 1607860224
0.05/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3740986-1338739272.opb
0.08/0.11	c reading problem ... 
2.88/1.96	c ... done. Wall clock time 1.844s.
2.88/1.96	c CPU time (experimental) 1.89s.
2.88/1.96	c #vars     9956
2.88/1.96	c #constraints  217762
1186.45/1174.90	c cleaning 404311 clauses out of 808910 for limit 409788.23699262796
1197.82/1186.29	c cleaning 204377 clauses out of 409099 for limit 7.310284133453418E7
1202.81/1191.16	c cleaning 104620 clauses out of 209721 for limit 2.1195570651909634E10
1207.90/1196.11	c cleaning 56743 clauses out of 113602 for limit 1.933239442244565E-6
1208.20/1196.49	c cleaning 28660 clauses out of 57358 for limit 6.308106254689056E-6
1210.17/1198.32	c cleaning 17429 clauses out of 35199 for limit 0.006866314903078435
1213.64/1201.74	c cleaning 15188 clauses out of 30769 for limit 3494.2921391823575
1216.33/1204.38	c cleaning 11965 clauses out of 24582 for limit 3.5636566704566844E7
1216.54/1204.53	c cleaning 6250 clauses out of 13116 for limit 1.100355549723202E8
1218.33/1206.29	c cleaning 6574 clauses out of 13366 for limit 7.205423647334668E10
1218.53/1206.41	c cleaning 3512 clauses out of 7292 for limit 2.1780618307197107E11
1220.30/1208.10	c cleaning 5332 clauses out of 10780 for limit 1.621363983812676E-6
1224.63/1212.35	c cleaning 10769 clauses out of 21948 for limit 11.76382627129147
1224.73/1212.47	c cleaning 5633 clauses out of 11679 for limit 36.45807905334488
1227.42/1215.04	c cleaning 8232 clauses out of 17046 for limit 1503856.7546914215
1230.59/1218.16	c cleaning 9645 clauses out of 19814 for limit 7.78908261957262E10
1230.79/1218.30	c cleaning 5047 clauses out of 10669 for limit 2.3855616308055127E11
1230.89/1218.41	c cleaning 2944 clauses out of 6122 for limit 6.856096440019945E11
1233.25/1220.76	c cleaning 6425 clauses out of 13178 for limit 7.050801368126845E-5
1233.35/1220.85	c cleaning 3382 clauses out of 7255 for limit 2.1162914487649368E-4
1233.45/1220.95	c cleaning 1902 clauses out of 4371 for limit 5.781212737209634E-4
1235.51/1222.99	c cleaning 5816 clauses out of 11969 for limit 2.8340254341075104
1235.61/1223.07	c cleaning 3149 clauses out of 6653 for limit 8.408140769671741
1235.72/1223.14	c cleaning 1826 clauses out of 4004 for limit 23.039832408906463
1238.08/1225.41	c cleaning 6582 clauses out of 13679 for limit 670253.2799936519
1238.18/1225.54	c cleaning 3626 clauses out of 7596 for limit 1988518.8704748214
1240.43/1227.75	c cleaning 6434 clauses out of 13472 for limit 1.5080421326368496E10
1240.53/1227.83	c cleaning 3693 clauses out of 7538 for limit 4.444729170359607E10
1240.63/1227.95	c cleaning 2123 clauses out of 4343 for limit 1.2696922553436087E11
1242.91/1230.10	c cleaning 5735 clauses out of 11720 for limit 6.315715253046669E-6
1242.91/1230.19	c cleaning 3113 clauses out of 6485 for limit 1.8823312817816954E-5
1244.89/1232.07	c cleaning 5955 clauses out of 12372 for limit 0.08031045657437369
1247.63/1234.75	c cleaning 8295 clauses out of 16917 for limit 2144.1851512248636
1247.73/1234.87	c cleaning 4404 clauses out of 9122 for limit 6557.698607150435
1250.01/1237.08	c cleaning 6366 clauses out of 13220 for limit 2.237840699124712E7
1250.21/1237.21	c cleaning 3404 clauses out of 7352 for limit 6.622805308732822E7
1253.18/1240.09	c cleaning 7691 clauses out of 15948 for limit 4.99899322121774E12
1254.14/1240.93	c cleaning 5329 clauses out of 11258 for limit 1.4259272359062497E14
1255.31/1242.06	c cleaning 4860 clauses out of 9927 for limit 8.837983187568519E-5
1255.41/1242.19	c cleaning 2752 clauses out of 5568 for limit 2.601131839338399E-4
1255.61/1242.31	c cleaning 1571 clauses out of 3315 for limit 7.197794351183775E-4
1256.83/1243.46	c cleaning 2469 clauses out of 5244 for limit 0.015094248410028474
1258.14/1244.61	c cleaning 3274 clauses out of 6777 for limit 0.6402547512689738
1259.43/1245.89	c cleaning 3653 clauses out of 7501 for limit 31.582696195541864
1260.71/1247.07	c cleaning 3723 clauses out of 7848 for limit 1651.4159310307796
1262.10/1248.32	c cleaning 4522 clauses out of 9625 for limit 330391.96975592495
1263.38/1249.55	c cleaning 4612 clauses out of 9603 for limit 2.9876263116282187E7
1264.68/1250.71	c cleaning 4451 clauses out of 8990 for limit 1.74590500011964E9
1264.68/1250.79	c cleaning 2471 clauses out of 5040 for limit 5.140911916802612E9
1264.78/1250.85	c cleaning 1503 clauses out of 3069 for limit 1.3922899807131308E10
1264.88/1250.90	c cleaning 998 clauses out of 2067 for limit 3.412530239138838E10
1264.88/1250.96	c cleaning 738 clauses out of 1567 for limit 7.408577904799998E10
1264.98/1251.03	c cleaning 614 clauses out of 1332 for limit 1.4416473766423343E11
1264.98/1251.09	c cleaning 553 clauses out of 1215 for limit 2.5985994644617593E11
1265.08/1251.18	c cleaning 508 clauses out of 1162 for limit 4.480901337217696E11
1266.25/1252.28	c cleaning 2233 clauses out of 4654 for limit 6.120575037119736E12
1267.63/1253.52	c cleaning 3356 clauses out of 6921 for limit 3.713237600197874E14
1269.61/1255.46	c cleaning 5488 clauses out of 11565 for limit 0.006650742658789281
1269.71/1255.58	c cleaning 3002 clauses out of 6577 for limit 0.019286073875424272
1269.81/1255.68	c cleaning 1683 clauses out of 4075 for limit 0.051333389557447005
1271.09/1256.83	c cleaning 2892 clauses out of 6393 for limit 1.7918615824159343
1271.18/1256.96	c cleaning 1716 clauses out of 4002 for limit 4.7252248275429976
1273.38/1259.09	c cleaning 5368 clauses out of 11284 for limit 13613.61381661951
1273.58/1259.20	c cleaning 2916 clauses out of 6416 for limit 39484.62664761123
1274.75/1260.39	c cleaning 3495 clauses out of 7500 for limit 1847898.9716956324
1276.61/1262.15	c cleaning 5271 clauses out of 11005 for limit 1.3858998840052354E9
1276.71/1262.25	c cleaning 2845 clauses out of 6234 for limit 4.034697640935349E9
1276.83/1262.37	c cleaning 1618 clauses out of 3890 for limit 1.0673788419398308E10
1278.21/1263.62	c cleaning 3000 clauses out of 6771 for limit 5.526928529398544E11
1278.31/1263.73	c cleaning 2118 clauses out of 4271 for limit 1.4449837994307856E12
1278.42/1263.82	c cleaning 1256 clauses out of 2653 for limit 3.8362878508492295E12
1278.52/1263.92	c cleaning 885 clauses out of 1897 for limit 8.847834541691316E12
1280.19/1265.51	c cleaning 3835 clauses out of 8012 for limit 2.3053974100984534E-5
1280.29/1265.64	c cleaning 2228 clauses out of 4677 for limit 6.512912726807589E-5
1281.94/1267.23	c cleaning 3975 clauses out of 8449 for limit 0.014588410071079957
1282.04/1267.39	c cleaning 2247 clauses out of 4974 for limit 0.040866117441285564
1283.51/1268.70	c cleaning 3516 clauses out of 7727 for limit 3.9139666203331567
1283.51/1268.78	c cleaning 1987 clauses out of 4711 for limit 10.586948794266936
1283.61/1268.86	c cleaning 1277 clauses out of 3225 for limit 25.529634464853704
1283.71/1268.97	c cleaning 835 clauses out of 2448 for limit 55.46497085218864
1285.20/1270.38	c cleaning 3259 clauses out of 7112 for limit 4679.707404204604
1286.79/1271.84	c cleaning 4400 clauses out of 9353 for limit 873120.671898541
1286.99/1272.00	c cleaning 2362 clauses out of 5453 for limit 2469707.9191546245
1288.26/1273.29	c cleaning 3725 clauses out of 8091 for limit 2.4764967416595143E8
1288.46/1273.43	c cleaning 2126 clauses out of 4866 for limit 6.790843852705865E8
1289.84/1274.77	c cleaning 3725 clauses out of 7740 for limit 6.352047813859752E10
1289.94/1274.84	c cleaning 1912 clauses out of 4517 for limit 1.7985790863302893E11
1290.04/1274.92	c cleaning 1162 clauses out of 3103 for limit 4.309081593319061E11
1290.14/1275.00	c cleaning 1196 clauses out of 2443 for limit 9.044153751533855E11
1292.12/1276.96	c cleaning 5073 clauses out of 10245 for limit 1.751928523960773E-5
1292.23/1277.05	c cleaning 2726 clauses out of 5675 for limit 5.2314478795205944E-5
1292.33/1277.15	c cleaning 1563 clauses out of 3446 for limit 1.4165269686350625E-4
1292.42/1277.23	c cleaning 889 clauses out of 2383 for limit 3.3780958265241243E-4
1292.52/1277.32	c cleaning 566 clauses out of 1994 for limit 6.657738612234322E-4
1294.09/1278.87	c cleaning 3858 clauses out of 8429 for limit 0.17349731992154707
1294.19/1279.00	c cleaning 2159 clauses out of 5070 for limit 0.47520635534429495
1294.39/1279.11	c cleaning 1305 clauses out of 3411 for limit 1.1648348810592988
1297.35/1282.02	c cleaning 6429 clauses out of 13606 for limit 28993.525102196214
1297.45/1282.15	c cleaning 3577 clauses out of 7677 for limit 84741.43893046027
1299.19/1283.85	c cleaning 5128 clauses out of 11101 for limit 6.455683079889982E7
1299.29/1283.96	c cleaning 2844 clauses out of 6472 for limit 1.8242618301559842E8
1299.39/1284.09	c cleaning 1665 clauses out of 4128 for limit 4.716739358288272E8
1301.27/1285.86	c cleaning 4921 clauses out of 10463 for limit 5.569542646480223E11
1301.37/1285.97	c cleaning 2653 clauses out of 6042 for limit 1.590563181395628E12
1301.46/1286.06	c cleaning 1594 clauses out of 3890 for limit 4.0782368406431816E12
1301.56/1286.15	c cleaning 1028 clauses out of 2796 for limit 9.357089096555537E12
1303.55/1288.08	c cleaning 5313 clauses out of 10767 for limit 1.9758531932346157E-4
1303.65/1288.17	c cleaning 2701 clauses out of 5954 for limit 5.892457284524172E-4
1305.31/1289.73	c cleaning 4618 clauses out of 9753 for limit 0.240045506210517
1305.41/1289.86	c cleaning 2452 clauses out of 5637 for limit 0.6862915949448073
1307.00/1291.33	c cleaning 4263 clauses out of 9183 for limit 170.12719875686537
1307.09/1291.46	c cleaning 2365 clauses out of 5420 for limit 475.35157360857465
1307.19/1291.55	c cleaning 1405 clauses out of 3555 for limit 1195.1722595268316
1309.16/1293.49	c cleaning 4913 clauses out of 10650 for limit 1969112.734675421
1309.26/1293.59	c cleaning 2743 clauses out of 6237 for limit 5544984.437457181
1309.36/1293.69	c cleaning 1626 clauses out of 3994 for limit 1.4279858437905122E7
1311.35/1295.51	c cleaning 4852 clauses out of 10371 for limit 1.6508554805789385E10
1311.45/1295.60	c cleaning 2946 clauses out of 6016 for limit 4.679228076380797E10
1311.56/1295.71	c cleaning 1742 clauses out of 3574 for limit 1.3041316283853055E11
1314.24/1298.30	c cleaning 6047 clauses out of 12329 for limit 1.3759993070661108E-5
1316.05/1300.04	c cleaning 6370 clauses out of 13283 for limit 0.014069116473472589
1316.25/1300.21	c cleaning 3420 clauses out of 7411 for limit 0.041502384333189195
1318.47/1302.33	c cleaning 5934 clauses out of 12491 for limit 121.53538243732642
1320.25/1304.08	c cleaning 5920 clauses out of 12558 for limit 48964.871312040494
1320.35/1304.20	c cleaning 3205 clauses out of 7139 for limit 142186.41783764565
1320.45/1304.29	c cleaning 1822 clauses out of 4432 for limit 376949.00969575753
1320.55/1304.39	c cleaning 1261 clauses out of 3110 for limit 885886.0366709977
1320.65/1304.49	c cleaning 891 clauses out of 2353 for limit 1938698.4020789042
1322.01/1305.75	c cleaning 2865 clauses out of 6458 for limit 1.0467789045448606E8
1322.10/1305.82	c cleaning 2040 clauses out of 4093 for limit 2.7237493830310917E8
1322.20/1305.91	c cleaning 1263 clauses out of 2553 for limit 7.201350708316196E8
1322.30/1306.03	c cleaning 811 clauses out of 1791 for limit 1.6945702961842494E9
1322.40/1306.11	c cleaning 370 clauses out of 1479 for limit 3.38071356772585E9
1324.38/1308.04	c cleaning 4961 clauses out of 10613 for limit 6.349481857115577E12
1324.48/1308.13	c cleaning 3024 clauses out of 6148 for limit 1.80036446297682E13
1324.58/1308.25	c cleaning 1790 clauses out of 3625 for limit 5.040535509544008E13
1324.68/1308.33	c cleaning 1142 clauses out of 2334 for limit 1.2897490392609794E14
1326.68/1310.22	c cleaning 4622 clauses out of 9692 for limit 0.001533002059951911
1328.67/1312.15	c cleaning 5744 clauses out of 12070 for limit 1.3546630713424594
1328.78/1312.25	c cleaning 3093 clauses out of 6827 for limit 3.953657624623606
1328.88/1312.32	c cleaning 1750 clauses out of 4234 for limit 10.513177432511501
1328.97/1312.40	c cleaning 1115 clauses out of 2985 for limit 24.6167611105123
1328.97/1312.50	c cleaning 864 clauses out of 2368 for limit 51.07171149526218
1330.57/1313.99	c cleaning 3920 clauses out of 8504 for limit 15650.24990009887
1330.67/1314.09	c cleaning 2149 clauses out of 5084 for limit 43171.27482257556
1330.77/1314.17	c cleaning 1326 clauses out of 3435 for limit 105373.05242909666
1330.87/1314.24	c cleaning 918 clauses out of 2610 for limit 228931.83725315612
1330.97/1314.31	c cleaning 693 clauses out of 2191 for limit 449288.90981047
1333.45/1316.74	c cleaning 6647 clauses out of 14000 for limit 1.9024192829334766E10
1333.55/1316.83	c cleaning 3890 clauses out of 7855 for limit 5.602901611037306E10
1333.65/1316.92	c cleaning 2199 clauses out of 4461 for limit 1.6204842047457587E11
1333.75/1317.01	c cleaning 1357 clauses out of 2762 for limit 4.3162763060362787E11
1333.75/1317.08	c cleaning 897 clauses out of 1905 for limit 1.0320335586067201E12
1333.85/1317.14	c cleaning 561 clauses out of 1509 for limit 2.1507501332593257E12
1335.72/1318.91	c cleaning 5184 clauses out of 10447 for limit 4.16595855391795E-5
1335.72/1318.99	c cleaning 2616 clauses out of 5763 for limit 1.2454141825467648E-4
1335.82/1319.09	c cleaning 1511 clauses out of 3648 for limit 3.247865199120262E-4
1336.02/1319.25	c cleaning 1038 clauses out of 2636 for limit 7.40506363154613E-4
1337.58/1320.70	c cleaning 3686 clauses out of 8099 for limit 0.16099183279892945
1337.58/1320.79	c cleaning 2070 clauses out of 4912 for limit 0.4373189137224135
1337.68/1320.85	c cleaning 1260 clauses out of 3344 for limit 1.061488419691641
1337.78/1320.92	c cleaning 879 clauses out of 2583 for limit 2.2640108218243036
1337.89/1321.00	c cleaning 816 clauses out of 2203 for limit 4.373305161246638
1340.07/1323.15	c cleaning 5589 clauses out of 11890 for limit 29670.139464174346
1340.17/1323.26	c cleaning 3002 clauses out of 6798 for limit 85324.28030629993
1340.27/1323.38	c cleaning 1895 clauses out of 4297 for limit 222832.65720354745
1342.03/1325.00	c cleaning 4599 clauses out of 9901 for limit 1.7533512433280835E8
1343.10/1326.06	c cleaning 4374 clauses out of 9304 for limit 1.0228086778380938E10
1345.07/1327.95	c cleaning 6079 clauses out of 12928 for limit 2.1986592686513883E13
1345.17/1328.07	c cleaning 3613 clauses out of 7352 for limit 6.395039014333509E13
1345.27/1328.15	c cleaning 2025 clauses out of 4236 for limit 1.8249253204197716E14
1345.37/1328.22	c cleaning 1331 clauses out of 2712 for limit 4.7054564900847044E14
1345.47/1328.30	c cleaning 774 clauses out of 1880 for limit 1.1182913693452006E15
1347.44/1330.24	c cleaning 4686 clauses out of 10107 for limit 0.01694849090506931
1347.54/1330.34	c cleaning 2629 clauses out of 5920 for limit 0.047670858027281694
1347.64/1330.44	c cleaning 1546 clauses out of 3791 for limit 0.12276562471834825
1347.74/1330.54	c cleaning 1046 clauses out of 2745 for limit 0.2796044639969241
1349.03/1331.77	c cleaning 2816 clauses out of 6199 for limit 11.170376113537818
1350.49/1333.15	c cleaning 3846 clauses out of 8383 for limit 1228.9913794413367
1350.59/1333.29	c cleaning 2177 clauses out of 5037 for limit 3373.1234738825383
1352.47/1335.01	c cleaning 4812 clauses out of 10360 for limit 2976341.3602669393
1352.57/1335.10	c cleaning 2670 clauses out of 6048 for limit 8407881.83441863
1352.57/1335.19	c cleaning 1908 clauses out of 3878 for limit 2.1624519401828308E7
1352.67/1335.28	c cleaning 1174 clauses out of 2470 for limit 5.599035262555127E7
1354.34/1336.86	c cleaning 4193 clauses out of 8796 for limit 2.8534038335461376E10
1354.44/1336.93	c cleaning 2169 clauses out of 5103 for limit 8.11108177156489E10
1354.54/1337.02	c cleaning 1345 clauses out of 3435 for limit 1.9891521588865192E11
1354.64/1337.10	c cleaning 927 clauses out of 2589 for limit 4.347945299218513E11
1354.64/1337.19	c cleaning 1059 clauses out of 2162 for limit 8.586502871375237E11
1356.78/1339.22	c cleaning 5213 clauses out of 10603 for limit 2.3502015094666876E-5
1356.88/1339.32	c cleaning 2797 clauses out of 5890 for limit 6.97709207819735E-5
1356.98/1339.40	c cleaning 1544 clauses out of 3593 for limit 1.886202947120569E-4
1358.75/1341.17	c cleaning 4886 clauses out of 10551 for limit 0.31766627902150574
1358.85/1341.27	c cleaning 2712 clauses out of 6163 for limit 0.8950750155332794
1358.95/1341.33	c cleaning 1603 clauses out of 3952 for limit 2.3042259606844393
1359.05/1341.41	c cleaning 1036 clauses out of 2848 for limit 5.267728600429923
1359.05/1341.49	c cleaning 752 clauses out of 2312 for limit 10.701174197851568
1359.15/1341.57	c cleaning 626 clauses out of 2061 for limit 19.816715319071854
1359.25/1341.65	c cleaning 587 clauses out of 1934 for limit 34.79161331103501
1359.35/1341.74	c cleaning 497 clauses out of 1847 for limit 60.07863115747738
1361.51/1343.81	c cleaning 5030 clauses out of 10850 for limit 137283.72021290063
1361.61/1343.90	c cleaning 2764 clauses out of 6320 for limit 388675.87631118984
1361.61/1343.98	c cleaning 1619 clauses out of 4056 for limit 998763.3683843274
1361.71/1344.05	c cleaning 1029 clauses out of 2937 for limit 2274639.0579934726
1361.82/1344.12	c cleaning 774 clauses out of 2410 for limit 4580620.439823444
1361.82/1344.19	c cleaning 1060 clauses out of 2135 for limit 8518533.685949622
1361.92/1344.25	c cleaning 514 clauses out of 1574 for limit 1.9036161108565792E7
1364.97/1347.20	c cleaning 7526 clauses out of 15060 for limit 2.409483541525644E12
1365.07/1347.35	c cleaning 3641 clauses out of 8034 for limit 7.448571578970957E12
1365.18/1347.47	c cleaning 2052 clauses out of 4895 for limit 2.0201193908775E13
1365.28/1347.56	c cleaning 1289 clauses out of 3344 for limit 4.88150640581674E13
1367.04/1349.24	c cleaning 4742 clauses out of 9552 for limit 3.092150249149831E-4
1367.14/1349.37	c cleaning 2366 clauses out of 5310 for limit 9.173102959007794E-4
1368.39/1350.58	c cleaning 3453 clauses out of 7446 for limit 0.05913706464592851
1368.60/1350.73	c cleaning 1984 clauses out of 4492 for limit 0.1614969866923145
1370.55/1352.62	c cleaning 5204 clauses out of 11007 for limit 324.9756132032648
1370.65/1352.73	c cleaning 2858 clauses out of 6303 for limit 935.897566995977
1370.75/1352.83	c cleaning 1670 clauses out of 3946 for limit 2467.7942231592338
1370.86/1352.93	c cleaning 1087 clauses out of 2775 for limit 5781.285434397418
1373.24/1355.27	c cleaning 5954 clauses out of 12189 for limit 4.809804909612546E7
1373.33/1355.39	c cleaning 3224 clauses out of 6735 for limit 1.4355351314115673E8
1373.43/1355.48	c cleaning 2004 clauses out of 4010 for limit 3.972175496335112E8
1373.53/1355.57	c cleaning 1254 clauses out of 2510 for limit 1.0507345509132233E9
1373.63/1355.64	c cleaning 876 clauses out of 1753 for limit 2.473643846100782E9
1373.73/1355.71	c cleaning 670 clauses out of 1378 for limit 5.194697560052689E9
1373.73/1355.79	c cleaning 454 clauses out of 1206 for limit 9.76897595940073E9
1376.21/1358.14	c cleaning 4985 clauses out of 10251 for limit 1.542737258655955E13
1376.31/1358.28	c cleaning 2737 clauses out of 5766 for limit 4.5231339651658836E13
1378.15/1359.92	c cleaning 4699 clauses out of 9529 for limit 1.8263890427978134E-4
1380.15/1361.80	c cleaning 6700 clauses out of 13830 for limit 1.0242934745913748
1380.24/1361.92	c cleaning 3607 clauses out of 7630 for limit 3.061807870959032
1380.34/1362.00	c cleaning 2071 clauses out of 4523 for limit 8.517885000115623
1380.34/1362.08	c cleaning 1285 clauses out of 2952 for limit 21.522756584186716
1380.44/1362.18	c cleaning 882 clauses out of 2167 for limit 48.351641521363156
1380.54/1362.24	c cleaning 676 clauses out of 1786 for limit 96.84541808637296
1381.90/1363.53	c cleaning 3189 clauses out of 6609 for limit 6415.123571055714
1383.06/1364.61	c cleaning 3538 clauses out of 7420 for limit 312596.397733519
1383.16/1364.72	c cleaning 1951 clauses out of 4382 for limit 872913.857757397
1384.65/1366.12	c cleaning 4625 clauses out of 9435 for limit 4.479425541923367E8
1384.75/1366.25	c cleaning 2621 clauses out of 5306 for limit 1.3083225317229247E9
1386.50/1367.97	c cleaning 5149 clauses out of 10686 for limit 1.9462364435567898E12
1386.70/1368.11	c cleaning 2773 clauses out of 6036 for limit 5.676529700606357E12
1386.80/1368.21	c cleaning 1860 clauses out of 3763 for limit 1.5015984602822719E13
1386.80/1368.26	c cleaning 1125 clauses out of 2404 for limit 3.880109376155386E13
1386.91/1368.32	c cleaning 654 clauses out of 1780 for limit 8.650651728691895E13
1386.91/1368.37	c cleaning 570 clauses out of 1624 for limit 1.5605211846013722E14
1388.19/1369.55	c cleaning 2642 clauses out of 5554 for limit 4.1167339530602E-5
1388.28/1369.64	c cleaning 1644 clauses out of 3412 for limit 1.1051100825203997E-4
1389.38/1370.67	c cleaning 2579 clauses out of 5268 for limit 0.0023744334757245006
1391.54/1372.76	c cleaning 5939 clauses out of 12189 for limit 13.77525188817604
1391.73/1372.93	c cleaning 3290 clauses out of 6750 for limit 41.02227485595707
1393.53/1374.62	c cleaning 5292 clauses out of 10960 for limit 45851.25887043359
1393.63/1374.72	c cleaning 2862 clauses out of 6168 for limit 134361.03483288424
1393.73/1374.81	c cleaning 1696 clauses out of 3806 for limit 359091.2379243215
1393.73/1374.89	c cleaning 1095 clauses out of 2610 for limit 863552.9493531812
1393.83/1374.96	c cleaning 803 clauses out of 2016 for limit 1845565.0198580034
1396.41/1377.44	c cleaning 6831 clauses out of 13712 for limit 7.31950542115145E10
1396.51/1377.58	c cleaning 3573 clauses out of 7381 for limit 2.242452347804161E11
1397.71/1378.60	c cleaning 3258 clauses out of 6808 for limit 4.890510586303836E12
1397.81/1378.72	c cleaning 1886 clauses out of 4050 for limit 1.3557343948980916E13
1399.47/1380.40	c cleaning 5051 clauses out of 10167 for limit 1.6211923335326367E-4
1399.58/1380.48	c cleaning 2704 clauses out of 5615 for limit 4.8361412794430846E-4
1399.68/1380.56	c cleaning 1555 clauses out of 3409 for limit 0.0013110178425967108
1399.77/1380.64	c cleaning 1035 clauses out of 2354 for limit 0.0031310141626964775
1399.87/1380.74	c cleaning 789 clauses out of 1820 for limit 0.006685139918734147
1401.65/1382.48	c cleaning 4648 clauses out of 9531 for limit 6.300768147873053
1401.75/1382.58	c cleaning 2454 clauses out of 5384 for limit 18.412693169282655
1401.85/1382.65	c cleaning 1468 clauses out of 3429 for limit 47.629525771609025
1401.95/1382.74	c cleaning 986 clauses out of 2460 for limit 109.37800824476938
1403.81/1384.51	c cleaning 4987 clauses out of 10474 for limit 209102.15775053625
1403.81/1384.60	c cleaning 2818 clauses out of 5987 for limit 603278.3122786981
1405.46/1386.19	c cleaning 5054 clauses out of 10171 for limit 3.9157482121491367E8
1405.66/1386.30	c cleaning 2784 clauses out of 5616 for limit 1.168349262455125E9
1405.66/1386.39	c cleaning 1421 clauses out of 3332 for limit 3.2475113839017663E9
1407.55/1388.11	c cleaning 5187 clauses out of 10410 for limit 5.125314417069481E12
1407.65/1388.21	c cleaning 2814 clauses out of 5723 for limit 1.537458434424471E13
1407.65/1388.29	c cleaning 1578 clauses out of 3411 for limit 4.262558186302258E13
1407.75/1388.36	c cleaning 891 clauses out of 2331 for limit 1.0265890550972188E14
1409.34/1389.83	c cleaning 4047 clauses out of 8441 for limit 3.1229277219910255E-4
1409.44/1389.92	c cleaning 2230 clauses out of 4893 for limit 8.875687289300835E-4
1409.44/1389.99	c cleaning 1355 clauses out of 3163 for limit 0.0022642996712145106
1409.54/1390.09	c cleaning 969 clauses out of 2309 for limit 0.005120348976845736
1411.81/1392.24	c cleaning 5959 clauses out of 12339 for limit 57.62866146545416
1411.91/1392.34	c cleaning 3251 clauses out of 6880 for limit 170.4456592064809
1412.01/1392.42	c cleaning 1824 clauses out of 4130 for limit 468.7213445032409
1412.01/1392.49	c cleaning 1158 clauses out of 2805 for limit 1136.981221912813
1412.12/1392.56	c cleaning 855 clauses out of 2150 for limit 2453.6189663367772
1412.22/1392.63	c cleaning 651 clauses out of 1792 for limit 4840.162319096024
1412.31/1392.71	c cleaning 569 clauses out of 1641 for limit 8716.562281401562
1412.31/1392.78	c cleaning 548 clauses out of 1572 for limit 15005.73124757734
1412.41/1392.85	c cleaning 541 clauses out of 1524 for limit 25525.874266195075
1415.89/1396.21	c cleaning 8103 clauses out of 16483 for limit 1.281922680344994E10
1415.89/1396.29	c cleaning 4133 clauses out of 8881 for limit 3.927594278361032E10
1415.99/1396.39	c cleaning 2384 clauses out of 5247 for limit 1.0952135286274146E11
1416.09/1396.45	c cleaning 1417 clauses out of 3365 for limit 2.8219525434084467E11
1416.19/1396.51	c cleaning 975 clauses out of 2447 for limit 6.393257259158162E11
1416.19/1396.59	c cleaning 697 clauses out of 1973 for limit 1.3089391674127659E12
1416.29/1396.66	c cleaning 628 clauses out of 1774 for limit 2.3959612864819595E12
1416.39/1396.72	c cleaning 559 clauses out of 1647 for limit 4.260202193330935E12
1416.39/1396.78	c cleaning 774 clauses out of 1587 for limit 7.283971859210871E12
1420.17/1400.41	c cleaning 8558 clauses out of 17313 for limit 0.0986318384634274
1420.27/1400.51	c cleaning 4506 clauses out of 9255 for limit 0.30427685675170413
1420.37/1400.60	c cleaning 2433 clauses out of 5249 for limit 0.8847583266685535
1420.37/1400.67	c cleaning 1408 clauses out of 3316 for limit 2.309630981055353
1420.47/1400.74	c cleaning 986 clauses out of 2408 for limit 5.245133214630204
1423.16/1403.30	c cleaning 7021 clauses out of 14422 for limit 389978.42086867674
1423.16/1403.39	c cleaning 3796 clauses out of 7903 for limit 1175977.4560127293
1423.26/1403.48	c cleaning 2092 clauses out of 4605 for limit 3321606.694114644
1423.37/1403.60	c cleaning 1324 clauses out of 3013 for limit 8372103.659755765
1425.44/1405.59	c cleaning 5624 clauses out of 11690 for limit 4.7815804746464806E10
1425.54/1405.70	c cleaning 3258 clauses out of 6565 for limit 1.402725284644885E11
1425.64/1405.79	c cleaning 1886 clauses out of 3808 for limit 3.9920945148311487E11
1425.74/1405.88	c cleaning 1204 clauses out of 2422 for limit 1.0350933126724148E12
1425.84/1405.94	c cleaning 640 clauses out of 1717 for limit 2.405496457521991E12
1425.94/1406.01	c cleaning 557 clauses out of 1578 for limit 4.320742818129663E12
1425.94/1406.08	c cleaning 736 clauses out of 1521 for limit 7.392512857856771E12
1428.31/1408.30	c cleaning 5538 clauses out of 11284 for limit 3.634103906760193E-4
1428.41/1408.42	c cleaning 2923 clauses out of 6248 for limit 0.0010845368370694768
1428.51/1408.53	c cleaning 1707 clauses out of 3823 for limit 0.0029172113461703687
1428.61/1408.61	c cleaning 1102 clauses out of 2618 for limit 0.0070392673574490245
1428.61/1408.69	c cleaning 807 clauses out of 2016 for limit 0.015075178453892592
1430.50/1410.48	c cleaning 4197 clauses out of 8707 for limit 6.321988867459354
1430.70/1410.60	c cleaning 2380 clauses out of 5010 for limit 18.11925897596987
1432.78/1412.68	c cleaning 6057 clauses out of 12630 for limit 159108.19460202244
1432.88/1412.76	c cleaning 3282 clauses out of 7074 for limit 468944.27872799634
1432.98/1412.82	c cleaning 1886 clauses out of 4291 for limit 1273647.237232374
1432.98/1412.89	c cleaning 1226 clauses out of 2905 for limit 3102540.23768901
1433.08/1412.97	c cleaning 845 clauses out of 2180 for limit 6824918.421332355
1433.18/1413.06	c cleaning 659 clauses out of 1836 for limit 1.3377398981608465E7
1433.28/1413.13	c cleaning 834 clauses out of 1677 for limit 2.4152783106367942E7
1434.96/1414.78	c cleaning 4383 clauses out of 8843 for limit 1.370865387184592E10
1435.06/1414.86	c cleaning 2403 clauses out of 4960 for limit 4.030590218938593E10
1435.16/1414.93	c cleaning 1274 clauses out of 3055 for limit 1.0770254655534004E11
1435.26/1415.01	c cleaning 890 clauses out of 2281 for limit 2.3788539995011386E11
1435.26/1415.08	c cleaning 733 clauses out of 1892 for limit 4.7343715749293585E11
1435.36/1415.15	c cleaning 587 clauses out of 1660 for limit 8.907704122965149E11
1435.46/1415.21	c cleaning 786 clauses out of 1572 for limit 1.549682414264215E12
1435.56/1415.32	c cleaning 640 clauses out of 1285 for limit 3.1232985097671084E12
1437.43/1417.12	c cleaning 5042 clauses out of 10147 for limit 5.319978020245156E-5
1437.53/1417.21	c cleaning 2685 clauses out of 5604 for limit 1.5869774180302576E-4
1437.53/1417.29	c cleaning 1493 clauses out of 3418 for limit 4.2866516299097575E-4
1437.63/1417.38	c cleaning 986 clauses out of 2425 for limit 9.964015464478167E-4
1437.73/1417.46	c cleaning 752 clauses out of 1941 for limit 0.0020570531400530534
1437.83/1417.54	c cleaning 596 clauses out of 1689 for limit 0.0038984977134792842
1437.93/1417.61	c cleaning 579 clauses out of 1591 for limit 0.0068115134297374634
1437.93/1417.68	c cleaning 546 clauses out of 1512 for limit 0.011820011326653121
1438.03/1417.75	c cleaning 492 clauses out of 1466 for limit 0.020104422411241846
1439.61/1419.27	c cleaning 3784 clauses out of 7977 for limit 4.0782320399527485
1439.71/1419.39	c cleaning 2135 clauses out of 4691 for limit 11.41387086908178
1439.91/1419.51	c cleaning 1327 clauses out of 3055 for limit 28.8741061307394
1440.01/1419.60	c cleaning 906 clauses out of 2228 for limit 65.29207390471922
1441.69/1421.23	c cleaning 4528 clauses out of 9322 for limit 46704.71686013057
1441.79/1421.35	c cleaning 2459 clauses out of 5294 for limit 135625.63739098597
1441.89/1421.43	c cleaning 1464 clauses out of 3335 for limit 355046.9432250074
1441.99/1421.52	c cleaning 988 clauses out of 2371 for limit 823580.2989760939
1443.78/1423.26	c cleaning 5051 clauses out of 10384 for limit 1.532192392475557E9
1443.88/1423.36	c cleaning 2729 clauses out of 5833 for limit 4.498232424116441E9
1443.98/1423.44	c cleaning 1596 clauses out of 3603 for limit 1.1997506150939503E10
1444.08/1423.51	c cleaning 1064 clauses out of 2507 for limit 2.8435233340218918E10
1444.08/1423.59	c cleaning 945 clauses out of 1943 for limit 6.05054112018172E10
1444.18/1423.66	c cleaning 704 clauses out of 1498 for limit 1.2942288931465851E11
1444.28/1423.72	c cleaning 586 clauses out of 1294 for limit 2.470839383536644E11
1444.38/1423.80	c cleaning 455 clauses out of 1208 for limit 4.364834126027919E11
1444.38/1423.85	c cleaning 404 clauses out of 1253 for limit 6.939680791848625E11
1446.26/1425.66	c cleaning 5304 clauses out of 10849 for limit 1.7742654530054163E-5
1446.35/1425.75	c cleaning 2990 clauses out of 6046 for limit 5.255699929911967E-5
1446.45/1425.82	c cleaning 1573 clauses out of 3555 for limit 1.4725853465335007E-4
1446.45/1425.89	c cleaning 1042 clauses out of 2485 for limit 3.484601417015926E-4
1446.55/1425.97	c cleaning 805 clauses out of 1940 for limit 7.338885698600046E-4
1449.16/1428.47	c cleaning 6647 clauses out of 13636 for limit 28.221269630825915
1449.26/1428.57	c cleaning 3520 clauses out of 7490 for limit 84.8148936249622
1449.36/1428.67	c cleaning 2148 clauses out of 4469 for limit 234.18817381186508
1449.46/1428.77	c cleaning 1250 clauses out of 2820 for limit 611.4311796179323
1449.57/1428.84	c cleaning 799 clauses out of 2070 for limit 1373.6694236672563
1449.67/1428.90	c cleaning 770 clauses out of 1772 for limit 2648.9835303015475
1450.92/1430.15	c cleaning 3130 clauses out of 6501 for limit 176987.68754838986
1451.02/1430.26	c cleaning 1779 clauses out of 3871 for limit 490180.39415945375
1451.12/1430.34	c cleaning 1136 clauses out of 2592 for limit 1207257.7383078325
1453.11/1432.26	c cleaning 5136 clauses out of 10457 for limit 2.438194599254702E9
1453.20/1432.35	c cleaning 2712 clauses out of 5820 for limit 7.217285137274693E9
1453.30/1432.45	c cleaning 1637 clauses out of 3609 for limit 1.9213229258224136E10
1453.40/1432.55	c cleaning 1207 clauses out of 2472 for limit 4.625883249029697E10
1453.50/1432.64	c cleaning 805 clauses out of 1764 for limit 1.067986906861219E11
1455.56/1434.64	c cleaning 5113 clauses out of 10459 for limit 2.4178881087968698E-6
1455.66/1434.71	c cleaning 2864 clauses out of 5846 for limit 7.133841211643854E-6
1455.66/1434.78	c cleaning 1676 clauses out of 3482 for limit 1.9751922351312105E-5
1455.76/1434.86	c cleaning 998 clauses out of 2306 for limit 4.9185231572394674E-5
1455.86/1434.94	c cleaning 873 clauses out of 1808 for limit 1.0345499982023462E-4
1458.77/1437.74	c cleaning 7263 clauses out of 14936 for limit 15.181509424213456
1458.87/1437.86	c cleaning 3853 clauses out of 8172 for limit 45.713268632486404
1458.97/1437.96	c cleaning 2270 clauses out of 4819 for limit 127.8408337621104
1460.76/1439.68	c cleaning 5389 clauses out of 11051 for limit 275704.6205179546
1460.86/1439.78	c cleaning 2921 clauses out of 6162 for limit 815417.103155044
1460.97/1439.84	c cleaning 1697 clauses out of 3739 for limit 2211734.073859516
1461.07/1439.92	c cleaning 1142 clauses out of 2542 for limit 5364987.5027610045
1462.61/1441.49	c cleaning 4428 clauses out of 8900 for limit 2.780946022289491E9
1462.81/1441.63	c cleaning 2464 clauses out of 4972 for limit 8.209322801612954E9
1464.49/1443.21	c cleaning 4912 clauses out of 10008 for limit 7.401665621455345E12
1464.58/1443.30	c cleaning 2728 clauses out of 5596 for limit 2.1830060500931395E13
1464.58/1443.39	c cleaning 1497 clauses out of 3368 for limit 5.981587352120629E13
1464.68/1443.46	c cleaning 936 clauses out of 2371 for limit 1.4012410935816089E14
1464.78/1443.53	c cleaning 765 clauses out of 1935 for limit 2.831518065461611E14
1464.88/1443.62	c cleaning 615 clauses out of 1670 for limit 5.4105289113021325E14
1467.06/1445.79	c cleaning 5282 clauses out of 11055 for limit 0.018093191776073762
1467.26/1445.93	c cleaning 3038 clauses out of 6273 for limit 0.05258411061416524
1469.27/1447.88	c cleaning 5939 clauses out of 12235 for limit 219.4480938405667
1469.37/1448.00	c cleaning 3248 clauses out of 6800 for limit 653.7637076336613
1469.47/1448.08	c cleaning 1787 clauses out of 4049 for limit 1805.23728828805
1469.57/1448.16	c cleaning 1133 clauses out of 2763 for limit 4367.084408509146
1469.67/1448.25	c cleaning 832 clauses out of 2129 for limit 9337.232755828101
1472.23/1450.73	c cleaning 6433 clauses out of 13297 for limit 2.4478311989425334E8
1472.33/1450.81	c cleaning 3474 clauses out of 7363 for limit 7.282855771100678E8
1472.33/1450.90	c cleaning 2175 clauses out of 4389 for limit 2.0148690043086405E9
1472.43/1450.99	c cleaning 1334 clauses out of 2717 for limit 5.383716479180903E9
1472.53/1451.05	c cleaning 927 clauses out of 1881 for limit 1.2798818696377373E10
1472.63/1451.12	c cleaning 617 clauses out of 1453 for limit 2.729697006796715E10
1472.73/1451.20	c cleaning 428 clauses out of 1336 for limit 4.8958655947551346E10
1472.73/1451.27	c cleaning 479 clauses out of 1410 for limit 7.665522147168121E10
1472.83/1451.34	c cleaning 488 clauses out of 1429 for limit 1.2448456042026947E11
1472.93/1451.41	c cleaning 566 clauses out of 1441 for limit 2.0358211647426666E11
1475.81/1454.26	c cleaning 7334 clauses out of 14876 for limit 2.3906543252975136E-4
1475.90/1454.38	c cleaning 3809 clauses out of 8042 for limit 7.292807869365473E-4
1476.10/1454.50	c cleaning 2175 clauses out of 4732 for limit 0.0020419047535578504
1800.04/1774.91	c starts		: 24
1800.04/1774.91	c conflicts		: 2396429
1800.04/1774.91	c decisions		: 8763453
1800.04/1774.91	c propagations		: 634316022
1800.04/1774.91	c inspects		: 13794911045
1800.04/1774.91	c learnt literals	: 101
1800.04/1774.91	c learnt binary clauses	: 1216
1800.04/1774.91	c learnt ternary clauses	: 7625
1800.04/1774.91	c learnt clauses	: 2396328
1800.04/1774.91	c root simplifications	: 0
1800.04/1774.91	c removed literals (reason simplification)	: 0
1800.04/1774.91	c reason swapping (by a shorter reason)	: 0
1800.04/1774.91	c Calls to reduceDB	: 423
1800.04/1774.91	c speed (decisions/second)	: 4942.879784764897
1800.04/1774.91	c non guided choices	163248
1800.04/1774.91	s UNKNOWN
1800.04/1774.91	c Total wall clock time (ms): 1774.798

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740986-1338739272/watcher-3740986-1338739272 -o /tmp/evaluation-result-3740986-1338739272/solver-3740986-1338739272 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3740986-1338739272.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 10202
/proc/meminfo: memFree=26831404/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10202/stat : 10202 (java) D 10200 10202 5567 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 339994249 9515008 175 33554432000 1073741824 1073778376 140737019832544 140737019815272 209097409424 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10202/statm: 2323 175 133 9 0 71 0

[startup+0.0734079 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 10202
/proc/meminfo: memFree=26831404/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 4053 0 1 0 4 1 0 0 20 0 18 0 339994249 3027767296 5772 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 739201 5773 1764 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804

[startup+0.100334 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 10202
/proc/meminfo: memFree=26831404/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 4142 0 1 0 7 1 0 0 20 0 18 0 339994249 3028844544 5860 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 739464 5860 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300294 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 10202
/proc/meminfo: memFree=26831404/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=2957856 CPUtime=0.43 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 5599 0 1 0 41 2 0 0 20 0 18 0 339994249 3028844544 9196 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 739464 9196 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856

[startup+0.700322 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 10202
/proc/meminfo: memFree=26831404/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=2957856 CPUtime=1.55 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 13127 0 1 0 149 6 0 0 20 0 18 0 339994249 3028844544 36275 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 739464 36275 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 2957856

[startup+1.50081 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10220
/proc/meminfo: memFree=26540820/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=2957856 CPUtime=2.48 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 13360 0 1 0 233 15 0 0 20 0 18 0 339994249 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 739464 117724 2270 9 0 729885 0
[pid=10202/tid=10204] ppid=10200 vsize=2957856 CPUtime=1.43 cores=1,3,5,7
/proc/10202/task/10204/stat : 10204 (java) R 10200 10202 5567 0 -1 4202560 3232 0 1 0 134 9 0 0 20 0 18 0 339994250 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140601179752 209100793101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10205] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10205/stat : 10205 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140584606504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10206] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10206/stat : 10206 (java) S 10200 10202 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140583553704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10207] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10207/stat : 10207 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140582501416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10208] ppid=10200 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/10202/task/10208/stat : 10208 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140581448616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10209] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10209/stat : 10209 (java) S 10200 10202 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140580395304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10210] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10210/stat : 10210 (java) S 10200 10202 5567 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140579342504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10211] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10211/stat : 10211 (java) S 10200 10202 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140578290216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10212] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10212/stat : 10212 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339994251 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140577237416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10213] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10213/stat : 10213 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339994252 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140564826856 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10214] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10214/stat : 10214 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339994253 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140563772920 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10215] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10215/stat : 10215 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339994253 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140562720520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10216] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10216/stat : 10216 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339994256 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140561669008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10217] ppid=10200 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4273 0 0 0 41 0 0 0 20 0 18 0 339994256 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4613 0 0 0 45 2 0 0 20 0 18 0 339994256 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339994256 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339994256 3028844544 117724 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 2957856

[startup+3.10084 s]
/proc/loadavg: 2.01 2.00 2.00 4/214 10221
/proc/meminfo: memFree=26368160/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=3024420 CPUtime=4.61 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 13461 0 1 0 441 20 0 0 20 0 19 0 339994249 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 756105 126461 2290 9 0 746526 0
[pid=10202/tid=10204] ppid=10200 vsize=3024420 CPUtime=2.97 cores=1,3,5,7
/proc/10202/task/10204/stat : 10204 (java) R 10200 10202 5567 0 -1 4202560 3245 0 1 0 288 9 0 0 20 0 19 0 339994250 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140601179416 140140438482210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10205] ppid=10200 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/10202/task/10205/stat : 10205 (java) S 10200 10202 5567 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140584606504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10206] ppid=10200 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10202/task/10206/stat : 10206 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140583553704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10207] ppid=10200 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10202/task/10207/stat : 10207 (java) S 10200 10202 5567 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140582501416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10208] ppid=10200 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10202/task/10208/stat : 10208 (java) S 10200 10202 5567 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140581448616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10209] ppid=10200 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/10202/task/10209/stat : 10209 (java) S 10200 10202 5567 0 -1 4202560 24 0 0 0 4 1 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140580395304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10210] ppid=10200 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10202/task/10210/stat : 10210 (java) S 10200 10202 5567 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140579342504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10211] ppid=10200 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/10202/task/10211/stat : 10211 (java) S 10200 10202 5567 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140578290216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10212] ppid=10200 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/10202/task/10212/stat : 10212 (java) S 10200 10202 5567 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 339994251 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140577237416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10213] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10213/stat : 10213 (java) S 10200 10202 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339994252 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140564826856 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10214] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10214/stat : 10214 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140563772920 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10215] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10215/stat : 10215 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140562720520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10216] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10216/stat : 10216 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140561669008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10217] ppid=10200 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4276 0 0 0 59 0 0 0 20 0 19 0 339994256 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4620 0 0 0 64 2 0 0 20 0 19 0 339994256 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10221] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10221/stat : 10221 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339994446 3097006080 126461 33554432000 1073741824 1073778376 140736341256528 140140437562792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 3024420

[startup+6.30083 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 10221
/proc/meminfo: memFree=26310320/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=3024420 CPUtime=8.13 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 13525 0 1 0 788 25 0 0 20 0 19 0 339994249 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 756105 132528 2290 9 0 746526 0
[pid=10202/tid=10204] ppid=10200 vsize=3024420 CPUtime=6.05 cores=1,3,5,7
/proc/10202/task/10204/stat : 10204 (java) R 10200 10202 5567 0 -1 4202560 3251 0 1 0 596 9 0 0 20 0 19 0 339994250 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140601179296 140140438374554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10205] ppid=10200 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/10202/task/10205/stat : 10205 (java) S 10200 10202 5567 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140584606504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10206] ppid=10200 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/10202/task/10206/stat : 10206 (java) S 10200 10202 5567 0 -1 4202560 10 0 0 0 5 0 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140583553704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10207] ppid=10200 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/10202/task/10207/stat : 10207 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 3 1 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140582501416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10208] ppid=10200 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/10202/task/10208/stat : 10208 (java) S 10200 10202 5567 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140581448616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10209] ppid=10200 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10202/task/10209/stat : 10209 (java) S 10200 10202 5567 0 -1 4202560 38 0 0 0 13 3 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140580395304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10210] ppid=10200 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/10202/task/10210/stat : 10210 (java) S 10200 10202 5567 0 -1 4202560 18 0 0 0 3 2 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140579342504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10211] ppid=10200 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/10202/task/10211/stat : 10211 (java) S 10200 10202 5567 0 -1 4202560 15 0 0 0 4 1 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140578290216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10212] ppid=10200 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/10202/task/10212/stat : 10212 (java) S 10200 10202 5567 0 -1 4202560 31 0 0 0 6 2 0 0 20 0 19 0 339994251 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140577237416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10213] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10213/stat : 10213 (java) S 10200 10202 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339994252 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140564826856 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10214] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10214/stat : 10214 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140563772920 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10215] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10215/stat : 10215 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140562720520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10216] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10216/stat : 10216 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140561669008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10217] ppid=10200 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4276 0 0 0 60 0 0 0 20 0 19 0 339994256 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4620 0 0 0 67 2 0 0 20 0 19 0 339994256 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10221] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10221/stat : 10221 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339994446 3097006080 132528 33554432000 1073741824 1073778376 140736341256528 140140437562792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.13
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 10221
/proc/meminfo: memFree=26240356/32873844 swapFree=7128/7128

################
# More data... #
################

[pid=10202/tid=10217] ppid=10200 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4283 0 0 0 61 0 0 0 20 0 19 0 339994256 3097006080 421626 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4632 0 0 0 78 2 0 0 20 0 19 0 339994256 3097006080 421626 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421626 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 95 0 0 0 49 40 0 0 20 0 19 0 339994256 3097006080 421626 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10221] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10221/stat : 10221 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339994446 3097006080 421626 33554432000 1073741824 1073778376 140736341256528 140140437562792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1686.54
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 10293
/proc/meminfo: memFree=25150904/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=3024420 CPUtime=1746.99 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 18023 0 1 0 174520 179 0 0 20 0 19 0 339994249 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 756105 421672 2306 9 0 746526 0
[pid=10202/tid=10204] ppid=10200 vsize=3024420 CPUtime=1708.64 cores=1,3,5,7
/proc/10202/task/10204/stat : 10204 (java) R 10200 10202 5567 0 -1 4202560 3571 0 1 0 170828 36 0 0 20 0 19 0 339994250 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140601179472 140140438578896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10205] ppid=10200 vsize=3024420 CPUtime=4.07 cores=1,3,5,7
/proc/10202/task/10205/stat : 10205 (java) S 10200 10202 5567 0 -1 4202560 449 0 0 0 389 18 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140584606504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10206] ppid=10200 vsize=3024420 CPUtime=4.01 cores=1,3,5,7
/proc/10202/task/10206/stat : 10206 (java) S 10200 10202 5567 0 -1 4202560 430 0 0 0 384 17 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140583553704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10207] ppid=10200 vsize=3024420 CPUtime=3.77 cores=1,3,5,7
/proc/10202/task/10207/stat : 10207 (java) S 10200 10202 5567 0 -1 4202560 396 0 0 0 364 13 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140582501416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10208] ppid=10200 vsize=3024420 CPUtime=4.1 cores=1,3,5,7
/proc/10202/task/10208/stat : 10208 (java) S 10200 10202 5567 0 -1 4202560 469 0 0 0 394 16 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140581448616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10209] ppid=10200 vsize=3024420 CPUtime=3.87 cores=1,3,5,7
/proc/10202/task/10209/stat : 10209 (java) S 10200 10202 5567 0 -1 4202560 424 0 0 0 369 18 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140580395304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10210] ppid=10200 vsize=3024420 CPUtime=3.91 cores=1,3,5,7
/proc/10202/task/10210/stat : 10210 (java) S 10200 10202 5567 0 -1 4202560 383 0 0 0 377 14 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140579342504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10211] ppid=10200 vsize=3024420 CPUtime=3.83 cores=1,3,5,7
/proc/10202/task/10211/stat : 10211 (java) S 10200 10202 5567 0 -1 4202560 409 0 0 0 370 13 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140578290216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10212] ppid=10200 vsize=3024420 CPUtime=3.93 cores=1,3,5,7
/proc/10202/task/10212/stat : 10212 (java) S 10200 10202 5567 0 -1 4202560 443 0 0 0 377 16 0 0 20 0 19 0 339994251 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140577237416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10213] ppid=10200 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/10202/task/10213/stat : 10213 (java) S 10200 10202 5567 0 -1 4202560 854 0 0 0 31 2 0 0 20 0 19 0 339994252 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140564826856 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10214] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10214/stat : 10214 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140563772920 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10215] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10215/stat : 10215 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140562720520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10216] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10216/stat : 10216 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140561669008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10217] ppid=10200 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4283 0 0 0 61 0 0 0 20 0 19 0 339994256 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4632 0 0 0 78 2 0 0 20 0 19 0 339994256 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 99 0 0 0 51 41 0 0 20 0 19 0 339994256 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10221] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10221/stat : 10221 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339994446 3097006080 421672 33554432000 1073741824 1073778376 140736341256528 140140437562792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1746.99
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 10296
/proc/meminfo: memFree=25150524/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 18045 0 1 0 179822 182 0 0 20 0 19 0 339994249 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 756105 421682 2306 9 0 746526 0
[pid=10202/tid=10204] ppid=10200 vsize=3024420 CPUtime=1760.96 cores=1,3,5,7
/proc/10202/task/10204/stat : 10204 (java) R 10200 10202 5567 0 -1 4202560 3577 0 1 0 176059 37 0 0 20 0 19 0 339994250 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140601179312 140140438579273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10205] ppid=10200 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/10202/task/10205/stat : 10205 (java) S 10200 10202 5567 0 -1 4202560 451 0 0 0 396 18 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140584606504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10206] ppid=10200 vsize=3024420 CPUtime=4.07 cores=1,3,5,7
/proc/10202/task/10206/stat : 10206 (java) S 10200 10202 5567 0 -1 4202560 430 0 0 0 390 17 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140583553704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10207] ppid=10200 vsize=3024420 CPUtime=3.86 cores=1,3,5,7
/proc/10202/task/10207/stat : 10207 (java) S 10200 10202 5567 0 -1 4202560 396 0 0 0 373 13 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140582501416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10208] ppid=10200 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/10202/task/10208/stat : 10208 (java) S 10200 10202 5567 0 -1 4202560 469 0 0 0 398 16 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140581448616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10209] ppid=10200 vsize=3024420 CPUtime=3.94 cores=1,3,5,7
/proc/10202/task/10209/stat : 10209 (java) S 10200 10202 5567 0 -1 4202560 427 0 0 0 376 18 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140580395304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10210] ppid=10200 vsize=3024420 CPUtime=3.99 cores=1,3,5,7
/proc/10202/task/10210/stat : 10210 (java) S 10200 10202 5567 0 -1 4202560 383 0 0 0 385 14 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140579342504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10211] ppid=10200 vsize=3024420 CPUtime=3.88 cores=1,3,5,7
/proc/10202/task/10211/stat : 10211 (java) S 10200 10202 5567 0 -1 4202560 414 0 0 0 375 13 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140578290216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10212] ppid=10200 vsize=3024420 CPUtime=4.03 cores=1,3,5,7
/proc/10202/task/10212/stat : 10212 (java) S 10200 10202 5567 0 -1 4202560 443 0 0 0 387 16 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140577237416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10213] ppid=10200 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/10202/task/10213/stat : 10213 (java) S 10200 10202 5567 0 -1 4202560 856 0 0 0 31 3 0 0 20 0 19 0 339994252 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140564826856 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10214] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10214/stat : 10214 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140563772920 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10215] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10215/stat : 10215 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140562720520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10216] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10216/stat : 10216 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140561669008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10217] ppid=10200 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4283 0 0 0 61 0 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4632 0 0 0 78 2 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 103 0 0 0 52 43 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10221] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10221/stat : 10221 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339994446 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140437562792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1774.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 10296
/proc/meminfo: memFree=25150524/32873844 swapFree=7128/7128
[pid=10202] ppid=10200 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/10202/stat : 10202 (java) S 10200 10202 5567 0 -1 4202496 18045 0 1 0 179822 182 0 0 20 0 19 0 339994249 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140736341247664 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10202/statm: 756105 421682 2306 9 0 746526 0
[pid=10202/tid=10204] ppid=10200 vsize=3024420 CPUtime=1760.96 cores=1,3,5,7
/proc/10202/task/10204/stat : 10204 (java) R 10200 10202 5567 0 -1 4202560 3577 0 1 0 176059 37 0 0 20 0 19 0 339994250 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140601179312 140140438579273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10205] ppid=10200 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/10202/task/10205/stat : 10205 (java) S 10200 10202 5567 0 -1 4202560 451 0 0 0 396 18 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140584606504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10206] ppid=10200 vsize=3024420 CPUtime=4.07 cores=1,3,5,7
/proc/10202/task/10206/stat : 10206 (java) S 10200 10202 5567 0 -1 4202560 430 0 0 0 390 17 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140583553704 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10207] ppid=10200 vsize=3024420 CPUtime=3.86 cores=1,3,5,7
/proc/10202/task/10207/stat : 10207 (java) S 10200 10202 5567 0 -1 4202560 396 0 0 0 373 13 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140582501416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10208] ppid=10200 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/10202/task/10208/stat : 10208 (java) S 10200 10202 5567 0 -1 4202560 469 0 0 0 398 16 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140581448616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10209] ppid=10200 vsize=3024420 CPUtime=3.94 cores=1,3,5,7
/proc/10202/task/10209/stat : 10209 (java) S 10200 10202 5567 0 -1 4202560 427 0 0 0 376 18 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140580395304 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10210] ppid=10200 vsize=3024420 CPUtime=3.99 cores=1,3,5,7
/proc/10202/task/10210/stat : 10210 (java) S 10200 10202 5567 0 -1 4202560 383 0 0 0 385 14 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140579342504 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10202/tid=10211] ppid=10200 vsize=3024420 CPUtime=3.88 cores=1,3,5,7
/proc/10202/task/10211/stat : 10211 (java) S 10200 10202 5567 0 -1 4202560 414 0 0 0 375 13 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140578290216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10212] ppid=10200 vsize=3024420 CPUtime=4.03 cores=1,3,5,7
/proc/10202/task/10212/stat : 10212 (java) S 10200 10202 5567 0 -1 4202560 443 0 0 0 387 16 0 0 20 0 19 0 339994251 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140577237416 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10213] ppid=10200 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/10202/task/10213/stat : 10213 (java) S 10200 10202 5567 0 -1 4202560 856 0 0 0 31 3 0 0 20 0 19 0 339994252 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140564826856 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10214] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10214/stat : 10214 (java) S 10200 10202 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140563772920 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10215] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10215/stat : 10215 (java) S 10200 10202 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339994253 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140562720520 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10216] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10216/stat : 10216 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140561669008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10217] ppid=10200 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/10202/task/10217/stat : 10217 (java) S 10200 10202 5567 0 -1 4202560 4283 0 0 0 61 0 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140560615608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10218] ppid=10200 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/10202/task/10218/stat : 10218 (java) S 10200 10202 5567 0 -1 4202560 4632 0 0 0 78 2 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140559562808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10202/tid=10219] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10219/stat : 10219 (java) S 10200 10202 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140558510712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10202/tid=10220] ppid=10200 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/10202/task/10220/stat : 10220 (java) S 10200 10202 5567 0 -1 4202560 103 0 0 0 52 43 0 0 20 0 19 0 339994256 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140557458120 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10202/tid=10221] ppid=10200 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10202/task/10221/stat : 10221 (java) S 10200 10202 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339994446 3097006080 421682 33554432000 1073741824 1073778376 140736341256528 140140437562792 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10202 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=738310
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=234660
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1774.92
CPU time (s): 1800.04
CPU user time (s): 1798.22
CPU system time (s): 1.82
CPU usage (%): 101.415
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.74
system time used= 2.23466
maximum resident set size= 1688156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18081
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47572
involuntary context switches= 77044

runsolver used 4.92125 second user time and 17.6433 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 18:01:12
IDJOB=3740986
IDBENCH=89726
IDSOLVER=2319
FILE ID=node105/3740986-1338739272
RUNJOBID= node105-1338714526-5584
PBS_JOBID= 14636755
Free space on /tmp= 71220 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-48.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740986-1338739272/watcher-3740986-1338739272 -o /tmp/evaluation-result-3740986-1338739272/solver-3740986-1338739272 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3740986-1338739272.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bcbd6cca7644150bcdcbd185d4571ad6
RANDOM SEED=1499889056

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26832048 kB
Buffers:          561540 kB
Cached:          3635004 kB
SwapCached:         1700 kB
Active:          2053244 kB
Inactive:        3103428 kB
Active(anon):     956248 kB
Inactive(anon):     4800 kB
Active(file):    1096996 kB
Inactive(file):  3098628 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             12900 kB
Writeback:             0 kB
AnonPages:        964288 kB
Mapped:            17204 kB
Shmem:                 0 kB
Slab:             742568 kB
SReclaimable:     184020 kB
SUnreclaim:       558548 kB
KernelStack:        1616 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    921600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71212 MiB
End job on node105 at 2012-06-03 18:30:49