Trace number 3710533

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)3700 1800.05 1791.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM8d2c17131f0dd6c2b5d472cf1eef4c89
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.208968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.14	c --- Begin Solver configuration ---
0.08/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.14	c Learn all clauses as in MiniSAT
0.08/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.14	c Expensive reason simplification
0.08/0.14	c Armin Biere (Picosat) restarts strategy
0.08/0.14	c Glucose learned constraints deletion strategy
0.08/0.14	c timeout=2147483s
0.08/0.14	c DB Simplification allowed=true
0.08/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.14	c --- End Solver configuration ---
0.08/0.14	c solving HOME/instance-3710533-1338136046.opb
0.08/0.14	c reading problem ... 
0.24/0.26	c ... done. Wall clock time 0.122s.
0.24/0.26	c declared #vars     1086
0.24/0.26	c #constraints  169
0.24/0.26	c constraints type 
0.24/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 83
0.24/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 85
0.24/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.24/0.26	c 169 constraints processed.
0.75/0.41	c SATISFIABLE
0.75/0.41	c OPTIMIZING...
0.75/0.41	c Got one! Elapsed wall clock time (in seconds):0.27
0.75/0.41	o 4548
0.95/0.51	c Got one! Elapsed wall clock time (in seconds):0.372
0.95/0.51	o 4327
1.44/0.95	c cleaning 3038 clauses out of 6085 with flag 5000/6085
1.44/0.99	c Got one! Elapsed wall clock time (in seconds):0.853
1.44/0.99	o 4304
1.44/1.00	c Got one! Elapsed wall clock time (in seconds):0.86
1.44/1.00	o 4272
1.68/1.15	c Got one! Elapsed wall clock time (in seconds):1.018
1.68/1.15	o 4245
1.78/1.22	c Got one! Elapsed wall clock time (in seconds):1.083
1.78/1.22	o 4200
1.78/1.23	c Got one! Elapsed wall clock time (in seconds):1.096
1.78/1.23	o 4123
2.03/1.47	c cleaning 4668 clauses out of 9355 with flag 3000/12393
2.64/2.01	c cleaning 5340 clauses out of 10688 with flag 9001/18394
3.25/2.62	c cleaning 6169 clauses out of 12347 with flag 16000/25393
4.10/3.44	c cleaning 7086 clauses out of 14178 with flag 24000/33393
4.91/4.22	c cleaning 8042 clauses out of 16093 with flag 33001/42394
5.72/5.04	c Got one! Elapsed wall clock time (in seconds):4.907
5.72/5.04	o 4093
6.23/5.56	c cleaning 10651 clauses out of 21315 with flag 5002/55658
6.85/6.16	c cleaning 8314 clauses out of 16662 with flag 11000/61656
7.77/7.03	c cleaning 7661 clauses out of 15348 with flag 18000/68656
8.70/7.93	c cleaning 7841 clauses out of 15693 with flag 26006/76662
9.42/8.68	c cleaning 8405 clauses out of 16847 with flag 35001/85657
10.53/9.74	c cleaning 9218 clauses out of 18441 with flag 45000/95656
11.15/10.38	c Got one! Elapsed wall clock time (in seconds):10.246
11.15/10.38	o 4005
11.66/10.82	c cleaning 9631 clauses out of 19277 with flag 5000/105710
12.27/11.41	c cleaning 7817 clauses out of 15647 with flag 11001/111711
12.88/12.08	c cleaning 7412 clauses out of 14829 with flag 18000/118710
13.78/12.95	c cleaning 7701 clauses out of 15418 with flag 26001/126711
14.68/13.83	c cleaning 8349 clauses out of 16717 with flag 35001/135711
15.69/14.88	c cleaning 9169 clauses out of 18369 with flag 45002/145712
16.92/16.07	c cleaning 10092 clauses out of 20198 with flag 56000/156710
18.02/17.13	c cleaning 11049 clauses out of 22107 with flag 68001/168711
19.34/18.41	c cleaning 12018 clauses out of 24057 with flag 81000/181710
20.85/19.92	c cleaning 13014 clauses out of 26039 with flag 95000/195710
22.47/21.52	c cleaning 14012 clauses out of 28025 with flag 110000/210710
24.68/23.78	c cleaning 14989 clauses out of 30013 with flag 126000/226710
26.49/25.58	c cleaning 16004 clauses out of 32027 with flag 143003/243713
28.41/27.50	c cleaning 16996 clauses out of 34020 with flag 161000/261710
30.91/29.99	c cleaning 18005 clauses out of 36027 with flag 180003/280713
33.51/32.53	c cleaning 19002 clauses out of 38019 with flag 200000/300710
36.94/35.99	c cleaning 20002 clauses out of 40017 with flag 221000/321710
39.68/38.66	c cleaning 21002 clauses out of 42016 with flag 243001/343711
42.91/41.89	c cleaning 21999 clauses out of 44013 with flag 266000/366710
47.52/46.43	c cleaning 23007 clauses out of 46015 with flag 290001/390711
50.76/49.68	c cleaning 23998 clauses out of 48007 with flag 315000/415710
52.68/51.53	c Got one! Elapsed wall clock time (in seconds):51.397
52.68/51.53	o 3912
53.39/52.22	c cleaning 21219 clauses out of 42475 with flag 5001/434176
54.11/52.92	c cleaning 13616 clauses out of 27255 with flag 11000/440175
54.83/53.68	c cleaning 10316 clauses out of 20639 with flag 18000/447175
55.75/54.59	c cleaning 9144 clauses out of 18323 with flag 26000/455175
56.75/55.52	c cleaning 9073 clauses out of 18179 with flag 35000/464175
57.66/56.49	c cleaning 9547 clauses out of 19106 with flag 45000/474175
58.87/57.60	c cleaning 10272 clauses out of 20559 with flag 56000/485175
60.18/58.96	c cleaning 11134 clauses out of 22288 with flag 68001/497176
61.70/60.41	c cleaning 12072 clauses out of 24155 with flag 81002/510177
63.00/61.79	c cleaning 13029 clauses out of 26081 with flag 95000/524175
64.72/63.44	c cleaning 14013 clauses out of 28054 with flag 110002/539177
66.54/65.24	c cleaning 14999 clauses out of 30040 with flag 126001/555176
68.38/67.05	c cleaning 16004 clauses out of 32041 with flag 143001/572176
70.38/69.05	c cleaning 17018 clauses out of 34037 with flag 161001/590176
72.60/71.27	c cleaning 18003 clauses out of 36018 with flag 180000/609175
74.72/73.34	c cleaning 19002 clauses out of 38016 with flag 200001/629176
76.75/75.34	c Got one! Elapsed wall clock time (in seconds):75.205
76.75/75.34	o 3886
77.42/75.99	c cleaning 19486 clauses out of 38989 with flag 5001/649151
77.82/76.30	c Got one! Elapsed wall clock time (in seconds):76.166
77.82/76.30	o 3879
78.23/76.76	c cleaning 12400 clauses out of 24820 with flag 3002/654468
79.05/77.57	c cleaning 9190 clauses out of 18420 with flag 9002/660468
80.07/78.51	c cleaning 8103 clauses out of 16230 with flag 16002/667468
80.99/79.46	c cleaning 8057 clauses out of 16126 with flag 24001/675467
81.90/80.33	c cleaning 8519 clauses out of 17068 with flag 33000/684466
82.92/81.35	c cleaning 9266 clauses out of 18552 with flag 43003/694469
84.13/82.59	c cleaning 10129 clauses out of 20283 with flag 54000/705466
85.42/83.84	c cleaning 11057 clauses out of 22154 with flag 66000/717466
87.04/85.42	c cleaning 12046 clauses out of 24097 with flag 79000/730466
88.86/87.23	c cleaning 13018 clauses out of 26053 with flag 93002/744468
90.58/88.94	c cleaning 14008 clauses out of 28034 with flag 108001/759467
92.39/90.70	c cleaning 14999 clauses out of 30026 with flag 124001/775467
94.20/92.58	c cleaning 16000 clauses out of 32026 with flag 141000/792466
96.40/94.72	c cleaning 17010 clauses out of 34027 with flag 159001/810467
98.73/97.08	c cleaning 17999 clauses out of 36016 with flag 178000/829466
101.24/99.52	c cleaning 18994 clauses out of 38017 with flag 198000/849466
105.06/103.37	c cleaning 19993 clauses out of 40023 with flag 219000/870466
108.39/106.64	c cleaning 21009 clauses out of 42031 with flag 241001/892467
111.11/109.30	c cleaning 22004 clauses out of 44021 with flag 264000/915466
113.52/111.77	c Got one! Elapsed wall clock time (in seconds):111.633
113.52/111.77	o 3875
114.12/112.37	c cleaning 24239 clauses out of 48488 with flag 5001/941937
114.75/112.99	c cleaning 15121 clauses out of 30249 with flag 11001/947937
115.57/113.77	c cleaning 11043 clauses out of 22128 with flag 18001/954937
116.58/114.73	c cleaning 9533 clauses out of 19085 with flag 26001/962937
117.50/115.62	c cleaning 9268 clauses out of 18551 with flag 35000/971936
118.60/116.71	c cleaning 9637 clauses out of 19283 with flag 45000/981936
119.80/117.92	c cleaning 10313 clauses out of 20647 with flag 56001/992937
121.22/119.36	c cleaning 11159 clauses out of 22334 with flag 68001/1004937
122.73/120.82	c cleaning 12084 clauses out of 24174 with flag 81000/1017936
124.16/122.25	c cleaning 13031 clauses out of 26091 with flag 95001/1031937
125.97/124.03	c cleaning 14023 clauses out of 28059 with flag 110000/1046936
127.68/125.75	c cleaning 14992 clauses out of 30036 with flag 126000/1062936
129.69/127.77	c cleaning 16020 clauses out of 32045 with flag 143001/1079937
132.01/130.01	c cleaning 17002 clauses out of 34025 with flag 161001/1097937
134.62/132.61	c cleaning 17995 clauses out of 36022 with flag 180000/1116936
137.33/135.36	c cleaning 18998 clauses out of 38027 with flag 200000/1136936
140.25/138.28	c cleaning 20000 clauses out of 40030 with flag 221001/1157937
143.38/141.37	c cleaning 21008 clauses out of 42030 with flag 243001/1179937
147.40/145.38	c cleaning 21989 clauses out of 44022 with flag 266001/1202937
151.73/149.64	c cleaning 23001 clauses out of 46036 with flag 290004/1226940
156.54/154.43	c cleaning 24010 clauses out of 48032 with flag 315001/1251937
162.28/160.19	c cleaning 25002 clauses out of 50021 with flag 341000/1277936
167.73/165.55	c cleaning 25988 clauses out of 52020 with flag 368001/1304937
173.04/170.81	c cleaning 27008 clauses out of 54032 with flag 396001/1332937
176.46/174.27	c cleaning 28002 clauses out of 56024 with flag 425001/1361937
181.58/179.31	c cleaning 29003 clauses out of 58021 with flag 455000/1391936
185.59/183.35	c cleaning 30005 clauses out of 60021 with flag 486003/1422939
190.80/188.52	c cleaning 30992 clauses out of 62014 with flag 518001/1454937
194.43/192.10	c cleaning 32007 clauses out of 64021 with flag 551000/1487936
198.76/196.41	c cleaning 32996 clauses out of 66014 with flag 585000/1521936
204.57/202.21	c cleaning 33992 clauses out of 68018 with flag 620000/1556936
210.91/208.51	c cleaning 35006 clauses out of 70028 with flag 656002/1592938
216.83/214.46	c cleaning 35997 clauses out of 72020 with flag 693000/1629936
222.45/220.03	c cleaning 37001 clauses out of 74024 with flag 731001/1667937
227.81/225.35	c cleaning 38000 clauses out of 76022 with flag 770000/1706936
232.74/230.20	c cleaning 39003 clauses out of 78022 with flag 810000/1746936
238.47/235.95	c cleaning 39984 clauses out of 80020 with flag 851001/1787937
246.90/244.34	c cleaning 40988 clauses out of 82036 with flag 893001/1829937
256.12/253.57	c cleaning 41987 clauses out of 84048 with flag 936001/1872937
268.15/265.53	c cleaning 43010 clauses out of 86061 with flag 980001/1916937
278.50/275.83	c cleaning 43999 clauses out of 88051 with flag 1025001/1961937
286.82/284.15	c cleaning 45021 clauses out of 90051 with flag 1071000/2007936
294.05/291.40	c cleaning 46002 clauses out of 92030 with flag 1118000/2054936
301.58/298.82	c cleaning 46997 clauses out of 94028 with flag 1166000/2102936
308.09/305.31	c cleaning 47997 clauses out of 96031 with flag 1215000/2151936
314.62/311.88	c cleaning 49009 clauses out of 98035 with flag 1265001/2201937
321.14/318.38	c cleaning 49994 clauses out of 100028 with flag 1316003/2252939
328.92/326.00	c cleaning 50998 clauses out of 102031 with flag 1368000/2304936
339.24/336.34	c cleaning 51989 clauses out of 104033 with flag 1421000/2357936
350.39/347.47	c cleaning 53011 clauses out of 106045 with flag 1475001/2411937
360.85/357.83	c cleaning 53963 clauses out of 108033 with flag 1530000/2466936
370.88/367.88	c cleaning 55010 clauses out of 110070 with flag 1586000/2522936
382.30/379.23	c cleaning 56014 clauses out of 112060 with flag 1643000/2579936
394.74/391.70	c cleaning 57011 clauses out of 114046 with flag 1701000/2637936
405.81/402.65	c cleaning 58001 clauses out of 116036 with flag 1760001/2696937
418.43/415.26	c cleaning 59014 clauses out of 118037 with flag 1820003/2756939
430.57/427.31	c cleaning 60001 clauses out of 120021 with flag 1881001/2817937
444.79/441.54	c cleaning 60993 clauses out of 122019 with flag 1943000/2879936
458.09/454.76	c cleaning 62002 clauses out of 124026 with flag 2006000/2942936
471.61/468.29	c cleaning 63005 clauses out of 126024 with flag 2070000/3006936
482.43/479.08	c cleaning 64005 clauses out of 128019 with flag 2135000/3071936
498.48/495.02	c cleaning 64994 clauses out of 130014 with flag 2201000/3137936
511.22/507.73	c cleaning 65999 clauses out of 132020 with flag 2268000/3204936
528.38/524.84	c cleaning 66993 clauses out of 134021 with flag 2336000/3272936
540.33/536.78	c cleaning 68006 clauses out of 136028 with flag 2405000/3341936
552.36/548.78	c cleaning 68993 clauses out of 138022 with flag 2475000/3411936
568.00/564.36	c cleaning 69948 clauses out of 140029 with flag 2546000/3482936
585.44/581.76	c cleaning 71031 clauses out of 142081 with flag 2618000/3554936
601.59/597.83	c cleaning 71982 clauses out of 144050 with flag 2691000/3627936
620.42/616.64	c cleaning 73020 clauses out of 146068 with flag 2765000/3701936
645.87/642.08	c cleaning 73981 clauses out of 148048 with flag 2840000/3776936
668.35/664.47	c cleaning 75017 clauses out of 150068 with flag 2916001/3852937
689.43/685.42	c cleaning 75987 clauses out of 152051 with flag 2993001/3929937
711.17/707.15	c cleaning 77007 clauses out of 154063 with flag 3071000/4007936
728.81/724.77	c cleaning 78010 clauses out of 156057 with flag 3150001/4086937
746.08/741.93	c cleaning 79019 clauses out of 158048 with flag 3230002/4166938
762.54/758.36	c cleaning 79996 clauses out of 160027 with flag 3311000/4247936
777.42/773.12	c cleaning 80992 clauses out of 162033 with flag 3393002/4329938
793.37/789.03	c cleaning 82008 clauses out of 164040 with flag 3476001/4412937
810.63/806.24	c cleaning 83004 clauses out of 166031 with flag 3560000/4496936
826.50/822.04	c cleaning 84007 clauses out of 168031 with flag 3645004/4581940
841.13/836.67	c cleaning 84993 clauses out of 170021 with flag 3731001/4667937
860.39/855.84	c cleaning 85998 clauses out of 172027 with flag 3818000/4754936
877.95/873.31	c cleaning 86994 clauses out of 174030 with flag 3906001/4842937
899.08/894.45	c cleaning 88009 clauses out of 176037 with flag 3995002/4931938
913.02/908.35	c cleaning 88997 clauses out of 178027 with flag 4085001/5021937
928.06/923.34	c cleaning 89996 clauses out of 180029 with flag 4176000/5112936
949.81/945.01	c cleaning 90990 clauses out of 182034 with flag 4268001/5204937
971.86/967.00	c cleaning 92005 clauses out of 184043 with flag 4361000/5297936
993.52/988.66	c cleaning 93005 clauses out of 186039 with flag 4455001/5391937
1012.95/1007.90	c cleaning 94000 clauses out of 188035 with flag 4550002/5486938
1019.51/1014.48	c Got one! Elapsed wall clock time (in seconds):1014.344
1019.51/1014.48	o 3874
1020.42/1015.35	c cleaning 62939 clauses out of 125922 with flag 5000/5518825
1021.24/1016.12	c cleaning 34469 clauses out of 68983 with flag 11000/5524825
1022.06/1016.90	c cleaning 20735 clauses out of 41514 with flag 18000/5531825
1022.77/1017.68	c cleaning 14366 clauses out of 28780 with flag 26001/5539826
1023.60/1018.47	c cleaning 11699 clauses out of 23413 with flag 35000/5548825
1024.61/1019.40	c cleaning 10843 clauses out of 21715 with flag 45001/5558826
1025.84/1020.63	c cleaning 10929 clauses out of 21871 with flag 56000/5569825
1026.87/1021.69	c cleaning 11459 clauses out of 22942 with flag 68000/5581825
1027.97/1022.79	c cleaning 12230 clauses out of 24484 with flag 81001/5594826
1029.17/1023.99	c cleaning 13115 clauses out of 26253 with flag 95000/5608825
1030.59/1025.36	c cleaning 14058 clauses out of 28138 with flag 110000/5623825
1032.11/1026.87	c cleaning 15034 clauses out of 30080 with flag 126000/5639825
1033.62/1028.31	c cleaning 16015 clauses out of 32046 with flag 143000/5656825
1035.13/1029.83	c cleaning 17006 clauses out of 34031 with flag 161000/5674825
1036.84/1031.54	c cleaning 18007 clauses out of 36026 with flag 180001/5693826
1038.65/1033.35	c cleaning 19000 clauses out of 38019 with flag 200001/5713826
1040.66/1035.30	c cleaning 19999 clauses out of 40021 with flag 221003/5734828
1042.57/1037.25	c cleaning 20998 clauses out of 42021 with flag 243002/5756827
1044.97/1039.60	c cleaning 22004 clauses out of 44021 with flag 266000/5779825
1046.98/1041.65	c cleaning 23002 clauses out of 46017 with flag 290000/5803825
1049.59/1044.20	c cleaning 23998 clauses out of 48015 with flag 315000/5828825
1051.89/1046.55	c cleaning 24997 clauses out of 50017 with flag 341000/5854825
1054.60/1049.27	c cleaning 26000 clauses out of 52021 with flag 368001/5881826
1057.74/1052.35	c cleaning 26997 clauses out of 54021 with flag 396001/5909826
1060.85/1055.43	c cleaning 27998 clauses out of 56023 with flag 425000/5938825
1064.17/1058.78	c cleaning 29003 clauses out of 58025 with flag 455000/5968825
1067.88/1062.43	c cleaning 29994 clauses out of 60022 with flag 486000/5999825
1071.81/1066.38	c cleaning 31013 clauses out of 62030 with flag 518002/6031827
1076.24/1070.77	c cleaning 31994 clauses out of 64015 with flag 551000/6064825
1081.80/1076.25	c cleaning 33006 clauses out of 66021 with flag 585000/6098825
1088.12/1082.56	c cleaning 33996 clauses out of 68015 with flag 620000/6133825
1093.65/1088.02	c cleaning 34996 clauses out of 70019 with flag 656000/6169825
1099.27/1093.64	c cleaning 35994 clauses out of 72023 with flag 693000/6206825
1105.50/1099.88	c cleaning 36983 clauses out of 74030 with flag 731001/6244826
1112.12/1106.41	c cleaning 38014 clauses out of 76047 with flag 770001/6283826
1118.43/1112.77	c cleaning 39004 clauses out of 78033 with flag 810001/6323826
1124.47/1118.79	c cleaning 40006 clauses out of 80029 with flag 851001/6364826
1128.78/1123.10	c cleaning 40996 clauses out of 82022 with flag 893000/6406825
1132.78/1127.06	c cleaning 41996 clauses out of 84027 with flag 936001/6449826
1137.01/1131.28	c cleaning 43002 clauses out of 86030 with flag 980000/6493825
1142.04/1136.23	c cleaning 43997 clauses out of 88029 with flag 1025001/6538826
1146.87/1141.04	c cleaning 45005 clauses out of 90031 with flag 1071000/6584825
1151.18/1145.30	c cleaning 45995 clauses out of 92028 with flag 1118002/6631827
1156.28/1150.49	c cleaning 47010 clauses out of 94033 with flag 1166002/6679827
1162.32/1156.48	c cleaning 48006 clauses out of 96021 with flag 1215000/6728825
1169.64/1163.78	c cleaning 48996 clauses out of 98015 with flag 1265000/6778825
1176.37/1170.43	c Got one! Elapsed wall clock time (in seconds):1170.298
1176.37/1170.43	o 3700
1176.96/1171.05	c cleaning 51356 clauses out of 102724 with flag 5001/6832530
1177.60/1171.68	c cleaning 28672 clauses out of 57367 with flag 11000/6838529
1178.20/1172.27	c cleaning 17822 clauses out of 35695 with flag 18000/6845529
1178.91/1172.95	c cleaning 12917 clauses out of 25875 with flag 26002/6853531
1179.74/1173.75	c cleaning 10972 clauses out of 21958 with flag 35002/6862531
1181.55/1175.54	c cleaning 10480 clauses out of 20984 with flag 45000/6872529
1182.96/1176.95	c cleaning 10746 clauses out of 21505 with flag 56001/6883530
1184.18/1178.13	c cleaning 11374 clauses out of 22759 with flag 68001/6895530
1185.68/1179.62	c cleaning 12181 clauses out of 24384 with flag 81000/6908529
1187.18/1181.19	c cleaning 13085 clauses out of 26204 with flag 95001/6922530
1188.60/1182.58	c cleaning 14050 clauses out of 28119 with flag 110001/6937530
1190.41/1184.34	c cleaning 15023 clauses out of 30070 with flag 126002/6953531
1192.22/1186.13	c cleaning 16011 clauses out of 32045 with flag 143000/6970529
1194.04/1187.98	c cleaning 17005 clauses out of 34034 with flag 161000/6988529
1196.15/1190.10	c cleaning 18011 clauses out of 36029 with flag 180000/7007529
1198.26/1192.15	c cleaning 18995 clauses out of 38018 with flag 200000/7027529
1201.39/1195.29	c cleaning 20004 clauses out of 40023 with flag 221000/7048529
1204.91/1198.73	c cleaning 20999 clauses out of 42019 with flag 243000/7070529
1208.53/1202.34	c cleaning 22003 clauses out of 44020 with flag 266000/7093529
1212.74/1206.59	c cleaning 22992 clauses out of 46019 with flag 290002/7117531
1217.15/1210.95	c cleaning 23992 clauses out of 48025 with flag 315000/7142529
1221.68/1215.42	c cleaning 24975 clauses out of 50033 with flag 341000/7168529
1224.78/1218.53	c cleaning 26022 clauses out of 52059 with flag 368001/7195530
1227.71/1221.40	c cleaning 27018 clauses out of 54037 with flag 396001/7223530
1231.34/1225.09	c cleaning 28000 clauses out of 56018 with flag 425000/7252529
1235.07/1228.71	c cleaning 28988 clauses out of 58019 with flag 455001/7282530
1239.39/1233.08	c cleaning 30004 clauses out of 60030 with flag 486000/7313529
1243.29/1236.99	c cleaning 30991 clauses out of 62027 with flag 518001/7345530
1247.69/1241.33	c cleaning 32005 clauses out of 64035 with flag 551000/7378529
1251.71/1245.30	c cleaning 33005 clauses out of 66030 with flag 585000/7412529
1256.23/1249.83	c cleaning 33994 clauses out of 68026 with flag 620001/7447530
1261.04/1254.60	c cleaning 35005 clauses out of 70032 with flag 656001/7483530
1265.85/1259.50	c cleaning 35996 clauses out of 72026 with flag 693000/7520529
1270.47/1264.06	c cleaning 37006 clauses out of 74031 with flag 731001/7558530
1276.09/1269.66	c cleaning 38009 clauses out of 76024 with flag 770000/7597529
1281.73/1275.28	c cleaning 38996 clauses out of 78016 with flag 810001/7637530
1287.56/1281.02	c cleaning 39997 clauses out of 80019 with flag 851000/7678529
1294.29/1287.70	c cleaning 41003 clauses out of 82023 with flag 893001/7720530
1300.64/1294.09	c cleaning 41991 clauses out of 84019 with flag 936000/7763529
1307.37/1300.74	c cleaning 42996 clauses out of 86029 with flag 980001/7807530
1314.91/1308.28	c cleaning 44000 clauses out of 88033 with flag 1025001/7852530
1321.13/1314.45	c cleaning 44988 clauses out of 90032 with flag 1071000/7898529
1327.33/1320.60	c cleaning 46009 clauses out of 92044 with flag 1118000/7945529
1333.66/1326.99	c cleaning 47014 clauses out of 94036 with flag 1166001/7993530
1342.00/1335.20	c cleaning 47998 clauses out of 96021 with flag 1215000/8042529
1350.96/1344.11	c cleaning 48994 clauses out of 98026 with flag 1265003/8092532
1358.83/1351.95	c cleaning 50008 clauses out of 100029 with flag 1316000/8143529
1366.46/1359.59	c cleaning 51003 clauses out of 102021 with flag 1368000/8195529
1373.08/1366.20	c cleaning 51998 clauses out of 104018 with flag 1421000/8248529
1382.00/1375.05	c cleaning 52999 clauses out of 106022 with flag 1475002/8302531
1390.44/1383.44	c cleaning 53982 clauses out of 108021 with flag 1530000/8357529
1398.66/1391.64	c cleaning 55001 clauses out of 110039 with flag 1586000/8413529
1406.68/1399.64	c cleaning 56001 clauses out of 112038 with flag 1643000/8470529
1415.01/1407.94	c cleaning 57014 clauses out of 114038 with flag 1701001/8528530
1424.34/1417.21	c cleaning 57999 clauses out of 116025 with flag 1760002/8587531
1433.08/1425.94	c cleaning 58997 clauses out of 118024 with flag 1820000/8647529
1442.12/1435.00	c cleaning 59989 clauses out of 120029 with flag 1881002/8708531
1452.15/1444.96	c cleaning 60998 clauses out of 122039 with flag 1943001/8770530
1463.88/1456.66	c cleaning 61985 clauses out of 124042 with flag 2006002/8833531
1474.11/1466.80	c cleaning 63001 clauses out of 126056 with flag 2070001/8897530
1483.95/1476.67	c cleaning 64023 clauses out of 128055 with flag 2135001/8962530
1493.13/1485.76	c cleaning 65009 clauses out of 130034 with flag 2201003/9028532
1502.55/1495.13	c cleaning 65997 clauses out of 132022 with flag 2268000/9095529
1512.38/1504.96	c cleaning 66999 clauses out of 134026 with flag 2336001/9163530
1523.31/1515.87	c cleaning 67999 clauses out of 136026 with flag 2405000/9232529
1532.96/1525.47	c cleaning 68998 clauses out of 138027 with flag 2475000/9302529
1542.70/1535.11	c cleaning 69990 clauses out of 140029 with flag 2546000/9373529
1553.93/1546.32	c cleaning 70995 clauses out of 142040 with flag 2618001/9445530
1565.78/1558.14	c cleaning 71998 clauses out of 144044 with flag 2691000/9518529
1577.03/1569.38	c cleaning 73009 clauses out of 146049 with flag 2765003/9592532
1588.28/1580.54	c cleaning 73996 clauses out of 148039 with flag 2840002/9667531
1598.32/1590.57	c cleaning 74995 clauses out of 150041 with flag 2916000/9743529
1609.85/1602.07	c cleaning 76010 clauses out of 152048 with flag 2993002/9820531
1622.39/1614.58	c cleaning 76994 clauses out of 154037 with flag 3071001/9898530
1634.32/1626.42	c cleaning 78000 clauses out of 156042 with flag 3150000/9977529
1647.55/1639.69	c cleaning 79000 clauses out of 158042 with flag 3230000/10057529
1659.47/1651.55	c cleaning 80007 clauses out of 160042 with flag 3311000/10138529
1671.59/1663.64	c cleaning 81006 clauses out of 162035 with flag 3393000/10220529
1682.43/1674.42	c cleaning 82006 clauses out of 164030 with flag 3476001/10303530
1695.87/1687.82	c cleaning 82992 clauses out of 166023 with flag 3560000/10387529
1707.35/1699.29	c cleaning 84004 clauses out of 168032 with flag 3645001/10472530
1719.40/1711.28	c cleaning 85005 clauses out of 170028 with flag 3731001/10558530
1734.05/1725.83	c cleaning 85999 clauses out of 172022 with flag 3818000/10645529
1749.12/1740.80	c cleaning 86992 clauses out of 174026 with flag 3906003/10733532
1764.56/1756.27	c cleaning 88000 clauses out of 176032 with flag 3995001/10822530
1783.40/1775.10	c cleaning 89008 clauses out of 178035 with flag 4085004/10912533
1800.05/1791.61	c starts		: 336
1800.05/1791.61	c conflicts		: 10983326
1800.05/1791.61	c decisions		: 13080466
1800.05/1791.61	c propagations		: 192939975
1800.05/1791.61	c inspects		: 14188532288
1800.05/1791.61	c shortcuts		: 0
1800.05/1791.61	c learnt literals	: 0
1800.05/1791.61	c learnt binary clauses	: 0
1800.05/1791.61	c learnt ternary clauses	: 16
1800.05/1791.61	c learnt constraints	: 10983327
1800.05/1791.61	c ignored constraints	: 0
1800.05/1791.61	c root simplifications	: 336
1800.05/1791.61	c removed literals (reason simplification)	: 74930447
1800.05/1791.61	c reason swapping (by a shorter reason)	: 0
1800.05/1791.61	c Calls to reduceDB	: 292
1800.05/1791.61	c number of reductions to clauses (during analyze)	: 0
1800.05/1791.61	c number of learned constraints concerned by reduction	: 0
1800.05/1791.61	c number of learning phase by resolution	: 0
1800.05/1791.61	c number of learning phase by cutting planes	: 0
1800.05/1791.61	c speed (assignments/second)	: 107706.59748971165
1800.05/1791.61	c non guided choices	1086
1800.05/1791.64	c learnt constraints type 
1800.05/1791.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 159900
1800.05/1791.64	c constraints type 
1800.05/1791.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 83
1800.05/1791.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 85
1800.05/1791.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.05/1791.64	c 170 constraints processed.
1800.05/1791.64	s SATISFIABLE
1800.05/1791.65	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 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 
1800.05/1791.65	c objective function=3700
1800.05/1791.65	c Total wall clock time (in seconds): 1791.51

