Trace number 3689489

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
Sat 4j PB Resolution 2.3.2 SnapshotOPT122 738.232 731.971

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-538867.opb
MD5SUM3b75c8039d6468258a1aa0343ce1fddb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark58.879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.2.v20120418
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3689489-1337890937.opb
0.06/0.13	c reading problem ... 
0.23/0.25	c ... done. Wall clock time 0.119s.
0.23/0.25	c declared #vars     792
0.23/0.25	c #constraints  1188
0.23/0.25	c constraints type 
0.23/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1161
0.23/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
0.23/0.25	c 1188 constraints processed.
0.23/0.25	c objective function length is 666 literals
0.23/0.29	c SATISFIABLE
0.23/0.29	c OPTIMIZING...
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.161
0.23/0.29	o 222
1.05/0.69	c cleaning 2525 clauses out of 5055 with flag 5001/5055
1.51/1.01	c cleaning 4262 clauses out of 8531 with flag 11002/11056
1.81/1.36	c cleaning 5634 clauses out of 11267 with flag 18000/18054
2.22/1.77	c cleaning 6813 clauses out of 13636 with flag 26003/26057
2.74/2.24	c cleaning 7909 clauses out of 15820 with flag 35000/35054
3.24/2.75	c cleaning 8945 clauses out of 17911 with flag 45000/45054
3.86/3.33	c cleaning 9974 clauses out of 19966 with flag 56000/56054
4.47/3.98	c cleaning 10994 clauses out of 21994 with flag 68002/68056
5.17/4.69	c cleaning 11995 clauses out of 23999 with flag 81001/81055
5.58/5.01	c Got one! Elapsed wall clock time (in seconds):4.881
5.58/5.01	o 207
5.58/5.05	c Got one! Elapsed wall clock time (in seconds):4.918
5.58/5.05	o 197
5.58/5.06	c Got one! Elapsed wall clock time (in seconds):4.934
5.58/5.06	o 192
5.58/5.07	c Got one! Elapsed wall clock time (in seconds):4.942
5.58/5.07	o 187
5.58/5.09	c Got one! Elapsed wall clock time (in seconds):4.96
5.58/5.09	o 167
5.98/5.20	c Got one! Elapsed wall clock time (in seconds):5.073
5.98/5.20	o 162
5.98/5.24	c Got one! Elapsed wall clock time (in seconds):5.11
5.98/5.24	o 157
6.21/5.42	c cleaning 12428 clauses out of 24855 with flag 3001/93906
6.51/5.77	c cleaning 9210 clauses out of 18427 with flag 9001/99906
6.91/6.19	c cleaning 8098 clauses out of 16216 with flag 16000/106905
7.43/6.66	c cleaning 8054 clauses out of 16118 with flag 24000/114905
7.93/7.15	c cleaning 8520 clauses out of 17065 with flag 33001/123906
8.54/7.70	c cleaning 9270 clauses out of 18544 with flag 43000/133905
9.13/8.36	c cleaning 10134 clauses out of 20274 with flag 54000/144905
9.54/8.79	c Got one! Elapsed wall clock time (in seconds):8.663
9.54/8.79	o 147
9.86/9.08	c cleaning 11100 clauses out of 22222 with flag 5000/156987
10.26/9.43	c cleaning 8557 clauses out of 17122 with flag 11000/162987
10.67/9.85	c cleaning 7776 clauses out of 15566 with flag 18001/169988
11.17/10.30	c cleaning 7887 clauses out of 15789 with flag 26000/177987
11.58/10.77	c cleaning 8452 clauses out of 16904 with flag 35002/186989
12.18/11.30	c cleaning 9214 clauses out of 18451 with flag 45001/196988
12.78/11.92	c cleaning 10116 clauses out of 20236 with flag 56000/207987
13.49/12.60	c cleaning 11051 clauses out of 22121 with flag 68001/219988
14.19/13.36	c cleaning 12024 clauses out of 24070 with flag 81001/232988
15.00/14.19	c cleaning 13014 clauses out of 26047 with flag 95002/246989
16.01/15.10	c cleaning 14006 clauses out of 28033 with flag 110002/261989
16.91/16.00	c cleaning 15006 clauses out of 30026 with flag 126001/277988
17.91/17.00	c cleaning 16008 clauses out of 32021 with flag 143002/294989
18.91/18.01	c cleaning 17001 clauses out of 34011 with flag 161000/312987
20.01/19.10	c cleaning 18006 clauses out of 36011 with flag 180001/331988
21.12/20.27	c cleaning 18998 clauses out of 38005 with flag 200001/351988
22.44/21.51	c cleaning 20004 clauses out of 40007 with flag 221001/372988
23.75/22.88	c cleaning 20998 clauses out of 42002 with flag 243000/394987
25.16/24.25	c cleaning 21989 clauses out of 44004 with flag 266000/417987
26.55/25.61	c cleaning 23003 clauses out of 46016 with flag 290001/441988
28.07/27.12	c cleaning 24002 clauses out of 48012 with flag 315000/466987
29.59/28.67	c cleaning 25001 clauses out of 50011 with flag 341001/492988
31.19/30.22	c cleaning 25988 clauses out of 52009 with flag 368000/519987
32.82/31.87	c cleaning 26997 clauses out of 54022 with flag 396001/547988
34.52/33.55	c cleaning 27994 clauses out of 56025 with flag 425001/576988
36.32/35.35	c cleaning 29012 clauses out of 58031 with flag 455001/606988
38.33/37.38	c cleaning 30004 clauses out of 60019 with flag 486001/637988
40.33/39.34	c cleaning 31005 clauses out of 62016 with flag 518002/669989
42.35/41.38	c cleaning 32001 clauses out of 64009 with flag 551000/702987
44.35/43.36	c cleaning 32997 clauses out of 66008 with flag 585000/736987
46.57/45.54	c cleaning 33996 clauses out of 68012 with flag 620001/771988
48.79/47.70	c cleaning 34996 clauses out of 70015 with flag 656000/807987
51.09/50.10	c cleaning 35997 clauses out of 72019 with flag 693000/844987
53.49/52.42	c cleaning 37009 clauses out of 74022 with flag 731000/882987
56.24/55.10	c cleaning 38006 clauses out of 76015 with flag 770002/921989
58.75/57.60	c cleaning 38994 clauses out of 78009 with flag 810002/961989
61.36/60.25	c cleaning 39996 clauses out of 80014 with flag 851001/1002988
64.17/63.00	c cleaning 41001 clauses out of 82018 with flag 893001/1044988
66.89/65.76	c cleaning 41994 clauses out of 84017 with flag 936001/1087988
69.89/68.74	c cleaning 43002 clauses out of 86023 with flag 980001/1131988
73.10/71.95	c cleaning 43999 clauses out of 88021 with flag 1025001/1176988
76.32/75.16	c cleaning 45000 clauses out of 90022 with flag 1071001/1222988
79.63/78.43	c cleaning 45997 clauses out of 92021 with flag 1118000/1269987
82.95/81.77	c cleaning 46999 clauses out of 94024 with flag 1166000/1317987
86.26/85.09	c cleaning 48007 clauses out of 96025 with flag 1215000/1366987
89.67/88.40	c cleaning 49009 clauses out of 98021 with flag 1265003/1416990
93.17/91.94	c cleaning 49991 clauses out of 100009 with flag 1316000/1467987
97.13/95.84	c cleaning 50999 clauses out of 102019 with flag 1368001/1519988
100.85/99.54	c cleaning 52002 clauses out of 104019 with flag 1421000/1572987
104.37/103.09	c cleaning 53002 clauses out of 106017 with flag 1475000/1626987
108.11/106.79	c cleaning 54002 clauses out of 108016 with flag 1530001/1681988
111.91/110.51	c cleaning 54990 clauses out of 110013 with flag 1586000/1737987
115.74/114.37	c cleaning 56004 clauses out of 112025 with flag 1643002/1794989
119.64/118.22	c cleaning 56998 clauses out of 114019 with flag 1701000/1852987
123.76/122.37	c cleaning 57995 clauses out of 116023 with flag 1760002/1911989
128.08/126.69	c cleaning 59007 clauses out of 118028 with flag 1820002/1971989
132.51/131.01	c cleaning 60001 clauses out of 120020 with flag 1881001/2032988
136.93/135.43	c cleaning 60985 clauses out of 122019 with flag 1943001/2094988
141.43/139.90	c cleaning 62013 clauses out of 124034 with flag 2006001/2157988
145.85/144.35	c cleaning 62998 clauses out of 126021 with flag 2070001/2221988
150.29/148.78	c cleaning 64005 clauses out of 128022 with flag 2135000/2286987
154.90/153.35	c cleaning 65007 clauses out of 130017 with flag 2201000/2352987
159.93/158.39	c cleaning 65996 clauses out of 132011 with flag 2268001/2419988
165.03/163.43	c cleaning 67002 clauses out of 134015 with flag 2336001/2487988
170.35/168.73	c cleaning 67997 clauses out of 136012 with flag 2405000/2556987
175.57/173.90	c cleaning 68995 clauses out of 138015 with flag 2475000/2626987
180.90/179.29	c cleaning 70003 clauses out of 140022 with flag 2546002/2697989
186.60/184.96	c cleaning 71002 clauses out of 142017 with flag 2618000/2769987
192.21/190.59	c cleaning 72001 clauses out of 144020 with flag 2691005/2842992
197.92/196.21	c cleaning 72991 clauses out of 146016 with flag 2765002/2916989
203.64/201.90	c cleaning 74002 clauses out of 148023 with flag 2840000/2991987
209.25/207.59	c cleaning 75010 clauses out of 150021 with flag 2916000/3067987
214.87/213.13	c cleaning 76006 clauses out of 152011 with flag 2993000/3144987
220.59/218.86	c cleaning 76991 clauses out of 154005 with flag 3071000/3222987
226.90/225.17	c cleaning 77988 clauses out of 156016 with flag 3150002/3301989
233.42/231.65	c cleaning 79002 clauses out of 158026 with flag 3230000/3381987
239.55/237.78	c cleaning 80003 clauses out of 160026 with flag 3311002/3462989
245.88/244.10	c cleaning 80998 clauses out of 162023 with flag 3393002/3544989
252.79/250.96	c cleaning 81998 clauses out of 164023 with flag 3476000/3627987
259.52/257.61	c cleaning 83007 clauses out of 166025 with flag 3560000/3711987
266.33/264.44	c cleaning 84000 clauses out of 168018 with flag 3645000/3796987
273.15/271.21	c cleaning 84987 clauses out of 170018 with flag 3731000/3882987
279.87/277.96	c cleaning 85995 clauses out of 172031 with flag 3818000/3969987
280.71/278.71	c Got one! Elapsed wall clock time (in seconds):278.582
280.71/278.71	o 132
281.11/279.14	c cleaning 51049 clauses out of 102118 with flag 5000/3986069
281.52/279.56	c cleaning 28520 clauses out of 57069 with flag 11000/3992069
281.92/279.97	c cleaning 17766 clauses out of 35551 with flag 18002/3999071
282.47/280.42	c cleaning 12885 clauses out of 25784 with flag 26001/4007070
282.98/280.93	c cleaning 10943 clauses out of 21898 with flag 35000/4016069
283.49/281.46	c cleaning 10467 clauses out of 20955 with flag 45000/4026069
284.10/282.04	c cleaning 10741 clauses out of 21489 with flag 56001/4037070
284.72/282.68	c cleaning 11363 clauses out of 22748 with flag 68001/4049070
285.52/283.42	c cleaning 12191 clauses out of 24386 with flag 81002/4062071
286.33/284.21	c cleaning 13090 clauses out of 26195 with flag 95002/4076071
287.06/284.99	c cleaning 14039 clauses out of 28103 with flag 110000/4091069
287.96/285.86	c cleaning 15032 clauses out of 30064 with flag 126000/4107069
288.86/286.77	c cleaning 16000 clauses out of 32032 with flag 143000/4124069
289.97/287.82	c cleaning 16999 clauses out of 34034 with flag 161002/4142071
290.99/288.88	c cleaning 18012 clauses out of 36033 with flag 180000/4161069
292.22/290.00	c cleaning 18999 clauses out of 38021 with flag 200000/4181069
293.33/291.19	c cleaning 20004 clauses out of 40024 with flag 221002/4202071
294.65/292.43	c cleaning 20997 clauses out of 42018 with flag 243000/4224069
295.96/293.74	c cleaning 21997 clauses out of 44023 with flag 266002/4247071
297.37/295.12	c cleaning 22999 clauses out of 46024 with flag 290000/4271069
298.78/296.59	c cleaning 24003 clauses out of 48025 with flag 315000/4296069
300.29/298.02	c cleaning 25004 clauses out of 50023 with flag 341001/4322070
301.79/299.60	c cleaning 26003 clauses out of 52018 with flag 368000/4349069
303.50/301.23	c cleaning 26998 clauses out of 54015 with flag 396000/4377069
305.31/303.01	c cleaning 27997 clauses out of 56018 with flag 425001/4406070
307.12/304.88	c cleaning 28989 clauses out of 58020 with flag 455000/4436069
309.04/306.79	c cleaning 29992 clauses out of 60031 with flag 486000/4467069
311.04/308.77	c cleaning 31014 clauses out of 62039 with flag 518000/4499069
313.17/310.83	c cleaning 32008 clauses out of 64025 with flag 551000/4532069
315.17/312.82	c cleaning 32995 clauses out of 66017 with flag 585000/4566069
317.28/314.97	c cleaning 34003 clauses out of 68022 with flag 620000/4601069
319.50/317.13	c cleaning 34999 clauses out of 70019 with flag 656000/4637069
321.82/319.48	c cleaning 36005 clauses out of 72020 with flag 693000/4674069
324.13/321.77	c cleaning 36998 clauses out of 74015 with flag 731000/4712069
326.75/324.32	c cleaning 37989 clauses out of 76017 with flag 770000/4751069
329.35/326.90	c cleaning 39006 clauses out of 78028 with flag 810000/4791069
331.95/329.55	c cleaning 40004 clauses out of 80024 with flag 851002/4832071
334.67/332.27	c cleaning 41000 clauses out of 82019 with flag 893001/4874070
337.49/335.03	c cleaning 42006 clauses out of 84019 with flag 936001/4917070
340.51/338.05	c cleaning 43000 clauses out of 86013 with flag 980001/4961070
343.44/340.98	c cleaning 43987 clauses out of 88012 with flag 1025000/5006069
346.45/343.94	c cleaning 45001 clauses out of 90025 with flag 1071000/5052069
349.56/347.09	c cleaning 46002 clauses out of 92025 with flag 1118001/5099070
352.88/350.31	c cleaning 47009 clauses out of 94022 with flag 1166000/5147069
356.10/353.55	c cleaning 48002 clauses out of 96014 with flag 1215001/5196070
359.41/356.83	c cleaning 48992 clauses out of 98012 with flag 1265001/5246070
362.71/360.10	c cleaning 50002 clauses out of 100020 with flag 1316001/5297070
366.24/363.61	c cleaning 51005 clauses out of 102019 with flag 1368002/5349071
369.75/367.15	c cleaning 52001 clauses out of 104012 with flag 1421000/5402069
373.27/370.69	c cleaning 52988 clauses out of 106013 with flag 1475002/5456071
377.19/374.53	c cleaning 54003 clauses out of 108028 with flag 1530005/5511074
381.13/378.43	c cleaning 55005 clauses out of 110023 with flag 1586003/5567072
385.15/382.44	c cleaning 56006 clauses out of 112017 with flag 1643002/5624071
389.17/386.47	c cleaning 56998 clauses out of 114010 with flag 1701001/5682070
389.99/387.27	c Got one! Elapsed wall clock time (in seconds):387.143
389.99/387.27	o 127
390.38/387.64	c cleaning 37574 clauses out of 75196 with flag 5002/5700254
390.71/387.96	c cleaning 21795 clauses out of 43621 with flag 11001/5706253
391.02/388.29	c cleaning 14404 clauses out of 28826 with flag 18001/5713253
391.44/388.66	c cleaning 11192 clauses out of 22421 with flag 26000/5721252
391.84/389.04	c cleaning 10100 clauses out of 20232 with flag 35003/5730255
392.27/389.48	c cleaning 10046 clauses out of 20129 with flag 45000/5740252
392.79/389.97	c cleaning 10526 clauses out of 21085 with flag 56002/5751254
393.30/390.46	c cleaning 11254 clauses out of 22558 with flag 68001/5763253
393.91/391.06	c cleaning 12124 clauses out of 24303 with flag 81000/5776252
394.66/391.70	c cleaning 13062 clauses out of 26179 with flag 95000/5790252
395.28/392.39	c cleaning 14032 clauses out of 28118 with flag 110001/5805253
396.11/393.14	c cleaning 15023 clauses out of 30088 with flag 126003/5821255
396.91/393.90	c cleaning 16002 clauses out of 32062 with flag 143000/5838252
397.73/394.73	c cleaning 17005 clauses out of 34060 with flag 161000/5856252
398.65/395.60	c cleaning 18003 clauses out of 36055 with flag 180000/5875252
399.56/396.51	c cleaning 18993 clauses out of 38054 with flag 200002/5895254
400.57/397.51	c cleaning 20003 clauses out of 40059 with flag 221000/5916252
401.57/398.57	c cleaning 20988 clauses out of 42056 with flag 243000/5938252
402.69/399.68	c cleaning 22017 clauses out of 44069 with flag 266001/5961253
404.01/400.98	c cleaning 23027 clauses out of 46054 with flag 290003/5985255
405.42/402.39	c cleaning 24012 clauses out of 48025 with flag 315001/6010253
406.95/403.87	c cleaning 24984 clauses out of 50013 with flag 341001/6036253
408.57/405.43	c cleaning 26010 clauses out of 52028 with flag 368000/6063252
410.19/407.09	c cleaning 26998 clauses out of 54019 with flag 396001/6091253
412.00/408.86	c cleaning 28000 clauses out of 56020 with flag 425000/6120252
413.84/410.66	c cleaning 29003 clauses out of 58021 with flag 455001/6150253
415.65/412.46	c cleaning 29998 clauses out of 60017 with flag 486000/6181252
417.67/414.47	c cleaning 31004 clauses out of 62019 with flag 518000/6213252
419.79/416.57	c cleaning 31992 clauses out of 64015 with flag 551000/6246252
421.90/418.64	c cleaning 32993 clauses out of 66024 with flag 585001/6280253
424.02/420.77	c cleaning 33995 clauses out of 68030 with flag 620000/6315252
426.43/423.14	c cleaning 35002 clauses out of 70036 with flag 656001/6351253
428.74/425.48	c cleaning 36007 clauses out of 72034 with flag 693001/6388253
431.15/427.86	c cleaning 37006 clauses out of 74027 with flag 731001/6426253
433.55/430.27	c cleaning 37995 clauses out of 76020 with flag 770000/6465252
436.27/432.95	c cleaning 38994 clauses out of 78026 with flag 810001/6505253
438.77/435.48	c cleaning 39995 clauses out of 80033 with flag 851002/6546254
441.48/438.10	c cleaning 41018 clauses out of 82037 with flag 893001/6588253
444.09/440.72	c cleaning 42000 clauses out of 84018 with flag 936000/6631252
446.89/443.50	c cleaning 43007 clauses out of 86019 with flag 980001/6675253
449.71/446.37	c cleaning 43999 clauses out of 88011 with flag 1025000/6720252
452.71/449.30	c cleaning 45001 clauses out of 90015 with flag 1071003/6766255
455.83/452.40	c cleaning 45995 clauses out of 92012 with flag 1118001/6813253
458.85/455.43	c cleaning 47005 clauses out of 94017 with flag 1166001/6861253
461.95/458.60	c cleaning 47992 clauses out of 96014 with flag 1215003/6910255
465.18/461.74	c cleaning 48997 clauses out of 98019 with flag 1265000/6960252
468.60/465.17	c cleaning 50010 clauses out of 100022 with flag 1316000/7011252
472.23/468.70	c cleaning 50994 clauses out of 102012 with flag 1368000/7063252
475.74/472.22	c cleaning 51999 clauses out of 104021 with flag 1421003/7116255
479.27/475.76	c cleaning 53000 clauses out of 106021 with flag 1475002/7170254
482.99/479.48	c cleaning 54002 clauses out of 108020 with flag 1530001/7225253
486.69/483.11	c cleaning 54998 clauses out of 110017 with flag 1586000/7281252
490.41/486.81	c cleaning 55995 clauses out of 112022 with flag 1643003/7338255
494.42/490.87	c cleaning 57001 clauses out of 114024 with flag 1701000/7396252
498.33/494.73	c cleaning 57996 clauses out of 116025 with flag 1760002/7455254
502.45/498.81	c cleaning 59004 clauses out of 118027 with flag 1820000/7515252
506.76/503.10	c cleaning 60000 clauses out of 120023 with flag 1881000/7576252
510.99/507.38	c cleaning 60998 clauses out of 122024 with flag 1943001/7638253
515.12/511.44	c cleaning 62006 clauses out of 124026 with flag 2006001/7701253
519.33/515.64	c cleaning 63000 clauses out of 126020 with flag 2070001/7765253
523.65/519.94	c cleaning 64009 clauses out of 128021 with flag 2135002/7830254
527.97/524.29	c cleaning 64992 clauses out of 130012 with flag 2201002/7896254
532.48/528.80	c cleaning 66002 clauses out of 132019 with flag 2268001/7963253
537.01/533.28	c cleaning 67001 clauses out of 134017 with flag 2336001/8031253
541.75/537.96	c cleaning 67995 clauses out of 136015 with flag 2405000/8100252
546.44/542.63	c cleaning 69010 clauses out of 138023 with flag 2475004/8170256
551.46/547.60	c cleaning 69989 clauses out of 140008 with flag 2546000/8241252
556.68/552.84	c cleaning 71005 clauses out of 142023 with flag 2618004/8313256
562.01/558.16	c cleaning 71997 clauses out of 144014 with flag 2691000/8386252
567.53/563.61	c cleaning 73001 clauses out of 146017 with flag 2765000/8460252
572.94/569.01	c cleaning 74002 clauses out of 148016 with flag 2840000/8535252
578.16/574.21	c cleaning 75001 clauses out of 150014 with flag 2916000/8611252
583.56/579.68	c cleaning 76002 clauses out of 152013 with flag 2993000/8688252
589.01/585.07	c cleaning 76994 clauses out of 154011 with flag 3071000/8766252
592.72/588.79	c Got one! Elapsed wall clock time (in seconds):588.658
592.72/588.79	o 122
593.52/589.58	c cleaning 70243 clauses out of 140557 with flag 5000/8829792
594.16/590.14	c cleaning 38137 clauses out of 76316 with flag 11002/8835794
594.56/590.56	c cleaning 22571 clauses out of 45178 with flag 18001/8842793
594.99/590.98	c cleaning 15269 clauses out of 30606 with flag 26000/8850792
595.39/591.38	c cleaning 12131 clauses out of 24337 with flag 35000/8859792
595.99/591.92	c cleaning 11072 clauses out of 22207 with flag 45001/8869793
596.42/592.39	c cleaning 11029 clauses out of 22134 with flag 56000/8880792
596.93/592.90	c cleaning 11520 clauses out of 23106 with flag 68001/8892793
597.63/593.50	c cleaning 12267 clauses out of 24585 with flag 81000/8905792
598.24/594.17	c cleaning 13135 clauses out of 26319 with flag 95001/8919793
599.04/594.93	c cleaning 14075 clauses out of 28183 with flag 110000/8934792
599.88/595.75	c cleaning 15033 clauses out of 30109 with flag 126001/8950793
601.17/596.60	c cleaning 16009 clauses out of 32075 with flag 143000/8967792
602.38/597.50	c cleaning 17010 clauses out of 34068 with flag 161002/8985794
603.63/598.41	c cleaning 18015 clauses out of 36056 with flag 180000/9004792
604.65/599.41	c cleaning 18995 clauses out of 38042 with flag 200001/9024793
605.65/600.46	c cleaning 19990 clauses out of 40046 with flag 221000/9045792
606.76/601.57	c cleaning 21008 clauses out of 42056 with flag 243000/9067792
607.87/602.65	c cleaning 22002 clauses out of 44048 with flag 266000/9090792
609.09/603.82	c cleaning 23003 clauses out of 46047 with flag 290001/9114793
610.39/605.15	c cleaning 24000 clauses out of 48043 with flag 315000/9139792
611.71/606.45	c cleaning 24999 clauses out of 50043 with flag 341000/9165792
613.12/607.81	c cleaning 26008 clauses out of 52044 with flag 368000/9192792
614.53/609.27	c cleaning 27000 clauses out of 54037 with flag 396001/9220793
616.05/610.71	c cleaning 27997 clauses out of 56038 with flag 425002/9249794
617.56/612.22	c cleaning 29001 clauses out of 58039 with flag 455000/9279792
619.17/613.84	c cleaning 29989 clauses out of 60038 with flag 486000/9310792
620.88/615.52	c cleaning 30983 clauses out of 62050 with flag 518001/9342793
622.79/617.40	c cleaning 32010 clauses out of 64066 with flag 551000/9375792
624.50/619.15	c cleaning 33016 clauses out of 66057 with flag 585001/9409793
626.40/621.05	c cleaning 34006 clauses out of 68040 with flag 620000/9444792
628.43/623.06	c cleaning 35013 clauses out of 70037 with flag 656003/9480795
630.84/625.43	c cleaning 36001 clauses out of 72021 with flag 693000/9517792
633.25/627.82	c cleaning 37004 clauses out of 74020 with flag 731000/9555792
635.67/630.24	c cleaning 38005 clauses out of 76018 with flag 770002/9594794
638.17/632.76	c cleaning 38990 clauses out of 78012 with flag 810001/9634793
640.86/635.33	c cleaning 40003 clauses out of 80020 with flag 851000/9675792
643.47/637.93	c cleaning 41006 clauses out of 82017 with flag 893000/9717792
646.19/640.61	c cleaning 41998 clauses out of 84011 with flag 936000/9760792
648.91/643.35	c cleaning 42996 clauses out of 86013 with flag 980000/9804792
651.71/646.12	c cleaning 44005 clauses out of 88016 with flag 1025000/9849792
654.54/649.00	c cleaning 45001 clauses out of 90012 with flag 1071001/9895793
657.44/651.89	c cleaning 45995 clauses out of 92009 with flag 1118000/9942792
660.66/655.06	c cleaning 46998 clauses out of 94015 with flag 1166001/9990793
663.67/658.07	c cleaning 47985 clauses out of 96016 with flag 1215000/10039792
666.87/661.28	c cleaning 49011 clauses out of 98031 with flag 1265000/10089792
670.19/664.54	c cleaning 49992 clauses out of 100020 with flag 1316000/10140792
673.52/667.84	c cleaning 51010 clauses out of 102026 with flag 1368000/10192792
676.84/671.14	c cleaning 51997 clauses out of 104014 with flag 1421000/10245792
680.35/674.63	c cleaning 53009 clauses out of 106019 with flag 1475002/10299794
684.17/678.44	c cleaning 53999 clauses out of 108009 with flag 1530001/10354793
687.79/682.05	c cleaning 54999 clauses out of 110008 with flag 1586000/10410792
691.31/685.59	c cleaning 56000 clauses out of 112008 with flag 1643000/10467792
695.03/689.28	c cleaning 56994 clauses out of 114007 with flag 1701000/10525792
698.85/693.04	c cleaning 58000 clauses out of 116013 with flag 1760000/10584792
702.75/696.92	c cleaning 58999 clauses out of 118013 with flag 1820000/10644792
706.87/701.02	c cleaning 60005 clauses out of 120014 with flag 1881000/10705792
711.00/705.13	c cleaning 60992 clauses out of 122009 with flag 1943000/10767792
715.10/709.21	c cleaning 62000 clauses out of 124017 with flag 2006000/10830792
719.11/713.25	c cleaning 62988 clauses out of 126017 with flag 2070000/10894792
723.52/717.66	c cleaning 64007 clauses out of 128030 with flag 2135001/10959793
727.95/722.10	c cleaning 65005 clauses out of 130027 with flag 2201005/11025797
732.46/726.59	c cleaning 65994 clauses out of 132017 with flag 2268000/11092792
737.28/731.31	c cleaning 67011 clauses out of 134023 with flag 2336000/11160792
737.91/731.96	c starts		: 312
737.91/731.96	c conflicts		: 11169730
737.91/731.96	c decisions		: 23294189
737.91/731.96	c propagations		: 1937895667
737.91/731.96	c inspects		: 4699702716
737.91/731.96	c shortcuts		: 0
737.91/731.96	c learnt literals	: 32
737.91/731.96	c learnt binary clauses	: 16
737.91/731.96	c learnt ternary clauses	: 125
737.91/731.96	c learnt constraints	: 11169697
737.91/731.96	c ignored constraints	: 0
737.91/731.96	c root simplifications	: 0
737.91/731.96	c removed literals (reason simplification)	: 0
737.91/731.96	c reason swapping (by a shorter reason)	: 0
737.91/731.96	c Calls to reduceDB	: 291
737.91/731.96	c number of reductions to clauses (during analyze)	: 0
737.91/731.96	c number of learned constraints concerned by reduction	: 0
737.91/731.96	c number of learning phase by resolution	: 0
737.91/731.96	c number of learning phase by cutting planes	: 0
737.91/731.96	c speed (assignments/second)	: 2648480.276779723
737.91/731.96	c non guided choices	1457
737.91/731.96	c learnt constraints type 
737.91/731.96	c constraints type 
737.91/731.96	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1161
737.91/731.96	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
737.91/731.96	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 0
737.91/731.96	c 1188 constraints processed.
737.91/731.96	s OPTIMUM FOUND
737.91/731.96	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 
737.91/731.96	c objective function=122
737.91/731.96	c Total wall clock time (in seconds): 731.832

