Trace number 3744122

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 1760.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_2_mh.opb
MD5SUM99b9d857fa76010de9eccc60c212aa45
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6197734
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 122763473
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 13620914685
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 122763473
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 13620914685
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3744122-1338793935.opb
0.09/0.10	c reading problem ... 
1.77/0.93	c ... done. Wall clock time 0.827s.
1.77/0.93	c CPU time (experimental) 0.89s.
1.77/0.93	c #vars     31350
1.77/0.93	c #constraints  74533
351.74/341.79	c cleaning 258934 clauses out of 518000 for limit 0.23055215258942335
355.44/345.40	c cleaning 131263 clauses out of 262566 for limit 15.088694385280558
358.10/347.95	c cleaning 67374 clauses out of 134805 for limit 976.8871166877673
359.43/349.25	c cleaning 34378 clauses out of 68929 for limit 8551.593379845126
364.96/354.62	c cleaning 21179 clauses out of 42551 for limit 4.146039558401509E7
370.08/359.63	c cleaning 13851 clauses out of 27872 for limit 4.223783120286583E10
373.05/362.50	c cleaning 8902 clauses out of 18023 for limit 3.5806245128521987E12
375.61/365.03	c cleaning 6498 clauses out of 13119 for limit 2.685735277178186E-6
379.81/369.10	c cleaning 6212 clauses out of 12621 for limit 0.0011296419533388853
381.15/370.47	c cleaning 4119 clauses out of 8409 for limit 0.012540468897559852
382.53/371.75	c cleaning 2815 clauses out of 5791 for limit 0.08175357175141507
385.10/374.29	c cleaning 3155 clauses out of 6475 for limit 2.423132849517001
386.22/375.36	c cleaning 2333 clauses out of 4820 for limit 14.599487841581595
388.67/377.78	c cleaning 2907 clauses out of 5990 for limit 390.88821862156027
390.12/379.18	c cleaning 2431 clauses out of 5080 for limit 3398.878998573624
391.58/380.53	c cleaning 2242 clauses out of 4649 for limit 27470.300987614348
392.99/381.96	c cleaning 2122 clauses out of 4410 for limit 214838.17674332482
394.23/383.10	c cleaning 1803 clauses out of 3785 for limit 1119304.6019787842
396.79/385.63	c cleaning 2653 clauses out of 5482 for limit 2.5636949685096826E7
398.03/386.84	c cleaning 2060 clauses out of 4329 for limit 1.4560807403054842E8
399.36/388.12	c cleaning 1804 clauses out of 3769 for limit 7.500920574629061E8
400.40/389.10	c cleaning 1655 clauses out of 3466 for limit 3.66196609277629E9
401.73/390.44	c cleaning 1821 clauses out of 3812 for limit 2.465176647031018E10
402.97/391.61	c cleaning 1743 clauses out of 3489 for limit 1.2055871350869118E11
404.20/392.86	c cleaning 1621 clauses out of 3246 for limit 5.811907851992231E11
405.43/394.08	c cleaning 1561 clauses out of 3125 for limit 2.7076023026277217E12
406.66/395.28	c cleaning 1452 clauses out of 3065 for limit 1.239386012275629E13
408.00/396.58	c cleaning 1803 clauses out of 3612 for limit 7.771026033191869E13
409.21/397.78	c cleaning 1604 clauses out of 3309 for limit 3.80449483968507E14
410.65/399.20	c cleaning 1832 clauses out of 3705 for limit 2.513211870072952E-5
752.85/734.14	c cleaning 234846 clauses out of 469873 for limit 4.451917059430945E-4
757.38/738.58	c cleaning 119744 clauses out of 239530 for limit 0.0790267567272001
760.02/741.13	c cleaning 61118 clauses out of 122286 for limit 1.8881512000413814
762.60/743.64	c cleaning 31756 clauses out of 63667 for limit 44.192039518640875
764.66/745.69	c cleaning 17116 clauses out of 34411 for limit 997.3338811372116
766.40/747.38	c cleaning 9545 clauses out of 19295 for limit 13155.780892195675
929.73/907.97	c cleaning 97334 clauses out of 194751 for limit 3163.693653997894
931.80/910.00	c cleaning 50618 clauses out of 101414 for limit 331375.020678788
939.47/917.45	c cleaning 33794 clauses out of 67797 for limit 1.2087649922791445E13
942.24/920.18	c cleaning 19734 clauses out of 39502 for limit 5.0852640829371136E-5
945.21/923.01	c cleaning 13125 clauses out of 26269 for limit 0.051079907041635675
946.94/924.70	c cleaning 8485 clauses out of 17143 for limit 4.277789379460113
948.39/926.19	c cleaning 5982 clauses out of 12158 for limit 200.0945652952182
949.72/927.48	c cleaning 4746 clauses out of 9676 for limit 8340.513343177841
951.26/928.99	c cleaning 4364 clauses out of 8930 for limit 494406.6212798173
952.60/930.23	c cleaning 3942 clauses out of 8067 for limit 1.8173953023262337E7
953.95/931.55	c cleaning 3718 clauses out of 7624 for limit 6.372873057028313E8
955.37/932.90	c cleaning 3604 clauses out of 7406 for limit 2.176334550209535E10
956.71/934.21	c cleaning 3647 clauses out of 7302 for limit 7.322489285459484E11
958.05/935.51	c cleaning 3474 clauses out of 7155 for limit 2.4790320665928156E13
959.30/936.79	c cleaning 3088 clauses out of 6181 for limit 3.500358079039647E14
960.62/938.06	c cleaning 2781 clauses out of 5593 for limit 4.718520359818028E-5
961.98/939.31	c cleaning 2583 clauses out of 5312 for limit 6.059991588186956E-4
963.32/940.62	c cleaning 2761 clauses out of 5730 for limit 0.011312153758001904
964.86/942.12	c cleaning 3130 clauses out of 6468 for limit 0.3321135597100489
966.18/943.44	c cleaning 3087 clauses out of 6339 for limit 6.823476510620517
967.61/944.86	c cleaning 3534 clauses out of 7251 for limit 326.0176644015887
969.03/946.29	c cleaning 3508 clauses out of 7217 for limit 10866.096076621076
970.58/947.71	c cleaning 3506 clauses out of 7211 for limit 361488.9139793879
971.91/949.05	c cleaning 3253 clauses out of 6703 for limit 7807060.730320147
973.34/950.41	c cleaning 2885 clauses out of 5950 for limit 1.0728011895955107E8
974.58/951.60	c cleaning 2695 clauses out of 5567 for limit 1.401404311958251E9
1205.37/1177.69	c cleaning 220384 clauses out of 440874 for limit 0.0036719454982375847
1215.50/1187.53	c cleaning 119961 clauses out of 239986 for limit 1996486.3863696377
1217.93/1189.90	c cleaning 61970 clauses out of 124025 for limit 2.1134409627206963E8
1219.89/1191.81	c cleaning 32961 clauses out of 66055 for limit 2.170904683302844E10
1223.18/1195.01	c cleaning 19485 clauses out of 39096 for limit 1.4871466395427088E13
1224.72/1196.55	c cleaning 11290 clauses out of 22614 for limit 5.1873743427608E-6
1227.60/1199.36	c cleaning 8646 clauses out of 17320 for limit 0.002729667109214637
1229.06/1200.71	c cleaning 5780 clauses out of 11673 for limit 0.08139090907337036
1230.39/1202.08	c cleaning 4631 clauses out of 9393 for limit 3.355407504329521
1231.93/1203.51	c cleaning 3816 clauses out of 7764 for limit 81.82168382934312
1233.26/1204.89	c cleaning 3413 clauses out of 6947 for limit 1837.6273705336473
1234.73/1206.27	c cleaning 3210 clauses out of 6534 for limit 39301.664288344335
1235.95/1207.48	c cleaning 3105 clauses out of 6324 for limit 816833.4845974074
1237.30/1208.80	c cleaning 3296 clauses out of 6718 for limit 2.548250344494492E7
1238.74/1210.16	c cleaning 3450 clauses out of 6922 for limit 8.204303262941134E8
1238.94/1210.39	c cleaning 1910 clauses out of 3972 for limit 2.3578704915701137E9
1240.47/1211.87	c cleaning 2772 clauses out of 5565 for limit 5.5996226671979546E10
1241.93/1213.25	c cleaning 2851 clauses out of 5790 for limit 1.0793869288858264E12
1243.35/1214.62	c cleaning 2921 clauses out of 5940 for limit 2.118551896967273E13
1244.58/1215.85	c cleaning 2703 clauses out of 5521 for limit 2.7858406012465503E14
1245.93/1217.10	c cleaning 2889 clauses out of 5815 for limit 5.304641985827304E-5
1247.25/1218.44	c cleaning 2940 clauses out of 5926 for limit 0.001047079054944317
1248.70/1219.90	c cleaning 2949 clauses out of 5988 for limit 0.020886403963116387
1248.89/1220.06	c cleaning 1719 clauses out of 3537 for limit 0.05819655390113862
1250.12/1221.27	c cleaning 2362 clauses out of 4818 for limit 0.8594108947725138
1250.32/1221.41	c cleaning 1434 clauses out of 2958 for limit 2.3130999089009006
1251.66/1222.74	c cleaning 2206 clauses out of 4522 for limit 30.375840356713635
1254.22/1225.24	c cleaning 3112 clauses out of 6316 for limit 1189.7722475078122
1255.45/1226.47	c cleaning 2804 clauses out of 5706 for limit 16096.173587739031
1255.65/1226.62	c cleaning 1650 clauses out of 3400 for limit 44459.273402537045
1256.78/1227.80	c cleaning 2050 clauses out of 4250 for limit 433842.18907174247
1258.30/1229.26	c cleaning 2593 clauses out of 5200 for limit 7132679.194448867
1259.64/1230.58	c cleaning 2524 clauses out of 5107 for limit 8.858692198497996E7
1260.87/1231.72	c cleaning 2536 clauses out of 5084 for limit 1.0865353859879367E9
1261.08/1231.94	c cleaning 1465 clauses out of 3054 for limit 3.000843465433376E9
1262.25/1233.07	c cleaning 1984 clauses out of 4086 for limit 2.7276579702900326E10
1262.44/1233.27	c cleaning 1240 clauses out of 2599 for limit 7.050734256000543E10
1263.59/1234.32	c cleaning 1921 clauses out of 3858 for limit 5.787930742516077E11
1263.79/1234.53	c cleaning 1196 clauses out of 2438 for limit 1.5119667708296467E12
1265.03/1235.79	c cleaning 2085 clauses out of 4244 for limit 1.750672534053713E13
1266.46/1237.10	c cleaning 2572 clauses out of 5157 for limit 2.8923407779543444E14
1486.17/1452.42	c cleaning 210758 clauses out of 421587 for limit 4.0743817547763345E-6
1492.12/1458.21	c cleaning 109651 clauses out of 219326 for limit 0.038539435988354596
1495.79/1461.86	c cleaning 57580 clauses out of 115175 for limit 18.007441349719286
1497.32/1463.31	c cleaning 30270 clauses out of 60596 for limit 689.185460611528
1498.56/1464.57	c cleaning 16633 clauses out of 33336 for limit 25453.47112496068
1501.44/1467.31	c cleaning 11303 clauses out of 22692 for limit 1.4965069675352775E7
1502.68/1468.52	c cleaning 6913 clauses out of 13890 for limit 2.985129794619094E8
1506.52/1472.22	c cleaning 6951 clauses out of 13976 for limit 3.261598354082615E11
1508.89/1474.59	c cleaning 5710 clauses out of 11528 for limit 3.578210797190874E13
1510.21/1475.83	c cleaning 4143 clauses out of 8318 for limit 6.048955766111527E-6
1511.55/1477.15	c cleaning 3312 clauses out of 6672 for limit 9.171052652279462E-5
1514.03/1479.59	c cleaning 4138 clauses out of 8360 for limit 0.010889998428315412
1515.24/1480.76	c cleaning 3339 clauses out of 6722 for limit 0.16520189374587907
1516.59/1482.08	c cleaning 3163 clauses out of 6383 for limit 3.4996451203596703
1518.02/1483.44	c cleaning 3075 clauses out of 6221 for limit 72.3033607145915
1519.47/1484.82	c cleaning 3040 clauses out of 6146 for limit 1472.1818242544769
1520.72/1486.09	c cleaning 2771 clauses out of 5605 for limit 19670.8584765267
1521.97/1487.25	c cleaning 2633 clauses out of 5334 for limit 252130.48222755975
1523.31/1488.53	c cleaning 2821 clauses out of 5701 for limit 4745288.777817695
1524.34/1489.55	c cleaning 2404 clauses out of 4880 for limit 4.100316812064266E7
1525.69/1490.88	c cleaning 2457 clauses out of 4976 for limit 4.9049693651139355E8
1527.03/1492.14	c cleaning 2508 clauses out of 5020 for limit 5.936451179977037E9
1528.18/1493.23	c cleaning 2222 clauses out of 4512 for limit 4.88523066816777E10
1529.40/1494.47	c cleaning 2395 clauses out of 4792 for limit 5.621934934703257E11
1530.46/1495.44	c cleaning 2197 clauses out of 4395 for limit 4.524788348578224E12
1530.66/1495.66	c cleaning 1312 clauses out of 2699 for limit 1.2163110803652355E13
1531.68/1496.62	c cleaning 1655 clauses out of 3385 for limit 7.158852248737611E13
1532.91/1497.81	c cleaning 2083 clauses out of 4232 for limit 6.998498465434002E14
1534.25/1499.11	c cleaning 2316 clauses out of 4647 for limit 7.75868767508919E-5
1535.19/1500.08	c cleaning 2160 clauses out of 4332 for limit 6.162125713200926E-4
1535.49/1500.31	c cleaning 1297 clauses out of 2671 for limit 0.0016465180242856412
1536.62/1501.46	c cleaning 1893 clauses out of 3874 for limit 0.013847143597379204
1537.85/1502.67	c cleaning 2194 clauses out of 4482 for limit 0.14613757854493317
1539.18/1503.95	c cleaning 2611 clauses out of 5287 for limit 2.4895752568953577
1540.33/1505.07	c cleaning 2808 clauses out of 5676 for limit 46.647406694984156
1540.53/1505.22	c cleaning 1653 clauses out of 3368 for limit 129.64438015698695
1541.66/1506.34	c cleaning 2079 clauses out of 4216 for limit 1264.5590764246388
1541.86/1506.51	c cleaning 1291 clauses out of 2640 for limit 3340.3749698421116
1543.09/1507.74	c cleaning 2145 clauses out of 4345 for limit 40663.676511838974
1544.45/1509.04	c cleaning 2574 clauses out of 5202 for limit 684589.794043697
1545.57/1510.15	c cleaning 2531 clauses out of 5126 for limit 8457316.38793376
1545.78/1510.37	c cleaning 1514 clauses out of 3096 for limit 2.3115358131958578E7
1547.00/1511.57	c cleaning 2019 clauses out of 4082 for limit 2.1384938869640923E8
1548.13/1512.69	c cleaning 2280 clauses out of 4563 for limit 2.3335116841388826E9
1548.43/1512.92	c cleaning 1391 clauses out of 2782 for limit 6.305575035985304E9
1549.46/1513.97	c cleaning 1664 clauses out of 3392 for limit 3.828988306294348E10
1550.71/1515.19	c cleaning 2113 clauses out of 4227 for limit 3.744144135045671E11
1552.06/1516.44	c cleaning 2307 clauses out of 4614 for limit 4.1839515977519688E12
1552.26/1516.64	c cleaning 1368 clauses out of 2808 for limit 1.1348998464198664E13
1553.48/1517.89	c cleaning 1941 clauses out of 3939 for limit 9.858562252446127E13
1554.82/1519.11	c cleaning 2237 clauses out of 4499 for limit 1.053895421106298E-5
1556.05/1520.33	c cleaning 2342 clauses out of 4761 for limit 1.213557203709554E-4
1557.38/1521.64	c cleaning 2431 clauses out of 4919 for limit 0.001432719086498882
1558.52/1522.73	c cleaning 2463 clauses out of 4988 for limit 0.017234189316768355
1558.72/1522.92	c cleaning 1481 clauses out of 3026 for limit 0.04689632158760414
1559.75/1523.97	c cleaning 1993 clauses out of 4044 for limit 0.4276037244511111
1560.99/1525.12	c cleaning 2242 clauses out of 4552 for limit 4.638358577887376
1561.19/1525.30	c cleaning 1364 clauses out of 2810 for limit 12.391279129282527
1562.32/1526.42	c cleaning 2182 clauses out of 4445 for limit 157.41695414758635
1563.57/1527.66	c cleaning 2850 clauses out of 5767 for limit 4041.1277060430275
1563.78/1527.83	c cleaning 1673 clauses out of 3414 for limit 11223.837269265698
1564.92/1528.91	c cleaning 2332 clauses out of 4740 for limit 162452.85446664455
1565.11/1529.11	c cleaning 1418 clauses out of 2908 for limit 436683.89290223434
1566.22/1530.23	c cleaning 2208 clauses out of 4490 for limit 5689191.552200304
1566.42/1530.44	c cleaning 1353 clauses out of 2785 for limit 1.5171590788914936E7
1567.45/1531.49	c cleaning 1965 clauses out of 3931 for limit 1.3097795316164544E8
1567.65/1531.66	c cleaning 1195 clauses out of 2465 for limit 3.4411665661923164E8
1568.67/1532.67	c cleaning 1593 clauses out of 3273 for limit 1.9226653358202379E9
1570.10/1534.01	c cleaning 2087 clauses out of 4176 for limit 1.8307565627687115E10
1571.43/1535.30	c cleaning 2284 clauses out of 4589 for limit 2.032134584044869E11
1572.68/1536.58	c cleaning 2367 clauses out of 4806 for limit 2.3691944414009956E12
1800.04/1760.41	c starts		: 24
1800.04/1760.41	c conflicts		: 2869569
1800.04/1760.41	c decisions		: 6342459
1800.04/1760.41	c propagations		: 689457069
1800.04/1760.41	c inspects		: 7058023606
1800.04/1760.41	c learnt literals	: 0
1800.04/1760.41	c learnt binary clauses	: 115
1800.04/1760.41	c learnt ternary clauses	: 44
1800.04/1760.41	c learnt clauses	: 2869569
1800.04/1760.41	c root simplifications	: 0
1800.04/1760.41	c removed literals (reason simplification)	: 0
1800.04/1760.41	c reason swapping (by a shorter reason)	: 0
1800.04/1760.41	c Calls to reduceDB	: 174
1800.04/1760.41	c speed (decisions/second)	: 3604.9992298296356
1800.04/1760.41	c non guided choices	0
1800.04/1760.41	s UNKNOWN
1800.04/1760.41	c Total wall clock time (ms): 1760.306

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-3744122-1338793935/watcher-3744122-1338793935 -o /tmp/evaluation-result-3744122-1338793935/solver-3744122-1338793935 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744122-1338793935.opb 

