Trace number 3263536

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1302.7 1300.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
MD5SUM5bd7c76aed56f767985526812cdb8e0e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark935.889
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses31962
Sum of the clauses size64344
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 231947
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3263536-1303570631.cnf
0.00/0.09	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.105s.
0.10/0.19	c #vars     450
0.10/0.19	c #constraints  31962
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31947
1.29/0.97	c cleaning 2497 clauses out of 5001 with flag 5001/5001
2.33/1.72	c cleaning 4245 clauses out of 8504 with flag 11001/11001
3.23/2.63	c cleaning 5629 clauses out of 11258 with flag 18000/18000
4.24/3.68	c cleaning 6808 clauses out of 13629 with flag 26000/26000
5.56/4.90	c cleaning 7907 clauses out of 15823 with flag 35002/35002
7.06/6.44	c cleaning 8957 clauses out of 17914 with flag 45000/45000
8.66/8.03	c cleaning 9978 clauses out of 19957 with flag 56000/56000
10.47/9.88	c cleaning 10980 clauses out of 21982 with flag 68003/68003
12.57/11.93	c cleaning 11993 clauses out of 23999 with flag 81000/81000
14.77/14.18	c cleaning 13004 clauses out of 26011 with flag 95005/95005
17.18/16.59	c cleaning 13986 clauses out of 28002 with flag 110000/110000
19.88/19.22	c cleaning 14994 clauses out of 30016 with flag 126000/126000
22.88/22.26	c cleaning 15997 clauses out of 32023 with flag 143001/143001
26.09/25.46	c cleaning 17007 clauses out of 34025 with flag 161000/161000
29.60/29.00	c cleaning 18004 clauses out of 36020 with flag 180002/180002
33.40/32.73	c cleaning 19009 clauses out of 38017 with flag 200003/200003
37.44/36.83	c cleaning 19986 clauses out of 40005 with flag 221000/221000
42.11/41.15	c cleaning 21002 clauses out of 42019 with flag 243000/243000
46.41/45.49	c cleaning 22004 clauses out of 44017 with flag 266000/266000
51.41/50.41	c cleaning 22998 clauses out of 46014 with flag 290001/290001
57.02/56.09	c cleaning 24002 clauses out of 48015 with flag 315000/315000
62.52/61.53	c cleaning 24997 clauses out of 50014 with flag 341001/341001
68.34/67.37	c cleaning 25998 clauses out of 52016 with flag 368000/368000
74.24/73.28	c cleaning 26997 clauses out of 54018 with flag 396000/396000
80.75/79.71	c cleaning 27993 clauses out of 56023 with flag 425002/425002
87.65/86.60	c cleaning 29005 clauses out of 58028 with flag 455000/455000
94.76/93.78	c cleaning 30002 clauses out of 60025 with flag 486002/486002
102.57/101.55	c cleaning 31007 clauses out of 62022 with flag 518001/518001
110.37/109.34	c cleaning 31503 clauses out of 63015 with flag 550001/550001
118.18/117.13	c cleaning 31745 clauses out of 63511 with flag 582000/582000
126.19/125.14	c cleaning 31876 clauses out of 63766 with flag 614000/614000
133.79/132.78	c cleaning 31936 clauses out of 63893 with flag 646003/646003
141.60/140.57	c cleaning 31965 clauses out of 63954 with flag 678000/678000
149.21/148.14	c cleaning 31992 clauses out of 63989 with flag 710000/710000
156.61/155.57	c cleaning 31981 clauses out of 63997 with flag 742000/742000
164.32/163.27	c cleaning 32007 clauses out of 64016 with flag 774000/774000
171.42/170.37	c cleaning 32003 clauses out of 64009 with flag 806000/806000
179.13/178.06	c cleaning 31993 clauses out of 64006 with flag 838000/838000
186.43/185.35	c cleaning 31996 clauses out of 64015 with flag 870002/870002
193.64/192.58	c cleaning 32000 clauses out of 64017 with flag 902000/902000
201.04/199.93	c cleaning 32005 clauses out of 64018 with flag 934001/934001
208.95/207.89	c cleaning 31997 clauses out of 64012 with flag 966000/966000
216.49/215.34	c cleaning 31995 clauses out of 64015 with flag 998000/998000
224.38/223.30	c cleaning 31996 clauses out of 64022 with flag 1030002/1030002
231.59/230.40	c cleaning 32001 clauses out of 64024 with flag 1062000/1062000
238.39/237.28	c cleaning 32003 clauses out of 64024 with flag 1094001/1094001
246.30/245.10	c cleaning 31998 clauses out of 64021 with flag 1126001/1126001
253.50/252.38	c cleaning 32009 clauses out of 64023 with flag 1158001/1158001
260.71/259.57	c cleaning 32004 clauses out of 64014 with flag 1190001/1190001
269.01/267.81	c cleaning 31994 clauses out of 64009 with flag 1222000/1222000
276.32/275.14	c cleaning 31997 clauses out of 64015 with flag 1254000/1254000
283.42/282.30	c cleaning 31997 clauses out of 64019 with flag 1286001/1286001
291.12/289.92	c cleaning 31991 clauses out of 64022 with flag 1318001/1318001
299.63/298.43	c cleaning 32006 clauses out of 64030 with flag 1350000/1350000
307.06/305.85	c cleaning 32004 clauses out of 64025 with flag 1382001/1382001
313.45/312.27	c cleaning 32006 clauses out of 64021 with flag 1414001/1414001
321.06/319.81	c cleaning 31987 clauses out of 64014 with flag 1446000/1446000
328.76/327.53	c cleaning 32008 clauses out of 64029 with flag 1478002/1478002
336.06/334.87	c cleaning 31993 clauses out of 64019 with flag 1510000/1510000
342.97/341.71	c cleaning 32002 clauses out of 64026 with flag 1542000/1542000
349.87/348.70	c cleaning 32006 clauses out of 64025 with flag 1574001/1574001
356.98/355.77	c cleaning 32006 clauses out of 64018 with flag 1606000/1606000
364.58/363.34	c cleaning 31994 clauses out of 64013 with flag 1638001/1638001
372.48/371.24	c cleaning 32006 clauses out of 64018 with flag 1670000/1670000
379.49/378.23	c cleaning 31995 clauses out of 64014 with flag 1702002/1702002
386.40/385.16	c cleaning 31985 clauses out of 64017 with flag 1734000/1734000
393.90/392.68	c cleaning 32005 clauses out of 64034 with flag 1766002/1766002
401.90/400.67	c cleaning 32004 clauses out of 64027 with flag 1798000/1798000
410.41/409.16	c cleaning 32009 clauses out of 64024 with flag 1830001/1830001
417.31/416.02	c cleaning 31995 clauses out of 64016 with flag 1862002/1862002
424.32/423.02	c cleaning 31994 clauses out of 64019 with flag 1894000/1894000
431.44/430.18	c cleaning 31999 clauses out of 64027 with flag 1926002/1926002
439.65/438.32	c cleaning 31996 clauses out of 64028 with flag 1958002/1958002
447.86/446.51	c cleaning 31997 clauses out of 64030 with flag 1990000/1990000
455.17/453.86	c cleaning 32014 clauses out of 64035 with flag 2022002/2022002
461.77/460.46	c cleaning 32005 clauses out of 64019 with flag 2054000/2054000
468.58/467.28	c cleaning 31995 clauses out of 64015 with flag 2086001/2086001
476.81/475.29	c cleaning 32001 clauses out of 64019 with flag 2118000/2118000
484.67/482.90	c cleaning 31991 clauses out of 64018 with flag 2150000/2150000
492.84/490.73	c cleaning 31992 clauses out of 64027 with flag 2182000/2182000
500.14/498.03	c cleaning 32004 clauses out of 64035 with flag 2214000/2214000
507.25/505.13	c cleaning 32002 clauses out of 64031 with flag 2246000/2246000
515.75/513.62	c cleaning 32004 clauses out of 64029 with flag 2278000/2278000
523.46/521.36	c cleaning 31996 clauses out of 64026 with flag 2310001/2310001
530.76/528.61	c cleaning 32007 clauses out of 64029 with flag 2342000/2342000
538.46/536.32	c cleaning 31995 clauses out of 64023 with flag 2374001/2374001
545.77/543.67	c cleaning 32001 clauses out of 64029 with flag 2406002/2406002
554.87/552.70	c cleaning 32008 clauses out of 64028 with flag 2438002/2438002
562.48/560.34	c cleaning 31998 clauses out of 64019 with flag 2470001/2470001
569.09/566.94	c cleaning 31989 clauses out of 64020 with flag 2502000/2502000
576.40/574.21	c cleaning 32012 clauses out of 64035 with flag 2534004/2534004
584.39/582.20	c cleaning 32009 clauses out of 64020 with flag 2566001/2566001
592.30/590.10	c cleaning 31993 clauses out of 64012 with flag 2598002/2598002
600.00/597.81	c cleaning 31993 clauses out of 64017 with flag 2630000/2630000
607.91/605.75	c cleaning 32006 clauses out of 64024 with flag 2662000/2662000
615.31/613.12	c cleaning 32002 clauses out of 64018 with flag 2694000/2694000
622.42/620.20	c cleaning 31999 clauses out of 64016 with flag 2726000/2726000
629.23/627.05	c cleaning 32002 clauses out of 64020 with flag 2758003/2758003
636.23/634.07	c cleaning 32003 clauses out of 64015 with flag 2790000/2790000
643.83/641.67	c cleaning 32000 clauses out of 64014 with flag 2822002/2822002
651.83/649.62	c cleaning 31994 clauses out of 64012 with flag 2854000/2854000
659.54/657.38	c cleaning 31994 clauses out of 64018 with flag 2886000/2886000
669.95/667.76	c cleaning 31984 clauses out of 64024 with flag 2918000/2918000
680.56/678.39	c cleaning 32001 clauses out of 64042 with flag 2950002/2950002
689.46/687.24	c cleaning 32016 clauses out of 64039 with flag 2982000/2982000
696.57/694.32	c cleaning 32007 clauses out of 64023 with flag 3014000/3014000
703.37/701.14	c cleaning 32002 clauses out of 64019 with flag 3046003/3046003
710.18/707.90	c cleaning 32002 clauses out of 64015 with flag 3078001/3078001
717.48/715.29	c cleaning 31989 clauses out of 64014 with flag 3110002/3110002
725.69/723.43	c cleaning 31999 clauses out of 64023 with flag 3142000/3142000
733.19/730.95	c cleaning 32004 clauses out of 64024 with flag 3174000/3174000
741.10/738.86	c cleaning 31998 clauses out of 64020 with flag 3206000/3206000
748.40/746.13	c cleaning 31990 clauses out of 64023 with flag 3238001/3238001
756.50/754.24	c cleaning 32009 clauses out of 64032 with flag 3270000/3270000
763.41/761.17	c cleaning 32007 clauses out of 64023 with flag 3302000/3302000
771.32/769.09	c cleaning 31999 clauses out of 64017 with flag 3334001/3334001
778.51/776.28	c cleaning 31995 clauses out of 64018 with flag 3366001/3366001
785.82/783.59	c cleaning 32000 clauses out of 64022 with flag 3398000/3398000
795.12/792.85	c cleaning 31985 clauses out of 64022 with flag 3430000/3430000
802.63/800.35	c cleaning 32011 clauses out of 64038 with flag 3462001/3462001
810.43/808.17	c cleaning 32000 clauses out of 64026 with flag 3494000/3494000
818.14/815.86	c cleaning 32003 clauses out of 64028 with flag 3526002/3526002
826.25/823.95	c cleaning 32003 clauses out of 64023 with flag 3558000/3558000
835.35/833.01	c cleaning 32002 clauses out of 64020 with flag 3590000/3590000
843.86/841.58	c cleaning 32000 clauses out of 64018 with flag 3622000/3622000
850.26/847.96	c cleaning 32004 clauses out of 64019 with flag 3654001/3654001
857.86/855.55	c cleaning 31995 clauses out of 64014 with flag 3686000/3686000
865.37/863.01	c cleaning 32005 clauses out of 64020 with flag 3718001/3718001
873.17/870.87	c cleaning 31995 clauses out of 64014 with flag 3750000/3750000
881.07/878.76	c cleaning 31990 clauses out of 64019 with flag 3782000/3782000
888.08/885.72	c cleaning 32004 clauses out of 64029 with flag 3814000/3814000
894.98/892.66	c cleaning 31999 clauses out of 64025 with flag 3846000/3846000
902.19/899.90	c cleaning 32009 clauses out of 64026 with flag 3878000/3878000
909.99/907.66	c cleaning 32002 clauses out of 64023 with flag 3910006/3910006
918.69/916.35	c cleaning 31994 clauses out of 64015 with flag 3942000/3942000
926.99/924.61	c cleaning 31988 clauses out of 64021 with flag 3974000/3974000
934.29/931.97	c cleaning 32015 clauses out of 64033 with flag 4006000/4006000
941.00/938.61	c cleaning 32003 clauses out of 64018 with flag 4038000/4038000
947.90/945.50	c cleaning 31998 clauses out of 64015 with flag 4070000/4070000
955.11/952.74	c cleaning 31999 clauses out of 64017 with flag 4102000/4102000
962.21/959.80	c cleaning 31987 clauses out of 64021 with flag 4134003/4134003
969.91/967.56	c cleaning 32001 clauses out of 64034 with flag 4166003/4166003
977.81/975.48	c cleaning 32009 clauses out of 64034 with flag 4198004/4198004
985.63/983.26	c cleaning 32001 clauses out of 64022 with flag 4230001/4230001
993.83/991.40	c cleaning 31999 clauses out of 64021 with flag 4262001/4262001
1001.54/999.13	c cleaning 32006 clauses out of 64022 with flag 4294001/4294001
1008.54/1006.19	c cleaning 31988 clauses out of 64015 with flag 4326000/4326000
1015.65/1013.24	c cleaning 32001 clauses out of 64029 with flag 4358002/4358002
1024.65/1022.23	c cleaning 32006 clauses out of 64026 with flag 4390000/4390000
1031.45/1029.06	c cleaning 32005 clauses out of 64021 with flag 4422001/4422001
1038.16/1035.70	c cleaning 31997 clauses out of 64015 with flag 4454000/4454000
1045.46/1043.07	c cleaning 32005 clauses out of 64019 with flag 4486001/4486001
1055.06/1052.63	c cleaning 31988 clauses out of 64013 with flag 4518000/4518000
1065.36/1062.93	c cleaning 31999 clauses out of 64026 with flag 4550001/4550001
1076.97/1074.55	c cleaning 31990 clauses out of 64026 with flag 4582000/4582000
1088.37/1085.93	c cleaning 32012 clauses out of 64036 with flag 4614000/4614000
1097.78/1095.33	c cleaning 32006 clauses out of 64025 with flag 4646001/4646001
1105.39/1102.91	c cleaning 32000 clauses out of 64019 with flag 4678001/4678001
1114.09/1111.63	c cleaning 32007 clauses out of 64019 with flag 4710001/4710001
1122.31/1119.88	c cleaning 31995 clauses out of 64012 with flag 4742001/4742001
1130.50/1128.04	c cleaning 31998 clauses out of 64016 with flag 4774000/4774000
1138.11/1135.68	c cleaning 31998 clauses out of 64018 with flag 4806000/4806000
1146.91/1144.49	c cleaning 32004 clauses out of 64023 with flag 4838003/4838003
1153.32/1150.84	c cleaning 31995 clauses out of 64016 with flag 4870000/4870000
1159.83/1157.37	c cleaning 32005 clauses out of 64022 with flag 4902001/4902001
1167.73/1165.28	c cleaning 31995 clauses out of 64017 with flag 4934001/4934001
1175.14/1172.66	c cleaning 31991 clauses out of 64022 with flag 4966001/4966001
1181.94/1179.45	c cleaning 32010 clauses out of 64032 with flag 4998002/4998002
1189.25/1186.76	c cleaning 32000 clauses out of 64020 with flag 5030000/5030000
1197.05/1194.53	c cleaning 32003 clauses out of 64021 with flag 5062001/5062001
1204.65/1202.13	c cleaning 32001 clauses out of 64018 with flag 5094001/5094001
1212.16/1209.69	c cleaning 31994 clauses out of 64016 with flag 5126000/5126000
1220.27/1217.71	c cleaning 31995 clauses out of 64023 with flag 5158001/5158001
1228.17/1225.61	c cleaning 32001 clauses out of 64027 with flag 5190000/5190000
1236.07/1233.55	c cleaning 31984 clauses out of 64026 with flag 5222000/5222000
1244.68/1242.20	c cleaning 32009 clauses out of 64042 with flag 5254000/5254000
1251.98/1249.46	c cleaning 32017 clauses out of 64037 with flag 5286004/5286004
1262.10/1259.52	c cleaning 31990 clauses out of 64017 with flag 5318001/5318001
1272.50/1269.99	c cleaning 32001 clauses out of 64026 with flag 5350000/5350000
1282.30/1279.78	c cleaning 32007 clauses out of 64025 with flag 5382000/5382000
1289.51/1286.95	c cleaning 31997 clauses out of 64018 with flag 5414000/5414000
1296.71/1294.18	c cleaning 32002 clauses out of 64021 with flag 5446000/5446000
1302.62/1300.01	c starts		: 2198
1302.62/1300.01	c conflicts		: 5473642
1302.62/1300.01	c decisions		: 6104208
1302.62/1300.01	c propagations		: 111630036
1302.62/1300.01	c inspects		: 14694918615
1302.62/1300.01	c shortcuts		: 0
1302.62/1300.01	c learnt literals	: 0
1302.62/1300.01	c learnt binary clauses	: 31
1302.62/1300.01	c learnt ternary clauses	: 282
1302.62/1300.01	c learnt constraints	: 5473641
1302.62/1300.01	c ignored constraints	: 0
1302.62/1300.01	c root simplifications	: 2198
1302.62/1300.01	c removed literals (reason simplification)	: 295944467
1302.62/1300.01	c reason swapping (by a shorter reason)	: 0
1302.62/1300.01	c Calls to reduceDB	: 182
1302.62/1300.01	c speed (assignments/second)	: 85881.54612890766
1302.62/1300.01	c non guided choices	12
1302.62/1300.04	c learnt constraints type 
1302.62/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 31
1302.62/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 59687
1302.62/1300.04	c constraints type 
1302.62/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15
1302.62/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31947
1302.62/1300.04	s UNKNOWN
1302.62/1300.04	c Total wall clock time (in seconds) : 1299.919

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3263536-1303570631/watcher-3263536-1303570631 -o /tmp/evaluation-result-3263536-1303570631/solver-3263536-1303570631 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263536-1303570631.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.38 3.87 4.09 10/240 12508
/proc/meminfo: memFree=11795944/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=20404 CPUtime=0 cores=5,7
/proc/12508/stat : 12508 (java) R 12506 12508 12042 0 -1 4202496 429 0 0 0 0 0 0 0 23 0 1 0 449478974 20893696 174 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233505374218 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12508/statm: 5101 177 134 9 0 124 0