Verifier Data 

OK	122

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-3689489-1337890937/watcher-3689489-1337890937 -o /tmp/evaluation-result-3689489-1337890937/solver-3689489-1337890937 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689489-1337890937.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22824
/proc/meminfo: memFree=28796924/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/22824/stat : 22824 (java) D 22822 22824 20334 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 255222231 278528 33 33554432000 1073741824 1073778376 140737464905264 140737464902440 235365559591 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22824/statm: 68 33 25 9 0 25 0

[startup+0.054205 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22824
/proc/meminfo: memFree=28796924/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 2999 0 1 0 2 0 0 0 20 0 13 0 255222231 9446973440 3697 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2306390 3697 1682 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100282 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22824
/proc/meminfo: memFree=28796924/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 3372 0 1 0 6 0 0 0 20 0 18 0 255222231 9787813888 4581 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2389603 4582 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.300245 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22824
/proc/meminfo: memFree=28796924/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 6755 0 1 0 42 1 0 0 20 0 19 0 255222231 9855975424 8715 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 8715 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9624976

[startup+0.70023 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22824
/proc/meminfo: memFree=28796924/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 8891 0 1 0 116 2 0 0 20 0 19 0 255222231 9855975424 9798 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 9798 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9624976

[startup+1.50073 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 22843
/proc/meminfo: memFree=28761584/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=2.02 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 8934 0 1 0 200 2 0 0 20 0 19 0 255222231 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 11879 2271 9 0 2396937 0
[pid=22824/tid=22826] ppid=22822 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) R 22822 22824 20334 0 -1 4202560 2463 0 1 0 142 0 0 0 20 0 19 0 255222233 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650986164512 139650811868064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22827] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 255222235 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2928 0 0 0 26 0 0 0 20 0 19 0 255222239 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 2296 0 0 0 26 0 0 0 20 0 19 0 255222239 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 11879 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624976

[startup+3.10054 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 22843
/proc/meminfo: memFree=28756992/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=3.65 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 8950 0 1 0 363 2 0 0 20 0 19 0 255222231 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 11892 2271 9 0 2396937 0
[pid=22824/tid=22826] ppid=22822 vsize=9624976 CPUtime=2.97 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) R 22822 22824 20334 0 -1 4202560 2466 0 1 0 297 0 0 0 20 0 19 0 255222233 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650986164512 139650811822516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22827] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 19 0 255222235 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2928 0 0 0 26 0 0 0 20 0 19 0 255222239 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 2296 0 0 0 27 0 0 0 20 0 19 0 255222239 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 11892 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9624976