running on 4 cores: 0,2,4,6

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: 1.97 1.95 1.97 2/194 8710
/proc/meminfo: memFree=26871692/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8710/stat : 8710 (java) D 8708 8710 6470 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345518004 9515008 183 33554432000 1073741824 1073778376 140737183688032 140737183679064 212073266869 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 2323 183 140 9 0 71 0

[startup+0.0188981 s]
/proc/loadavg: 1.97 1.95 1.97 2/194 8710
/proc/meminfo: memFree=26871692/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 1430 0 1 0 0 0 0 0 20 0 2 0 345518004 105127936 1110 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 25666 1110 857 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.10025 s]
/proc/loadavg: 1.97 1.95 1.97 2/194 8710
/proc/meminfo: memFree=26871692/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 4366 0 1 0 8 1 0 0 20 0 18 0 345518004 3028844544 6587 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 739464 6587 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300226 s]
/proc/loadavg: 1.97 1.95 1.97 2/194 8710
/proc/meminfo: memFree=26871692/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 5440 0 1 0 46 1 0 0 20 0 18 0 345518004 3028844544 11418 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 739464 11418 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700235 s]
/proc/loadavg: 1.97 1.95 1.97 2/194 8710
/proc/meminfo: memFree=26871692/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=2958392 CPUtime=1.24 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 8634 0 1 0 120 4 0 0 20 0 18 0 345518004 3029393408 42748 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 739598 42748 2259 9 0 730019 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 2958392

