Trace number 3710872

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 NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)13 1800.5 1794.16

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir04_area_delay.opb
MD5SUMea4ff8014cd873922b6021da249fa157
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.076987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables741
Total number of constraints2072
Number of constraints which are clauses2072
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 360
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.07	c version 2.3.2.v20120418
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		501472288
0.03/0.07	c Max memory 		7480803328
0.03/0.07	c Total memory 		504102912
0.03/0.07	c Number of processors 	8
0.11/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.10	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=true
0.11/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3710872-1338160420.opb
0.11/0.11	c reading problem ... 
0.28/0.25	c ... done. Wall clock time 0.144s.
0.28/0.25	c declared #vars     741
0.28/0.25	c #constraints  1983
0.28/0.25	c constraints type 
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 372
0.28/0.25	c ignored satisfied constraints => 89
0.28/0.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1588
0.28/0.25	c 2072 constraints processed.
0.28/0.26	c SATISFIABLE
0.28/0.26	c OPTIMIZING...
0.28/0.26	c Got one! Elapsed wall clock time (in seconds):0.156
0.28/0.26	o 16
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.18
0.28/0.29	o 15
1.14/0.79	c cleaning 2508 clauses out of 5024 with flag 5002/5024
1.70/1.23	c cleaning 4253 clauses out of 8515 with flag 11001/11023
2.21/1.74	c cleaning 5623 clauses out of 11262 with flag 18001/18023
2.83/2.32	c cleaning 6808 clauses out of 13638 with flag 26000/26022
3.58/3.00	c cleaning 7911 clauses out of 15831 with flag 35001/35023
4.28/3.76	c cleaning 8958 clauses out of 17920 with flag 45001/45023
5.19/4.64	c cleaning 9971 clauses out of 19962 with flag 56001/56023
6.50/5.55	c cleaning 10990 clauses out of 21991 with flag 68001/68023
7.52/6.52	c cleaning 11994 clauses out of 24004 with flag 81004/81026
8.52/7.58	c cleaning 12995 clauses out of 26006 with flag 95000/95022
9.73/8.74	c cleaning 13994 clauses out of 28011 with flag 110000/110022
10.94/9.96	c cleaning 15004 clauses out of 30019 with flag 126002/126024
12.27/11.29	c cleaning 15995 clauses out of 32013 with flag 143000/143022
13.67/12.67	c cleaning 16998 clauses out of 34018 with flag 161000/161022
15.27/14.22	c cleaning 17998 clauses out of 36020 with flag 180000/180022
16.79/15.76	c cleaning 18999 clauses out of 38022 with flag 200000/200022
18.49/17.41	c cleaning 19994 clauses out of 40023 with flag 221000/221022
20.19/19.16	c cleaning 21002 clauses out of 42030 with flag 243001/243023
22.19/21.12	c cleaning 22000 clauses out of 44027 with flag 266000/266022
24.11/23.03	c cleaning 23003 clauses out of 46030 with flag 290003/290025
26.11/25.01	c cleaning 24007 clauses out of 48024 with flag 315000/315022
28.22/27.11	c cleaning 24994 clauses out of 50017 with flag 341000/341022
30.34/29.20	c cleaning 26000 clauses out of 52024 with flag 368001/368023
32.65/31.54	c cleaning 27008 clauses out of 54024 with flag 396001/396023
35.06/33.94	c cleaning 27993 clauses out of 56016 with flag 425001/425023
37.58/36.48	c cleaning 28996 clauses out of 58024 with flag 455002/455024
40.29/39.13	c cleaning 30003 clauses out of 60027 with flag 486001/486023
43.00/41.84	c cleaning 30990 clauses out of 62023 with flag 518000/518022
45.81/44.68	c cleaning 31993 clauses out of 64033 with flag 551000/551022
48.93/47.73	c cleaning 32992 clauses out of 66040 with flag 585000/585022
51.85/50.62	c cleaning 34009 clauses out of 68048 with flag 620000/620022
54.86/53.61	c cleaning 35010 clauses out of 70040 with flag 656001/656023
57.97/56.75	c cleaning 36002 clauses out of 72029 with flag 693000/693022
61.18/59.99	c cleaning 37001 clauses out of 74030 with flag 731003/731025
64.58/63.37	c cleaning 38007 clauses out of 76026 with flag 770000/770022
68.01/66.75	c cleaning 38999 clauses out of 78019 with flag 810000/810022
71.73/70.45	c cleaning 40001 clauses out of 80020 with flag 851000/851022
75.53/74.24	c cleaning 40999 clauses out of 82020 with flag 893001/893023
79.13/77.85	c cleaning 41997 clauses out of 84021 with flag 936001/936023
83.04/81.70	c cleaning 42998 clauses out of 86023 with flag 980000/980022
86.86/85.56	c cleaning 44000 clauses out of 88025 with flag 1025000/1025022
91.08/89.77	c cleaning 45000 clauses out of 90025 with flag 1071000/1071022
95.38/94.00	c cleaning 45985 clauses out of 92027 with flag 1118002/1118024
99.70/98.31	c cleaning 46996 clauses out of 94040 with flag 1166000/1166022
104.12/102.73	c cleaning 47999 clauses out of 96044 with flag 1215000/1215022
108.83/107.43	c cleaning 49011 clauses out of 98045 with flag 1265000/1265022
113.35/111.92	c cleaning 49995 clauses out of 100034 with flag 1316000/1316022
117.79/116.38	c cleaning 51015 clauses out of 102039 with flag 1368000/1368022
122.50/121.06	c cleaning 52005 clauses out of 104024 with flag 1421000/1421022
127.41/125.92	c cleaning 52995 clauses out of 106020 with flag 1475001/1475023
132.31/130.82	c cleaning 54006 clauses out of 108026 with flag 1530002/1530024
137.51/136.00	c cleaning 54998 clauses out of 110020 with flag 1586002/1586024
142.85/141.32	c cleaning 55997 clauses out of 112023 with flag 1643003/1643025
148.26/146.77	c cleaning 57002 clauses out of 114023 with flag 1701000/1701022
154.07/152.56	c cleaning 57999 clauses out of 116021 with flag 1760000/1760022
159.68/158.17	c cleaning 59004 clauses out of 118024 with flag 1820002/1820024
165.83/164.28	c cleaning 59988 clauses out of 120018 with flag 1881000/1881022
172.24/170.69	c cleaning 60986 clauses out of 122030 with flag 1943000/1943022
178.46/176.83	c cleaning 61998 clauses out of 124044 with flag 2006000/2006022
184.38/182.72	c cleaning 63013 clauses out of 126046 with flag 2070000/2070022
190.21/188.53	c cleaning 63999 clauses out of 128033 with flag 2135000/2135022
196.23/194.58	c cleaning 65001 clauses out of 130035 with flag 2201001/2201023
202.66/200.90	c cleaning 65988 clauses out of 132033 with flag 2268000/2268022
209.17/207.50	c cleaning 67001 clauses out of 134045 with flag 2336000/2336022
216.31/214.52	c cleaning 68004 clauses out of 136044 with flag 2405000/2405022
222.92/221.19	c cleaning 69003 clauses out of 138040 with flag 2475000/2475022
229.54/227.75	c cleaning 70006 clauses out of 140037 with flag 2546000/2546022
236.25/234.42	c cleaning 70990 clauses out of 142031 with flag 2618000/2618022
242.69/240.83	c cleaning 72006 clauses out of 144042 with flag 2691001/2691023
249.79/247.91	c cleaning 72994 clauses out of 146035 with flag 2765000/2765022
256.91/255.09	c cleaning 74005 clauses out of 148041 with flag 2840000/2840022
264.78/262.87	c cleaning 74981 clauses out of 150036 with flag 2916000/2916022
272.19/270.25	c cleaning 76016 clauses out of 152055 with flag 2993000/2993022
279.62/277.62	c cleaning 77007 clauses out of 154039 with flag 3071000/3071022
287.14/285.13	c cleaning 77984 clauses out of 156032 with flag 3150000/3150022
294.66/292.69	c cleaning 79010 clauses out of 158052 with flag 3230004/3230026
302.58/300.60	c cleaning 80002 clauses out of 160038 with flag 3311000/3311022
311.58/309.58	c cleaning 81003 clauses out of 162038 with flag 3393002/3393024
319.42/317.36	c cleaning 81985 clauses out of 164033 with flag 3476000/3476022
327.95/325.83	c cleaning 83003 clauses out of 166048 with flag 3560000/3560022
336.58/334.40	c cleaning 84006 clauses out of 168045 with flag 3645000/3645022
345.18/343.07	c cleaning 85002 clauses out of 170042 with flag 3731003/3731025
354.49/352.38	c cleaning 86000 clauses out of 172037 with flag 3818000/3818022
363.71/361.55	c cleaning 86990 clauses out of 174037 with flag 3906000/3906022
372.52/370.31	c cleaning 88013 clauses out of 176047 with flag 3995000/3995022
381.53/379.38	c cleaning 88979 clauses out of 178034 with flag 4085000/4085022
391.24/389.06	c cleaning 90006 clauses out of 180055 with flag 4176000/4176022
400.76/398.52	c cleaning 91011 clauses out of 182051 with flag 4268002/4268024
410.98/408.70	c cleaning 92004 clauses out of 184038 with flag 4361000/4361022
421.11/418.88	c cleaning 92991 clauses out of 186034 with flag 4455000/4455022
430.83/428.53	c cleaning 94010 clauses out of 188043 with flag 4550000/4550022
440.45/438.16	c cleaning 94998 clauses out of 190033 with flag 4646000/4646022
449.96/447.64	c cleaning 96013 clauses out of 192036 with flag 4743001/4743023
459.67/457.31	c cleaning 96979 clauses out of 194022 with flag 4841000/4841022
469.59/467.21	c cleaning 98011 clauses out of 196046 with flag 4940003/4940025
480.52/478.14	c cleaning 99001 clauses out of 198032 with flag 5040000/5040022
490.69/488.30	c cleaning 99996 clauses out of 200032 with flag 5141001/5141023
501.21/498.76	c cleaning 101003 clauses out of 202035 with flag 5243000/5243022
512.12/509.67	c cleaning 101978 clauses out of 204036 with flag 5346004/5346026
522.75/520.22	c cleaning 103006 clauses out of 206054 with flag 5450000/5450022
533.57/531.04	c cleaning 104002 clauses out of 208048 with flag 5555000/5555022
544.48/541.94	c cleaning 105004 clauses out of 210047 with flag 5661001/5661023
555.81/553.28	c cleaning 105999 clauses out of 212042 with flag 5768000/5768022
566.91/564.37	c cleaning 107005 clauses out of 214043 with flag 5876000/5876022
577.65/575.00	c cleaning 108010 clauses out of 216040 with flag 5985002/5985024
589.67/587.05	c cleaning 108988 clauses out of 218028 with flag 6095000/6095022
601.89/599.26	c cleaning 109992 clauses out of 220040 with flag 6206000/6206022
611.20/608.55	c Got one! Elapsed wall clock time (in seconds):608.444
611.20/608.55	o 14
612.30/609.68	c cleaning 103437 clauses out of 206902 with flag 5001/6302876
613.15/610.43	c cleaning 54720 clauses out of 109464 with flag 11000/6308875
613.76/611.08	c cleaning 30863 clauses out of 61744 with flag 18000/6315875
614.46/611.74	c cleaning 19432 clauses out of 38882 with flag 26001/6323876
615.18/612.47	c cleaning 14206 clauses out of 28449 with flag 35000/6332875
616.00/613.25	c cleaning 12108 clauses out of 24246 with flag 45003/6342878
616.90/614.13	c cleaning 11559 clauses out of 23136 with flag 56001/6353876
617.82/615.08	c cleaning 11769 clauses out of 23576 with flag 68000/6365875
618.94/616.15	c cleaning 12387 clauses out of 24810 with flag 81003/6378878
620.16/617.35	c cleaning 13187 clauses out of 26420 with flag 95000/6392875
621.49/618.64	c cleaning 14097 clauses out of 28236 with flag 110003/6407878
622.80/619.95	c cleaning 15038 clauses out of 30136 with flag 126000/6423875
624.22/621.32	c cleaning 16032 clauses out of 32098 with flag 143000/6440875
625.63/622.78	c cleaning 16994 clauses out of 34066 with flag 161000/6458875
627.24/624.34	c cleaning 18022 clauses out of 36072 with flag 180000/6477875
628.95/626.03	c cleaning 18991 clauses out of 38053 with flag 200003/6497878
630.76/627.85	c cleaning 20018 clauses out of 40063 with flag 221004/6518879
632.56/629.65	c cleaning 20996 clauses out of 42041 with flag 243000/6540875
634.61/631.60	c cleaning 22000 clauses out of 44047 with flag 266002/6563877
636.63/633.60	c cleaning 23007 clauses out of 46046 with flag 290001/6587876
638.74/635.73	c cleaning 24010 clauses out of 48038 with flag 315000/6612875
641.14/638.11	c cleaning 25007 clauses out of 50034 with flag 341006/6638881
643.55/640.55	c cleaning 25985 clauses out of 52021 with flag 368000/6665875
646.05/643.02	c cleaning 27006 clauses out of 54037 with flag 396001/6693876
648.58/645.50	c cleaning 27997 clauses out of 56030 with flag 425000/6722875
651.01/647.92	c cleaning 29003 clauses out of 58033 with flag 455000/6752875
653.42/650.38	c cleaning 30007 clauses out of 60031 with flag 486001/6783876
656.03/652.99	c cleaning 30995 clauses out of 62024 with flag 518001/6815876
658.83/655.71	c cleaning 31989 clauses out of 64028 with flag 551000/6848875
661.64/658.54	c cleaning 33006 clauses out of 66039 with flag 585000/6882875
664.56/661.42	c cleaning 33994 clauses out of 68033 with flag 620000/6917875
667.58/664.46	c cleaning 35003 clauses out of 70039 with flag 656000/6953875
670.79/667.65	c cleaning 36011 clauses out of 72038 with flag 693002/6990877
674.03/670.88	c cleaning 37002 clauses out of 74026 with flag 731001/7028876
677.56/674.38	c cleaning 37994 clauses out of 76023 with flag 770000/7067875
681.16/677.90	c cleaning 38982 clauses out of 78029 with flag 810000/7107875
684.76/681.58	c cleaning 40010 clauses out of 80048 with flag 851001/7148876
688.37/685.20	c cleaning 41013 clauses out of 82037 with flag 893000/7190875
692.49/689.26	c cleaning 41984 clauses out of 84024 with flag 936000/7233875
696.70/693.40	c cleaning 43004 clauses out of 86040 with flag 980000/7277875
700.73/697.48	c cleaning 44009 clauses out of 88043 with flag 1025007/7322882
704.94/701.66	c cleaning 44985 clauses out of 90027 with flag 1071000/7368875
709.17/705.89	c cleaning 46011 clauses out of 92042 with flag 1118000/7415875
713.57/710.20	c cleaning 47002 clauses out of 94031 with flag 1166000/7463875
717.68/714.34	c cleaning 48002 clauses out of 96029 with flag 1215000/7512875
722.19/718.81	c cleaning 48993 clauses out of 98027 with flag 1265000/7562875
727.11/723.80	c cleaning 49997 clauses out of 100036 with flag 1316002/7613877
732.23/728.83	c cleaning 51002 clauses out of 102039 with flag 1368002/7665877
737.14/733.73	c cleaning 52003 clauses out of 104035 with flag 1421000/7718875
742.04/738.69	c cleaning 53003 clauses out of 106032 with flag 1475000/7772875
747.15/743.70	c cleaning 53991 clauses out of 108029 with flag 1530000/7827875
752.35/748.93	c cleaning 55000 clauses out of 110038 with flag 1586000/7883875
757.57/754.12	c cleaning 55996 clauses out of 112038 with flag 1643000/7940875
762.78/759.32	c cleaning 57003 clauses out of 114042 with flag 1701000/7998875
768.50/765.09	c cleaning 58002 clauses out of 116042 with flag 1760003/8057878
774.41/771.00	c cleaning 59006 clauses out of 118037 with flag 1820000/8117875
780.12/776.64	c cleaning 59992 clauses out of 120031 with flag 1881000/8178875
785.62/782.18	c cleaning 61001 clauses out of 122039 with flag 1943000/8240875
791.63/788.13	c cleaning 62002 clauses out of 124040 with flag 2006002/8303877
797.66/794.15	c cleaning 63006 clauses out of 126036 with flag 2070000/8367875
803.58/800.08	c cleaning 64001 clauses out of 128030 with flag 2135000/8432875
809.71/806.11	c cleaning 64999 clauses out of 130030 with flag 2201001/8498876
815.52/811.93	c cleaning 65973 clauses out of 132030 with flag 2268000/8565875
821.74/818.18	c cleaning 67010 clauses out of 134057 with flag 2336000/8633875
828.06/824.49	c cleaning 68003 clauses out of 136048 with flag 2405001/8702876
834.97/831.35	c cleaning 69001 clauses out of 138044 with flag 2475000/8772875
841.47/837.88	c cleaning 70008 clauses out of 140045 with flag 2546002/8843877
848.09/844.45	c cleaning 70993 clauses out of 142036 with flag 2618001/8915876
854.81/851.10	c cleaning 72000 clauses out of 144042 with flag 2691000/8988875
862.02/858.37	c cleaning 73005 clauses out of 146042 with flag 2765000/9062875
869.24/865.54	c cleaning 74003 clauses out of 148038 with flag 2840001/9137876
876.45/872.75	c cleaning 75003 clauses out of 150036 with flag 2916002/9213877
883.96/880.29	c cleaning 76001 clauses out of 152032 with flag 2993001/9290876
892.49/888.78	c cleaning 77001 clauses out of 154030 with flag 3071000/9368875
900.41/896.65	c cleaning 77995 clauses out of 156029 with flag 3150000/9447875
908.44/904.64	c cleaning 78978 clauses out of 158034 with flag 3230000/9527875
916.55/912.77	c cleaning 80011 clauses out of 160056 with flag 3311000/9608875
925.26/921.50	c cleaning 81002 clauses out of 162045 with flag 3393000/9690875
933.58/929.76	c cleaning 82000 clauses out of 164043 with flag 3476000/9773875
942.11/938.21	c cleaning 82995 clauses out of 166043 with flag 3560000/9857875
950.42/946.58	c cleaning 84012 clauses out of 168050 with flag 3645002/9942877
959.63/955.77	c cleaning 84999 clauses out of 170036 with flag 3731000/10028875
968.75/964.88	c cleaning 86006 clauses out of 172039 with flag 3818002/10115877
977.17/973.28	c cleaning 87008 clauses out of 174031 with flag 3906000/10203875
985.70/981.76	c cleaning 87993 clauses out of 176023 with flag 3995000/10292875
995.22/991.29	c cleaning 89006 clauses out of 178032 with flag 4085002/10382877
1004.23/1000.21	c cleaning 90002 clauses out of 180025 with flag 4176001/10473876
1013.03/1009.05	c cleaning 91003 clauses out of 182023 with flag 4268001/10565876
1022.15/1018.11	c cleaning 92006 clauses out of 184023 with flag 4361004/10658879
1031.17/1027.19	c cleaning 92986 clauses out of 186013 with flag 4455000/10752875
1040.77/1036.73	c cleaning 93995 clauses out of 188027 with flag 4550000/10847875
1050.19/1046.12	c cleaning 94997 clauses out of 190032 with flag 4646000/10943875
1060.60/1056.51	c cleaning 96000 clauses out of 192036 with flag 4743001/11040876
1070.62/1066.55	c cleaning 97010 clauses out of 194035 with flag 4841000/11138875
1081.85/1077.70	c cleaning 97988 clauses out of 196025 with flag 4940000/11237875
1092.87/1088.70	c cleaning 98996 clauses out of 198040 with flag 5040003/11337878
1103.99/1099.85	c cleaning 100003 clauses out of 200043 with flag 5141002/11438877
1114.23/1110.04	c cleaning 101003 clauses out of 202038 with flag 5243000/11540875
1124.36/1120.12	c cleaning 101993 clauses out of 204037 with flag 5346002/11643877
1135.18/1130.94	c cleaning 102979 clauses out of 206042 with flag 5450000/11747875
1146.00/1141.76	c cleaning 104009 clauses out of 208063 with flag 5555000/11852875
1156.81/1152.59	c cleaning 105011 clauses out of 210054 with flag 5661000/11958875
1167.43/1163.14	c cleaning 105974 clauses out of 212043 with flag 5768000/12065875
1178.95/1174.63	c cleaning 107001 clauses out of 214070 with flag 5876001/12173876
1189.88/1185.57	c cleaning 108000 clauses out of 216071 with flag 5985003/12282878
1201.00/1196.61	c cleaning 109020 clauses out of 218068 with flag 6095000/12392875
1213.51/1209.14	c cleaning 110002 clauses out of 220048 with flag 6206000/12503875
1226.03/1221.60	c cleaning 111006 clauses out of 222046 with flag 6318000/12615875
1238.14/1233.73	c cleaning 112002 clauses out of 224040 with flag 6431000/12728875
1250.26/1245.81	c cleaning 112996 clauses out of 226038 with flag 6545000/12842875
1262.28/1257.83	c cleaning 113990 clauses out of 228042 with flag 6660000/12957875
1274.80/1270.39	c cleaning 114990 clauses out of 230052 with flag 6776000/13073875
1288.12/1283.61	c cleaning 116005 clauses out of 232062 with flag 6893000/13190875
1299.84/1295.30	c cleaning 117012 clauses out of 234057 with flag 7011000/13308875
1312.67/1308.19	c cleaning 118008 clauses out of 236045 with flag 7130000/13427875
1325.49/1320.91	c cleaning 118986 clauses out of 238038 with flag 7250001/13547876
1339.02/1334.47	c cleaning 120001 clauses out of 240051 with flag 7371000/13668875
1353.03/1348.44	c cleaning 121004 clauses out of 242051 with flag 7493001/13790876
1367.47/1362.82	c cleaning 122002 clauses out of 244046 with flag 7616000/13913875
1381.39/1376.79	c cleaning 123011 clauses out of 246045 with flag 7740001/14037876
1395.31/1390.64	c cleaning 123982 clauses out of 248033 with flag 7865000/14162875
1409.62/1404.91	c cleaning 125011 clauses out of 250053 with flag 7991002/14288877
1423.14/1418.45	c cleaning 125990 clauses out of 252040 with flag 8118000/14415875
1437.37/1432.60	c cleaning 127012 clauses out of 254050 with flag 8246000/14543875
1452.40/1447.65	c cleaning 127990 clauses out of 256038 with flag 8375000/14672875
1467.33/1462.56	c cleaning 129006 clauses out of 258048 with flag 8505000/14802875
1481.88/1477.03	c cleaning 130002 clauses out of 260042 with flag 8636000/14933875
1491.68/1486.81	c Got one! Elapsed wall clock time (in seconds):1486.703
1491.68/1486.81	o 13
1492.78/1487.95	c cleaning 119123 clauses out of 238269 with flag 5002/15042104
1493.60/1488.75	c cleaning 62561 clauses out of 125145 with flag 11001/15048103
1494.31/1489.44	c cleaning 34785 clauses out of 69583 with flag 18000/15055102
1495.04/1490.13	c cleaning 21388 clauses out of 42798 with flag 26000/15063102
1495.75/1490.84	c cleaning 15191 clauses out of 30410 with flag 35000/15072102
1496.57/1491.62	c cleaning 12587 clauses out of 25219 with flag 45000/15082102
1497.36/1492.49	c cleaning 11801 clauses out of 23633 with flag 56001/15093103
1498.37/1493.40	c cleaning 11899 clauses out of 23831 with flag 68000/15105102
1499.38/1494.44	c cleaning 12427 clauses out of 24932 with flag 81000/15118102
1500.48/1495.59	c cleaning 13228 clauses out of 26506 with flag 95001/15132103
1501.81/1496.84	c cleaning 14138 clauses out of 28278 with flag 110001/15147103
1503.12/1498.11	c cleaning 15062 clauses out of 30139 with flag 126000/15163102
1504.42/1499.44	c cleaning 16030 clauses out of 32077 with flag 143000/15180102
1505.84/1500.85	c cleaning 17006 clauses out of 34047 with flag 161000/15198102
1507.36/1502.37	c cleaning 18007 clauses out of 36041 with flag 180000/15217102
1508.97/1503.98	c cleaning 19003 clauses out of 38036 with flag 200002/15237104
1510.78/1505.78	c cleaning 19996 clauses out of 40031 with flag 221000/15258102
1512.61/1507.59	c cleaning 21005 clauses out of 42037 with flag 243002/15280104
1514.51/1509.47	c cleaning 22001 clauses out of 44030 with flag 266000/15303102
1516.72/1511.60	c cleaning 23002 clauses out of 46030 with flag 290001/15327103
1518.75/1513.68	c cleaning 24008 clauses out of 48027 with flag 315000/15352102
1520.96/1515.81	c cleaning 24999 clauses out of 50019 with flag 341000/15378102
1523.17/1518.02	c cleaning 25997 clauses out of 52020 with flag 368000/15405102
1525.39/1520.26	c cleaning 26990 clauses out of 54024 with flag 396001/15433103
1527.92/1522.75	c cleaning 27997 clauses out of 56033 with flag 425000/15462102
1530.62/1525.42	c cleaning 29004 clauses out of 58036 with flag 455000/15492102
1533.53/1528.32	c cleaning 29972 clauses out of 60034 with flag 486002/15523104
1536.64/1531.40	c cleaning 31021 clauses out of 62062 with flag 518002/15555104
1539.75/1534.54	c cleaning 32011 clauses out of 64040 with flag 551001/15588103
1542.77/1537.57	c cleaning 33009 clauses out of 66031 with flag 585003/15622105
1545.89/1540.69	c cleaning 33993 clauses out of 68019 with flag 620000/15657102
1549.12/1543.83	c cleaning 35004 clauses out of 70026 with flag 656000/15693102
1552.25/1547.00	c cleaning 35994 clauses out of 72025 with flag 693003/15730105
1555.76/1550.46	c cleaning 36999 clauses out of 74028 with flag 731000/15768102
1559.18/1553.88	c cleaning 38003 clauses out of 76029 with flag 770000/15807102
1562.79/1557.44	c cleaning 38991 clauses out of 78027 with flag 810001/15847103
1566.60/1561.22	c cleaning 39990 clauses out of 80035 with flag 851000/15888102
1570.51/1565.10	c cleaning 41004 clauses out of 82045 with flag 893000/15930102
1574.53/1569.13	c cleaning 42003 clauses out of 84041 with flag 936000/15973102
1578.85/1573.45	c cleaning 43002 clauses out of 86038 with flag 980000/16017102
1583.07/1577.62	c cleaning 43995 clauses out of 88036 with flag 1025000/16062102
1587.38/1581.96	c cleaning 44988 clauses out of 90041 with flag 1071000/16108102
1591.49/1586.04	c cleaning 46020 clauses out of 92055 with flag 1118002/16155104
1595.90/1590.42	c cleaning 47003 clauses out of 94033 with flag 1166000/16203102
1600.21/1594.74	c cleaning 47994 clauses out of 96030 with flag 1215000/16252102
1604.72/1599.28	c cleaning 48997 clauses out of 98036 with flag 1265000/16302102
1609.23/1603.79	c cleaning 50004 clauses out of 100044 with flag 1316005/16353107
1614.03/1608.51	c cleaning 50993 clauses out of 102035 with flag 1368000/16405102
1618.64/1613.17	c cleaning 52003 clauses out of 104043 with flag 1421001/16458103
1623.58/1618.07	c cleaning 52991 clauses out of 106039 with flag 1475000/16512102
1628.68/1623.15	c cleaning 54001 clauses out of 108048 with flag 1530000/16567102
1633.90/1628.38	c cleaning 55016 clauses out of 110050 with flag 1586003/16623105
1639.13/1633.50	c cleaning 55991 clauses out of 112031 with flag 1643000/16680102
1644.75/1639.18	c cleaning 57001 clauses out of 114040 with flag 1701000/16738102
1650.67/1645.01	c cleaning 57988 clauses out of 116039 with flag 1760000/16797102
1656.18/1650.59	c cleaning 59003 clauses out of 118051 with flag 1820000/16857102
1661.90/1656.21	c cleaning 60018 clauses out of 120049 with flag 1881001/16918103
1667.62/1661.99	c cleaning 60985 clauses out of 122030 with flag 1943000/16980102
1673.73/1668.02	c cleaning 61992 clauses out of 124047 with flag 2006002/17043104
1679.84/1674.19	c cleaning 63024 clauses out of 126053 with flag 2070000/17107102
1685.95/1680.22	c cleaning 63994 clauses out of 128031 with flag 2135002/17172104
1692.26/1686.51	c cleaning 65001 clauses out of 130035 with flag 2201000/17238102
1698.69/1692.99	c cleaning 66004 clauses out of 132035 with flag 2268001/17305103
1705.31/1699.52	c cleaning 66985 clauses out of 134030 with flag 2336000/17373102
1711.51/1705.79	c cleaning 68003 clauses out of 136045 with flag 2405000/17442102
1718.43/1712.61	c cleaning 69003 clauses out of 138042 with flag 2475000/17512102
1725.34/1719.59	c cleaning 69982 clauses out of 140039 with flag 2546000/17583102
1733.16/1727.30	c cleaning 71021 clauses out of 142059 with flag 2618002/17655104
1740.68/1734.81	c cleaning 71967 clauses out of 144036 with flag 2691000/17728102
1747.40/1741.55	c cleaning 73027 clauses out of 146069 with flag 2765000/17802102
1754.81/1748.92	c cleaning 74002 clauses out of 148043 with flag 2840001/17877103
1762.52/1756.66	c cleaning 75001 clauses out of 150040 with flag 2916000/17953102
1770.42/1764.52	c cleaning 75987 clauses out of 152040 with flag 2993001/18030103
1778.44/1772.57	c cleaning 76996 clauses out of 154056 with flag 3071004/18108106
1786.65/1780.72	c cleaning 78001 clauses out of 156056 with flag 3150000/18187102
1794.47/1788.54	c cleaning 78998 clauses out of 158055 with flag 3230000/18267102
1800.09/1794.12	c starts		: 353
1800.09/1794.12	c conflicts		: 18329104
1800.09/1794.12	c decisions		: 52209631
1800.09/1794.12	c propagations		: 5163878415
1800.09/1794.12	c inspects		: 12008030219
1800.09/1794.12	c shortcuts		: 0
1800.09/1794.12	c learnt literals	: 0
1800.09/1794.12	c learnt binary clauses	: 27
1800.09/1794.12	c learnt ternary clauses	: 36
1800.09/1794.12	c learnt constraints	: 18329104
1800.09/1794.12	c ignored constraints	: 0
1800.09/1794.12	c root simplifications	: 353
1800.09/1794.12	c removed literals (reason simplification)	: 47903442
1800.09/1794.12	c reason swapping (by a shorter reason)	: 0
1800.09/1794.12	c Calls to reduceDB	: 310
1800.09/1794.12	c number of reductions to clauses (during analyze)	: 0
1800.09/1794.12	c number of learned constraints concerned by reduction	: 0
1800.09/1794.12	c number of learning phase by resolution	: 0
1800.09/1794.12	c number of learning phase by cutting planes	: 0
1800.09/1794.12	c speed (assignments/second)	: 2878634.4148720303
1800.09/1794.12	c non guided choices	599
1800.09/1794.15	c learnt constraints type 
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 27
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141273
1800.09/1794.15	c constraints type 
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 372
1800.09/1794.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1794.15	c ignored satisfied constraints => 89
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
1800.09/1794.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1588
1800.09/1794.15	c 2073 constraints processed.
1800.09/1794.15	s SATISFIABLE
1800.09/1794.15	v x1 -x2 -x3 -x4 x5 x6 x7 -x8 x9 -x10 -x11 x12 -x13 x14 -x15 -x16 x17 x18 x19 x20 -x21 -x22 x23 -x24 x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 x49 x50 -x51 x52 -x53 -x54 -x55 x56 -x57 x58 -x59 x60 -x61 -x62 -x63 x64 x65 x66 x67 x68 -x69 x70 -x71 x72 x73 -x74 x75 x76 -x77 x78 x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 
1800.09/1794.15	c objective function=13
1800.09/1794.15	c Total wall clock time (in seconds): 1794.046