[startup+6.30062 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 22843
/proc/meminfo: memFree=28756124/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=7.13 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 11672 0 1 0 711 2 0 0 20 0 19 0 255222231 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 12924 2273 9 0 2396937 0
[pid=22824/tid=22826] ppid=22822 vsize=9624976 CPUtime=6.06 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) R 22822 22824 20334 0 -1 4202560 2473 0 1 0 606 0 0 0 20 0 19 0 255222233 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650986164512 139650811783178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22827] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 255222234 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 32 0 0 0 13 0 0 0 20 0 19 0 255222235 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2929 0 0 0 36 0 0 0 20 0 19 0 255222239 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 4984 0 0 0 41 0 0 0 20 0 19 0 255222239 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 12924 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 122 0 0 0 82 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 74 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 63 0 0 0 70 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 83 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 70 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 70 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 115 0 0 0 70 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 94 0 0 0 73 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=8.19 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 102 0 0 0 817 2 0 0 20 0 19 0 255222235 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2935 0 0 0 44 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 17724 0 0 0 152 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 735.48
Current children cumulated vsize (KiB) 9624976

[startup+731.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 22848
/proc/meminfo: memFree=28645136/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=737.08 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 25574 0 1 0 73689 19 0 0 20 0 19 0 255222231 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 29241 2274 9 0 2396937 0
[pid=22824/tid=22826] ppid=22822 vsize=9624976 CPUtime=720.78 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) R 22822 22824 20334 0 -1 4202560 2764 0 1 0 72064 14 0 0 20 0 19 0 255222233 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650986164512 139650811996627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22827] ppid=22822 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 122 0 0 0 82 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 74 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 63 0 0 0 70 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 83 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 70 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 70 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 115 0 0 0 70 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 94 0 0 0 73 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=8.19 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 102 0 0 0 817 2 0 0 20 0 19 0 255222235 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2935 0 0 0 44 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 17724 0 0 0 152 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 737.08
Current children cumulated vsize (KiB) 9624976