[startup+0.102747 s]
/proc/loadavg: 3.38 3.87 4.09 10/240 12508
/proc/meminfo: memFree=11795944/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7636204 CPUtime=0.1 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 10302 0 1 0 9 1 0 0 23 0 18 0 449478974 7819472896 9998 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1909051 9998 2073 9 0 1899789 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636204

[startup+0.200729 s]
/proc/loadavg: 3.38 3.87 4.09 10/240 12508
/proc/meminfo: memFree=11795944/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7637160 CPUtime=0.28 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 11351 0 1 0 27 1 0 0 23 0 18 0 449478974 7820451840 10943 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1909290 10943 2198 9 0 1900028 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7637160

[startup+0.300712 s]
/proc/loadavg: 3.38 3.87 4.09 10/240 12508
/proc/meminfo: memFree=11795944/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7641648 CPUtime=0.48 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 12757 0 1 0 47 1 0 0 23 0 19 0 449478974 7825047552 11867 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1910412 11867 2210 9 0 1901150 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7641648

[startup+0.700677 s]
/proc/loadavg: 3.38 3.87 4.09 10/240 12508
/proc/meminfo: memFree=11795944/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7642960 CPUtime=1.07 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 13984 0 1 0 106 1 0 0 23 0 19 0 449478974 7826391040 12817 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1910740 12817 2219 9 0 1901478 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 7642960