Verifier Data 

OK	13

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-3710872-1338160420/watcher-3710872-1338160420 -o /tmp/evaluation-result-3710872-1338160420/solver-3710872-1338160420 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710872-1338160420.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.03 1.96 3/194 13644
/proc/meminfo: memFree=30489384/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/13644/stat : 13644 (java) R 13642 13644 13368 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 282168053 23793664 707 33554432000 1073741824 1073778376 140736958629936 140736958619000 266426430995 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 5809 707 522 9 0 128 0

[startup+0.045794 s]
/proc/loadavg: 2.13 2.03 1.96 3/194 13644
/proc/meminfo: memFree=30489384/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 3084 0 1 0 3 0 0 0 20 0 13 0 282168053 9446973440 4291 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2306390 4291 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100201 s]
/proc/loadavg: 2.13 2.03 1.96 3/194 13644
/proc/meminfo: memFree=30489384/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 4381 0 1 0 10 1 0 0 20 0 18 0 282168053 9787842560 6058 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2389610 6058 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.300154 s]
/proc/loadavg: 2.13 2.03 1.96 3/194 13644
/proc/meminfo: memFree=30489384/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 6338 0 1 0 47 1 0 0 20 0 19 0 282168053 9856004096 9032 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 9032 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004

[startup+0.700137 s]
/proc/loadavg: 2.13 2.03 1.96 3/194 13644
/proc/meminfo: memFree=30489384/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=1.14 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 7183 0 1 0 112 2 0 0 20 0 19 0 282168053 9856004096 9030 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 9030 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625004

