Trace number 3710645

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)21 1800.51 1791.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
MD5SUM4b56e6775cc4a081c8696ef0fa81b784
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.076988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved YES
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 81
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
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.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.07	c version 2.3.2.v20120418
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		501472288
0.01/0.07	c Max memory 		7480803328
0.01/0.07	c Total memory 		504102912
0.01/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3710645-1338145715.opb
0.10/0.11	c reading problem ... 
0.10/0.13	c ... done. Wall clock time 0.025s.
0.10/0.13	c declared #vars     81
0.10/0.13	c #constraints  81
0.10/0.13	c constraints type 
0.10/0.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
0.10/0.13	c 81 constraints processed.
0.10/0.14	c SATISFIABLE
0.10/0.14	c OPTIMIZING...
0.10/0.14	c Got one! Elapsed wall clock time (in seconds):0.029
0.10/0.14	o 27
0.10/0.14	c Got one! Elapsed wall clock time (in seconds):0.033
0.10/0.14	o 26
0.51/0.37	c cleaning 2499 clauses out of 5003 with flag 5000/5003
0.73/0.48	c cleaning 4247 clauses out of 8504 with flag 11000/11003
1.08/0.60	c cleaning 5627 clauses out of 11260 with flag 18003/18006
1.20/0.75	c cleaning 6812 clauses out of 13630 with flag 26000/26003
1.42/0.91	c cleaning 7902 clauses out of 15818 with flag 35000/35003
1.53/1.09	c cleaning 8956 clauses out of 17919 with flag 45003/45006
1.82/1.30	c cleaning 9975 clauses out of 19962 with flag 56002/56005
2.03/1.54	c cleaning 10990 clauses out of 21985 with flag 68000/68003
2.34/1.81	c cleaning 11993 clauses out of 23996 with flag 81001/81004
2.34/1.87	c Got one! Elapsed wall clock time (in seconds):1.764
2.34/1.87	o 25
2.45/1.92	c cleaning 8816 clauses out of 17637 with flag 2000/86638
2.55/2.04	c cleaning 7408 clauses out of 14821 with flag 8000/92638
2.65/2.17	c cleaning 7200 clauses out of 14413 with flag 15000/99638
2.65/2.19	c Got one! Elapsed wall clock time (in seconds):2.08
2.65/2.19	o 24
2.76/2.27	c cleaning 6310 clauses out of 12631 with flag 5002/105056
2.85/2.38	c cleaning 6151 clauses out of 12320 with flag 11001/111055
3.05/2.51	c cleaning 6577 clauses out of 13168 with flag 18000/118054
3.15/2.64	c cleaning 7291 clauses out of 14592 with flag 26001/126055
3.35/2.80	c cleaning 8141 clauses out of 16300 with flag 35000/135054
3.46/2.99	c cleaning 9073 clauses out of 18159 with flag 45000/145054
3.66/3.20	c cleaning 10039 clauses out of 20087 with flag 56001/156055
3.96/3.46	c cleaning 11021 clauses out of 22047 with flag 68000/168054
4.26/3.72	c cleaning 12005 clauses out of 24026 with flag 81000/181054
4.46/4.00	c cleaning 13006 clauses out of 26021 with flag 95000/195054
4.88/4.33	c cleaning 14001 clauses out of 28015 with flag 110000/210054
5.17/4.69	c cleaning 15001 clauses out of 30014 with flag 126000/226054
5.58/5.04	c cleaning 16002 clauses out of 32014 with flag 143001/243055
6.10/5.58	c cleaning 17001 clauses out of 34011 with flag 161000/261054
6.63/6.01	c cleaning 18000 clauses out of 36011 with flag 180001/280055
7.15/6.53	c cleaning 19001 clauses out of 38010 with flag 200000/300054
7.66/7.04	c cleaning 19995 clauses out of 40009 with flag 221000/321054
7.87/7.23	c Got one! Elapsed wall clock time (in seconds):7.12
7.87/7.23	o 23
7.96/7.37	c cleaning 17230 clauses out of 34471 with flag 5000/335511
8.17/7.51	c cleaning 11615 clauses out of 23241 with flag 11000/341511
8.28/7.66	c cleaning 9308 clauses out of 18626 with flag 18000/348511
8.48/7.81	c cleaning 8651 clauses out of 17319 with flag 26001/356512
8.69/8.02	c cleaning 8826 clauses out of 17667 with flag 35000/365511
8.89/8.22	c cleaning 9412 clauses out of 18841 with flag 45000/375511
9.12/8.45	c cleaning 10204 clauses out of 20429 with flag 56000/386511
9.32/8.69	c cleaning 11110 clauses out of 22225 with flag 68000/398511
9.62/8.94	c cleaning 12051 clauses out of 24115 with flag 81000/411511
9.93/9.23	c cleaning 13026 clauses out of 26065 with flag 95001/425512
10.24/9.55	c cleaning 14014 clauses out of 28039 with flag 110001/440512
10.55/9.88	c cleaning 15008 clauses out of 30025 with flag 126001/456512
11.04/10.31	c cleaning 16000 clauses out of 32017 with flag 143001/473512
11.44/10.71	c cleaning 17001 clauses out of 34016 with flag 161000/491511
11.95/11.26	c cleaning 17997 clauses out of 36016 with flag 180001/510512
12.47/11.76	c cleaning 19003 clauses out of 38020 with flag 200002/530513
13.09/12.35	c cleaning 19999 clauses out of 40016 with flag 221001/551512
13.71/12.97	c cleaning 21003 clauses out of 42017 with flag 243001/573512
14.42/13.60	c cleaning 22003 clauses out of 44013 with flag 266000/596511
14.94/14.17	c cleaning 23000 clauses out of 46010 with flag 290000/620511
15.64/14.83	c cleaning 24001 clauses out of 48011 with flag 315001/645512
16.46/15.70	c cleaning 24999 clauses out of 50010 with flag 341001/671512
17.39/16.50	c cleaning 25998 clauses out of 52010 with flag 368000/698511
18.09/17.29	c cleaning 26999 clauses out of 54012 with flag 396000/726511
19.01/18.14	c cleaning 27999 clauses out of 56013 with flag 425000/755511
19.92/19.02	c cleaning 29000 clauses out of 58015 with flag 455001/785512
21.02/20.18	c cleaning 30000 clauses out of 60014 with flag 486000/816511
22.23/21.37	c cleaning 31000 clauses out of 62016 with flag 518002/848513
23.74/22.80	c cleaning 31999 clauses out of 64015 with flag 551001/881512
24.67/23.79	c cleaning 33003 clauses out of 66017 with flag 585002/915513
25.67/24.77	c cleaning 34001 clauses out of 68014 with flag 620002/950513
26.88/25.90	c cleaning 34998 clauses out of 70012 with flag 656001/986512
28.12/27.15	c cleaning 35999 clauses out of 72014 with flag 693001/1023512
29.53/28.56	c cleaning 36998 clauses out of 74015 with flag 731001/1061512
30.76/29.75	c cleaning 38003 clauses out of 76017 with flag 770001/1100512
32.37/31.38	c cleaning 39002 clauses out of 78017 with flag 810004/1140515
34.10/33.08	c cleaning 40001 clauses out of 80012 with flag 851001/1181512
35.73/34.70	c cleaning 40999 clauses out of 82010 with flag 893000/1223511
37.53/36.48	c cleaning 41997 clauses out of 84011 with flag 936000/1266511
39.46/38.40	c cleaning 42999 clauses out of 86016 with flag 980002/1310513
41.18/40.04	c cleaning 44004 clauses out of 88015 with flag 1025000/1355511
42.68/41.50	c cleaning 44998 clauses out of 90011 with flag 1071000/1401511
44.30/43.10	c cleaning 45997 clauses out of 92013 with flag 1118000/1448511
45.91/44.71	c cleaning 46998 clauses out of 94016 with flag 1166000/1496511
47.73/46.52	c cleaning 48002 clauses out of 96018 with flag 1215000/1545511
49.76/48.53	c cleaning 48998 clauses out of 98016 with flag 1265000/1595511
51.58/50.31	c cleaning 50002 clauses out of 100019 with flag 1316001/1646512
54.21/52.93	c cleaning 50999 clauses out of 102016 with flag 1368000/1698511
57.15/55.86	c cleaning 51998 clauses out of 104017 with flag 1421000/1751511
59.38/58.07	c cleaning 53006 clauses out of 106020 with flag 1475001/1805512
62.28/60.99	c cleaning 54000 clauses out of 108014 with flag 1530001/1860512
65.51/64.11	c cleaning 54998 clauses out of 110014 with flag 1586001/1916512
68.62/67.22	c cleaning 56003 clauses out of 112015 with flag 1643000/1973511
71.14/69.79	c cleaning 57001 clauses out of 114013 with flag 1701001/2031512
73.57/72.12	c cleaning 57999 clauses out of 116012 with flag 1760001/2090512
76.20/74.74	c cleaning 58998 clauses out of 118013 with flag 1820001/2150512
78.62/77.19	c cleaning 59997 clauses out of 120014 with flag 1881000/2211511
82.04/80.57	c cleaning 61003 clauses out of 122017 with flag 1943000/2273511
84.98/83.46	c cleaning 62001 clauses out of 124015 with flag 2006001/2336512
88.21/86.68	c cleaning 62995 clauses out of 126014 with flag 2070001/2400512
91.13/89.54	c cleaning 64002 clauses out of 128018 with flag 2135000/2465511
94.34/92.79	c cleaning 64998 clauses out of 130016 with flag 2201000/2531511
98.07/96.45	c cleaning 66000 clauses out of 132019 with flag 2268001/2598512
101.39/99.73	c cleaning 67000 clauses out of 134019 with flag 2336001/2666512
105.21/103.53	c cleaning 68004 clauses out of 136019 with flag 2405001/2735512
109.05/107.31	c cleaning 69003 clauses out of 138015 with flag 2475001/2805512
112.68/110.98	c cleaning 69997 clauses out of 140011 with flag 2546000/2876511
116.61/114.88	c cleaning 70998 clauses out of 142014 with flag 2618000/2948511
120.93/119.11	c cleaning 72000 clauses out of 144016 with flag 2691000/3021511
124.25/122.42	c cleaning 73007 clauses out of 146019 with flag 2765003/3095514
128.18/126.36	c cleaning 73997 clauses out of 148009 with flag 2840000/3170511
132.11/130.20	c cleaning 75000 clauses out of 150013 with flag 2916001/3246512
135.94/134.01	c cleaning 76000 clauses out of 152012 with flag 2993000/3323511
140.75/138.85	c cleaning 76995 clauses out of 154012 with flag 3071000/3401511
144.89/142.91	c cleaning 78003 clauses out of 156018 with flag 3150001/3480512
150.53/148.57	c cleaning 78998 clauses out of 158015 with flag 3230001/3560512
156.14/154.14	c cleaning 79996 clauses out of 160016 with flag 3311000/3641511
160.57/158.52	c cleaning 81004 clauses out of 162020 with flag 3393000/3723511
165.50/163.43	c cleaning 81997 clauses out of 164016 with flag 3476000/3806511
170.91/168.87	c cleaning 83000 clauses out of 166020 with flag 3560001/3890512
177.66/175.55	c cleaning 84000 clauses out of 168021 with flag 3645002/3975513
182.29/180.15	c cleaning 85002 clauses out of 170020 with flag 3731001/4061512
188.60/186.42	c cleaning 86005 clauses out of 172017 with flag 3818000/4148511
194.54/192.34	c cleaning 87000 clauses out of 174012 with flag 3906000/4236511
201.17/198.98	c cleaning 87996 clauses out of 176012 with flag 3995000/4325511
209.21/206.93	c cleaning 89002 clauses out of 178017 with flag 4085001/4415512
215.84/213.50	c cleaning 89999 clauses out of 180014 with flag 4176000/4506511
220.66/218.32	c cleaning 91002 clauses out of 182015 with flag 4268000/4598511
225.98/223.64	c cleaning 92003 clauses out of 184013 with flag 4361000/4691511
232.79/230.42	c cleaning 92999 clauses out of 186011 with flag 4455001/4785512
240.13/237.74	c cleaning 93996 clauses out of 188013 with flag 4550002/4880513
245.36/242.91	c cleaning 95001 clauses out of 190016 with flag 4646001/4976512
252.29/249.87	c cleaning 95999 clauses out of 192014 with flag 4743000/5073511
259.51/257.06	c cleaning 97004 clauses out of 194015 with flag 4841000/5171511
266.84/264.30	c cleaning 97995 clauses out of 196012 with flag 4940001/5270512
275.78/273.22	c cleaning 98999 clauses out of 198017 with flag 5040001/5370512
284.45/281.80	c cleaning 99999 clauses out of 200018 with flag 5141001/5471512
291.28/288.63	c cleaning 101001 clauses out of 202019 with flag 5243001/5573512
292.50/289.84	c Got one! Elapsed wall clock time (in seconds):289.729
292.50/289.84	o 22
293.50/290.83	c cleaning 69690 clauses out of 139398 with flag 5001/5611892
293.91/291.26	c cleaning 37849 clauses out of 75707 with flag 11000/5617891
294.22/291.50	c cleaning 22424 clauses out of 44858 with flag 18000/5624891
294.42/291.71	c cleaning 15211 clauses out of 30435 with flag 26001/5632892
294.64/291.92	c cleaning 12104 clauses out of 24224 with flag 35001/5641892
294.87/292.16	c cleaning 11053 clauses out of 22119 with flag 45000/5651891
295.19/292.43	c cleaning 11026 clauses out of 22066 with flag 56000/5662891
295.49/292.71	c cleaning 11507 clauses out of 23040 with flag 68000/5674891
295.83/293.03	c cleaning 12258 clauses out of 24534 with flag 81001/5687892
296.13/293.33	c cleaning 13131 clauses out of 26276 with flag 95001/5701892
296.45/293.65	c cleaning 14061 clauses out of 28145 with flag 110001/5716892
296.86/294.01	c cleaning 15031 clauses out of 30083 with flag 126000/5732891
297.28/294.44	c cleaning 16016 clauses out of 32053 with flag 143001/5749892
297.80/294.93	c cleaning 17010 clauses out of 34037 with flag 161001/5767892
298.32/295.44	c cleaning 18007 clauses out of 36027 with flag 180001/5786892
298.94/296.03	c cleaning 19002 clauses out of 38019 with flag 200000/5806891
299.56/296.70	c cleaning 20000 clauses out of 40017 with flag 221000/5827891
300.39/297.43	c cleaning 21001 clauses out of 42017 with flag 243000/5849891
301.10/298.18	c cleaning 22000 clauses out of 44016 with flag 266000/5872891
301.92/298.96	c cleaning 23004 clauses out of 46017 with flag 290001/5896892
302.83/299.90	c cleaning 23996 clauses out of 48013 with flag 315001/5921892
303.83/300.88	c cleaning 25000 clauses out of 50017 with flag 341001/5947892
305.04/302.03	c cleaning 25997 clauses out of 52017 with flag 368001/5974892
305.74/302.72	c cleaning 27002 clauses out of 54020 with flag 396001/6002892
306.56/303.56	c cleaning 28003 clauses out of 56019 with flag 425002/6031893
307.46/304.44	c cleaning 29000 clauses out of 58014 with flag 455000/6061891
308.37/305.33	c cleaning 29998 clauses out of 60014 with flag 486000/6092891
309.38/306.36	c cleaning 31002 clauses out of 62017 with flag 518001/6124892
310.60/307.54	c cleaning 32000 clauses out of 64015 with flag 551001/6157892
311.82/308.73	c cleaning 32999 clauses out of 66014 with flag 585000/6191891
313.03/309.96	c cleaning 33999 clauses out of 68016 with flag 620001/6226892
314.34/311.28	c cleaning 34999 clauses out of 70016 with flag 656000/6262891
315.76/312.63	c cleaning 35997 clauses out of 72018 with flag 693001/6299892
317.28/314.16	c cleaning 36999 clauses out of 74022 with flag 731002/6337893
318.79/315.64	c cleaning 38002 clauses out of 76022 with flag 770001/6376892
320.59/317.40	c cleaning 39001 clauses out of 78021 with flag 810002/6416893
322.41/319.29	c cleaning 40001 clauses out of 80019 with flag 851001/6457892
324.35/321.20	c cleaning 40999 clauses out of 82018 with flag 893001/6499892
326.45/323.21	c cleaning 42002 clauses out of 84019 with flag 936001/6542892
328.66/325.45	c cleaning 42998 clauses out of 86017 with flag 980001/6586892
330.87/327.63	c cleaning 44003 clauses out of 88019 with flag 1025001/6631892
333.38/330.13	c cleaning 44999 clauses out of 90015 with flag 1071000/6677891
335.99/332.71	c cleaning 45995 clauses out of 92016 with flag 1118000/6724891
337.70/334.46	c cleaning 47003 clauses out of 94021 with flag 1166000/6772891
339.42/336.16	c cleaning 48006 clauses out of 96019 with flag 1215001/6821892
341.54/338.23	c cleaning 49000 clauses out of 98013 with flag 1265001/6871892
343.86/340.57	c cleaning 49994 clauses out of 100012 with flag 1316000/6922891
346.18/342.84	c cleaning 51005 clauses out of 102018 with flag 1368000/6974891
348.49/345.16	c cleaning 51998 clauses out of 104013 with flag 1421000/7027891
350.91/347.59	c cleaning 53001 clauses out of 106015 with flag 1475000/7081891
354.02/350.60	c cleaning 54001 clauses out of 108014 with flag 1530000/7136891
356.23/352.84	c cleaning 55001 clauses out of 110014 with flag 1586001/7192892
359.05/355.60	c cleaning 55995 clauses out of 112013 with flag 1643001/7249892
361.55/358.12	c cleaning 57002 clauses out of 114017 with flag 1701000/7307891
364.56/361.10	c cleaning 57998 clauses out of 116016 with flag 1760001/7366892
366.77/363.39	c cleaning 59000 clauses out of 118017 with flag 1820000/7426891
369.48/366.09	c cleaning 59999 clauses out of 120018 with flag 1881001/7487892
372.49/369.03	c cleaning 61004 clauses out of 122019 with flag 1943001/7549892
375.41/371.96	c cleaning 61999 clauses out of 124014 with flag 2006000/7612891
378.64/375.11	c cleaning 63000 clauses out of 126016 with flag 2070001/7676892
381.86/378.33	c cleaning 64000 clauses out of 128015 with flag 2135000/7741891
385.38/381.87	c cleaning 64999 clauses out of 130016 with flag 2201001/7807892
388.89/385.31	c cleaning 65999 clauses out of 132016 with flag 2268000/7874891
392.21/388.65	c cleaning 67003 clauses out of 134018 with flag 2336001/7942892
395.83/392.23	c cleaning 67998 clauses out of 136015 with flag 2405001/8011892
399.56/395.99	c cleaning 68999 clauses out of 138017 with flag 2475001/8081892
403.27/399.68	c cleaning 69998 clauses out of 140018 with flag 2546001/8152892
407.09/403.47	c cleaning 71005 clauses out of 142019 with flag 2618000/8224891
411.01/407.39	c cleaning 72000 clauses out of 144015 with flag 2691001/8297892
414.83/411.13	c cleaning 72996 clauses out of 146014 with flag 2765000/8371891
419.14/415.46	c cleaning 74001 clauses out of 148018 with flag 2840000/8446891
423.76/420.05	c cleaning 74998 clauses out of 150017 with flag 2916000/8522891
427.87/424.19	c cleaning 76002 clauses out of 152019 with flag 2993000/8599891
431.78/428.02	c cleaning 76999 clauses out of 154017 with flag 3071000/8677891
436.79/433.09	c cleaning 77999 clauses out of 156018 with flag 3150000/8756891
441.90/438.16	c cleaning 79000 clauses out of 158019 with flag 3230000/8836891
447.40/443.61	c cleaning 79992 clauses out of 160019 with flag 3311000/8917891
451.82/448.09	c cleaning 81009 clauses out of 162028 with flag 3393001/8999892
456.45/452.64	c cleaning 82002 clauses out of 164020 with flag 3476002/9082893
460.85/457.04	c cleaning 82997 clauses out of 166016 with flag 3560000/9166891
465.90/462.02	c cleaning 84005 clauses out of 168019 with flag 3645000/9251891
471.92/468.09	c cleaning 84998 clauses out of 170014 with flag 3731000/9337891
478.07/474.12	c cleaning 85997 clauses out of 172017 with flag 3818001/9424892
479.00/475.06	c Got one! Elapsed wall clock time (in seconds):474.948
479.00/475.06	o 21
479.80/475.88	c cleaning 59900 clauses out of 119816 with flag 5001/9458688
480.22/476.21	c cleaning 32952 clauses out of 65916 with flag 11001/9464688
480.43/476.43	c cleaning 19976 clauses out of 39963 with flag 18000/9471687
480.65/476.62	c cleaning 13988 clauses out of 27987 with flag 26000/9479687
480.85/476.81	c cleaning 11489 clauses out of 22999 with flag 35000/9488687
481.06/477.02	c cleaning 10748 clauses out of 21511 with flag 45001/9498688
481.29/477.28	c cleaning 10873 clauses out of 21764 with flag 56002/9509689
481.62/477.52	c cleaning 11436 clauses out of 22889 with flag 68000/9521687
481.94/477.81	c cleaning 12221 clauses out of 24453 with flag 81000/9534687
482.24/478.11	c cleaning 13107 clauses out of 26232 with flag 95000/9548687
482.56/478.46	c cleaning 14056 clauses out of 28126 with flag 110001/9563688
482.98/478.86	c cleaning 15026 clauses out of 30069 with flag 126000/9579687
483.49/479.30	c cleaning 16013 clauses out of 32043 with flag 143000/9596687
483.90/479.79	c cleaning 17005 clauses out of 34031 with flag 161001/9614688
484.51/480.37	c cleaning 18004 clauses out of 36025 with flag 180000/9633687
485.02/480.89	c cleaning 19000 clauses out of 38022 with flag 200001/9653688
485.74/481.52	c cleaning 19998 clauses out of 40021 with flag 221000/9674687
486.47/482.21	c cleaning 21005 clauses out of 42024 with flag 243001/9696688
487.29/483.00	c cleaning 21999 clauses out of 44019 with flag 266001/9719688
488.11/483.80	c cleaning 23000 clauses out of 46019 with flag 290000/9743687
488.93/484.66	c cleaning 24002 clauses out of 48019 with flag 315000/9768687
490.04/485.75	c cleaning 24998 clauses out of 50018 with flag 341001/9794688
491.15/486.82	c cleaning 26000 clauses out of 52020 with flag 368001/9821688
492.26/487.93	c cleaning 26999 clauses out of 54020 with flag 396001/9849688
493.36/489.06	c cleaning 27999 clauses out of 56020 with flag 425000/9878687
494.46/490.15	c cleaning 28996 clauses out of 58021 with flag 455000/9908687
495.68/491.31	c cleaning 30003 clauses out of 60026 with flag 486001/9939688
497.01/492.61	c cleaning 30996 clauses out of 62023 with flag 518001/9971688
498.33/493.98	c cleaning 32003 clauses out of 64026 with flag 551000/10004687
499.74/495.37	c cleaning 32999 clauses out of 66024 with flag 585001/10038688
501.16/496.79	c cleaning 34003 clauses out of 68025 with flag 620001/10073688
502.58/498.15	c cleaning 35007 clauses out of 70023 with flag 656002/10109689
503.59/499.14	c cleaning 36000 clauses out of 72014 with flag 693000/10146687
504.80/500.32	c cleaning 36998 clauses out of 74014 with flag 731000/10184687
506.21/501.78	c cleaning 38002 clauses out of 76017 with flag 770001/10223688
507.61/503.10	c cleaning 39000 clauses out of 78015 with flag 810001/10263688
509.05/504.55	c cleaning 40000 clauses out of 80014 with flag 851000/10304687
510.67/506.19	c cleaning 41000 clauses out of 82014 with flag 893000/10346687
512.38/507.86	c cleaning 42001 clauses out of 84014 with flag 936000/10389687
513.99/509.44	c cleaning 42999 clauses out of 86014 with flag 980001/10433688
515.81/511.26	c cleaning 43999 clauses out of 88016 with flag 1025002/10478689
517.93/513.36	c cleaning 44999 clauses out of 90015 with flag 1071000/10524687
519.64/515.04	c cleaning 45998 clauses out of 92016 with flag 1118000/10571687
521.84/517.21	c cleaning 46999 clauses out of 94018 with flag 1166000/10619687
523.85/519.24	c cleaning 48001 clauses out of 96019 with flag 1215000/10668687
525.96/521.35	c cleaning 48998 clauses out of 98019 with flag 1265001/10718688
528.09/523.45	c cleaning 50000 clauses out of 100020 with flag 1316000/10769687
530.11/525.44	c cleaning 51001 clauses out of 102020 with flag 1368000/10821687
532.25/527.51	c cleaning 51999 clauses out of 104019 with flag 1421000/10874687
534.26/529.56	c cleaning 53003 clauses out of 106020 with flag 1475000/10928687
536.38/531.66	c cleaning 53999 clauses out of 108017 with flag 1530000/10983687
538.60/533.83	c cleaning 55000 clauses out of 110019 with flag 1586001/11039688
541.02/536.29	c cleaning 56003 clauses out of 112019 with flag 1643001/11096688
543.64/538.82	c cleaning 56997 clauses out of 114015 with flag 1701000/11154687
546.56/541.71	c cleaning 58002 clauses out of 116019 with flag 1760001/11213688
549.58/544.77	c cleaning 59001 clauses out of 118017 with flag 1820001/11273688
552.80/547.91	c cleaning 59998 clauses out of 120015 with flag 1881000/11334687
556.32/551.46	c cleaning 60999 clauses out of 122018 with flag 1943001/11396688
560.35/555.43	c cleaning 61999 clauses out of 124018 with flag 2006000/11459687
564.07/559.18	c cleaning 62998 clauses out of 126019 with flag 2070000/11523687
568.20/563.22	c cleaning 64001 clauses out of 128022 with flag 2135001/11588688
571.11/566.19	c cleaning 65003 clauses out of 130020 with flag 2201000/11654687
574.33/569.31	c cleaning 65997 clauses out of 132017 with flag 2268000/11721687
577.77/572.72	c cleaning 67001 clauses out of 134020 with flag 2336000/11789687
582.09/577.08	c cleaning 68000 clauses out of 136019 with flag 2405000/11858687
585.70/580.64	c cleaning 68999 clauses out of 138019 with flag 2475000/11928687
589.71/584.68	c cleaning 70000 clauses out of 140020 with flag 2546000/11999687
594.64/589.58	c cleaning 71000 clauses out of 142021 with flag 2618001/12071688
598.94/593.83	c cleaning 72001 clauses out of 144020 with flag 2691000/12144687
603.67/598.54	c cleaning 73000 clauses out of 146019 with flag 2765000/12218687
608.18/603.03	c cleaning 73998 clauses out of 148020 with flag 2840001/12293688
612.08/606.95	c cleaning 75004 clauses out of 150023 with flag 2916002/12369689
616.09/610.91	c cleaning 76001 clauses out of 152018 with flag 2993001/12446688
619.50/614.37	c cleaning 76999 clauses out of 154016 with flag 3071000/12524687
623.22/618.09	c cleaning 77998 clauses out of 156017 with flag 3150000/12603687
627.14/621.96	c cleaning 78996 clauses out of 158020 with flag 3230001/12683688
630.76/625.52	c cleaning 80000 clauses out of 160023 with flag 3311000/12764687
634.29/629.10	c cleaning 81003 clauses out of 162023 with flag 3393000/12846687
638.71/633.46	c cleaning 82003 clauses out of 164021 with flag 3476001/12929688
642.94/637.63	c cleaning 82994 clauses out of 166017 with flag 3560000/13013687
647.36/642.06	c cleaning 83999 clauses out of 168024 with flag 3645001/13098688
651.98/646.65	c cleaning 85007 clauses out of 170025 with flag 3731001/13184688
657.01/651.63	c cleaning 86003 clauses out of 172019 with flag 3818002/13271689
662.04/656.61	c cleaning 86996 clauses out of 174014 with flag 3906000/13359687
667.36/661.98	c cleaning 88001 clauses out of 176019 with flag 3995001/13448688
672.38/666.99	c cleaning 89000 clauses out of 178018 with flag 4085001/13538688
678.62/673.11	c cleaning 89997 clauses out of 180017 with flag 4176000/13629687
685.34/679.86	c cleaning 90996 clauses out of 182020 with flag 4268000/13721687
690.96/685.45	c cleaning 92001 clauses out of 184024 with flag 4361000/13814687
698.40/692.86	c cleaning 93002 clauses out of 186024 with flag 4455001/13908688
704.92/699.33	c cleaning 94001 clauses out of 188021 with flag 4550000/14003687
711.94/706.32	c cleaning 95002 clauses out of 190021 with flag 4646001/14099688
718.38/712.71	c cleaning 96000 clauses out of 192018 with flag 4743000/14196687
726.09/720.48	c cleaning 97001 clauses out of 194019 with flag 4841001/14294688
734.31/728.67	c cleaning 97999 clauses out of 196019 with flag 4940002/14393689
742.34/736.67	c cleaning 98997 clauses out of 198019 with flag 5040001/14493688
750.76/745.05	c cleaning 100002 clauses out of 200022 with flag 5141001/14594688
758.47/752.79	c cleaning 100999 clauses out of 202020 with flag 5243001/14696688
766.89/761.13	c cleaning 101998 clauses out of 204021 with flag 5346001/14799688
776.19/770.45	c cleaning 103006 clauses out of 206023 with flag 5450001/14903688
784.12/778.35	c cleaning 103994 clauses out of 208017 with flag 5555001/15008688
792.35/786.53	c cleaning 105002 clauses out of 210023 with flag 5661001/15114688
799.27/793.44	c cleaning 106001 clauses out of 212021 with flag 5768001/15221688
805.80/799.92	c cleaning 106999 clauses out of 214019 with flag 5876000/15329687
814.83/808.91	c cleaning 108005 clauses out of 216020 with flag 5985000/15438687
824.83/818.90	c cleaning 108999 clauses out of 218015 with flag 6095000/15548687
831.56/825.64	c cleaning 110000 clauses out of 220018 with flag 6206002/15659689
840.47/834.54	c cleaning 111000 clauses out of 222017 with flag 6318001/15771688
847.58/841.68	c cleaning 112000 clauses out of 224016 with flag 6431000/15884687
856.61/850.65	c cleaning 112999 clauses out of 226017 with flag 6545001/15998688
866.96/860.98	c cleaning 113997 clauses out of 228017 with flag 6660000/16113687
874.81/868.79	c cleaning 115001 clauses out of 230021 with flag 6776001/16229688
885.44/879.30	c cleaning 116000 clauses out of 232019 with flag 6893000/16346687
894.75/888.64	c cleaning 116998 clauses out of 234020 with flag 7011001/16464688
904.87/898.76	c cleaning 118001 clauses out of 236021 with flag 7130000/16583687
912.87/906.79	c cleaning 119003 clauses out of 238021 with flag 7250001/16703688
922.40/916.29	c cleaning 119996 clauses out of 240017 with flag 7371000/16824687
931.64/925.41	c cleaning 121004 clauses out of 242021 with flag 7493000/16946687
941.96/935.80	c cleaning 121995 clauses out of 244017 with flag 7616000/17069687
950.49/944.27	c cleaning 123002 clauses out of 246023 with flag 7740001/17193688
961.01/954.78	c cleaning 124002 clauses out of 248020 with flag 7865000/17318687
970.14/963.84	c cleaning 125004 clauses out of 250019 with flag 7991001/17444688
979.44/973.14	c cleaning 126002 clauses out of 252018 with flag 8118004/17571691
991.07/984.79	c cleaning 126998 clauses out of 254013 with flag 8246001/17699688
1002.03/995.60	c cleaning 127997 clauses out of 256016 with flag 8375002/17828689
1012.16/1005.70	c cleaning 128999 clauses out of 258017 with flag 8505000/17958687
1023.36/1016.90	c cleaning 129998 clauses out of 260018 with flag 8636000/18089687
1034.88/1028.44	c cleaning 130997 clauses out of 262021 with flag 8768001/18221688
1045.72/1039.22	c cleaning 131999 clauses out of 264023 with flag 8901000/18354687
1056.35/1049.85	c cleaning 132999 clauses out of 266024 with flag 9035000/18488687
1065.87/1059.32	c cleaning 134002 clauses out of 268025 with flag 9170000/18623687
1078.01/1071.43	c cleaning 135002 clauses out of 270023 with flag 9306000/18759687
1089.42/1082.81	c cleaning 136001 clauses out of 272022 with flag 9443001/18896688
1103.04/1096.40	c cleaning 136994 clauses out of 274020 with flag 9581000/19034687
1116.08/1109.50	c cleaning 138005 clauses out of 276027 with flag 9720001/19173688
1128.03/1121.32	c cleaning 139001 clauses out of 278021 with flag 9860000/19313687
1140.18/1133.43	c cleaning 139997 clauses out of 280020 with flag 10001000/19454687
1152.68/1145.92	c cleaning 141002 clauses out of 282025 with flag 10143002/19596689
1165.41/1158.69	c cleaning 141998 clauses out of 284022 with flag 10286001/19739688
1177.86/1171.03	c cleaning 143003 clauses out of 286024 with flag 10430001/19883688
1189.69/1182.89	c cleaning 144001 clauses out of 288021 with flag 10575001/20028688
1202.53/1195.64	c cleaning 144997 clauses out of 290020 with flag 10721001/20174688
1217.35/1210.45	c cleaning 146007 clauses out of 292024 with flag 10868002/20321689
1234.81/1227.86	c cleaning 147001 clauses out of 294016 with flag 11016001/20469688
1250.39/1243.33	c cleaning 148001 clauses out of 296016 with flag 11165002/20618689
1264.43/1257.39	c cleaning 148997 clauses out of 298013 with flag 11315000/20768687
1279.65/1272.58	c cleaning 149999 clauses out of 300017 with flag 11466001/20919688
1294.88/1287.75	c cleaning 151001 clauses out of 302017 with flag 11618000/21071687
1313.51/1306.33	c cleaning 151997 clauses out of 304016 with flag 11771000/21224687
1332.10/1324.89	c cleaning 153002 clauses out of 306019 with flag 11925000/21378687
1351.31/1344.04	c cleaning 153998 clauses out of 308017 with flag 12080000/21533687
1370.60/1363.21	c cleaning 154996 clauses out of 310020 with flag 12236001/21689688
1390.23/1382.88	c cleaning 156002 clauses out of 312023 with flag 12393000/21846687
1407.77/1400.31	c cleaning 156999 clauses out of 314021 with flag 12551000/22004687
1429.59/1422.11	c cleaning 157999 clauses out of 316022 with flag 12710000/22163687
1451.15/1443.69	c cleaning 159001 clauses out of 318023 with flag 12870000/22323687
1473.47/1465.91	c cleaning 159997 clauses out of 320022 with flag 13031000/22484687
1494.78/1487.23	c cleaning 160997 clauses out of 322026 with flag 13193001/22646688
1512.23/1504.64	c cleaning 162006 clauses out of 324028 with flag 13356000/22809687
1525.46/1517.80	c cleaning 163003 clauses out of 326022 with flag 13520000/22973687
1538.60/1530.91	c cleaning 164005 clauses out of 328021 with flag 13685002/23138689
1556.54/1548.85	c cleaning 165000 clauses out of 330015 with flag 13851001/23304688
1570.36/1562.63	c cleaning 166000 clauses out of 332017 with flag 14018003/23471690
1588.70/1580.98	c cleaning 166999 clauses out of 334015 with flag 14186001/23639688
1603.35/1595.52	c cleaning 168000 clauses out of 336015 with flag 14355000/23808687
1621.99/1614.18	c cleaning 169002 clauses out of 338016 with flag 14525001/23978688
1637.33/1629.46	c cleaning 169996 clauses out of 340013 with flag 14696000/24149687
1653.28/1645.39	c cleaning 170999 clauses out of 342017 with flag 14868000/24321687
1675.59/1667.59	c cleaning 172003 clauses out of 344019 with flag 15041001/24494688
1696.86/1688.78	c cleaning 173002 clauses out of 346015 with flag 15215000/24668687
1718.33/1710.16	c cleaning 173997 clauses out of 348013 with flag 15390000/24843687
1735.24/1726.99	c cleaning 175000 clauses out of 350017 with flag 15566001/25019688
1754.69/1746.35	c cleaning 175999 clauses out of 352016 with flag 15743000/25196687
1776.51/1768.20	c cleaning 177002 clauses out of 354018 with flag 15921001/25374688
1795.27/1786.82	c cleaning 177996 clauses out of 356016 with flag 16100001/25553688
1800.00/1791.51	c starts		: 382
1800.00/1791.51	c conflicts		: 25647418
1800.00/1791.51	c decisions		: 35117150
1800.00/1791.51	c propagations		: 179759932
1800.00/1791.51	c inspects		: 21224986116
1800.00/1791.51	c shortcuts		: 0
1800.00/1791.51	c learnt literals	: 0
1800.00/1791.51	c learnt binary clauses	: 0
1800.00/1791.51	c learnt ternary clauses	: 0
1800.00/1791.51	c learnt constraints	: 25647418
1800.00/1791.51	c ignored constraints	: 0
1800.00/1791.51	c root simplifications	: 382
1800.00/1791.51	c removed literals (reason simplification)	: 3970740
1800.00/1791.51	c reason swapping (by a shorter reason)	: 0
1800.00/1791.51	c Calls to reduceDB	: 385
1800.00/1791.51	c number of reductions to clauses (during analyze)	: 0
1800.00/1791.51	c number of learned constraints concerned by reduction	: 0
1800.00/1791.51	c number of learning phase by resolution	: 0
1800.00/1791.51	c number of learning phase by cutting planes	: 0
1800.00/1791.51	c speed (assignments/second)	: 100347.51648734434
1800.00/1791.51	c non guided choices	124
1800.00/1791.55	c learnt constraints type 
1800.00/1791.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 271956
1800.00/1791.55	c constraints type 
1800.00/1791.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
1800.00/1791.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.00/1791.55	c 82 constraints processed.
1800.00/1791.55	s SATISFIABLE
1800.00/1791.55	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 
1800.00/1791.55	c objective function=21
1800.00/1791.55	c Total wall clock time (in seconds): 1791.44