[startup+731.507 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 22848
/proc/meminfo: memFree=28645136/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=737.5 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 25577 0 1 0 73731 19 0 0 20 0 19 0 255222231 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 29241 2274 9 0 2396937 0
[pid=22824/tid=22826] ppid=22822 vsize=9624976 CPUtime=721.13 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) R 22822 22824 20334 0 -1 4202560 2765 0 1 0 72099 14 0 0 20 0 19 0 255222233 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650986164512 139650811882511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22827] ppid=22822 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 122 0 0 0 82 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 74 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 63 0 0 0 71 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 83 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 70 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 71 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 115 0 0 0 71 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 94 0 0 0 73 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=8.23 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 104 0 0 0 821 2 0 0 20 0 19 0 255222235 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2935 0 0 0 44 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 17724 0 0 0 152 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 737.5
Current children cumulated vsize (KiB) 9624976

[startup+731.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 22848
/proc/meminfo: memFree=28645136/32873844 swapFree=7104/7104
[pid=22824] ppid=22822 vsize=9624976 CPUtime=737.91 cores=1,3,5,7
/proc/22824/stat : 22824 (java) S 22822 22824 20334 0 -1 4202496 25578 0 1 0 73772 19 0 0 20 0 19 0 255222231 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 140736866068048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22824/statm: 2406244 29241 2274 9 0 2396937 0
[pid=22824/tid=22826] ppid=22822 vsize=9624976 CPUtime=721.53 cores=1,3,5,7
/proc/22824/task/22826/stat : 22826 (java) R 22822 22824 20334 0 -1 4202560 2765 0 1 0 72139 14 0 0 20 0 19 0 255222233 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650986163896 139650811996886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22827] ppid=22822 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/22824/task/22827/stat : 22827 (java) S 22822 22824 20334 0 -1 4202560 122 0 0 0 82 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650947656744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22828] ppid=22822 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/22824/task/22828/stat : 22828 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 74 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650946603944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22829] ppid=22822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/22824/task/22829/stat : 22829 (java) S 22822 22824 20334 0 -1 4202560 63 0 0 0 71 1 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650945551144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22830] ppid=22822 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/22824/task/22830/stat : 22830 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 83 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650944498344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22831] ppid=22822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/22824/task/22831/stat : 22831 (java) S 22822 22824 20334 0 -1 4202560 140 0 0 0 70 2 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650943445544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22832] ppid=22822 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22824/task/22832/stat : 22832 (java) S 22822 22824 20334 0 -1 4202560 76 0 0 0 71 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650942392744 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22833] ppid=22822 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/22824/task/22833/stat : 22833 (java) S 22822 22824 20334 0 -1 4202560 115 0 0 0 71 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650941339944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22824/tid=22834] ppid=22822 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/22824/task/22834/stat : 22834 (java) S 22822 22824 20334 0 -1 4202560 94 0 0 0 73 0 0 0 20 0 19 0 255222234 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650940287144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22835] ppid=22822 vsize=9624976 CPUtime=8.23 cores=1,3,5,7
/proc/22824/task/22835/stat : 22835 (java) S 22822 22824 20334 0 -1 4202560 104 0 0 0 821 2 0 0 20 0 19 0 255222235 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650810239976 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22836] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22836/stat : 22836 (java) S 22822 22824 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650809186040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22837] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22837/stat : 22837 (java) S 22822 22824 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255222236 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650808133128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22838] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22838/stat : 22838 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650807081616 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22839] ppid=22822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/22824/task/22839/stat : 22839 (java) S 22822 22824 20334 0 -1 4202560 2936 0 0 0 45 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650806028728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22824/tid=22840] ppid=22822 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/22824/task/22840/stat : 22840 (java) S 22822 22824 20334 0 -1 4202560 17724 0 0 0 152 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650804975928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22841] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22841/stat : 22841 (java) S 22822 22824 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650803923320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22824/tid=22842] ppid=22822 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22824/task/22842/stat : 22842 (java) S 22822 22824 20334 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 19 0 255222239 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650802870728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22824/tid=22843] ppid=22822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22824/task/22843/stat : 22843 (java) S 22822 22824 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255222257 9855975424 29241 33554432000 1073741824 1073778376 140736866076912 139650801817256 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 737.91
Current children cumulated vsize (KiB) 9624976

