Trace number 3710657

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)213 1800.51 1790.25

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUM85de1910ead9431952046fc8a55b274b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables478
Total number of constraints478
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	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.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710657-1338138907.opb
0.10/0.12	c reading problem ... 
0.27/0.23	c ... done. Wall clock time 0.108s.
0.27/0.23	c declared #vars     478
0.27/0.23	c #constraints  478
0.27/0.23	c constraints type 
0.27/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 478
0.27/0.23	c 478 constraints processed.
0.27/0.24	c SATISFIABLE
0.27/0.24	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.12
0.27/0.24	o 233
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.141
0.27/0.26	o 232
0.27/0.27	c Got one! Elapsed wall clock time (in seconds):0.149
0.27/0.27	o 225
0.95/0.54	c Got one! Elapsed wall clock time (in seconds):0.424
0.95/0.54	o 224
1.21/0.74	c cleaning 2739 clauses out of 5481 with flag 3001/5481
1.45/0.93	c Got one! Elapsed wall clock time (in seconds):0.808
1.45/0.93	o 223
1.56/1.05	c cleaning 3898 clauses out of 7805 with flag 2000/10544
1.78/1.23	c Got one! Elapsed wall clock time (in seconds):1.11
1.78/1.23	o 222
1.78/1.29	c Got one! Elapsed wall clock time (in seconds):1.172
1.78/1.29	o 221
1.89/1.35	c cleaning 4597 clauses out of 9203 with flag 1000/15840
2.20/1.69	c cleaning 5300 clauses out of 10606 with flag 7000/21840
2.45/1.82	c Got one! Elapsed wall clock time (in seconds):1.705
2.45/1.82	o 220
2.55/1.99	c cleaning 5152 clauses out of 10313 with flag 3001/26847
2.95/2.35	c cleaning 5579 clauses out of 11160 with flag 9000/32846
3.06/2.45	c Got one! Elapsed wall clock time (in seconds):2.329
3.06/2.45	o 219
3.26/2.67	c cleaning 5576 clauses out of 11162 with flag 4000/38427
3.66/3.01	c cleaning 5792 clauses out of 11587 with flag 10001/44428
4.06/3.44	c cleaning 6393 clauses out of 12794 with flag 17000/51427
4.37/3.76	c Got one! Elapsed wall clock time (in seconds):3.646
4.37/3.76	o 218
4.67/4.04	c cleaning 8558 clauses out of 17126 with flag 5000/62152
4.99/4.40	c cleaning 7282 clauses out of 14568 with flag 11000/68152
5.51/4.88	c cleaning 7141 clauses out of 14287 with flag 18001/75153
6.02/5.35	c cleaning 7568 clauses out of 15145 with flag 26000/83152
6.54/5.88	c cleaning 8286 clauses out of 16577 with flag 35000/92152
7.15/6.47	c cleaning 9140 clauses out of 18292 with flag 45001/102153
7.85/7.16	c cleaning 10069 clauses out of 20151 with flag 56000/113152
8.56/7.88	c cleaning 11039 clauses out of 22083 with flag 68001/125153
9.38/8.66	c cleaning 12016 clauses out of 24044 with flag 81001/138153
10.18/9.46	c cleaning 13010 clauses out of 26028 with flag 95001/152153
11.30/10.53	c cleaning 14001 clauses out of 28017 with flag 110000/167152
12.43/11.68	c cleaning 15008 clauses out of 30016 with flag 126000/183152
13.55/12.79	c cleaning 16000 clauses out of 32009 with flag 143001/200153
14.77/13.99	c cleaning 17002 clauses out of 34010 with flag 161002/218154
15.97/15.16	c Got one! Elapsed wall clock time (in seconds):15.044
15.97/15.16	o 217
16.37/15.56	c cleaning 19503 clauses out of 39017 with flag 5000/240163
16.89/16.01	c cleaning 12749 clauses out of 25514 with flag 11000/246163
17.40/16.53	c cleaning 9876 clauses out of 19765 with flag 18000/253163
18.00/17.11	c cleaning 8942 clauses out of 17890 with flag 26001/261164
18.50/17.64	c cleaning 8968 clauses out of 17948 with flag 35001/270164
19.10/18.26	c cleaning 9484 clauses out of 18979 with flag 45000/280163
19.80/18.90	c cleaning 10242 clauses out of 20496 with flag 56001/291164
20.52/19.63	c cleaning 11122 clauses out of 22253 with flag 68000/303163
21.33/20.46	c cleaning 12056 clauses out of 24131 with flag 81000/316163
22.23/21.34	c cleaning 13029 clauses out of 26076 with flag 95001/330164
23.33/22.41	c cleaning 14015 clauses out of 28047 with flag 110001/345164
24.54/23.62	c cleaning 15009 clauses out of 30031 with flag 126000/361163
25.75/24.80	c cleaning 16006 clauses out of 32022 with flag 143000/378163
26.96/26.09	c cleaning 17001 clauses out of 34016 with flag 161000/396163
28.08/27.18	c cleaning 18000 clauses out of 36015 with flag 180000/415163
29.39/28.48	c cleaning 19003 clauses out of 38015 with flag 200000/435163
30.80/29.81	c cleaning 19999 clauses out of 40012 with flag 221000/456163
32.21/31.24	c cleaning 21004 clauses out of 42013 with flag 243000/478163
33.94/32.93	c cleaning 21997 clauses out of 44010 with flag 266001/501164
35.67/34.60	c cleaning 23001 clauses out of 46013 with flag 290001/525164
37.49/36.44	c cleaning 23999 clauses out of 48011 with flag 315000/550163
39.61/38.53	c cleaning 25003 clauses out of 50013 with flag 341001/576164
41.64/40.51	c cleaning 26002 clauses out of 52010 with flag 368001/603164
43.45/42.31	c cleaning 26997 clauses out of 54008 with flag 396001/631164
45.36/44.20	c cleaning 28000 clauses out of 56010 with flag 425000/660163
47.31/46.19	c cleaning 29000 clauses out of 58011 with flag 455001/690164
50.04/48.80	c cleaning 30000 clauses out of 60012 with flag 486002/721165
52.07/50.87	c cleaning 31000 clauses out of 62010 with flag 518000/753163
54.99/53.79	c cleaning 31999 clauses out of 64010 with flag 551000/786163
57.65/56.37	c cleaning 32999 clauses out of 66011 with flag 585000/820163
60.16/58.83	c cleaning 33997 clauses out of 68012 with flag 620000/855163
62.89/61.57	c cleaning 35000 clauses out of 70015 with flag 656000/891163
65.31/63.99	c cleaning 36000 clauses out of 72015 with flag 693000/928163
68.13/66.76	c cleaning 37004 clauses out of 74016 with flag 731001/966164
71.14/69.79	c cleaning 38001 clauses out of 76014 with flag 770003/1005166
74.27/72.88	c cleaning 39000 clauses out of 78011 with flag 810001/1045164
77.60/76.19	c cleaning 39996 clauses out of 80011 with flag 851001/1086164
80.75/79.24	c cleaning 40999 clauses out of 82014 with flag 893000/1128163
84.67/83.14	c cleaning 41997 clauses out of 84016 with flag 936001/1171164
87.79/86.23	c cleaning 43006 clauses out of 86020 with flag 980002/1215165
91.32/89.79	c cleaning 43999 clauses out of 88012 with flag 1025000/1260163
94.86/93.27	c cleaning 45000 clauses out of 90013 with flag 1071000/1306163
98.40/96.73	c cleaning 46003 clauses out of 92013 with flag 1118000/1353163
101.62/99.96	c cleaning 47000 clauses out of 94010 with flag 1166000/1401163
105.44/103.71	c cleaning 47998 clauses out of 96012 with flag 1215002/1450165
109.67/107.93	c cleaning 48995 clauses out of 98012 with flag 1265000/1500163
113.79/112.03	c cleaning 50002 clauses out of 100017 with flag 1316000/1551163
118.77/116.99	c cleaning 51001 clauses out of 102016 with flag 1368001/1603164
122.92/121.08	c cleaning 52002 clauses out of 104014 with flag 1421000/1656163
127.85/125.91	c cleaning 53000 clauses out of 106012 with flag 1475000/1710163
133.77/131.88	c cleaning 53999 clauses out of 108012 with flag 1530000/1765163
139.31/137.39	c cleaning 54997 clauses out of 110013 with flag 1586000/1821163
144.26/142.27	c cleaning 56002 clauses out of 112016 with flag 1643000/1878163
149.78/147.74	c cleaning 56999 clauses out of 114015 with flag 1701001/1936164
155.40/153.39	c cleaning 58006 clauses out of 116015 with flag 1760000/1995163
159.64/157.56	c cleaning 58998 clauses out of 118010 with flag 1820001/2055164
164.37/162.26	c cleaning 60000 clauses out of 120012 with flag 1881001/2116164
169.51/167.34	c cleaning 60998 clauses out of 122012 with flag 1943001/2178164
175.14/172.94	c cleaning 61999 clauses out of 124014 with flag 2006001/2241164
180.57/178.31	c cleaning 62999 clauses out of 126014 with flag 2070000/2305163
187.21/184.94	c cleaning 64000 clauses out of 128015 with flag 2135000/2370163
193.69/191.38	c cleaning 65003 clauses out of 130015 with flag 2201000/2436163
199.83/197.40	c cleaning 66002 clauses out of 132013 with flag 2268001/2503164
207.37/204.92	c cleaning 66999 clauses out of 134011 with flag 2336001/2571164
214.11/211.64	c cleaning 67996 clauses out of 136011 with flag 2405000/2640163
220.24/217.74	c cleaning 69001 clauses out of 138016 with flag 2475001/2710164
227.18/224.65	c cleaning 69998 clauses out of 140014 with flag 2546000/2781163
234.83/232.20	c cleaning 71001 clauses out of 142018 with flag 2618002/2853165
236.86/234.30	c Got one! Elapsed wall clock time (in seconds):234.181
236.86/234.30	o 216
237.56/234.94	c cleaning 51664 clauses out of 103343 with flag 5000/2885491
238.08/235.44	c cleaning 28834 clauses out of 57680 with flag 11001/2891492
238.60/235.93	c cleaning 17912 clauses out of 35846 with flag 18001/2898492
239.11/236.48	c cleaning 12956 clauses out of 25933 with flag 26000/2906491
239.70/237.06	c cleaning 10977 clauses out of 21977 with flag 35000/2915491
240.44/237.76	c cleaning 10491 clauses out of 21001 with flag 45001/2925492
241.26/238.51	c cleaning 10748 clauses out of 21510 with flag 56001/2936492
242.06/239.33	c cleaning 11373 clauses out of 22761 with flag 68000/2948491
242.86/240.19	c cleaning 12188 clauses out of 24388 with flag 81000/2961491
243.87/241.11	c cleaning 13093 clauses out of 26200 with flag 95000/2975491
244.89/242.19	c cleaning 14050 clauses out of 28108 with flag 110001/2990492
245.99/243.20	c cleaning 15024 clauses out of 30057 with flag 126000/3006491
247.02/244.28	c cleaning 16011 clauses out of 32034 with flag 143001/3023492
248.23/245.44	c cleaning 17008 clauses out of 34023 with flag 161001/3041492
249.54/246.70	c cleaning 17999 clauses out of 36014 with flag 180000/3060491
250.85/248.02	c cleaning 19002 clauses out of 38016 with flag 200001/3080492
252.36/249.50	c cleaning 20003 clauses out of 40013 with flag 221000/3101491
253.96/251.18	c cleaning 20996 clauses out of 42011 with flag 243001/3123492
255.67/252.88	c cleaning 22000 clauses out of 44014 with flag 266000/3146491
257.68/254.84	c cleaning 22998 clauses out of 46015 with flag 290001/3170492
259.60/256.71	c cleaning 23998 clauses out of 48016 with flag 315000/3195491
261.51/258.62	c cleaning 25004 clauses out of 50019 with flag 341001/3221492
263.52/260.63	c cleaning 26001 clauses out of 52014 with flag 368000/3248491
265.83/262.92	c cleaning 26996 clauses out of 54014 with flag 396001/3276492
267.84/264.95	c cleaning 28003 clauses out of 56019 with flag 425002/3305493
270.25/267.31	c cleaning 29001 clauses out of 58014 with flag 455000/3335491
272.66/269.78	c cleaning 30000 clauses out of 60014 with flag 486001/3366492
275.20/272.21	c cleaning 31002 clauses out of 62013 with flag 518000/3398491
277.91/274.90	c cleaning 32002 clauses out of 64011 with flag 551000/3431491
280.23/277.27	c cleaning 32995 clauses out of 66010 with flag 585001/3465492
282.74/279.75	c cleaning 33999 clauses out of 68014 with flag 620000/3500491
285.45/282.40	c cleaning 35000 clauses out of 70015 with flag 656000/3536491
288.26/285.26	c cleaning 35998 clauses out of 72016 with flag 693001/3573492
291.18/288.12	c cleaning 37000 clauses out of 74018 with flag 731001/3611492
294.19/291.11	c cleaning 38004 clauses out of 76017 with flag 770000/3650491
297.50/294.49	c cleaning 38998 clauses out of 78013 with flag 810000/3690491
301.11/298.01	c cleaning 40000 clauses out of 80016 with flag 851001/3731492
305.01/301.96	c cleaning 40992 clauses out of 82015 with flag 893000/3773491
308.83/305.75	c cleaning 42006 clauses out of 84024 with flag 936001/3816492
312.73/309.66	c cleaning 42999 clauses out of 86017 with flag 980000/3860491
317.06/313.92	c cleaning 44001 clauses out of 88019 with flag 1025001/3905492
321.36/318.24	c cleaning 44999 clauses out of 90018 with flag 1071001/3951492
325.19/322.07	c cleaning 46001 clauses out of 92019 with flag 1118001/3998492
329.21/326.02	c cleaning 47000 clauses out of 94017 with flag 1166000/4046491
333.32/330.17	c cleaning 48001 clauses out of 96017 with flag 1215000/4095491
337.75/334.59	c cleaning 49001 clauses out of 98018 with flag 1265002/4145493
342.10/338.83	c cleaning 49996 clauses out of 100015 with flag 1316000/4196491
347.01/343.71	c cleaning 51003 clauses out of 102020 with flag 1368001/4248492
351.82/348.56	c cleaning 52001 clauses out of 104017 with flag 1421001/4301492
357.04/353.74	c cleaning 52996 clauses out of 106015 with flag 1475000/4355491
361.98/358.67	c cleaning 54003 clauses out of 108020 with flag 1530001/4410492
367.39/364.06	c cleaning 55000 clauses out of 110017 with flag 1586001/4466492
372.09/368.76	c cleaning 56004 clauses out of 112016 with flag 1643000/4523491
376.61/373.26	c cleaning 57003 clauses out of 114014 with flag 1701002/4581493
381.43/378.01	c cleaning 57998 clauses out of 116010 with flag 1760001/4640492
386.04/382.69	c cleaning 58999 clauses out of 118012 with flag 1820001/4700492
392.45/389.07	c cleaning 59998 clauses out of 120013 with flag 1881001/4761492
397.51/394.09	c cleaning 61001 clauses out of 122016 with flag 1943002/4823493
404.03/400.51	c cleaning 61997 clauses out of 124013 with flag 2006000/4886491
409.29/405.75	c cleaning 62999 clauses out of 126016 with flag 2070000/4950491
416.20/412.66	c cleaning 64000 clauses out of 128018 with flag 2135001/5015492
423.13/419.58	c cleaning 65004 clauses out of 130019 with flag 2201002/5081493
429.89/426.23	c cleaning 65996 clauses out of 132013 with flag 2268000/5148491
436.92/433.26	c cleaning 67001 clauses out of 134017 with flag 2336000/5216491
444.08/440.30	c cleaning 68000 clauses out of 136017 with flag 2405001/5285492
451.81/448.05	c cleaning 69006 clauses out of 138017 with flag 2475001/5355492
459.93/456.16	c cleaning 69994 clauses out of 140010 with flag 2546000/5426491
467.27/463.47	c cleaning 71002 clauses out of 142017 with flag 2618001/5498492
475.69/471.82	c cleaning 72001 clauses out of 144014 with flag 2691000/5571491
484.55/480.63	c cleaning 72995 clauses out of 146014 with flag 2765001/5645492
493.41/489.44	c cleaning 74000 clauses out of 148019 with flag 2840001/5720492
502.01/498.08	c cleaning 74997 clauses out of 150018 with flag 2916000/5796491
512.43/508.42	c cleaning 75998 clauses out of 152021 with flag 2993000/5873491
521.77/517.78	c cleaning 77001 clauses out of 154023 with flag 3071000/5951491
528.82/524.77	c cleaning 78003 clauses out of 156023 with flag 3150001/6030492
537.84/533.71	c cleaning 79004 clauses out of 158019 with flag 3230000/6110491
546.06/541.99	c cleaning 80001 clauses out of 160015 with flag 3311000/6191491
556.20/552.05	c cleaning 80998 clauses out of 162015 with flag 3393001/6273492
567.29/563.00	c cleaning 82003 clauses out of 164016 with flag 3476000/6356491
577.13/572.89	c cleaning 82998 clauses out of 166013 with flag 3560000/6440491
587.08/582.79	c cleaning 84003 clauses out of 168015 with flag 3645000/6525491
597.90/593.53	c cleaning 84997 clauses out of 170012 with flag 3731000/6611491
607.68/603.24	c cleaning 86002 clauses out of 172016 with flag 3818001/6698492
615.50/611.08	c cleaning 86999 clauses out of 174013 with flag 3906000/6786491
623.03/618.56	c cleaning 87998 clauses out of 176015 with flag 3995001/6875492
631.26/626.75	c cleaning 89000 clauses out of 178016 with flag 4085000/6965491
639.93/635.36	c cleaning 90003 clauses out of 180016 with flag 4176000/7056491
650.36/645.76	c cleaning 90996 clauses out of 182014 with flag 4268001/7148492
659.57/654.83	c cleaning 92001 clauses out of 184017 with flag 4361000/7241491
662.80/658.04	c Got one! Elapsed wall clock time (in seconds):657.923
662.80/658.04	o 215
663.73/658.91	c cleaning 66546 clauses out of 133104 with flag 5000/7282579
664.35/659.52	c cleaning 36273 clauses out of 72558 with flag 11000/7288579
664.87/660.09	c cleaning 21634 clauses out of 43285 with flag 18000/7295579
665.49/660.67	c cleaning 14819 clauses out of 29651 with flag 26000/7303579
666.21/661.33	c cleaning 11911 clauses out of 23834 with flag 35002/7312581
666.92/662.02	c cleaning 10955 clauses out of 21922 with flag 45001/7322580
667.74/662.82	c cleaning 10976 clauses out of 21967 with flag 56001/7333580
668.64/663.72	c cleaning 11487 clauses out of 22990 with flag 68000/7345579
669.56/664.68	c cleaning 12248 clauses out of 24504 with flag 81001/7358580
670.67/665.71	c cleaning 13119 clauses out of 26255 with flag 95000/7372579
671.78/666.83	c cleaning 14057 clauses out of 28136 with flag 110000/7387579
672.29/667.35	c Got one! Elapsed wall clock time (in seconds):667.23
672.29/667.35	o 214
672.59/667.66	c cleaning 13331 clauses out of 26676 with flag 5000/7400176
673.01/668.04	c cleaning 9667 clauses out of 19345 with flag 11000/7406176
673.41/668.47	c cleaning 8335 clauses out of 16679 with flag 18001/7413177
674.02/669.04	c cleaning 8163 clauses out of 16344 with flag 26001/7421177
674.62/669.64	c cleaning 8585 clauses out of 17182 with flag 35002/7430178
675.33/670.38	c cleaning 9291 clauses out of 18595 with flag 45000/7440176
676.13/671.12	c cleaning 10143 clauses out of 20304 with flag 56000/7451176
676.95/671.98	c cleaning 11075 clauses out of 22161 with flag 68000/7463176
677.95/672.90	c cleaning 12036 clauses out of 24087 with flag 81001/7476177
678.97/673.92	c cleaning 13019 clauses out of 26051 with flag 95001/7490177
680.10/675.03	c cleaning 14008 clauses out of 28032 with flag 110001/7505177
681.31/676.28	c cleaning 15003 clauses out of 30023 with flag 126000/7521176
682.74/677.63	c cleaning 16004 clauses out of 32020 with flag 143000/7538176
684.13/679.06	c cleaning 17002 clauses out of 34017 with flag 161001/7556177
685.74/680.60	c cleaning 17994 clauses out of 36014 with flag 180000/7575176
687.37/682.29	c cleaning 19001 clauses out of 38021 with flag 200001/7595177
689.18/684.08	c cleaning 20001 clauses out of 40019 with flag 221000/7616176
691.18/686.06	c cleaning 21000 clauses out of 42018 with flag 243000/7638176
693.20/688.02	c cleaning 22004 clauses out of 44019 with flag 266001/7661177
695.21/690.08	c cleaning 23002 clauses out of 46015 with flag 290001/7685177
697.32/692.19	c cleaning 23999 clauses out of 48013 with flag 315001/7710177
699.34/694.13	c cleaning 24998 clauses out of 50013 with flag 341000/7736176
701.45/696.26	c cleaning 25997 clauses out of 52016 with flag 368001/7763177
703.75/698.54	c cleaning 26998 clauses out of 54018 with flag 396000/7791176
706.05/700.80	c cleaning 28004 clauses out of 56020 with flag 425000/7820176
708.46/703.20	c cleaning 28999 clauses out of 58016 with flag 455000/7850176
710.86/705.62	c cleaning 30000 clauses out of 60017 with flag 486000/7881176
713.48/708.25	c cleaning 31001 clauses out of 62017 with flag 518000/7913176
716.32/711.04	c cleaning 32002 clauses out of 64017 with flag 551001/7946177
719.14/713.89	c cleaning 32997 clauses out of 66015 with flag 585001/7980177
722.04/716.75	c cleaning 33999 clauses out of 68017 with flag 620000/8015176
725.26/719.90	c cleaning 35002 clauses out of 70019 with flag 656001/8051177
728.28/722.96	c cleaning 35999 clauses out of 72017 with flag 693001/8088177
731.49/726.14	c cleaning 36999 clauses out of 74017 with flag 731000/8126176
734.82/729.45	c cleaning 37997 clauses out of 76018 with flag 770000/8165176
738.32/732.96	c cleaning 39006 clauses out of 78022 with flag 810001/8205177
741.43/736.01	c cleaning 40002 clauses out of 80016 with flag 851001/8246177
745.35/739.96	c cleaning 40997 clauses out of 82013 with flag 893000/8288176
749.48/744.04	c cleaning 42000 clauses out of 84016 with flag 936000/8331176
753.52/748.07	c cleaning 43001 clauses out of 86017 with flag 980001/8375177
757.85/752.34	c cleaning 44001 clauses out of 88015 with flag 1025000/8420176
762.26/756.73	c cleaning 45001 clauses out of 90015 with flag 1071001/8466177
766.78/761.21	c cleaning 45997 clauses out of 92014 with flag 1118001/8513177
770.93/765.37	c cleaning 46999 clauses out of 94016 with flag 1166000/8561176
775.46/769.89	c cleaning 48000 clauses out of 96017 with flag 1215000/8610176
780.00/774.38	c cleaning 48998 clauses out of 98018 with flag 1265001/8660177
785.10/779.48	c cleaning 50002 clauses out of 100021 with flag 1316002/8711178
789.92/784.24	c cleaning 51000 clauses out of 102017 with flag 1368000/8763176
795.34/789.67	c cleaning 51997 clauses out of 104018 with flag 1421001/8816177
800.37/794.63	c cleaning 53003 clauses out of 106020 with flag 1475000/8870176
805.78/800.00	c cleaning 53998 clauses out of 108018 with flag 1530001/8925177
810.50/804.77	c cleaning 55004 clauses out of 110020 with flag 1586001/8981177
815.72/809.96	c cleaning 55994 clauses out of 112015 with flag 1643000/9038176
821.25/815.42	c cleaning 57004 clauses out of 114023 with flag 1701002/9096178
827.69/821.80	c cleaning 57999 clauses out of 116018 with flag 1760001/9155177
833.64/827.80	c cleaning 58999 clauses out of 118019 with flag 1820001/9215177
839.37/833.48	c cleaning 60001 clauses out of 120020 with flag 1881001/9276177
845.08/839.15	c cleaning 61001 clauses out of 122018 with flag 1943000/9338176
851.52/845.51	c cleaning 62001 clauses out of 124018 with flag 2006001/9401177
857.64/851.63	c cleaning 63002 clauses out of 126016 with flag 2070000/9465176
864.18/858.16	c cleaning 63996 clauses out of 128014 with flag 2135000/9530176
870.71/864.62	c cleaning 65002 clauses out of 130018 with flag 2201000/9596176
877.63/871.58	c cleaning 66002 clauses out of 132018 with flag 2268002/9663178
885.46/879.39	c cleaning 66998 clauses out of 134014 with flag 2336000/9731176
892.82/886.66	c cleaning 67995 clauses out of 136016 with flag 2405000/9800176
899.74/893.55	c cleaning 69005 clauses out of 138021 with flag 2475000/9870176
906.67/900.41	c cleaning 70000 clauses out of 140016 with flag 2546000/9941176
914.71/908.40	c cleaning 70997 clauses out of 142016 with flag 2618000/10013176
922.74/916.45	c cleaning 71999 clauses out of 144019 with flag 2691000/10086176
928.66/922.34	c cleaning 73005 clauses out of 146022 with flag 2765002/10160178
934.59/928.29	c cleaning 74002 clauses out of 148015 with flag 2840000/10235176
941.22/934.89	c cleaning 75000 clauses out of 150013 with flag 2916000/10311176
950.15/943.70	c cleaning 76003 clauses out of 152014 with flag 2993001/10388177
957.19/950.79	c cleaning 76998 clauses out of 154010 with flag 3071000/10466176
965.43/958.92	c cleaning 78000 clauses out of 156012 with flag 3150000/10545176
975.18/968.64	c cleaning 78999 clauses out of 158013 with flag 3230001/10625177
983.93/977.36	c cleaning 79997 clauses out of 160014 with flag 3311001/10706177
991.87/985.25	c cleaning 81004 clauses out of 162017 with flag 3393001/10788177
1000.18/993.59	c cleaning 82000 clauses out of 164012 with flag 3476000/10871176
1008.73/1002.04	c cleaning 82993 clauses out of 166012 with flag 3560000/10955176
1017.96/1011.20	c cleaning 84001 clauses out of 168020 with flag 3645001/11040177
1025.40/1018.67	c cleaning 85001 clauses out of 170018 with flag 3731000/11126176
1035.52/1028.74	c cleaning 86002 clauses out of 172018 with flag 3818001/11213177
1044.67/1037.80	c cleaning 86997 clauses out of 174016 with flag 3906001/11301177
1053.72/1046.80	c cleaning 88002 clauses out of 176019 with flag 3995001/11390177
1064.75/1057.80	c cleaning 89001 clauses out of 178017 with flag 4085001/11480177
1074.28/1067.31	c cleaning 89998 clauses out of 180015 with flag 4176000/11571176
1082.90/1075.95	c cleaning 90999 clauses out of 182017 with flag 4268000/11663176
1093.24/1086.26	c cleaning 92003 clauses out of 184018 with flag 4361000/11756176
1104.28/1097.28	c cleaning 92999 clauses out of 186016 with flag 4455001/11850177
1115.43/1108.37	c cleaning 93996 clauses out of 188016 with flag 4550000/11945176
1127.86/1120.78	c cleaning 95004 clauses out of 190021 with flag 4646001/12041177
1140.58/1133.44	c cleaning 96002 clauses out of 192016 with flag 4743000/12138176
1153.93/1146.74	c cleaning 96999 clauses out of 194015 with flag 4841001/12236177
1166.05/1158.82	c cleaning 98000 clauses out of 196017 with flag 4940002/12335178
1176.88/1169.64	c cleaning 98993 clauses out of 198015 with flag 5040000/12435176
1188.33/1180.91	c cleaning 100004 clauses out of 200023 with flag 5141001/12536177
1200.35/1192.91	c cleaning 101001 clauses out of 202019 with flag 5243001/12638177
1213.20/1205.73	c cleaning 101997 clauses out of 204018 with flag 5346001/12741177
1224.95/1217.49	c cleaning 103002 clauses out of 206021 with flag 5450001/12845177
1238.20/1230.68	c cleaning 103996 clauses out of 208018 with flag 5555000/12950176
1252.63/1245.01	c cleaning 104997 clauses out of 210022 with flag 5661000/13056176
1266.17/1258.52	c cleaning 106003 clauses out of 212026 with flag 5768001/13163177
1279.02/1271.34	c cleaning 107006 clauses out of 214023 with flag 5876001/13271177
1292.05/1284.30	c cleaning 107999 clauses out of 216016 with flag 5985000/13380176
1305.02/1297.27	c cleaning 108999 clauses out of 218017 with flag 6095000/13490176
1316.85/1309.08	c cleaning 110004 clauses out of 220019 with flag 6206001/13601177
1331.50/1323.69	c cleaning 110997 clauses out of 222014 with flag 6318000/13713176
1344.26/1336.34	c cleaning 111997 clauses out of 224017 with flag 6431000/13826176
1356.69/1348.71	c cleaning 113001 clauses out of 226022 with flag 6545002/13940178
1371.64/1363.60	c cleaning 113998 clauses out of 228021 with flag 6660002/14055178
1386.27/1378.27	c cleaning 115004 clauses out of 230022 with flag 6776001/14171177
1401.42/1393.30	c cleaning 116001 clauses out of 232017 with flag 6893000/14288176
1415.64/1407.52	c cleaning 116999 clauses out of 234016 with flag 7011000/14406176
1430.67/1422.52	c cleaning 117996 clauses out of 236017 with flag 7130000/14525176
1445.01/1436.90	c cleaning 119001 clauses out of 238021 with flag 7250000/14645176
1460.87/1452.60	c cleaning 120003 clauses out of 240020 with flag 7371000/14766176
1476.22/1467.95	c cleaning 120997 clauses out of 242017 with flag 7493000/14888176
1491.13/1482.86	c cleaning 121998 clauses out of 244020 with flag 7616000/15011176
1511.74/1503.43	c cleaning 123003 clauses out of 246023 with flag 7740001/15135177
1523.19/1514.83	c cleaning 124002 clauses out of 248019 with flag 7865000/15260176
1535.63/1527.23	c cleaning 125001 clauses out of 250018 with flag 7991001/15386177
1548.69/1540.27	c cleaning 126001 clauses out of 252017 with flag 8118001/15513177
1561.86/1553.33	c cleaning 127000 clauses out of 254016 with flag 8246001/15641177
1577.87/1569.33	c cleaning 127997 clauses out of 256015 with flag 8375000/15770176
1591.52/1582.97	c cleaning 129002 clauses out of 258018 with flag 8505000/15900176
1609.04/1600.45	c cleaning 130002 clauses out of 260017 with flag 8636001/16031177
1624.03/1615.32	c cleaning 131001 clauses out of 262014 with flag 8768000/16163176
1639.36/1630.60	c cleaning 131999 clauses out of 264013 with flag 8901000/16296176
1656.45/1647.60	c cleaning 132994 clauses out of 266015 with flag 9035001/16430177
1674.48/1665.69	c cleaning 134003 clauses out of 268020 with flag 9170000/16565176
1689.33/1680.40	c cleaning 135003 clauses out of 270017 with flag 9306000/16701176
1694.89/1685.90	c Got one! Elapsed wall clock time (in seconds):1685.781
1694.89/1685.90	o 213
1696.39/1687.46	c cleaning 101444 clauses out of 202900 with flag 5000/16769062
1697.21/1688.24	c cleaning 53724 clauses out of 107457 with flag 11001/16775063
1697.74/1688.79	c cleaning 30362 clauses out of 60734 with flag 18002/16782064
1698.35/1689.32	c cleaning 19176 clauses out of 38370 with flag 26000/16790062
1698.87/1689.87	c cleaning 14091 clauses out of 28195 with flag 35001/16799063
1699.47/1690.47	c cleaning 12043 clauses out of 24103 with flag 45000/16809062
1700.20/1691.14	c cleaning 11522 clauses out of 23061 with flag 56001/16820063
1701.02/1691.90	c cleaning 11762 clauses out of 23540 with flag 68002/16832064
1701.73/1692.68	c cleaning 12381 clauses out of 24776 with flag 81000/16845062
1702.65/1693.59	c cleaning 13189 clauses out of 26395 with flag 95000/16859062
1703.76/1694.60	c cleaning 14095 clauses out of 28206 with flag 110000/16874062
1704.77/1695.68	c cleaning 15048 clauses out of 30111 with flag 126000/16890062
1705.98/1696.83	c cleaning 16025 clauses out of 32063 with flag 143000/16907062
1707.19/1698.09	c cleaning 17011 clauses out of 34038 with flag 161000/16925062
1708.70/1699.52	c cleaning 18006 clauses out of 36027 with flag 180000/16944062
1710.22/1701.03	c cleaning 19003 clauses out of 38022 with flag 200001/16964063
1711.74/1702.58	c cleaning 20003 clauses out of 40018 with flag 221000/16985062
1713.46/1704.24	c cleaning 20995 clauses out of 42015 with flag 243000/17007062
1715.17/1705.99	c cleaning 22004 clauses out of 44020 with flag 266000/17030062
1717.09/1707.82	c cleaning 22999 clauses out of 46017 with flag 290001/17054063
1719.22/1709.92	c cleaning 24002 clauses out of 48018 with flag 315001/17079063
1721.24/1711.99	c cleaning 24999 clauses out of 50015 with flag 341000/17105062
1723.37/1714.07	c cleaning 25999 clauses out of 52016 with flag 368000/17132062
1725.67/1716.32	c cleaning 27002 clauses out of 54019 with flag 396002/17160064
1728.02/1718.68	c cleaning 27998 clauses out of 56015 with flag 425000/17189062
1730.53/1721.12	c cleaning 29003 clauses out of 58017 with flag 455000/17219062
1732.96/1723.56	c cleaning 29998 clauses out of 60014 with flag 486000/17250062
1735.57/1726.13	c cleaning 30998 clauses out of 62016 with flag 518000/17282062
1738.28/1728.82	c cleaning 32003 clauses out of 64018 with flag 551000/17315062
1741.22/1731.76	c cleaning 32999 clauses out of 66016 with flag 585001/17349063
1744.16/1734.67	c cleaning 33999 clauses out of 68016 with flag 620000/17384062
1746.86/1737.31	c cleaning 34997 clauses out of 70017 with flag 656000/17420062
1749.89/1740.30	c cleaning 36002 clauses out of 72020 with flag 693000/17457062
1753.03/1743.45	c cleaning 37001 clauses out of 74019 with flag 731001/17495063
1756.73/1747.16	c cleaning 37997 clauses out of 76017 with flag 770000/17534062
1760.44/1750.86	c cleaning 39002 clauses out of 78020 with flag 810000/17574062
1764.07/1754.50	c cleaning 39998 clauses out of 80019 with flag 851001/17615063
1768.09/1758.42	c cleaning 41002 clauses out of 82020 with flag 893000/17657062
1772.12/1762.42	c cleaning 42004 clauses out of 84018 with flag 936000/17700062
1776.13/1766.46	c cleaning 42999 clauses out of 86015 with flag 980001/17744063
1780.45/1770.79	c cleaning 43999 clauses out of 88015 with flag 1025000/17789062
1784.68/1774.90	c cleaning 45002 clauses out of 90017 with flag 1071001/17835063
1788.81/1779.05	c cleaning 45998 clauses out of 92014 with flag 1118000/17882062
1793.32/1783.52	c cleaning 47000 clauses out of 94017 with flag 1166001/17930063
1798.03/1788.27	c cleaning 47998 clauses out of 96017 with flag 1215001/17979063
1800.05/1790.21	c starts		: 364
1800.05/1790.21	c conflicts		: 18004918
1800.05/1790.21	c decisions		: 22422015
1800.05/1790.21	c propagations		: 391375464
1800.05/1790.21	c inspects		: 15509217662
1800.05/1790.21	c shortcuts		: 0
1800.05/1790.21	c learnt literals	: 0
1800.05/1790.21	c learnt binary clauses	: 0
1800.05/1790.21	c learnt ternary clauses	: 0
1800.05/1790.21	c learnt constraints	: 18004919
1800.05/1790.21	c ignored constraints	: 0
1800.05/1790.21	c root simplifications	: 364
1800.05/1790.21	c removed literals (reason simplification)	: 76003
1800.05/1790.21	c reason swapping (by a shorter reason)	: 0
1800.05/1790.21	c Calls to reduceDB	: 368
1800.05/1790.21	c number of reductions to clauses (during analyze)	: 0
1800.05/1790.21	c number of learned constraints concerned by reduction	: 0
1800.05/1790.21	c number of learning phase by resolution	: 0
1800.05/1790.21	c number of learning phase by cutting planes	: 0
1800.05/1790.21	c speed (assignments/second)	: 218648.01003363167
1800.05/1790.21	c non guided choices	659
1800.05/1790.24	c learnt constraints type 
1800.05/1790.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74185
1800.05/1790.24	c constraints type 
1800.05/1790.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1790.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 478
1800.05/1790.24	c 479 constraints processed.
1800.05/1790.24	s SATISFIABLE
1800.05/1790.24	v -x1 -x2 x3 -x4 x5 x6 x7 -x8 -x9 -x10 x11 x12 x13 -x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 x30 x31 x32 -x33 x34 x35 -x36 -x37 -x38 -x39 x40 -x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 x51 x52 x53 -x54 -x55 x56 x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 x68 -x69 x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 x85 -x86 x87 x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 x98 -x99 x100 x101 -x102 x103 x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x127 x128 -x129 x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 x139 x140 x141 x142 -x143 x144 -x145 x146 -x147 -x148 x149 -x150 -x151 x152 x153 -x154 -x155 -x156 -x157 x158 x159 -x160 x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 x172 -x173 x174 -x175 x176 -x177 x178 x179 -x180 -x181 -x182 -x183 x184 x185 x186 x187 -x188 x189 -x190 x191 -x192 x193 x194 -x195 x196 x197 -x198 -x199 x200 -x201 -x202 -x203 x204 -x205 x206 x207 -x208 x209 x210 -x211 x212 -x213 x214 x215 -x216 -x217 -x218 x219 -x220 -x221 x222 -x223 -x224 x225 x226 -x227 -x228 x229 x230 -x231 x232 -x233 x234 -x235 x236 x237 -x238 -x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 x270 x271 x272 -x273 x274 x275 x276 -x277 -x278 -x279 x280 x281 x282 x283 x284 -x285 x286 -x287 -x288 x289 -x290 -x291 -x292 x293 x294 x295 x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 x318 -x319 -x320 x321 x322 -x323 x324 x325 -x326 -x327 -x328 x329 x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 -x340 x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 x360 -x361 -x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 x376 x377 -x378 x379 x380 -x381 -x382 -x383 -x384 -x385 x386 x387 x388 x389 x390 x391 x392 -x393 x394 -x395 x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 x405 x406 x407 x408 x409 -x410 x411 x412 x413 -x414 x415 -x416 -x417 x418 -x419 x420 -x421 x422 x423 x424 x425 x426 -x427 x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 x437 x438 x439 x440 x441 x442 -x443 x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 x458 -x459 -x460 x461 x462 -x463 -x464 x465 x466 x467 x468 x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 
1800.05/1790.24	c objective function=213
1800.05/1790.24	c Total wall clock time (in seconds): 1790.123