[startup+1.5006 s]
/proc/loadavg: 2.13 2.03 1.96 3/213 13663
/proc/meminfo: memFree=30453660/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=2.01 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 7292 0 1 0 199 2 0 0 20 0 19 0 282168053 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 11127 2272 9 0 2396937 0
[pid=13644/tid=13646] ppid=13642 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/13644/task/13646/stat : 13646 (java) R 13642 13644 13368 0 -1 4202560 2572 0 1 0 144 1 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708958503320 139708793872400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13647] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13647/stat : 13647 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708919994920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13648] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13648/stat : 13648 (java) S 13642 13644 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708918942120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13649] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13649/stat : 13649 (java) S 13642 13644 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708917889320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13650] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13650/stat : 13650 (java) S 13642 13644 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708916836520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13651] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13651/stat : 13651 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708915784744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 282168055 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1331 0 0 0 23 0 0 0 20 0 19 0 282168058 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 2141 0 0 0 26 0 0 0 20 0 19 0 282168058 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 11127 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9625004

[startup+3.10059 s]
/proc/loadavg: 2.13 2.03 1.96 3/213 13663
/proc/meminfo: memFree=30453292/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=3.68 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 7828 0 1 0 366 2 0 0 20 0 19 0 282168053 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 12159 2272 9 0 2396937 0
[pid=13644/tid=13646] ppid=13642 vsize=9625004 CPUtime=3.01 cores=1,3,5,7
/proc/13644/task/13646/stat : 13646 (java) R 13642 13644 13368 0 -1 4202560 2573 0 1 0 300 1 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708958503320 139708793821615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13647] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13647/stat : 13647 (java) S 13642 13644 13368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708919994920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13648] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13648/stat : 13648 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708918942120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13649] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13649/stat : 13649 (java) S 13642 13644 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708917889320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13650] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13650/stat : 13650 (java) S 13642 13644 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708916836520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13651] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13651/stat : 13651 (java) S 13642 13644 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708915784744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 282168055 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1331 0 0 0 23 0 0 0 20 0 19 0 282168058 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 2663 0 0 0 31 0 0 0 20 0 19 0 282168058 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 12159 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 9625004