[startup+1.50069 s]
/proc/loadavg: 2.13 1.98 1.98 5/212 8728
/proc/meminfo: memFree=26602160/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=3024420 CPUtime=2.9 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 17188 0 1 0 282 8 0 0 20 0 19 0 345518004 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 756105 87486 2279 9 0 746526 0
[pid=8710/tid=8712] ppid=8708 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/8710/task/8712/stat : 8712 (java) R 8708 8710 6470 0 -1 4202560 2686 0 1 0 140 5 0 0 20 0 19 0 345518005 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904682422408 139904550926524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8713] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8713/stat : 8713 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904547719464 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8714] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8714/stat : 8714 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904546666664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8715] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8715/stat : 8715 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904545614376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8716] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8716/stat : 8716 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904544561576 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8717] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8717/stat : 8717 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904543509288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8718] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8718/stat : 8718 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904542456488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8719] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8719/stat : 8719 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904541404200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8720] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8720/stat : 8720 (java) S 8708 8710 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904540351400 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8721] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8721/stat : 8721 (java) S 8708 8710 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345518007 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904058104040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8722] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8722/stat : 8722 (java) S 8708 8710 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904057050104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8723] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8723/stat : 8723 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904055997704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8724] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8724/stat : 8724 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904054946192 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7005 0 0 0 74 2 0 0 20 0 19 0 345518010 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6302 0 0 0 64 1 0 0 20 0 19 0 345518010 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 87486 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 2.13 1.98 1.98 3/213 8729
/proc/meminfo: memFree=26401884/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=3024420 CPUtime=4.68 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 17347 0 1 0 453 15 0 0 20 0 19 0 345518004 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 756105 125403 2292 9 0 746526 0
[pid=8710/tid=8712] ppid=8708 vsize=3024420 CPUtime=2.99 cores=0,2,4,6
/proc/8710/task/8712/stat : 8712 (java) R 8708 8710 6470 0 -1 4202560 2742 0 1 0 291 8 0 0 20 0 19 0 345518005 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904682421656 139904550984322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8713] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8713/stat : 8713 (java) S 8708 8710 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904547719464 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8714] ppid=8708 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8710/task/8714/stat : 8714 (java) S 8708 8710 6470 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904546666664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8715] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8715/stat : 8715 (java) S 8708 8710 6470 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904545614376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8716] ppid=8708 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/8710/task/8716/stat : 8716 (java) S 8708 8710 6470 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904544561576 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8717] ppid=8708 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/8710/task/8717/stat : 8717 (java) S 8708 8710 6470 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904543509288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8718] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8718/stat : 8718 (java) S 8708 8710 6470 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904542456488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8719] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8719/stat : 8719 (java) S 8708 8710 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904541404200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8720] ppid=8708 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8710/task/8720/stat : 8720 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 345518006 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904540351400 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8721] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8721/stat : 8721 (java) S 8708 8710 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345518007 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904058104040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8722] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8722/stat : 8722 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904057050104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8723] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8723/stat : 8723 (java) S 8708 8710 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904055997704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8724] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8724/stat : 8724 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904054946192 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7005 0 0 0 76 2 0 0 20 0 19 0 345518010 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6302 0 0 0 64 1 0 0 20 0 19 0 345518010 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8729] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8729/stat : 8729 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518110 3097006080 125403 33554432000 1073741824 1073778376 140736123529280 139904048604072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 2.13 1.98 1.98 3/213 8729
/proc/meminfo: memFree=26378564/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=3024420 CPUtime=8.09 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 17380 0 1 0 794 15 0 0 20 0 19 0 345518004 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 756105 125944 2292 9 0 746526 0
[pid=8710/tid=8712] ppid=8708 vsize=3024420 CPUtime=6.1 cores=0,2,4,6
/proc/8710/task/8712/stat : 8712 (java) R 8708 8710 6470 0 -1 4202560 2746 0 1 0 602 8 0 0 20 0 19 0 345518005 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904682422512 139904550927790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8713] ppid=8708 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/8710/task/8713/stat : 8713 (java) S 8708 8710 6470 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904547719464 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8714] ppid=8708 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/8710/task/8714/stat : 8714 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904546666664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8715] ppid=8708 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/8710/task/8715/stat : 8715 (java) S 8708 8710 6470 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904545614376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8716] ppid=8708 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/8710/task/8716/stat : 8716 (java) S 8708 8710 6470 0 -1 4202560 35 0 0 0 8 2 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904544561576 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8717] ppid=8708 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/8710/task/8717/stat : 8717 (java) S 8708 8710 6470 0 -1 4202560 24 0 0 0 8 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904543509288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8718] ppid=8708 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/8710/task/8718/stat : 8718 (java) S 8708 8710 6470 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904542456488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8719] ppid=8708 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/8710/task/8719/stat : 8719 (java) S 8708 8710 6470 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904541404200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8720] ppid=8708 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/8710/task/8720/stat : 8720 (java) S 8708 8710 6470 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 345518006 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904540351400 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8721] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8721/stat : 8721 (java) S 8708 8710 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345518007 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904058104040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8722] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8722/stat : 8722 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904057050104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8723] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8723/stat : 8723 (java) S 8708 8710 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904055997704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8724] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8724/stat : 8724 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904054946192 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7005 0 0 0 77 2 0 0 20 0 19 0 345518010 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6302 0 0 0 64 1 0 0 20 0 19 0 345518010 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8729] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8729/stat : 8729 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518110 3097006080 125944 33554432000 1073741824 1073778376 140736123529280 139904048604072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 2.11 1.98 1.98 3/213 8729
/proc/meminfo: memFree=26261380/32873648 swapFree=7388/7388

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