[startup+1.50154 s]
/proc/loadavg: 3.38 3.87 4.09 7/262 12530
/proc/meminfo: memFree=11603160/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7665084 CPUtime=2.1 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 23422 0 1 0 207 3 0 0 23 0 19 0 449478974 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1916271 20317 2252 9 0 1907009 0
[pid=12508/tid=12510] ppid=12506 vsize=7665084 CPUtime=1.45 cores=5,7
/proc/12508/task/12510/stat : 12510 (java) R 12506 12508 12042 0 -1 4202560 10250 0 1 0 144 1 0 0 20 0 19 0 449478975 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 46912505612384 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12508/tid=12511] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12511/stat : 12511 (java) S 12506 12508 12042 0 -1 4202560 536 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12512] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12512/stat : 12512 (java) S 12506 12508 12042 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12513] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12513/stat : 12513 (java) S 12506 12508 12042 0 -1 4202560 452 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12514] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12514/stat : 12514 (java) S 12506 12508 12042 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12515] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12515/stat : 12515 (java) S 12506 12508 12042 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12516] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 449478976 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7665084 CPUtime=0.01 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 1004 0 0 0 1 0 0 0 17 0 19 0 449478977 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7665084 CPUtime=0.35 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8255 0 0 0 34 1 0 0 21 0 19 0 449478980 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7665084 CPUtime=0.24 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 1759 0 0 0 24 0 0 0 21 0 19 0 449478980 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449478980 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7849046016 20317 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 7665084