Verifier Data 

OK	3700

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22677
/proc/meminfo: memFree=30840444/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (java) D 22675 22677 19004 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 279729561 9515008 182 33554432000 1073741824 1073778376 140735420840016 140735420831048 240565173941 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/22677/statm: 2323 182 140 9 0 71 0

[startup+0.016936 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22677
/proc/meminfo: memFree=30840444/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 1369 0 0 0 0 0 0 0 20 0 2 0 279729561 103964672 1051 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 25382 1052 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100255 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22677
/proc/meminfo: memFree=30840444/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 3694 0 1 0 7 1 0 0 20 0 18 0 279729561 9787842560 4902 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2389610 4904 1939 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300217 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22677
/proc/meminfo: memFree=30840444/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 6040 0 1 0 45 2 0 0 20 0 19 0 279729561 9856004096 8807 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 8807 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625004

[startup+0.700228 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22677
/proc/meminfo: memFree=30840444/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 9443 0 1 0 121 2 0 0 20 0 19 0 279729561 9856004096 10635 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 10635 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22696
/proc/meminfo: memFree=30793892/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=2.14 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 9590 0 1 0 210 4 0 0 20 0 19 0 279729561 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 15808 2279 9 0 2396937 0
[pid=22677/tid=22679] ppid=22675 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/22677/task/22679/stat : 22679 (java) R 22675 22677 19004 0 -1 4202560 2524 0 1 0 142 2 0 0 20 0 19 0 279729562 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266892333480 140266737037276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22680] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22680/stat : 22680 (java) S 22675 22677 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266736277928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22681] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22681/stat : 22681 (java) S 22675 22677 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266735225384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22682] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22682/stat : 22682 (java) S 22675 22677 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266734172328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22683] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22683/stat : 22683 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266733119784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22684] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22684/stat : 22684 (java) S 22675 22677 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266732067752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22685] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22685/stat : 22685 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266731015208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22686] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22686/stat : 22686 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266729962152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22687] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22687/stat : 22687 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266728909608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22688] ppid=22675 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/22677/task/22688/stat : 22688 (java) S 22675 22677 19004 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 279729565 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266245695848 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22689] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22689/stat : 22689 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266244642168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22690] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22690/stat : 22690 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266243589000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22691] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22691/stat : 22691 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266242537744 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3718 0 0 0 34 0 0 0 20 0 19 0 279729568 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2092 0 0 0 28 0 0 0 20 0 19 0 279729568 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 15808 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22696
/proc/meminfo: memFree=30781232/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=3.8 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 9943 0 1 0 376 4 0 0 20 0 19 0 279729561 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 17371 2279 9 0 2396937 0
[pid=22677/tid=22679] ppid=22675 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/22677/task/22679/stat : 22679 (java) R 22675 22677 19004 0 -1 4202560 2524 0 1 0 298 2 0 0 20 0 19 0 279729562 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266892333360 140266736978122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22680] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22680/stat : 22680 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266736277928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22681] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22681/stat : 22681 (java) S 22675 22677 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266735225384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22682] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22682/stat : 22682 (java) S 22675 22677 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266734172328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22683] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22683/stat : 22683 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266733119784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22684] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22684/stat : 22684 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266732067752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22685] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22685/stat : 22685 (java) S 22675 22677 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266731015208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22686] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22686/stat : 22686 (java) S 22675 22677 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266729962152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22687] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22687/stat : 22687 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266728909608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22688] ppid=22675 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/22677/task/22688/stat : 22688 (java) S 22675 22677 19004 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 279729565 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266245695848 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22689] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22689/stat : 22689 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266244642168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22690] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22690/stat : 22690 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266243589000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22691] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22691/stat : 22691 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266242537744 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3718 0 0 0 34 0 0 0 20 0 19 0 279729568 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2425 0 0 0 34 0 0 0 20 0 19 0 279729568 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 17371 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9625004