Verifier Data 

OK	213

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-3710657-1338138907/watcher-3710657-1338138907 -o /tmp/evaluation-result-3710657-1338138907/solver-3710657-1338138907 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710657-1338138907.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: 1.98 2.00 2.00 3/194 3148
/proc/meminfo: memFree=28859904/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3148/stat : 3148 (java) D 3146 3148 32120 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280016082 9515008 183 33554432000 1073741824 1073778376 140736967696832 140736967687864 270707539637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/3148/statm: 2323 183 140 9 0 71 0

[startup+0.0256381 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 3148
/proc/meminfo: memFree=28859904/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 2484 0 1 0 0 0 0 0 20 0 10 0 280016082 9233014784 3184 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2254154 3192 1306 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.10023 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 3148
/proc/meminfo: memFree=28859904/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 4288 0 1 0 8 2 0 0 20 0 18 0 280016082 9787842560 6006 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2389610 6006 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300222 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 3148
/proc/meminfo: memFree=28859904/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 6861 0 1 0 50 2 0 0 20 0 19 0 280016082 9856004096 9417 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 9417 2236 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700157 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 3148
/proc/meminfo: memFree=28859904/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 8599 0 1 0 118 3 0 0 20 0 19 0 280016082 9856004096 11237 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 11237 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9625004

[startup+1.50063 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 3167
/proc/meminfo: memFree=28812912/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=2.1 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 8683 0 1 0 206 4 0 0 20 0 19 0 280016082 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 16409 2278 9 0 2396937 0
[pid=3148/tid=3150] ppid=3146 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/3148/task/3150/stat : 3150 (java) R 3146 3148 32120 0 -1 4202560 2510 0 1 0 141 2 0 0 20 0 19 0 280016083 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809670619672 139809524466815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3151] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3151/stat : 3151 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809643072040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3152] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3152/stat : 3152 (java) S 3146 3148 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809512794536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3153] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3153/stat : 3153 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809511741736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3154] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3154/stat : 3154 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809510688936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3155] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3155/stat : 3155 (java) S 3146 3148 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809509637160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 280016085 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1876 0 0 0 29 0 0 0 20 0 19 0 280016088 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3035 0 0 0 29 0 0 0 20 0 19 0 280016088 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 16409 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625004