Verifier Data 

OK	21

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-3710645-1338145715/watcher-3710645-1338145715 -o /tmp/evaluation-result-3710645-1338145715/solver-3710645-1338145715 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710645-1338145715.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.04 2.00 2.00 3/194 21171
/proc/meminfo: memFree=30761252/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21171/stat : 21171 (java) R 21169 21171 18146 0 -1 4202496 1128 0 0 0 0 0 0 0 20 0 1 0 280695995 23793664 854 33554432000 1073741824 1073778376 140733980360064 140733980349128 139897381951579 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 5809 865 653 9 0 128 0

[startup+0.022798 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 21171
/proc/meminfo: memFree=30761252/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 2792 0 1 0 1 0 0 0 20 0 10 0 280695995 9233014784 3491 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2254154 3491 1545 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100279 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 21171
/proc/meminfo: memFree=30761252/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 4356 0 1 0 9 1 0 0 20 0 18 0 280695995 9787842560 6073 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2389610 6073 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300237 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 21171
/proc/meminfo: memFree=30761252/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 6487 0 1 0 50 1 0 0 20 0 19 0 280695995 9856004096 7905 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 7905 2218 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004

[startup+0.700256 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 21171
/proc/meminfo: memFree=30761252/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=1.2 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 12682 0 1 0 117 3 0 0 20 0 19 0 280695995 9856004096 14287 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 14287 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625004

[startup+1.50076 s]
/proc/loadavg: 2.04 2.00 2.00 3/213 21190
/proc/meminfo: memFree=30710316/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=2.03 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 12721 0 1 0 200 3 0 0 20 0 19 0 280695995 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 14821 2270 9 0 2396937 0
[pid=21171/tid=21172] ppid=21169 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/21171/task/21172/stat : 21172 (java) R 21169 21171 18146 0 -1 4202560 2508 0 1 0 138 0 0 0 20 0 19 0 280695996 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139897379799464 139897235519433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21174] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21174/stat : 21174 (java) S 21169 21171 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139897357900456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21175] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21175/stat : 21175 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139897356847912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21176] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21169 21171 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139897355795368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21177] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21169 21171 18146 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139897354742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21178] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21169 21171 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139897353689256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 280695998 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1233 0 0 0 20 0 0 0 20 0 19 0 280696000 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 14821 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9625004