[startup+3.10124 s]
/proc/loadavg: 3.38 3.87 4.09 5/262 12530
/proc/meminfo: memFree=11585556/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7665084 CPUtime=3.74 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 25310 0 1 0 371 3 0 0 23 0 19 0 449478974 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1916271 22203 2254 9 0 1907009 0
[pid=12508/tid=12510] ppid=12506 vsize=7665084 CPUtime=3.01 cores=5,7
/proc/12508/task/12510/stat : 12510 (java) R 12506 12508 12042 0 -1 4202560 10251 0 1 0 300 1 0 0 25 0 19 0 449478975 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 46912505586024 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12508/tid=12511] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12511/stat : 12511 (java) S 12506 12508 12042 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12512] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12512/stat : 12512 (java) S 12506 12508 12042 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12513] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12513/stat : 12513 (java) S 12506 12508 12042 0 -1 4202560 452 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12514] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12514/stat : 12514 (java) S 12506 12508 12042 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12515] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12515/stat : 12515 (java) S 12506 12508 12042 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12516] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 966 0 0 0 0 0 0 0 15 0 19 0 449478976 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7665084 CPUtime=0.04 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 1826 0 0 0 4 0 0 0 16 0 19 0 449478977 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7665084 CPUtime=0.37 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8256 0 0 0 36 1 0 0 15 0 19 0 449478980 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7665084 CPUtime=0.26 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 1761 0 0 0 26 0 0 0 15 0 19 0 449478980 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449478980 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7665084 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7849046016 22203 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 7665084