[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7011 0 0 0 82 2 0 0 20 0 19 0 345518010 3097006080 423614 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6312 0 0 0 73 2 0 0 20 0 19 0 345518010 3097006080 423614 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423614 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 93 0 0 0 30 31 0 0 20 0 19 0 345518010 3097006080 423614 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8729] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8729/stat : 8729 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518110 3097006080 423614 33554432000 1073741824 1073778376 140736123529280 139904048604072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1639.55
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 8801
/proc/meminfo: memFree=24928828/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=3024420 CPUtime=1700.32 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 22841 0 1 0 169871 161 0 0 20 0 19 0 345518004 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 756105 423620 2308 9 0 746526 0
[pid=8710/tid=8712] ppid=8708 vsize=3024420 CPUtime=1641.21 cores=0,2,4,6
/proc/8710/task/8712/stat : 8712 (java) R 8708 8710 6470 0 -1 4202560 3780 0 1 0 164085 36 0 0 20 0 19 0 345518005 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904682421488 139904550878132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8713] ppid=8708 vsize=3024420 CPUtime=6.5 cores=0,2,4,6
/proc/8710/task/8713/stat : 8713 (java) S 8708 8710 6470 0 -1 4202560 491 0 0 0 635 15 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904547719464 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8714] ppid=8708 vsize=3024420 CPUtime=6.5 cores=0,2,4,6
/proc/8710/task/8714/stat : 8714 (java) S 8708 8710 6470 0 -1 4202560 458 0 0 0 637 13 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904546666664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8715] ppid=8708 vsize=3024420 CPUtime=6.55 cores=0,2,4,6
/proc/8710/task/8715/stat : 8715 (java) S 8708 8710 6470 0 -1 4202560 447 0 0 0 641 14 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904545614376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8716] ppid=8708 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/8710/task/8716/stat : 8716 (java) S 8708 8710 6470 0 -1 4202560 470 0 0 0 612 13 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904544561576 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8717] ppid=8708 vsize=3024420 CPUtime=6.57 cores=0,2,4,6
/proc/8710/task/8717/stat : 8717 (java) S 8708 8710 6470 0 -1 4202560 526 0 0 0 641 16 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904543509288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8718] ppid=8708 vsize=3024420 CPUtime=6.33 cores=0,2,4,6
/proc/8710/task/8718/stat : 8718 (java) S 8708 8710 6470 0 -1 4202560 470 0 0 0 617 16 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904542456488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8719] ppid=8708 vsize=3024420 CPUtime=6.9 cores=0,2,4,6
/proc/8710/task/8719/stat : 8719 (java) S 8708 8710 6470 0 -1 4202560 451 0 0 0 676 14 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904541404200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8720] ppid=8708 vsize=3024420 CPUtime=6.37 cores=0,2,4,6
/proc/8710/task/8720/stat : 8720 (java) S 8708 8710 6470 0 -1 4202560 445 0 0 0 623 14 0 0 20 0 19 0 345518006 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904540351400 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8721] ppid=8708 vsize=3024420 CPUtime=1.2 cores=0,2,4,6
/proc/8710/task/8721/stat : 8721 (java) S 8708 8710 6470 0 -1 4202560 701 0 0 0 115 5 0 0 20 0 19 0 345518007 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904058104040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8722] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8722/stat : 8722 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904057050104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8723] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8723/stat : 8723 (java) S 8708 8710 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904055997704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8724] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8724/stat : 8724 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904054946192 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7011 0 0 0 82 2 0 0 20 0 19 0 345518010 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6312 0 0 0 73 2 0 0 20 0 19 0 345518010 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 97 0 0 0 31 33 0 0 20 0 19 0 345518010 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8729] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8729/stat : 8729 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518110 3097006080 423620 33554432000 1073741824 1073778376 140736123529280 139904048604072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1700.32
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 8804
/proc/meminfo: memFree=24928704/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=3024420 CPUtime=1761.37 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 22875 0 1 0 175974 163 0 0 20 0 19 0 345518004 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 756105 423622 2308 9 0 746526 0
[pid=8710/tid=8712] ppid=8708 vsize=3024420 CPUtime=1700.59 cores=0,2,4,6
/proc/8710/task/8712/stat : 8712 (java) R 8708 8710 6470 0 -1 4202560 3808 0 1 0 170022 37 0 0 20 0 19 0 345518005 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904682421608 139904550966458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8713] ppid=8708 vsize=3024420 CPUtime=6.72 cores=0,2,4,6
/proc/8710/task/8713/stat : 8713 (java) S 8708 8710 6470 0 -1 4202560 493 0 0 0 657 15 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904547719464 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8714] ppid=8708 vsize=3024420 CPUtime=6.69 cores=0,2,4,6
/proc/8710/task/8714/stat : 8714 (java) S 8708 8710 6470 0 -1 4202560 458 0 0 0 656 13 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904546666664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8715] ppid=8708 vsize=3024420 CPUtime=6.73 cores=0,2,4,6
/proc/8710/task/8715/stat : 8715 (java) S 8708 8710 6470 0 -1 4202560 447 0 0 0 659 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904545614376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8716] ppid=8708 vsize=3024420 CPUtime=6.45 cores=0,2,4,6
/proc/8710/task/8716/stat : 8716 (java) S 8708 8710 6470 0 -1 4202560 470 0 0 0 631 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904544561576 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8717] ppid=8708 vsize=3024420 CPUtime=6.77 cores=0,2,4,6
/proc/8710/task/8717/stat : 8717 (java) S 8708 8710 6470 0 -1 4202560 526 0 0 0 660 17 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904543509288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8718] ppid=8708 vsize=3024420 CPUtime=6.52 cores=0,2,4,6
/proc/8710/task/8718/stat : 8718 (java) S 8708 8710 6470 0 -1 4202560 470 0 0 0 636 16 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904542456488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8719] ppid=8708 vsize=3024420 CPUtime=7.05 cores=0,2,4,6
/proc/8710/task/8719/stat : 8719 (java) S 8708 8710 6470 0 -1 4202560 451 0 0 0 691 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904541404200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8720] ppid=8708 vsize=3024420 CPUtime=6.55 cores=0,2,4,6
/proc/8710/task/8720/stat : 8720 (java) S 8708 8710 6470 0 -1 4202560 445 0 0 0 641 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904540351400 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8721] ppid=8708 vsize=3024420 CPUtime=1.2 cores=0,2,4,6
/proc/8710/task/8721/stat : 8721 (java) S 8708 8710 6470 0 -1 4202560 703 0 0 0 115 5 0 0 20 0 19 0 345518007 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904058104040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8722] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8722/stat : 8722 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904057050104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8723] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8723/stat : 8723 (java) S 8708 8710 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904055997704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8724] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8724/stat : 8724 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904054946192 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7011 0 0 0 82 2 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6312 0 0 0 73 2 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 99 0 0 0 31 35 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8729] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8729/stat : 8729 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518110 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904048604072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1761.37
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1760.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 8804
/proc/meminfo: memFree=24928712/32873648 swapFree=7388/7388
[pid=8710] ppid=8708 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/8710/stat : 8710 (java) S 8708 8710 6470 0 -1 4202496 22892 0 1 0 179840 164 0 0 20 0 19 0 345518004 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 140736123520416 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8710/statm: 756105 423622 2308 9 0 746526 0
[pid=8710/tid=8712] ppid=8708 vsize=3024420 CPUtime=1738.36 cores=0,2,4,6
/proc/8710/task/8712/stat : 8712 (java) R 8708 8710 6470 0 -1 4202560 3821 0 1 0 173798 38 0 0 20 0 19 0 345518005 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904682421592 139904550966724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8713] ppid=8708 vsize=3024420 CPUtime=6.78 cores=0,2,4,6
/proc/8710/task/8713/stat : 8713 (java) S 8708 8710 6470 0 -1 4202560 493 0 0 0 663 15 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904547719464 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8714] ppid=8708 vsize=3024420 CPUtime=6.8 cores=0,2,4,6
/proc/8710/task/8714/stat : 8714 (java) S 8708 8710 6470 0 -1 4202560 458 0 0 0 667 13 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904546666664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8715] ppid=8708 vsize=3024420 CPUtime=6.82 cores=0,2,4,6
/proc/8710/task/8715/stat : 8715 (java) S 8708 8710 6470 0 -1 4202560 447 0 0 0 668 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904545614376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8716] ppid=8708 vsize=3024420 CPUtime=6.54 cores=0,2,4,6
/proc/8710/task/8716/stat : 8716 (java) S 8708 8710 6470 0 -1 4202560 470 0 0 0 640 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904544561576 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8717] ppid=8708 vsize=3024420 CPUtime=6.91 cores=0,2,4,6
/proc/8710/task/8717/stat : 8717 (java) S 8708 8710 6470 0 -1 4202560 526 0 0 0 674 17 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904543509288 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8718] ppid=8708 vsize=3024420 CPUtime=6.61 cores=0,2,4,6
/proc/8710/task/8718/stat : 8718 (java) S 8708 8710 6470 0 -1 4202560 470 0 0 0 645 16 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904542456488 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8710/tid=8719] ppid=8708 vsize=3024420 CPUtime=7.14 cores=0,2,4,6
/proc/8710/task/8719/stat : 8719 (java) S 8708 8710 6470 0 -1 4202560 451 0 0 0 700 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904541404200 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8720] ppid=8708 vsize=3024420 CPUtime=6.68 cores=0,2,4,6
/proc/8710/task/8720/stat : 8720 (java) S 8708 8710 6470 0 -1 4202560 445 0 0 0 654 14 0 0 20 0 19 0 345518006 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904540351400 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8721] ppid=8708 vsize=3024420 CPUtime=1.21 cores=0,2,4,6
/proc/8710/task/8721/stat : 8721 (java) S 8708 8710 6470 0 -1 4202560 705 0 0 0 116 5 0 0 20 0 19 0 345518007 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904058104040 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8722] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8722/stat : 8722 (java) S 8708 8710 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904057050104 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8723] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8723/stat : 8723 (java) S 8708 8710 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345518008 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904055997704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8724] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8724/stat : 8724 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904054946192 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8725] ppid=8708 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/8710/task/8725/stat : 8725 (java) S 8708 8710 6470 0 -1 4202560 7011 0 0 0 82 2 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904053893816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8710/tid=8726] ppid=8708 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/8710/task/8726/stat : 8726 (java) S 8708 8710 6470 0 -1 4202560 6312 0 0 0 73 2 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904052841016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8727] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8727/stat : 8727 (java) S 8708 8710 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904051788920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8710/tid=8728] ppid=8708 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/8710/task/8728/stat : 8728 (java) S 8708 8710 6470 0 -1 4202560 101 0 0 0 32 35 0 0 20 0 19 0 345518010 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904050736328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8710/tid=8729] ppid=8708 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8710/task/8729/stat : 8729 (java) S 8708 8710 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345518110 3097006080 423622 33554432000 1073741824 1073778376 140736123529280 139904048604072 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8710 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=239234
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=120677
# CPU time returned by wait4() is 1796.36
# 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): 1760.42
CPU time (s): 1800.04
CPU user time (s): 1798.4
CPU system time (s): 1.64
CPU usage (%): 102.25
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 2.12068
maximum resident set size= 1695056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22923
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= 70875
involuntary context switches= 114130