[startup+3.10078 s]
/proc/loadavg: 2.04 2.00 2.00 3/213 21190
/proc/meminfo: memFree=30710564/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=3.66 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 12743 0 1 0 362 4 0 0 20 0 19 0 280695995 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 14832 2270 9 0 2396937 0
[pid=21171/tid=21172] ppid=21169 vsize=9625004 CPUtime=2.85 cores=1,3,5,7
/proc/21171/task/21172/stat : 21172 (java) R 21169 21171 18146 0 -1 4202560 2519 0 1 0 283 2 0 0 20 0 19 0 280695996 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139897379799464 139897235531808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21174] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21174/stat : 21174 (java) S 21169 21171 18146 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139897357900456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21175] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21175/stat : 21175 (java) S 21169 21171 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139897356847912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21176] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139897355795368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21177] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21169 21171 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139897354742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21178] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139897353689256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280695997 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 34 0 0 0 18 0 0 0 20 0 19 0 280695998 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1233 0 0 0 20 0 0 0 20 0 19 0 280696000 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 14832 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 2.04 2.00 2.00 3/213 21190
/proc/meminfo: memFree=30712608/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=6.94 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 12783 0 1 0 690 4 0 0 20 0 19 0 280695995 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 14131 2270 9 0 2396937 0
[pid=21171/tid=21172] ppid=21169 vsize=9625004 CPUtime=5.89 cores=1,3,5,7
/proc/21171/task/21172/stat : 21172 (java) R 21169 21171 18146 0 -1 4202560 2529 0 1 0 587 2 0 0 20 0 19 0 280695996 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139897379799464 139897235531808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21174] ppid=21169 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21174/stat : 21174 (java) S 21169 21171 18146 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139897357900456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21175] ppid=21169 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21175/stat : 21175 (java) S 21169 21171 18146 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139897356847912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21176] ppid=21169 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139897355795368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21177] ppid=21169 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21169 21171 18146 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139897354742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21178] ppid=21169 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21169 21171 18146 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139897353689256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 280695997 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 35 0 0 0 30 0 0 0 20 0 19 0 280695998 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1233 0 0 0 20 0 0 0 20 0 19 0 280696000 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 14131 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 112 0 0 0 132 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 140 0 0 0 142 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 166 0 0 0 126 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=14.2 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 161 0 0 0 1416 4 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1601 0 0 0 23 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 99 0 0 0 30 30 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1730.62
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 21265
/proc/meminfo: memFree=30441572/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=1790.77 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 15159 0 1 0 179017 60 0 0 20 0 19 0 280695995 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 37490 2271 9 0 2396937 0
[pid=21171/tid=21172] ppid=21169 vsize=9625004 CPUtime=1764.56 cores=1,3,5,7
/proc/21171/task/21172/stat : 21172 (java) R 21169 21171 18146 0 -1 4202560 2895 0 1 0 176427 29 0 0 20 0 19 0 280695996 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897379799344 139897235660964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21174] ppid=21169 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/21171/task/21174/stat : 21174 (java) S 21169 21171 18146 0 -1 4202560 266 0 0 0 137 0 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897357900456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21175] ppid=21169 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/21171/task/21175/stat : 21175 (java) S 21169 21171 18146 0 -1 4202560 224 0 0 0 128 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897356847912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21176] ppid=21169 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21169 21171 18146 0 -1 4202560 268 0 0 0 131 3 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897355795368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21177] ppid=21169 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21169 21171 18146 0 -1 4202560 147 0 0 0 132 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897354742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21178] ppid=21169 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21169 21171 18146 0 -1 4202560 174 0 0 0 129 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897353689256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 112 0 0 0 133 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 140 0 0 0 143 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 166 0 0 0 128 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=14.45 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 163 0 0 0 1440 5 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1601 0 0 0 23 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 103 0 0 0 32 30 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.77
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 21265
/proc/meminfo: memFree=30441324/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 15162 0 1 0 179940 60 0 0 20 0 19 0 280695995 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 37490 2271 9 0 2396937 0
[pid=21171/tid=21172] ppid=21169 vsize=9625004 CPUtime=1773.68 cores=1,3,5,7
/proc/21171/task/21172/stat : 21172 (java) R 21169 21171 18146 0 -1 4202560 2896 0 1 0 177339 29 0 0 20 0 19 0 280695996 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897379799344 139897235460397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21174] ppid=21169 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/21171/task/21174/stat : 21174 (java) S 21169 21171 18146 0 -1 4202560 266 0 0 0 137 0 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897357900456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21175] ppid=21169 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/21171/task/21175/stat : 21175 (java) S 21169 21171 18146 0 -1 4202560 224 0 0 0 128 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897356847912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21176] ppid=21169 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21169 21171 18146 0 -1 4202560 268 0 0 0 132 3 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897355795368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21177] ppid=21169 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21169 21171 18146 0 -1 4202560 147 0 0 0 133 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897354742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21178] ppid=21169 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21169 21171 18146 0 -1 4202560 174 0 0 0 129 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897353689256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 112 0 0 0 134 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 140 0 0 0 143 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 166 0 0 0 128 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=14.53 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 165 0 0 0 1448 5 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1601 0 0 0 23 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 103 0 0 0 32 31 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1791.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 21265
/proc/meminfo: memFree=30441324/32873844 swapFree=7900/7900
[pid=21171] ppid=21169 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21169 21171 18146 0 -1 4202496 15162 0 1 0 179940 60 0 0 20 0 19 0 280695995 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 140733980351200 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21171/statm: 2406251 37490 2271 9 0 2396937 0
[pid=21171/tid=21172] ppid=21169 vsize=9625004 CPUtime=1773.68 cores=1,3,5,7
/proc/21171/task/21172/stat : 21172 (java) R 21169 21171 18146 0 -1 4202560 2896 0 1 0 177339 29 0 0 20 0 19 0 280695996 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897379799344 139897235460397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21174] ppid=21169 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/21171/task/21174/stat : 21174 (java) S 21169 21171 18146 0 -1 4202560 266 0 0 0 137 0 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897357900456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21175] ppid=21169 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/21171/task/21175/stat : 21175 (java) S 21169 21171 18146 0 -1 4202560 224 0 0 0 128 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897356847912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21176] ppid=21169 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21169 21171 18146 0 -1 4202560 268 0 0 0 132 3 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897355795368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21177] ppid=21169 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21169 21171 18146 0 -1 4202560 147 0 0 0 133 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897354742824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21178] ppid=21169 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21169 21171 18146 0 -1 4202560 174 0 0 0 129 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139897353689256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21179] ppid=21169 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21169 21171 18146 0 -1 4202560 112 0 0 0 134 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896882719016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21180] ppid=21169 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21169 21171 18146 0 -1 4202560 140 0 0 0 143 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896881666472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21171/tid=21181] ppid=21169 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21169 21171 18146 0 -1 4202560 166 0 0 0 128 2 0 0 20 0 19 0 280695997 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896880613928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21182] ppid=21169 vsize=9625004 CPUtime=14.53 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21169 21171 18146 0 -1 4202560 165 0 0 0 1448 5 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896868203112 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21183] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21183/stat : 21183 (java) S 21169 21171 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896867149432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21184] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21169 21171 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280695998 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896866096776 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21185] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21185/stat : 21185 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896865045520 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21171/tid=21186] ppid=21169 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/21171/task/21186/stat : 21186 (java) S 21169 21171 18146 0 -1 4202560 1601 0 0 0 23 0 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896863991864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21187] ppid=21169 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21171/task/21187/stat : 21187 (java) S 21169 21171 18146 0 -1 4202560 7717 0 0 0 27 2 0 0 20 0 19 0 280696000 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896862939320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21188] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21188/stat : 21188 (java) S 21169 21171 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896861886968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21171/tid=21189] ppid=21169 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/21171/task/21189/stat : 21189 (java) S 21169 21171 18146 0 -1 4202560 103 0 0 0 32 31 0 0 20 0 19 0 280696001 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896860834632 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21171/tid=21190] ppid=21169 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21190/stat : 21190 (java) S 21169 21171 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280696010 9856004096 37490 33554432000 1073741824 1073778376 140733980360064 139896859718952 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1791.56
CPU time (s): 1800.51
CPU user time (s): 1799.54
CPU system time (s): 0.970852
CPU usage (%): 100.5
Max. virtual memory (cumulated for all children) (KiB): 9626340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.970852
maximum resident set size= 150120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15204
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48624
involuntary context switches= 27654

runsolver used 7.01193 second user time and 14.6118 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-27 21:08:35
IDJOB=3710645
IDBENCH=2213
IDSOLVER=2289
FILE ID=node137/3710645-1338145715
RUNJOBID= node137-1338140231-20454
PBS_JOBID= 14624475
Free space on /tmp= 71492 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710645-1338145715/watcher-3710645-1338145715 -o /tmp/evaluation-result-3710645-1338145715/solver-3710645-1338145715 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710645-1338145715.opb

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

MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784
RANDOM SEED=391076033

node137.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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
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.600
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30761904 kB
Buffers:          324996 kB
Cached:           573724 kB
SwapCached:        20904 kB
Active:          1140696 kB
Inactive:         119748 kB
Active(anon):     340336 kB
Inactive(anon):    23688 kB
Active(file):     800360 kB
Inactive(file):    96060 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:               860 kB
Writeback:            16 kB
AnonPages:        362424 kB
Mapped:            17916 kB
Shmem:                 0 kB
Slab:             704464 kB
SReclaimable:     145856 kB
SUnreclaim:       558608 kB
KernelStack:        1744 kB
PageTables:         5344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 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= 71492 MiB
End job on node137 at 2012-05-27 21:38:28