[startup+6.30067 s]
/proc/loadavg: 3.51 3.89 4.09 5/262 12530
/proc/meminfo: memFree=11578048/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7660576 CPUtime=6.96 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 25787 0 1 0 693 3 0 0 23 0 19 0 449478974 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1915144 21973 2254 9 0 1905882 0
[pid=12508/tid=12510] ppid=12506 vsize=7660576 CPUtime=6.16 cores=5,7
/proc/12508/task/12510/stat : 12510 (java) R 12506 12508 12042 0 -1 4202560 10254 0 1 0 615 1 0 0 25 0 19 0 449478975 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 46912505613116 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12508/tid=12511] ppid=12506 vsize=7660576 CPUtime=0.01 cores=5,7
/proc/12508/task/12511/stat : 12511 (java) S 12506 12508 12042 0 -1 4202560 644 0 0 0 1 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12512] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12512/stat : 12512 (java) S 12506 12508 12042 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12513] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12513/stat : 12513 (java) S 12506 12508 12042 0 -1 4202560 452 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12514] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12514/stat : 12514 (java) S 12506 12508 12042 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12515] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12515/stat : 12515 (java) S 12506 12508 12042 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12516] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 1077 0 0 0 0 0 0 0 15 0 19 0 449478976 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7660576 CPUtime=0.08 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 2019 0 0 0 8 0 0 0 15 0 19 0 449478977 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7660576 CPUtime=0.39 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8259 0 0 0 38 1 0 0 15 0 19 0 449478980 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7660576 CPUtime=0.26 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 1761 0 0 0 26 0 0 0 15 0 19 0 449478980 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449478980 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7660576 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7844429824 21973 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 7660576