[startup+6.30071 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22696
/proc/meminfo: memFree=30776144/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=7.07 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 9962 0 1 0 702 5 0 0 20 0 19 0 279729561 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 19883 2279 9 0 2396937 0
[pid=22677/tid=22679] ppid=22675 vsize=9625004 CPUtime=6.11 cores=0,2,4,6
/proc/22677/task/22679/stat : 22679 (java) R 22675 22677 19004 0 -1 4202560 2530 0 1 0 609 2 0 0 20 0 19 0 279729562 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266892333360 140266737037250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22680] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22680/stat : 22680 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266736277928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22681] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22681/stat : 22681 (java) S 22675 22677 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266735225384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22682] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22682/stat : 22682 (java) S 22675 22677 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266734172328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22683] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22683/stat : 22683 (java) S 22675 22677 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266733119784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22684] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22684/stat : 22684 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266732067752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22685] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22685/stat : 22685 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266731015208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22686] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22686/stat : 22686 (java) S 22675 22677 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266729962152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22687] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22687/stat : 22687 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729564 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266728909608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22688] ppid=22675 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/22677/task/22688/stat : 22688 (java) S 22675 22677 19004 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 19 0 279729565 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266245695848 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22689] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22689/stat : 22689 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266244642168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22690] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22690/stat : 22690 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266243589000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22691] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22691/stat : 22691 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266242537744 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3718 0 0 0 34 0 0 0 20 0 19 0 279729568 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2425 0 0 0 34 0 0 0 20 0 19 0 279729568 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 19883 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3829 0 0 0 41 0 0 0 20 0 19 0 279729568 9856004096 80564 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2428 0 0 0 37 0 0 0 20 0 19 0 279729568 9856004096 80564 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80564 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 94 0 0 0 18 18 0 0 20 0 19 0 279729568 9856004096 80564 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 80564 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1670.29
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 22884
/proc/meminfo: memFree=27681880/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=1730.55 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 12210 0 1 0 172999 56 0 0 20 0 19 0 279729561 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 80598 2282 9 0 2396937 0
[pid=22677/tid=22679] ppid=22675 vsize=9625004 CPUtime=1704.47 cores=0,2,4,6
/proc/22677/task/22679/stat : 22679 (java) R 22675 22677 19004 0 -1 4202560 2857 0 1 0 170415 32 0 0 20 0 19 0 279729562 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266892333360 140266736978147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22680] ppid=22675 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/22677/task/22680/stat : 22680 (java) S 22675 22677 19004 0 -1 4202560 224 0 0 0 140 5 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266736277928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22681] ppid=22675 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/22677/task/22681/stat : 22681 (java) S 22675 22677 19004 0 -1 4202560 196 0 0 0 121 4 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266735225384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22682] ppid=22675 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/22677/task/22682/stat : 22682 (java) S 22675 22677 19004 0 -1 4202560 297 0 0 0 126 4 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266734172328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22683] ppid=22675 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/22677/task/22683/stat : 22683 (java) S 22675 22677 19004 0 -1 4202560 277 0 0 0 127 3 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266733119784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22684] ppid=22675 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/22677/task/22684/stat : 22684 (java) S 22675 22677 19004 0 -1 4202560 279 0 0 0 135 3 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266732067752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22685] ppid=22675 vsize=9625004 CPUtime=1.41 cores=0,2,4,6
/proc/22677/task/22685/stat : 22685 (java) S 22675 22677 19004 0 -1 4202560 220 0 0 0 136 5 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266731015208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22686] ppid=22675 vsize=9625004 CPUtime=1.31 cores=0,2,4,6
/proc/22677/task/22686/stat : 22686 (java) S 22675 22677 19004 0 -1 4202560 109 0 0 0 128 3 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266729962152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22687] ppid=22675 vsize=9625004 CPUtime=1.26 cores=0,2,4,6
/proc/22677/task/22687/stat : 22687 (java) S 22675 22677 19004 0 -1 4202560 78 0 0 0 122 4 0 0 20 0 19 0 279729564 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266728909608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22688] ppid=22675 vsize=9625004 CPUtime=9.88 cores=0,2,4,6
/proc/22677/task/22688/stat : 22688 (java) S 22675 22677 19004 0 -1 4202560 137 0 0 0 986 2 0 0 20 0 19 0 279729565 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266245695848 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22689] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22689/stat : 22689 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266244642168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22690] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22690/stat : 22690 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266243589000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22691] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22691/stat : 22691 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266242537744 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3829 0 0 0 41 0 0 0 20 0 19 0 279729568 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2428 0 0 0 37 0 0 0 20 0 19 0 279729568 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 98 0 0 0 19 18 0 0 20 0 19 0 279729568 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 80598 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1730.55
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/213 22884
/proc/meminfo: memFree=27091004/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=1790.74 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 12260 0 1 0 179017 57 0 0 20 0 19 0 279729561 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 80636 2282 9 0 2396937 0
[pid=22677/tid=22679] ppid=22675 vsize=9625004 CPUtime=1763.97 cores=0,2,4,6
/proc/22677/task/22679/stat : 22679 (java) R 22675 22677 19004 0 -1 4202560 2861 0 1 0 176364 33 0 0 20 0 19 0 279729562 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266892333360 140266736947616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22680] ppid=22675 vsize=9625004 CPUtime=1.5 cores=0,2,4,6
/proc/22677/task/22680/stat : 22680 (java) S 22675 22677 19004 0 -1 4202560 231 0 0 0 145 5 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266736277928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22681] ppid=22675 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/22677/task/22681/stat : 22681 (java) S 22675 22677 19004 0 -1 4202560 201 0 0 0 126 4 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266735225384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22682] ppid=22675 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/22677/task/22682/stat : 22682 (java) S 22675 22677 19004 0 -1 4202560 306 0 0 0 128 4 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266734172328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22683] ppid=22675 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/22677/task/22683/stat : 22683 (java) S 22675 22677 19004 0 -1 4202560 278 0 0 0 130 3 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266733119784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22684] ppid=22675 vsize=9625004 CPUtime=1.41 cores=0,2,4,6
/proc/22677/task/22684/stat : 22684 (java) S 22675 22677 19004 0 -1 4202560 295 0 0 0 138 3 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266732067752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22685] ppid=22675 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/22677/task/22685/stat : 22685 (java) S 22675 22677 19004 0 -1 4202560 220 0 0 0 139 5 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266731015208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22686] ppid=22675 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/22677/task/22686/stat : 22686 (java) S 22675 22677 19004 0 -1 4202560 109 0 0 0 133 3 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266729962152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22687] ppid=22675 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/22677/task/22687/stat : 22687 (java) S 22675 22677 19004 0 -1 4202560 78 0 0 0 124 4 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266728909608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22688] ppid=22675 vsize=9625004 CPUtime=10.12 cores=0,2,4,6
/proc/22677/task/22688/stat : 22688 (java) S 22675 22677 19004 0 -1 4202560 141 0 0 0 1010 2 0 0 20 0 19 0 279729565 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266245695848 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22689] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22689/stat : 22689 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266244642168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22690] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22690/stat : 22690 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266243589000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22691] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22691/stat : 22691 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266242537744 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3829 0 0 0 41 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2428 0 0 0 37 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 102 0 0 0 19 19 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1790.74
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.6 s]
/proc/loadavg: 2.13 2.03 2.01 3/213 22885
/proc/meminfo: memFree=27090880/32873844 swapFree=7116/7116
[pid=22677] ppid=22675 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/22677/stat : 22677 (java) S 22675 22677 19004 0 -1 4202496 12260 0 1 0 179948 57 0 0 20 0 19 0 279729561 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140734225832960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22677/statm: 2406251 80636 2282 9 0 2396937 0
[pid=22677/tid=22679] ppid=22675 vsize=9625004 CPUtime=1773.25 cores=0,2,4,6
/proc/22677/task/22679/stat : 22679 (java) R 22675 22677 19004 0 -1 4202560 2861 0 1 0 177292 33 0 0 20 0 19 0 279729562 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266892333360 140266736947980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22680] ppid=22675 vsize=9625004 CPUtime=1.5 cores=0,2,4,6
/proc/22677/task/22680/stat : 22680 (java) S 22675 22677 19004 0 -1 4202560 231 0 0 0 145 5 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266736277928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22681] ppid=22675 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/22677/task/22681/stat : 22681 (java) S 22675 22677 19004 0 -1 4202560 201 0 0 0 126 4 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266735225384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22682] ppid=22675 vsize=9625004 CPUtime=1.32 cores=0,2,4,6
/proc/22677/task/22682/stat : 22682 (java) S 22675 22677 19004 0 -1 4202560 306 0 0 0 128 4 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266734172328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22683] ppid=22675 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/22677/task/22683/stat : 22683 (java) S 22675 22677 19004 0 -1 4202560 278 0 0 0 130 3 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266733119784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22684] ppid=22675 vsize=9625004 CPUtime=1.41 cores=0,2,4,6
/proc/22677/task/22684/stat : 22684 (java) S 22675 22677 19004 0 -1 4202560 295 0 0 0 138 3 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266732067752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22685] ppid=22675 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/22677/task/22685/stat : 22685 (java) S 22675 22677 19004 0 -1 4202560 220 0 0 0 139 5 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266731015208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22686] ppid=22675 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/22677/task/22686/stat : 22686 (java) S 22675 22677 19004 0 -1 4202560 109 0 0 0 133 3 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266729962152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22687] ppid=22675 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/22677/task/22687/stat : 22687 (java) S 22675 22677 19004 0 -1 4202560 78 0 0 0 124 4 0 0 20 0 19 0 279729564 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266728909608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22688] ppid=22675 vsize=9625004 CPUtime=10.12 cores=0,2,4,6
/proc/22677/task/22688/stat : 22688 (java) S 22675 22677 19004 0 -1 4202560 141 0 0 0 1010 2 0 0 20 0 19 0 279729565 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266245695848 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22689] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22689/stat : 22689 (java) S 22675 22677 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266244642168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22690] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22690/stat : 22690 (java) S 22675 22677 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279729565 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266243589000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22691] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22691/stat : 22691 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266242537744 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22677/tid=22692] ppid=22675 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/22677/task/22692/stat : 22692 (java) S 22675 22677 19004 0 -1 4202560 3829 0 0 0 41 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266241485624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22677/tid=22693] ppid=22675 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/22677/task/22693/stat : 22693 (java) S 22675 22677 19004 0 -1 4202560 2428 0 0 0 37 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266240433080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22694] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22694/stat : 22694 (java) S 22675 22677 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266239380216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22677/tid=22695] ppid=22675 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/22677/task/22695/stat : 22695 (java) S 22675 22677 19004 0 -1 4202560 102 0 0 0 19 19 0 0 20 0 19 0 279729568 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266238327880 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22677/tid=22696] ppid=22675 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/22677/task/22696/stat : 22696 (java) S 22675 22677 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279729588 9856004096 80636 33554432000 1073741824 1073778376 140734225841824 140266237273128 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22677 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=848141
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=993848
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.65
CPU time (s): 1800.05
CPU user time (s): 1799.48
CPU system time (s): 0.57
CPU usage (%): 100.469
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.85
system time used= 0.993848
maximum resident set size= 322700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12301
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46194
involuntary context switches= 44206

runsolver used 5.9401 second user time and 14.5848 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-27 18:27:26
IDJOB=3710533
IDBENCH=1856
IDSOLVER=2289
FILE ID=node146/3710533-1338136046
RUNJOBID= node146-1338124629-19020
PBS_JOBID= 14624512
Free space on /tmp= 71184 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.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-3710533-1338136046/watcher-3710533-1338136046 -o /tmp/evaluation-result-3710533-1338136046/solver-3710533-1338136046 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710533-1338136046.opb

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=1797257317

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30840972 kB
Buffers:          309876 kB
Cached:           753236 kB
SwapCached:         2184 kB
Active:          1034696 kB
Inactive:         166640 kB
Active(anon):     137824 kB
Inactive(anon):     2668 kB
Active(file):     896872 kB
Inactive(file):   163972 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:        143980 kB
Mapped:            17556 kB
Shmem:                 0 kB
Slab:             691276 kB
SReclaimable:     132576 kB
SUnreclaim:       558700 kB
KernelStack:        1600 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71184 MiB
End job on node146 at 2012-05-27 18:57:20