[startup+6.3006 s]
/proc/loadavg: 2.12 2.03 1.96 3/213 13663
/proc/meminfo: memFree=30449248/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=7.32 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 14861 0 1 0 728 4 0 0 20 0 19 0 282168053 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 12013 2274 9 0 2396937 0
[pid=13644/tid=13646] ppid=13642 vsize=9625004 CPUtime=6.17 cores=1,3,5,7
/proc/13644/task/13646/stat : 13646 (java) R 13642 13644 13368 0 -1 4202560 2577 0 1 0 616 1 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708958503200 139708793978008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13647] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13647/stat : 13647 (java) S 13642 13644 13368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708919994920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13648] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13648/stat : 13648 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708918942120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13649] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13649/stat : 13649 (java) S 13642 13644 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708917889320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13650] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13650/stat : 13650 (java) S 13642 13644 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708916836520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13651] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13651/stat : 13651 (java) S 13642 13644 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708915784744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282168054 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 282168055 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1337 0 0 0 25 0 0 0 20 0 19 0 282168058 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 9675 0 0 0 69 2 0 0 20 0 19 0 282168058 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 12013 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 87 0 0 0 86 0 0 0 20 0 19 0 282168054 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 164 0 0 0 84 0 0 0 20 0 19 0 282168054 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 146 0 0 0 88 1 0 0 20 0 19 0 282168054 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=9.1 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 146 0 0 0 907 3 0 0 20 0 19 0 282168055 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1337 0 0 0 25 0 0 0 20 0 19 0 282168058 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 9966 0 0 0 73 2 0 0 20 0 19 0 282168058 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 99 0 0 0 14 14 0 0 20 0 19 0 282168058 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 32036 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.16
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/213 13678
/proc/meminfo: memFree=30311672/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=1788.26 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 16940 0 1 0 178793 33 0 0 20 0 19 0 282168053 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 32038 2275 9 0 2396937 0
[pid=13644/tid=13646] ppid=13642 vsize=9625004 CPUtime=1770.7 cores=1,3,5,7
/proc/13644/task/13646/stat : 13646 (java) R 13642 13644 13368 0 -1 4202560 2886 0 1 0 177041 29 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708958503200 139708793861218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13647] ppid=13642 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/13644/task/13647/stat : 13647 (java) S 13642 13644 13368 0 -1 4202560 252 0 0 0 83 2 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708919994920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13648] ppid=13642 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/13644/task/13648/stat : 13648 (java) S 13642 13644 13368 0 -1 4202560 131 0 0 0 84 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708918942120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13649] ppid=13642 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/13644/task/13649/stat : 13649 (java) S 13642 13644 13368 0 -1 4202560 265 0 0 0 82 1 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708917889320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13650] ppid=13642 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/13644/task/13650/stat : 13650 (java) S 13642 13644 13368 0 -1 4202560 99 0 0 0 86 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708916836520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13651] ppid=13642 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/13644/task/13651/stat : 13651 (java) S 13642 13644 13368 0 -1 4202560 165 0 0 0 87 2 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708915784744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 87 0 0 0 88 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 164 0 0 0 85 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 148 0 0 0 91 1 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=9.39 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 150 0 0 0 936 3 0 0 20 0 19 0 282168055 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1337 0 0 0 25 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 9966 0 0 0 73 2 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 103 0 0 0 14 15 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.26
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.11 s]
/proc/loadavg: 1.92 1.98 1.97 3/193 13681
/proc/meminfo: memFree=30421812/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 16941 0 1 0 179976 33 0 0 20 0 19 0 282168053 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 32038 2275 9 0 2396937 0
[pid=13644/tid=13646] ppid=13642 vsize=9625004 CPUtime=1782.47 cores=1,3,5,7
/proc/13644/task/13646/stat : 13646 (java) R 13642 13644 13368 0 -1 4202560 2887 0 1 0 178217 30 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708958503200 139708793958322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13647] ppid=13642 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/13644/task/13647/stat : 13647 (java) S 13642 13644 13368 0 -1 4202560 252 0 0 0 84 2 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708919994920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13648] ppid=13642 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/13644/task/13648/stat : 13648 (java) S 13642 13644 13368 0 -1 4202560 131 0 0 0 85 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708918942120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13649] ppid=13642 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/13644/task/13649/stat : 13649 (java) S 13642 13644 13368 0 -1 4202560 265 0 0 0 82 1 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708917889320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13650] ppid=13642 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/13644/task/13650/stat : 13650 (java) S 13642 13644 13368 0 -1 4202560 99 0 0 0 87 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708916836520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13651] ppid=13642 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/13644/task/13651/stat : 13651 (java) S 13642 13644 13368 0 -1 4202560 165 0 0 0 87 2 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708915784744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 87 0 0 0 88 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 164 0 0 0 85 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 148 0 0 0 91 1 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=9.43 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 150 0 0 0 940 3 0 0 20 0 19 0 282168055 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1337 0 0 0 25 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 9966 0 0 0 73 2 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 103 0 0 0 15 15 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1794.11 s]
/proc/loadavg: 1.92 1.98 1.97 3/193 13681
/proc/meminfo: memFree=30421812/32873648 swapFree=6860/6860
[pid=13644] ppid=13642 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/13644/stat : 13644 (java) S 13642 13644 13368 0 -1 4202496 16941 0 1 0 179976 33 0 0 20 0 19 0 282168053 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 140736958621072 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13644/statm: 2406251 32038 2275 9 0 2396937 0
[pid=13644/tid=13646] ppid=13642 vsize=9625004 CPUtime=1782.47 cores=1,3,5,7
/proc/13644/task/13646/stat : 13646 (java) R 13642 13644 13368 0 -1 4202560 2887 0 1 0 178217 30 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708958503200 139708793958322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13647] ppid=13642 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/13644/task/13647/stat : 13647 (java) S 13642 13644 13368 0 -1 4202560 252 0 0 0 84 2 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708919994920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13644/tid=13648] ppid=13642 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/13644/task/13648/stat : 13648 (java) S 13642 13644 13368 0 -1 4202560 131 0 0 0 85 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708918942120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13649] ppid=13642 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/13644/task/13649/stat : 13649 (java) S 13642 13644 13368 0 -1 4202560 265 0 0 0 82 1 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708917889320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13650] ppid=13642 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/13644/task/13650/stat : 13650 (java) S 13642 13644 13368 0 -1 4202560 99 0 0 0 87 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708916836520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13651] ppid=13642 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/13644/task/13651/stat : 13651 (java) S 13642 13644 13368 0 -1 4202560 165 0 0 0 87 2 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708915784744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13652] ppid=13642 vsize=9625004 CPUtime=0.88 cores=1,3,5,7
/proc/13644/task/13652/stat : 13652 (java) S 13642 13644 13368 0 -1 4202560 87 0 0 0 88 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708914731944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13653] ppid=13642 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/13644/task/13653/stat : 13653 (java) S 13642 13644 13368 0 -1 4202560 164 0 0 0 85 0 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708913679144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13654] ppid=13642 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/13644/task/13654/stat : 13654 (java) S 13642 13644 13368 0 -1 4202560 148 0 0 0 91 1 0 0 20 0 19 0 282168054 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708912626344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13655] ppid=13642 vsize=9625004 CPUtime=9.43 cores=1,3,5,7
/proc/13644/task/13655/stat : 13655 (java) S 13642 13644 13368 0 -1 4202560 150 0 0 0 940 3 0 0 20 0 19 0 282168055 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708782205416 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13656] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13656/stat : 13656 (java) S 13642 13644 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708781151480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13657] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13657/stat : 13657 (java) S 13642 13644 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282168056 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708780098568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13658] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13658/stat : 13658 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708779047056 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13659] ppid=13642 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/13644/task/13659/stat : 13659 (java) S 13642 13644 13368 0 -1 4202560 1337 0 0 0 25 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139708777995192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13644/tid=13660] ppid=13642 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/13644/task/13660/stat : 13660 (java) S 13642 13644 13368 0 -1 4202560 9966 0 0 0 73 2 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707904158520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13644/tid=13661] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13661/stat : 13661 (java) S 13642 13644 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707903105912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13644/tid=13662] ppid=13642 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/13644/task/13662/stat : 13662 (java) S 13642 13644 13368 0 -1 4202560 103 0 0 0 15 15 0 0 20 0 19 0 282168058 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707902053320 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=13644/tid=13663] ppid=13642 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13644/task/13663/stat : 13663 (java) S 13642 13644 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282168079 9856004096 32038 33554432000 1073741824 1073778376 140736958629936 139707900998824 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1794.16
CPU time (s): 1800.5
CPU user time (s): 1799.8
CPU system time (s): 0.701893
CPU usage (%): 100.353
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.701893
maximum resident set size= 128300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17005
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46317
involuntary context switches= 24341

runsolver used 6.30004 second user time and 13.264 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 01:13:40
IDJOB=3710872
IDBENCH=25006
IDSOLVER=2289
FILE ID=node116/3710872-1338160420
RUNJOBID= node116-1338158618-13385
PBS_JOBID= 14624543
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710872-1338160420/watcher-3710872-1338160420 -o /tmp/evaluation-result-3710872-1338160420/solver-3710872-1338160420 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710872-1338160420.opb

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

MD5SUM BENCH= ea4ff8014cd873922b6021da249fa157
RANDOM SEED=266089040

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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		: 2666.556
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30490184 kB
Buffers:          366976 kB
Cached:          1111584 kB
SwapCached:         3236 kB
Active:           823972 kB
Inactive:         709456 kB
Active(anon):      45676 kB
Inactive(anon):     8960 kB
Active(file):     778296 kB
Inactive(file):   700496 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103668 kB
Dirty:              1800 kB
Writeback:             0 kB
AnonPages:         89696 kB
Mapped:            20936 kB
Shmem:                96 kB
Slab:             700404 kB
SReclaimable:     144124 kB
SUnreclaim:       556280 kB
KernelStack:        1760 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     694716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 71468 MiB
End job on node116 at 2012-05-28 01:43:36