[startup+12.7015 s]

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

[pid=12508/tid=12516] ppid=12506 vsize=7663588 CPUtime=0.19 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 611 0 0 0 19 0 0 0 15 0 19 0 449478976 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 752 0 0 0 21 0 0 0 15 0 19 0 449478976 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 1650 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7663588 CPUtime=5.79 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 8349 0 0 0 577 2 0 0 15 0 19 0 449478977 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7663588 CPUtime=0.71 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8401 0 0 0 70 1 0 0 15 0 19 0 449478980 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7663588 CPUtime=1.08 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 2548 0 0 0 108 0 0 0 16 0 19 0 449478980 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 449478980 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7847514112 36033 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1184.84
Current children cumulated vsize (KiB) 7663588

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/262 12572
/proc/meminfo: memFree=11345520/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7663588 CPUtime=1244.88 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 40177 0 1 0 124480 8 0 0 23 0 19 0 449478974 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1915897 36035 2256 9 0 1906635 0
[pid=12508/tid=12510] ppid=12506 vsize=7663588 CPUtime=1235.18 cores=5,7
/proc/12508/task/12510/stat : 12510 (java) R 12506 12508 12042 0 -1 4202560 12927 0 1 0 123516 2 0 0 25 0 19 0 449478975 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 46912505677098 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12508/tid=12511] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12511/stat : 12511 (java) S 12506 12508 12042 0 -1 4202560 1039 0 0 0 21 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12512] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12512/stat : 12512 (java) S 12506 12508 12042 0 -1 4202560 339 0 0 0 21 0 0 0 16 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12513] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12513/stat : 12513 (java) S 12506 12508 12042 0 -1 4202560 1439 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12514] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12514/stat : 12514 (java) S 12506 12508 12042 0 -1 4202560 94 0 0 0 23 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12515] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12515/stat : 12515 (java) S 12506 12508 12042 0 -1 4202560 797 0 0 0 21 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12516] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 611 0 0 0 21 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 754 0 0 0 23 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 1650 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7663588 CPUtime=6.09 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 8353 0 0 0 607 2 0 0 16 0 19 0 449478977 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7663588 CPUtime=0.71 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8401 0 0 0 70 1 0 0 15 0 19 0 449478980 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7663588 CPUtime=1.08 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 2548 0 0 0 108 0 0 0 16 0 19 0 449478980 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 449478980 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7847514112 36035 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1244.88
Current children cumulated vsize (KiB) 7663588



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.05 4.01 4.00 2/203 12582
/proc/meminfo: memFree=11760240/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7663588 CPUtime=1302.62 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 40212 0 1 0 130254 8 0 0 23 0 19 0 449478974 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1915897 36058 2256 9 0 1906635 0
[pid=12508/tid=12510] ppid=12506 vsize=7663588 CPUtime=1292.63 cores=5,7
/proc/12508/task/12510/stat : 12510 (java) R 12506 12508 12042 0 -1 4202560 12933 0 1 0 129261 2 0 0 25 0 19 0 449478975 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 46912505621698 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12508/tid=12511] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12511/stat : 12511 (java) S 12506 12508 12042 0 -1 4202560 1051 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12512] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12512/stat : 12512 (java) S 12506 12508 12042 0 -1 4202560 339 0 0 0 23 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12513] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12513/stat : 12513 (java) S 12506 12508 12042 0 -1 4202560 1439 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12514] ppid=12506 vsize=7663588 CPUtime=0.24 cores=5,7
/proc/12508/task/12514/stat : 12514 (java) S 12506 12508 12042 0 -1 4202560 94 0 0 0 24 0 0 0 16 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12515] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12515/stat : 12515 (java) S 12506 12508 12042 0 -1 4202560 806 0 0 0 23 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12516] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 611 0 0 0 21 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7663588 CPUtime=0.24 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 754 0 0 0 24 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 1650 0 0 0 23 0 0 0 16 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7663588 CPUtime=6.32 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 8357 0 0 0 630 2 0 0 15 0 19 0 449478977 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7663588 CPUtime=0.71 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8401 0 0 0 70 1 0 0 15 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7663588 CPUtime=1.08 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 2548 0 0 0 108 0 0 0 16 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1302.62
Current children cumulated vsize (KiB) 7663588

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

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