runsolver used 6.51101 second user time and 14.2928 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-04 09:12:15
IDJOB=3744122
IDBENCH=92692
IDSOLVER=2319
FILE ID=node148/3744122-1338793935
RUNJOBID= node148-1338772384-6486
PBS_JOBID= 14636819
Free space on /tmp= 71312 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_2_mh.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744122-1338793935/watcher-3744122-1338793935 -o /tmp/evaluation-result-3744122-1338793935/solver-3744122-1338793935 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744122-1338793935.opb           

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

MD5SUM BENCH= 99b9d857fa76010de9eccc60c212aa45
RANDOM SEED=2023723322

node148.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		: 2667.284
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	: 5334.56
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		: 2667.284
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.94
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		: 2667.284
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.92
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		: 2667.284
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		: 2667.284
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	: 5331.90
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		: 2667.284
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		: 2667.284
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.90
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		: 2667.284
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26871692 kB
Buffers:          610204 kB
Cached:          3049156 kB
SwapCached:          628 kB
Active:          2873708 kB
Inactive:        2201832 kB
Active(anon):    1405416 kB
Inactive(anon):    10660 kB
Active(file):    1468292 kB
Inactive(file):  2191172 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:              6260 kB
Writeback:             0 kB
AnonPages:       1438388 kB
Mapped:            19144 kB
Shmem:                36 kB
Slab:             768304 kB
SReclaimable:     212316 kB
SUnreclaim:       555988 kB
KernelStack:        1600 kB
PageTables:         6932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1826780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1384448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71320 MiB
End job on node148 at 2012-06-04 09:41:38