[startup+3.1007 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 3167
/proc/meminfo: memFree=28802300/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 8707 0 1 0 372 4 0 0 20 0 19 0 280016082 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 17450 2278 9 0 2396937 0
[pid=3148/tid=3150] ppid=3146 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/3148/task/3150/stat : 3150 (java) R 3146 3148 32120 0 -1 4202560 2514 0 1 0 294 2 0 0 20 0 19 0 280016083 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809670619424 139809524400329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3151] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3151/stat : 3151 (java) S 3146 3148 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809643072040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3152] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3152/stat : 3152 (java) S 3146 3148 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809512794536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3153] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3153/stat : 3153 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809511741736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3154] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3154/stat : 3154 (java) S 3146 3148 32120 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809510688936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3155] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3155/stat : 3155 (java) S 3146 3148 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809509637160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 36 0 0 0 7 0 0 0 20 0 19 0 280016085 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1876 0 0 0 29 0 0 0 20 0 19 0 280016088 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3044 0 0 0 34 0 0 0 20 0 19 0 280016088 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 17450 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625004

[startup+6.30055 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 3167
/proc/meminfo: memFree=28789924/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=7.05 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 8734 0 1 0 700 5 0 0 20 0 19 0 280016082 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 19365 2278 9 0 2396937 0
[pid=3148/tid=3150] ppid=3146 vsize=9625004 CPUtime=6.05 cores=1,3,5,7
/proc/3148/task/3150/stat : 3150 (java) R 3146 3148 32120 0 -1 4202560 2521 0 1 0 603 2 0 0 20 0 19 0 280016083 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809670619592 139809524338108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3151] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3151/stat : 3151 (java) S 3146 3148 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809643072040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3152] ppid=3146 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3148/task/3152/stat : 3152 (java) S 3146 3148 32120 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809512794536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3153] ppid=3146 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3148/task/3153/stat : 3153 (java) S 3146 3148 32120 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809511741736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3154] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3154/stat : 3154 (java) S 3146 3148 32120 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809510688936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3155] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3155/stat : 3155 (java) S 3146 3148 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809509637160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 280016084 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 38 0 0 0 15 0 0 0 20 0 19 0 280016085 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1876 0 0 0 29 0 0 0 20 0 19 0 280016088 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3044 0 0 0 34 0 0 0 20 0 19 0 280016088 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 19365 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 307 0 0 0 139 4 0 0 20 0 19 0 280016084 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 302 0 0 0 142 4 0 0 20 0 19 0 280016084 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=1.49 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 328 0 0 0 146 3 0 0 20 0 19 0 280016084 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=13.21 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 152 0 0 0 1317 4 0 0 20 0 19 0 280016085 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1929 0 0 0 33 0 0 0 20 0 19 0 280016088 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3044 0 0 0 35 0 0 0 20 0 19 0 280016088 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 96 0 0 0 13 21 0 0 20 0 19 0 280016088 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 108058 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.18
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 3242
/proc/meminfo: memFree=28040116/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=1731.75 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 12249 0 1 0 173115 60 0 0 20 0 19 0 280016082 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 108570 2279 9 0 2396937 0
[pid=3148/tid=3150] ppid=3146 vsize=9625004 CPUtime=1703.94 cores=1,3,5,7
/proc/3148/task/3150/stat : 3150 (java) R 3146 3148 32120 0 -1 4202560 2911 0 1 0 170362 32 0 0 20 0 19 0 280016083 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809670619424 139809524339921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3151] ppid=3146 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/3148/task/3151/stat : 3151 (java) S 3146 3148 32120 0 -1 4202560 392 0 0 0 147 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809643072040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3152] ppid=3146 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/3148/task/3152/stat : 3152 (java) S 3146 3148 32120 0 -1 4202560 320 0 0 0 161 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809512794536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3153] ppid=3146 vsize=9625004 CPUtime=1.59 cores=1,3,5,7
/proc/3148/task/3153/stat : 3153 (java) S 3146 3148 32120 0 -1 4202560 378 0 0 0 156 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809511741736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3154] ppid=3146 vsize=9625004 CPUtime=1.6 cores=1,3,5,7
/proc/3148/task/3154/stat : 3154 (java) S 3146 3148 32120 0 -1 4202560 497 0 0 0 155 5 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809510688936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3155] ppid=3146 vsize=9625004 CPUtime=1.51 cores=1,3,5,7
/proc/3148/task/3155/stat : 3155 (java) S 3146 3148 32120 0 -1 4202560 406 0 0 0 146 5 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809509637160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 307 0 0 0 149 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 302 0 0 0 152 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=1.59 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 328 0 0 0 156 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=14.37 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 156 0 0 0 1433 4 0 0 20 0 19 0 280016085 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1929 0 0 0 33 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3044 0 0 0 35 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 98 0 0 0 14 21 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.75
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 3242
/proc/meminfo: memFree=27999280/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=1792.12 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 12274 0 1 0 179151 61 0 0 20 0 19 0 280016082 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 108570 2279 9 0 2396937 0
[pid=3148/tid=3150] ppid=3146 vsize=9625004 CPUtime=1763.12 cores=1,3,5,7
/proc/3148/task/3150/stat : 3150 (java) R 3146 3148 32120 0 -1 4202560 2928 0 1 0 176279 33 0 0 20 0 19 0 280016083 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809670619424 139809524366992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3151] ppid=3146 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/3148/task/3151/stat : 3151 (java) S 3146 3148 32120 0 -1 4202560 392 0 0 0 154 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809643072040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3152] ppid=3146 vsize=9625004 CPUtime=1.69 cores=1,3,5,7
/proc/3148/task/3152/stat : 3152 (java) S 3146 3148 32120 0 -1 4202560 320 0 0 0 165 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809512794536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3153] ppid=3146 vsize=9625004 CPUtime=1.66 cores=1,3,5,7
/proc/3148/task/3153/stat : 3153 (java) S 3146 3148 32120 0 -1 4202560 378 0 0 0 163 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809511741736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3154] ppid=3146 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/3148/task/3154/stat : 3154 (java) S 3146 3148 32120 0 -1 4202560 497 0 0 0 162 5 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809510688936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3155] ppid=3146 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/3148/task/3155/stat : 3155 (java) S 3146 3148 32120 0 -1 4202560 406 0 0 0 153 5 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809509637160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=1.6 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 307 0 0 0 156 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=1.63 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 302 0 0 0 159 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=1.64 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 328 0 0 0 161 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=15.04 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 160 0 0 0 1500 4 0 0 20 0 19 0 280016085 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1929 0 0 0 33 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3044 0 0 0 35 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 102 0 0 0 15 21 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1792.12
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 3242
/proc/meminfo: memFree=27999156/32873648 swapFree=6864/6864
[pid=3148] ppid=3146 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/3148/stat : 3148 (java) S 3146 3148 32120 0 -1 4202496 12276 0 1 0 179944 61 0 0 20 0 19 0 280016082 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 140734039532080 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3148/statm: 2406251 108570 2279 9 0 2396937 0
[pid=3148/tid=3150] ppid=3146 vsize=9625004 CPUtime=1770.93 cores=1,3,5,7
/proc/3148/task/3150/stat : 3150 (java) R 3146 3148 32120 0 -1 4202560 2930 0 1 0 177060 33 0 0 20 0 19 0 280016083 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809670619424 139809524244803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3151] ppid=3146 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/3148/task/3151/stat : 3151 (java) S 3146 3148 32120 0 -1 4202560 392 0 0 0 155 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809643072040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3152] ppid=3146 vsize=9625004 CPUtime=1.7 cores=1,3,5,7
/proc/3148/task/3152/stat : 3152 (java) S 3146 3148 32120 0 -1 4202560 320 0 0 0 166 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809512794536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3153] ppid=3146 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/3148/task/3153/stat : 3153 (java) S 3146 3148 32120 0 -1 4202560 378 0 0 0 164 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809511741736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3154] ppid=3146 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/3148/task/3154/stat : 3154 (java) S 3146 3148 32120 0 -1 4202560 497 0 0 0 162 5 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809510688936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3155] ppid=3146 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/3148/task/3155/stat : 3155 (java) S 3146 3148 32120 0 -1 4202560 406 0 0 0 153 5 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809509637160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3156] ppid=3146 vsize=9625004 CPUtime=1.6 cores=1,3,5,7
/proc/3148/task/3156/stat : 3156 (java) S 3146 3148 32120 0 -1 4202560 307 0 0 0 156 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809508584360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3157] ppid=3146 vsize=9625004 CPUtime=1.63 cores=1,3,5,7
/proc/3148/task/3157/stat : 3157 (java) S 3146 3148 32120 0 -1 4202560 302 0 0 0 159 4 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809171434280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3158] ppid=3146 vsize=9625004 CPUtime=1.64 cores=1,3,5,7
/proc/3148/task/3158/stat : 3158 (java) S 3146 3148 32120 0 -1 4202560 328 0 0 0 161 3 0 0 20 0 19 0 280016084 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809170381480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3159] ppid=3146 vsize=9625004 CPUtime=15.12 cores=1,3,5,7
/proc/3148/task/3159/stat : 3159 (java) S 3146 3148 32120 0 -1 4202560 160 0 0 0 1508 4 0 0 20 0 19 0 280016085 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809158183400 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3160] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3160/stat : 3160 (java) S 3146 3148 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809157129464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3161] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3161/stat : 3161 (java) S 3146 3148 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280016086 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809156076552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3162] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3162/stat : 3162 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809155025040 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3163] ppid=3146 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/3148/task/3163/stat : 3163 (java) S 3146 3148 32120 0 -1 4202560 1929 0 0 0 33 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809153973176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3148/tid=3164] ppid=3146 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/3148/task/3164/stat : 3164 (java) S 3146 3148 32120 0 -1 4202560 3044 0 0 0 35 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809152920376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3148/tid=3165] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3165/stat : 3165 (java) S 3146 3148 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809151867768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3148/tid=3166] ppid=3146 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/3148/task/3166/stat : 3166 (java) S 3146 3148 32120 0 -1 4202560 102 0 0 0 15 21 0 0 20 0 19 0 280016088 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809150815176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3148/tid=3167] ppid=3146 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/3148/task/3167/stat : 3167 (java) S 3146 3148 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280016106 9856004096 108570 33554432000 1073741824 1073778376 140734039540944 139809149760680 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1790.25
CPU time (s): 1800.51
CPU user time (s): 1799.48
CPU system time (s): 1.03384
CPU usage (%): 100.573
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 1.03384
maximum resident set size= 434448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12319
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48209
involuntary context switches= 55749

runsolver used 5.9391 second user time and 14.8037 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-27 19:15:07
IDJOB=3710657
IDBENCH=1955
IDSOLVER=2289
FILE ID=node125/3710657-1338138907
RUNJOBID= node125-1338125514-32137
PBS_JOBID= 14624515
Free space on /tmp= 71260 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.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-3710657-1338138907/watcher-3710657-1338138907 -o /tmp/evaluation-result-3710657-1338138907/solver-3710657-1338138907 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710657-1338138907.opb

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

MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b
RANDOM SEED=717684094

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28860276 kB
Buffers:          450508 kB
Cached:          2432512 kB
SwapCached:         2308 kB
Active:          1666952 kB
Inactive:        1500460 kB
Active(anon):     275936 kB
Inactive(anon):     9556 kB
Active(file):    1391016 kB
Inactive(file):  1490904 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102612 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:        294284 kB
Mapped:            22516 kB
Shmem:               104 kB
Slab:             703480 kB
SReclaimable:     147116 kB
SUnreclaim:       556364 kB
KernelStack:        1616 kB
PageTables:         4600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     700776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71240 MiB
End job on node125 at 2012-05-27 19:44:59