[startup+1300 s]
/proc/loadavg: 4.05 4.01 4.00 2/203 12582
/proc/meminfo: memFree=11760240/32951124 swapFree=67111528/67111528
[pid=12508] ppid=12506 vsize=7663588 CPUtime=1302.62 cores=5,7
/proc/12508/stat : 12508 (java) S 12506 12508 12042 0 -1 4202496 40212 0 1 0 130254 8 0 0 23 0 19 0 449478974 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12508/statm: 1915897 36058 2256 9 0 1906635 0
[pid=12508/tid=12510] ppid=12506 vsize=7663588 CPUtime=1292.63 cores=5,7
/proc/12508/task/12510/stat : 12510 (java) R 12506 12508 12042 0 -1 4202560 12933 0 1 0 129261 2 0 0 25 0 19 0 449478975 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 46912505621698 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12508/tid=12511] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12511/stat : 12511 (java) S 12506 12508 12042 0 -1 4202560 1051 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12512] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12512/stat : 12512 (java) S 12506 12508 12042 0 -1 4202560 339 0 0 0 23 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12513] ppid=12506 vsize=7663588 CPUtime=0.22 cores=5,7
/proc/12508/task/12513/stat : 12513 (java) S 12506 12508 12042 0 -1 4202560 1439 0 0 0 22 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12514] ppid=12506 vsize=7663588 CPUtime=0.24 cores=5,7
/proc/12508/task/12514/stat : 12514 (java) S 12506 12508 12042 0 -1 4202560 94 0 0 0 24 0 0 0 16 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12515] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12515/stat : 12515 (java) S 12506 12508 12042 0 -1 4202560 806 0 0 0 23 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12516] ppid=12506 vsize=7663588 CPUtime=0.21 cores=5,7
/proc/12508/task/12516/stat : 12516 (java) S 12506 12508 12042 0 -1 4202560 611 0 0 0 21 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12517] ppid=12506 vsize=7663588 CPUtime=0.24 cores=5,7
/proc/12508/task/12517/stat : 12517 (java) S 12506 12508 12042 0 -1 4202560 754 0 0 0 24 0 0 0 15 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12518] ppid=12506 vsize=7663588 CPUtime=0.23 cores=5,7
/proc/12508/task/12518/stat : 12518 (java) S 12506 12508 12042 0 -1 4202560 1650 0 0 0 23 0 0 0 16 0 19 0 449478976 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12520] ppid=12506 vsize=7663588 CPUtime=6.32 cores=5,7
/proc/12508/task/12520/stat : 12520 (java) S 12506 12508 12042 0 -1 4202560 8357 0 0 0 630 2 0 0 15 0 19 0 449478977 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 0 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12522] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12522/stat : 12522 (java) S 12506 12508 12042 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12523] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12523/stat : 12523 (java) S 12506 12508 12042 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 449478978 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12524] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12524/stat : 12524 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522121137 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12525] ppid=12506 vsize=7663588 CPUtime=0.71 cores=5,7
/proc/12508/task/12525/stat : 12525 (java) S 12506 12508 12042 0 -1 4202560 8401 0 0 0 70 1 0 0 15 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12526] ppid=12506 vsize=7663588 CPUtime=1.08 cores=5,7
/proc/12508/task/12526/stat : 12526 (java) S 12506 12508 12042 0 -1 4202560 2548 0 0 0 108 0 0 0 16 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12527] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12527/stat : 12527 (java) S 12506 12508 12042 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522113433 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
[pid=12508/tid=12528] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12528/stat : 12528 (java) S 12506 12508 12042 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 449478980 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 7 0 0 0
[pid=12508/tid=12530] ppid=12506 vsize=7663588 CPUtime=0 cores=5,7
/proc/12508/task/12530/stat : 12530 (java) S 12506 12508 12042 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 449478994 7847514112 36058 33554432000 1073741824 1073778376 140734501573952 18446744073709551615 233522114048 0 4 0 16800975 18446604461752097856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1302.62
Current children cumulated vsize (KiB) 7663588