Child status: 30
Real time (s): 731.971
CPU time (s): 738.232
CPU user time (s): 737.809
CPU system time (s): 0.422935
CPU usage (%): 100.855
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 737.809
system time used= 0.422935
maximum resident set size= 127748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25595
page faults= 1
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23564
involuntary context switches= 27030

runsolver used 3.33849 second user time and 7.64784 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-24 22:22:17
IDJOB=3689489
IDBENCH=89854
IDSOLVER=2269
FILE ID=node104/3689489-1337890937
RUNJOBID= node104-1337871880-20351
PBS_JOBID= 14620100
Free space on /tmp= 71676 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689489-1337890937/watcher-3689489-1337890937 -o /tmp/evaluation-result-3689489-1337890937/solver-3689489-1337890937 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689489-1337890937.opb

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

MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb
RANDOM SEED=1529612889

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28797576 kB
Buffers:          213764 kB
Cached:          1834140 kB
SwapCached:            0 kB
Active:          1639116 kB
Inactive:        1673560 kB
Active(anon):    1267120 kB
Inactive(anon):        0 kB
Active(file):     371996 kB
Inactive(file):  1673560 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               236 kB
Writeback:             0 kB
AnonPages:       1273428 kB
Mapped:            21628 kB
Shmem:               200 kB
Slab:             622424 kB
SReclaimable:      65040 kB
SUnreclaim:       557384 kB
KernelStack:        1576 kB
PageTables:         6284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2170144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 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= 71676 MiB
End job on node104 at 2012-05-24 22:34:29