Child status: 143
Real time (s): 1300.05
CPU time (s): 1302.7
CPU user time (s): 1302.61
CPU system time (s): 0.093985
CPU usage (%): 100.204
Max. virtual memory (cumulated for all children) (KiB): 7665084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.61
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40250
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31936
involuntary context switches= 7404

runsolver used 2.11468 second user time and 5.00324 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-23 16:57:11
IDJOB=3263536
IDBENCH=83985
IDSOLVER=1611
FILE ID=node145/3263536-1303570631
RUNJOBID= node145-1303570631-12418
PBS_JOBID= 13150286
Free space on /tmp= 71332 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263536-1303570631/watcher-3263536-1303570631 -o /tmp/evaluation-result-3263536-1303570631/solver-3263536-1303570631 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263536-1303570631.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 5bd7c76aed56f767985526812cdb8e0e
RANDOM SEED=470731206

node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11796472 kB
Buffers:       2167528 kB
Cached:       18244044 kB
SwapCached:          0 kB
Active:       10276624 kB
Inactive:     10309128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11796472 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3700 kB
Writeback:           0 kB
AnonPages:      172640 kB
Mapped:          22248 kB
Slab:           504772 kB
PageTables:       5236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21990304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71336 MiB
End job on node145 at 2011-04-23 17:18:53