Trace number 4101381

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 2.3.6 Resolution PB16SAT (TO)21 1800.9 1779.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-mod013.opb
MD5SUM4cf38d6355be5633005fa8af147e26d0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark5.99809
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables1488
Total number of constraints62
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 constraints62
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 1488
Biggest coefficient in the objective function 15208
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 525399
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525399
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4101381-1466222286.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.28/0.23	c ... done. Wall clock time 0.122s.
0.28/0.23	c declared #vars     1488
0.28/0.23	c #constraints  76
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5
0.28/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 6
0.28/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65
0.28/0.23	c 76 constraints processed.
0.28/0.23	c objective function length is 1488 literals
1.07/0.56	c SATISFIABLE
1.07/0.56	c OPTIMIZING...
1.07/0.56	c Got one! Elapsed wall clock time (in seconds):0.45
1.07/0.56	o 39
1.38/0.73	c cleaning 2857 clauses out of 5731 with flag 14401/5731
1.38/0.74	c Got one! Elapsed wall clock time (in seconds):0.632
1.38/0.74	o 38
1.38/0.75	c Got one! Elapsed wall clock time (in seconds):0.641
1.38/0.75	o 24
1.63/0.98	c cleaning 4120 clauses out of 8256 with flag 24558/11113
1.96/1.27	c cleaning 5063 clauses out of 10136 with flag 61042/17113
2.36/1.64	c cleaning 6017 clauses out of 12073 with flag 99235/24113
2.87/2.12	c cleaning 6995 clauses out of 14056 with flag 153599/32113
3.38/2.65	c cleaning 8013 clauses out of 16061 with flag 215905/41113
3.97/3.26	c cleaning 8999 clauses out of 18050 with flag 298868/51115
4.68/3.93	c cleaning 10015 clauses out of 20051 with flag 376875/62115
5.37/4.64	c cleaning 11011 clauses out of 22034 with flag 466337/74113
6.17/5.43	c cleaning 12004 clauses out of 24023 with flag 580445/87113
6.97/6.22	c cleaning 13003 clauses out of 26020 with flag 674623/101114
7.86/7.10	c cleaning 14000 clauses out of 28016 with flag 785342/116113
8.76/8.06	c cleaning 15006 clauses out of 30016 with flag 905395/132113
9.78/9.07	c cleaning 16001 clauses out of 32010 with flag 1024016/149113
10.79/10.05	c cleaning 16997 clauses out of 34009 with flag 1136209/167113
11.98/11.26	c cleaning 17980 clauses out of 36012 with flag 1309866/186113
13.18/12.47	c cleaning 18995 clauses out of 38032 with flag 1457615/206113
14.38/13.63	c cleaning 20015 clauses out of 40037 with flag 1608057/227113
15.68/14.95	c cleaning 21005 clauses out of 42022 with flag 1777755/249113
17.28/16.55	c cleaning 22006 clauses out of 44017 with flag 1998041/272113
18.78/18.05	c cleaning 22948 clauses out of 46011 with flag 2159557/296113
20.34/19.57	c cleaning 24028 clauses out of 48063 with flag 2302992/321113
22.04/21.27	c cleaning 25013 clauses out of 50037 with flag 2473127/347115
23.84/23.01	c cleaning 25996 clauses out of 52022 with flag 2634509/374113
25.44/24.66	c cleaning 26972 clauses out of 54026 with flag 2827174/402113
27.25/26.50	c cleaning 28020 clauses out of 56054 with flag 3024760/431113
29.14/28.38	c cleaning 29007 clauses out of 58034 with flag 3232908/461113
31.19/30.39	c cleaning 30009 clauses out of 60027 with flag 3473548/492113
33.19/32.35	c cleaning 31009 clauses out of 62018 with flag 3709992/524113
35.29/34.43	c cleaning 31985 clauses out of 64009 with flag 3948297/557113
37.69/36.89	c cleaning 33012 clauses out of 66024 with flag 4145606/591113
37.79/36.96	c Got one! Elapsed wall clock time (in seconds):36.845
37.79/36.96	o 23
37.99/37.19	c cleaning 19068 clauses out of 38183 with flag 15207/596284
38.40/37.53	c cleaning 12539 clauses out of 25115 with flag 44504/602284
38.79/37.91	c cleaning 9771 clauses out of 19577 with flag 95071/609285
39.19/38.37	c cleaning 8878 clauses out of 17805 with flag 150653/617284
39.79/38.92	c cleaning 8903 clauses out of 17927 with flag 220256/626284
40.39/39.57	c cleaning 9499 clauses out of 19025 with flag 306051/636285
41.19/40.31	c cleaning 10257 clauses out of 20525 with flag 381296/647284
41.94/41.06	c cleaning 11106 clauses out of 22268 with flag 453314/659284
42.75/41.88	c cleaning 12080 clauses out of 24163 with flag 529089/672285
43.64/42.71	c cleaning 13031 clauses out of 26082 with flag 620975/686284
44.54/43.62	c cleaning 14013 clauses out of 28051 with flag 726965/701284
45.44/44.56	c cleaning 15002 clauses out of 30040 with flag 814215/717286
46.54/45.64	c cleaning 16009 clauses out of 32036 with flag 919685/734284
47.15/46.21	c Got one! Elapsed wall clock time (in seconds):46.094
47.15/46.21	o 22
47.44/46.52	c cleaning 15374 clauses out of 30830 with flag 33643/749087
47.74/46.89	c cleaning 10717 clauses out of 21456 with flag 80656/755087
48.25/47.32	c cleaning 8844 clauses out of 17739 with flag 133194/762087
48.74/47.80	c cleaning 8397 clauses out of 16896 with flag 189413/770088
49.24/48.36	c cleaning 8740 clauses out of 17498 with flag 256229/779087
49.84/48.92	c cleaning 9294 clauses out of 18760 with flag 316157/789089
50.45/49.52	c cleaning 10224 clauses out of 20465 with flag 400459/800088
51.20/50.23	c cleaning 11115 clauses out of 22248 with flag 478079/812095
51.88/50.99	c cleaning 12036 clauses out of 24125 with flag 577193/825087
52.69/51.78	c cleaning 13015 clauses out of 26089 with flag 669030/839087
53.58/52.64	c cleaning 14034 clauses out of 28079 with flag 785479/854092
54.38/53.48	c cleaning 15012 clauses out of 30040 with flag 877830/870087
55.38/54.45	c cleaning 16014 clauses out of 32028 with flag 1042320/887087
56.48/55.59	c cleaning 16972 clauses out of 34015 with flag 1168829/905088
57.69/56.71	c cleaning 18006 clauses out of 36042 with flag 1305717/924087
58.99/58.00	c cleaning 19006 clauses out of 38036 with flag 1438255/944087
60.37/59.33	c cleaning 20011 clauses out of 40031 with flag 1595409/965088
61.68/60.66	c cleaning 20965 clauses out of 42019 with flag 1750510/987087
63.08/62.04	c cleaning 22005 clauses out of 44054 with flag 1910780/1010087
64.58/63.54	c cleaning 22997 clauses out of 46049 with flag 2053652/1034087
66.18/65.16	c cleaning 24025 clauses out of 48052 with flag 2224430/1059087
67.98/66.97	c cleaning 25006 clauses out of 50027 with flag 2449797/1085087
69.77/68.75	c cleaning 25993 clauses out of 52021 with flag 2671414/1112087
71.73/70.62	c cleaning 26948 clauses out of 54028 with flag 2901400/1140087
73.74/72.66	c cleaning 28039 clauses out of 56082 with flag 3140978/1169089
76.04/74.95	c cleaning 28997 clauses out of 58042 with flag 3447761/1199088
78.43/77.30	c cleaning 30000 clauses out of 60044 with flag 3769786/1230087
80.43/79.32	c cleaning 31015 clauses out of 62044 with flag 3994445/1262087
82.81/81.61	c cleaning 32003 clauses out of 64029 with flag 4213069/1295087
85.21/84.04	c cleaning 32995 clauses out of 66026 with flag 4497474/1329087
87.71/86.55	c cleaning 33987 clauses out of 68031 with flag 4784331/1364087
90.01/88.86	c cleaning 35009 clauses out of 70044 with flag 5040535/1400087
92.63/91.37	c cleaning 36018 clauses out of 72037 with flag 5258541/1437089
95.22/93.98	c cleaning 36995 clauses out of 74019 with flag 5547892/1475089
98.02/96.76	c cleaning 38007 clauses out of 76022 with flag 5846179/1514087
100.82/99.51	c cleaning 39001 clauses out of 78017 with flag 6112844/1554089
103.81/102.45	c cleaning 40005 clauses out of 80014 with flag 6390952/1595087
106.61/105.29	c cleaning 40998 clauses out of 82009 with flag 6676837/1637087
109.61/108.24	c cleaning 41994 clauses out of 84011 with flag 6963873/1680087
112.71/111.39	c cleaning 42992 clauses out of 86017 with flag 7263214/1724087
115.91/114.43	c Got one! Elapsed wall clock time (in seconds):114.317
115.91/114.43	o 21
116.44/114.96	c cleaning 45443 clauses out of 90926 with flag 25150/1771988
116.83/115.36	c cleaning 25693 clauses out of 51483 with flag 62778/1777988
117.33/115.81	c cleaning 16351 clauses out of 32790 with flag 106582/1784988
117.73/116.29	c cleaning 12203 clauses out of 24439 with flag 153366/1792988
118.33/116.84	c cleaning 10546 clauses out of 21236 with flag 207805/1801988
118.93/117.48	c cleaning 10309 clauses out of 20690 with flag 287204/1811988
119.63/118.14	c cleaning 10691 clauses out of 21382 with flag 369273/1822989
120.33/118.88	c cleaning 11324 clauses out of 22690 with flag 460819/1834988
121.23/119.70	c cleaning 12175 clauses out of 24366 with flag 548879/1847988
122.13/120.63	c cleaning 13041 clauses out of 26191 with flag 654434/1861988
123.03/121.57	c cleaning 14032 clauses out of 28150 with flag 757903/1876988
124.17/122.66	c cleaning 15028 clauses out of 30118 with flag 894375/1892988
125.27/123.78	c cleaning 16033 clauses out of 32090 with flag 1044978/1909988
126.57/125.04	c cleaning 16990 clauses out of 34057 with flag 1188506/1927988
127.87/126.35	c cleaning 18003 clauses out of 36067 with flag 1344917/1946988
129.18/127.63	c cleaning 19006 clauses out of 38064 with flag 1500151/1966988
130.38/128.86	c cleaning 20016 clauses out of 40062 with flag 1657023/1987992
131.77/130.27	c cleaning 21021 clauses out of 42042 with flag 1817581/2009988
133.33/131.73	c cleaning 21981 clauses out of 44021 with flag 1986579/2032988
134.83/133.21	c cleaning 22982 clauses out of 46044 with flag 2176935/2056992
136.32/134.74	c cleaning 23961 clauses out of 48058 with flag 2380347/2081988
137.92/136.35	c cleaning 25010 clauses out of 50098 with flag 2556869/2107989
139.82/138.26	c cleaning 26027 clauses out of 52087 with flag 2740962/2134988
141.99/140.31	c cleaning 27026 clauses out of 54064 with flag 2926295/2162992
143.70/142.00	c cleaning 28003 clauses out of 56034 with flag 3091201/2191988
145.49/143.83	c cleaning 29016 clauses out of 58031 with flag 3257811/2221988
147.39/145.77	c cleaning 30003 clauses out of 60016 with flag 3433659/2252989
149.57/147.82	c cleaning 31006 clauses out of 62012 with flag 3642453/2284988
151.67/149.90	c cleaning 32002 clauses out of 64017 with flag 3825432/2317999
153.68/151.91	c cleaning 32987 clauses out of 66004 with flag 4005753/2351988
155.78/154.06	c cleaning 34001 clauses out of 68017 with flag 4208810/2386988
158.27/156.58	c cleaning 34991 clauses out of 70019 with flag 4439728/2422991
160.85/159.01	c cleaning 36009 clauses out of 72025 with flag 4647135/2459988
163.26/161.40	c cleaning 36989 clauses out of 74016 with flag 4857335/2497988
166.25/164.48	c cleaning 37997 clauses out of 76027 with flag 5148621/2536988
169.72/167.81	c cleaning 39007 clauses out of 78030 with flag 5423191/2576988
172.82/170.92	c cleaning 40006 clauses out of 80023 with flag 5749420/2617988
176.22/174.37	c cleaning 40969 clauses out of 82017 with flag 6108372/2659988
179.70/177.70	c cleaning 41989 clauses out of 84049 with flag 6497150/2702989
183.20/181.26	c cleaning 43028 clauses out of 86062 with flag 6905241/2746991
186.40/184.48	c cleaning 44011 clauses out of 88031 with flag 7262080/2791988
189.83/187.83	c cleaning 44984 clauses out of 90020 with flag 7603457/2837988
193.43/191.49	c cleaning 45998 clauses out of 92036 with flag 8047927/2884988
197.20/195.16	c cleaning 47005 clauses out of 94038 with flag 8440321/2932988
201.00/198.94	c cleaning 48008 clauses out of 96033 with flag 8865428/2981988
205.19/203.11	c cleaning 48999 clauses out of 98025 with flag 9395101/3031988
209.43/207.38	c cleaning 49960 clauses out of 100026 with flag 9872474/3082988
214.13/211.97	c cleaning 51020 clauses out of 102066 with flag 10484619/3134988
218.94/216.70	c cleaning 51985 clauses out of 104047 with flag 11052500/3187989
223.65/221.40	c cleaning 53017 clauses out of 106061 with flag 11606522/3241988
228.05/225.77	c cleaning 53993 clauses out of 108044 with flag 12139502/3296988
232.89/230.59	c cleaning 55020 clauses out of 110052 with flag 12776806/3352989
237.95/235.58	c cleaning 55999 clauses out of 112031 with flag 13414732/3409988
242.64/240.20	c cleaning 57010 clauses out of 114032 with flag 13925526/3467988
247.77/245.39	c cleaning 57993 clauses out of 116023 with flag 14463098/3526989
252.72/250.30	c cleaning 58995 clauses out of 118029 with flag 14963492/3586988
257.62/255.12	c cleaning 60009 clauses out of 120034 with flag 15338298/3647988
262.96/260.43	c cleaning 61007 clauses out of 122026 with flag 15763691/3709989
268.23/265.67	c cleaning 61978 clauses out of 124018 with flag 16209762/3772988
273.43/270.83	c cleaning 63002 clauses out of 126040 with flag 16759024/3836988
278.66/276.00	c cleaning 64000 clauses out of 128040 with flag 17220367/3901990
284.03/281.36	c cleaning 65013 clauses out of 130038 with flag 17757257/3967988
289.53/286.89	c cleaning 66004 clauses out of 132025 with flag 18303041/4034988
294.96/292.27	c cleaning 66992 clauses out of 134021 with flag 18749105/4102988
300.59/297.86	c cleaning 67997 clauses out of 136029 with flag 19279489/4171988
306.85/304.05	c cleaning 69002 clauses out of 138032 with flag 19887211/4241988
313.35/310.50	c cleaning 69976 clauses out of 140031 with flag 20531238/4312989
319.47/316.68	c cleaning 71008 clauses out of 142055 with flag 21235755/4384989
326.32/323.41	c cleaning 71999 clauses out of 144046 with flag 21880585/4457988
333.45/330.52	c cleaning 73007 clauses out of 146047 with flag 22453634/4531988
340.32/337.32	c cleaning 73998 clauses out of 148040 with flag 23008945/4606988
347.29/344.25	c cleaning 75021 clauses out of 150048 with flag 23569899/4682994
354.79/351.75	c cleaning 75944 clauses out of 152021 with flag 24147677/4759988
361.33/358.21	c cleaning 77030 clauses out of 154077 with flag 24610440/4837988
368.75/365.68	c cleaning 78024 clauses out of 156047 with flag 25081301/4916988
376.16/372.93	c cleaning 79005 clauses out of 158023 with flag 25556963/4996988
383.42/380.17	c cleaning 80002 clauses out of 160019 with flag 26160799/5077989
390.87/387.58	c cleaning 80939 clauses out of 162016 with flag 26696182/5159988
399.14/395.74	c cleaning 82033 clauses out of 164077 with flag 27192599/5242988
406.39/402.94	c cleaning 82986 clauses out of 166044 with flag 27693647/5326988
414.12/410.60	c cleaning 83998 clauses out of 168058 with flag 28287735/5411988
421.96/418.40	c cleaning 84987 clauses out of 170061 with flag 28904821/5497989
429.48/425.85	c cleaning 86016 clauses out of 172073 with flag 29494666/5584988
438.13/434.40	c cleaning 87025 clauses out of 174057 with flag 30231958/5672988
446.36/442.61	c cleaning 88017 clauses out of 176033 with flag 30879417/5761989
455.21/451.46	c cleaning 88998 clauses out of 178015 with flag 31619375/5851988
463.04/459.17	c cleaning 89990 clauses out of 180018 with flag 32187841/5942989
470.86/466.98	c cleaning 90942 clauses out of 182027 with flag 32792943/6034988
479.22/475.21	c cleaning 92041 clauses out of 184086 with flag 33430888/6127989
487.50/483.40	c cleaning 92998 clauses out of 186044 with flag 34138874/6221988
495.80/491.64	c cleaning 94017 clauses out of 188046 with flag 34836189/6316988
505.52/501.29	c cleaning 94998 clauses out of 190029 with flag 35691942/6412988
515.42/511.07	c cleaning 96012 clauses out of 192031 with flag 36577125/6509988
525.92/521.50	c cleaning 96938 clauses out of 194019 with flag 37667209/6607988
535.78/531.27	c cleaning 98041 clauses out of 196081 with flag 38773514/6706988
545.03/540.36	c cleaning 99006 clauses out of 198040 with flag 39570293/6806988
554.45/549.63	c cleaning 100003 clauses out of 200034 with flag 40365642/6907988
563.75/558.85	c cleaning 100987 clauses out of 202031 with flag 41087645/7009988
574.74/569.75	c cleaning 101993 clauses out of 204044 with flag 42175261/7112988
584.45/579.38	c cleaning 102989 clauses out of 206051 with flag 43114291/7216988
595.09/589.81	c cleaning 104016 clauses out of 208063 with flag 43836525/7321989
605.29/599.93	c cleaning 105018 clauses out of 210046 with flag 44782786/7427988
615.11/609.68	c cleaning 105996 clauses out of 212029 with flag 45357905/7534989
626.26/620.61	c cleaning 107012 clauses out of 214032 with flag 46026249/7642988
638.10/632.32	c cleaning 107986 clauses out of 216020 with flag 46866543/7751988
651.49/645.51	c cleaning 109006 clauses out of 218036 with flag 47851830/7861990
663.99/657.82	c cleaning 110011 clauses out of 220028 with flag 48822950/7972988
675.51/669.29	c cleaning 110990 clauses out of 222018 with flag 49661846/8084989
686.75/680.40	c cleaning 111974 clauses out of 224027 with flag 50554087/8197988
699.81/693.27	c cleaning 112972 clauses out of 226053 with flag 51658803/8311988
711.94/705.27	c cleaning 114029 clauses out of 228081 with flag 52570531/8426988
725.07/718.25	c cleaning 115004 clauses out of 230052 with flag 53506921/8542988
737.32/730.30	c cleaning 116011 clauses out of 232048 with flag 54335112/8659988
750.22/743.13	c cleaning 116991 clauses out of 234037 with flag 55177044/8777988
763.14/755.93	c cleaning 117990 clauses out of 236046 with flag 56053585/8896988
777.85/770.43	c cleaning 118995 clauses out of 238056 with flag 57004769/9016988
790.19/782.62	c cleaning 120000 clauses out of 240061 with flag 57841390/9137988
803.06/795.35	c cleaning 121023 clauses out of 242061 with flag 58637106/9259988
816.95/809.01	c cleaning 121998 clauses out of 244038 with flag 59574030/9382988
830.91/822.88	c cleaning 123008 clauses out of 246040 with flag 60497463/9506988
845.01/836.77	c cleaning 124008 clauses out of 248032 with flag 61580595/9631988
859.24/850.77	c cleaning 124999 clauses out of 250024 with flag 62684166/9757988
873.46/864.76	c cleaning 125996 clauses out of 252025 with flag 63731010/9884988
888.91/879.96	c cleaning 127008 clauses out of 254029 with flag 64762084/10012988
904.77/895.64	c cleaning 127991 clauses out of 256021 with flag 66161862/10141988
919.18/909.87	c cleaning 129003 clauses out of 258030 with flag 67111480/10271988
934.83/925.23	c cleaning 129968 clauses out of 260027 with flag 68154028/10402988
949.38/939.58	c cleaning 131007 clauses out of 262063 with flag 69168422/10534992
965.51/955.44	c cleaning 132018 clauses out of 264052 with flag 70113076/10667988
980.12/969.85	c cleaning 133013 clauses out of 266034 with flag 71116087/10801988
994.54/984.08	c cleaning 133987 clauses out of 268021 with flag 72059412/10936988
1009.94/999.24	c cleaning 135007 clauses out of 270034 with flag 73266259/11072988
1026.12/1015.29	c cleaning 136008 clauses out of 272027 with flag 74522765/11209988
1043.57/1032.46	c cleaning 136994 clauses out of 274021 with flag 75584636/11347990
1062.24/1050.88	c cleaning 137995 clauses out of 276027 with flag 76599667/11486990
1079.80/1068.19	c cleaning 139004 clauses out of 278031 with flag 77717249/11626989
1097.48/1085.56	c cleaning 139996 clauses out of 280026 with flag 78973616/11767988
1113.82/1101.67	c cleaning 141001 clauses out of 282030 with flag 80027430/11909988
1130.53/1118.10	c cleaning 141986 clauses out of 284029 with flag 81356074/12052988
1146.46/1133.81	c cleaning 142990 clauses out of 286044 with flag 82393295/12196989
1162.60/1149.74	c cleaning 144003 clauses out of 288053 with flag 83429298/12341988
1180.28/1167.26	c cleaning 145005 clauses out of 290050 with flag 84509447/12487988
1199.02/1185.77	c cleaning 145997 clauses out of 292045 with flag 85797110/12634988
1217.69/1204.22	c cleaning 147001 clauses out of 294048 with flag 86889785/12782988
1233.42/1219.76	c cleaning 148015 clauses out of 296048 with flag 87931744/12931989
1252.80/1238.88	c cleaning 148970 clauses out of 298032 with flag 89066024/13081988
1272.92/1258.62	c cleaning 150022 clauses out of 300063 with flag 90032080/13232989
1291.23/1276.78	c cleaning 151014 clauses out of 302041 with flag 90932173/13384989
1309.34/1294.58	c cleaning 152000 clauses out of 304027 with flag 91859966/13537989
1328.13/1313.14	c cleaning 152964 clauses out of 306027 with flag 92824614/13691989
1347.38/1332.20	c cleaning 154005 clauses out of 308062 with flag 94091537/13846988
1368.15/1352.69	c cleaning 155017 clauses out of 310057 with flag 95642880/14002988
1386.74/1371.09	c cleaning 156006 clauses out of 312040 with flag 97003525/14159988
1406.35/1390.40	c cleaning 156997 clauses out of 314034 with flag 98319741/14317988
1425.66/1409.44	c cleaning 157990 clauses out of 316037 with flag 99390191/14476988
1444.86/1428.44	c cleaning 159015 clauses out of 318047 with flag 100478136/14636988
1466.34/1449.62	c cleaning 159989 clauses out of 320032 with flag 101413769/14797988
1489.71/1472.81	c cleaning 161004 clauses out of 322044 with flag 102364967/14959989
1517.59/1500.44	c cleaning 162001 clauses out of 324042 with flag 103566198/15122991
1540.49/1523.18	c cleaning 163007 clauses out of 326038 with flag 104696760/15286988
1561.52/1543.97	c cleaning 163994 clauses out of 328031 with flag 105841531/15451988
1582.46/1564.61	c cleaning 165003 clauses out of 330037 with flag 106917240/15617988
1601.86/1583.75	c cleaning 165983 clauses out of 332034 with flag 108017483/15784988
1622.97/1604.51	c cleaning 167018 clauses out of 334051 with flag 109086592/15952988
1643.88/1625.14	c cleaning 167991 clauses out of 336033 with flag 110598758/16121988
1666.77/1647.79	c cleaning 169008 clauses out of 338042 with flag 112306709/16291988
1688.81/1669.57	c cleaning 169996 clauses out of 340035 with flag 113897600/16462989
1714.40/1694.82	c cleaning 170993 clauses out of 342038 with flag 115531082/16634988
1737.15/1717.37	c cleaning 172023 clauses out of 344045 with flag 117056351/16807988
1761.49/1741.39	c cleaning 172964 clauses out of 346022 with flag 118516585/16981988
1784.23/1763.87	c cleaning 174024 clauses out of 348058 with flag 120090960/17156988
1800.08/1779.40	c starts		: 88266
1800.08/1779.40	c conflicts		: 17291708
1800.08/1779.40	c decisions		: 209993578
1800.08/1779.40	c propagations		: 511906785
1800.08/1779.40	c inspects		: 18801942122
1800.08/1779.40	c shortcuts		: 0
1800.08/1779.40	c learnt literals	: 0
1800.08/1779.40	c learnt binary clauses	: 0
1800.08/1779.40	c learnt ternary clauses	: 0
1800.08/1779.40	c learnt constraints	: 17291708
1800.08/1779.40	c ignored constraints	: 0
1800.08/1779.40	c root simplifications	: 0
1800.08/1779.40	c removed literals (reason simplification)	: 0
1800.08/1779.40	c reason swapping (by a shorter reason)	: 0
1800.08/1779.40	c Calls to reduceDB	: 255
1800.08/1779.40	c Number of update (reduction) of LBD	: 12323856
1800.08/1779.40	c Imported unit clauses	: 0
1800.08/1779.40	c number of reductions to clauses (during analyze)	: 0
1800.08/1779.40	c number of learned constraints concerned by reduction	: 0
1800.08/1779.40	c number of learning phase by resolution	: 0
1800.08/1779.40	c number of learning phase by cutting planes	: 0
1800.08/1779.40	c speed (assignments/second)	: 287724.3464179946
1800.08/1779.40	c non guided choices	149
1800.08/1779.44	c learnt constraints type 
1800.08/1779.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 308754
1800.08/1779.44	s SATISFIABLE
1800.08/1779.44	c Found 6 solution(s)
1800.08/1779.44	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 
1800.08/1779.44	c objective function=21
1800.08/1779.44	c Total wall clock time (in seconds): 1779.329

Verifier Data 

OK	21

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4101381-1466222286/watcher-4101381-1466222286 -o /tmp/evaluation-result-4101381-1466222286/solver-4101381-1466222286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101381-1466222286.opb 

pid=18849
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.26 2.22 2.18 3/194 18852
/proc/meminfo: memFree=30026204/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18852/stat : 18852 (java) R 18849 18852 15548 0 -1 4202496 711 0 0 0 0 0 0 0 20 0 1 0 24275062 23793664 361 33554432000 1073741824 1073778376 140733503452256 140733503441320 229346687539 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 5809 372 285 9 0 128 0

[startup+0.10006 s]
/proc/loadavg: 2.26 2.22 2.18 3/194 18852
/proc/meminfo: memFree=30026204/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 24275062 9787879424 6037 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200304 s]
/proc/loadavg: 2.26 2.22 2.18 3/194 18852
/proc/meminfo: memFree=30026204/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 4962 0 1 0 26 2 0 0 20 0 18 0 24275062 9787879424 6929 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2389619 6929 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300308 s]
/proc/loadavg: 2.26 2.22 2.18 3/194 18852
/proc/meminfo: memFree=30026204/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 9201 0 1 0 54 3 0 0 20 0 19 0 24275062 9856040960 10843 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 10843 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9625040

[startup+0.700198 s]
/proc/loadavg: 2.26 2.22 2.18 3/194 18852
/proc/meminfo: memFree=30026204/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 10211 0 1 0 135 3 0 0 20 0 19 0 24275062 9856040960 12364 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 12364 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.26 2.22 2.18 3/213 18871
/proc/meminfo: memFree=29978696/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 10227 0 1 0 224 3 0 0 20 0 19 0 24275062 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 15443 2259 9 0 2396937 0
[pid=18852/tid=18854] ppid=18849 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/18852/task/18854/stat : 18854 (java) R 18849 18852 15548 0 -1 4202560 2425 0 1 0 144 2 0 0 20 0 19 0 24275063 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370653011664 140370487300038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18855] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18855/stat : 18855 (java) S 18849 18852 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370614512168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18856] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18856/stat : 18856 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370613459368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18857] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18857/stat : 18857 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370612406568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18858] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18858/stat : 18858 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370611353768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18859] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18859/stat : 18859 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370610301992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18860] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18860/stat : 18860 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370609249192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18861] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18861/stat : 18861 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370608196392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18862] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18862/stat : 18862 (java) S 18849 18852 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370607143592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18863] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18863/stat : 18863 (java) S 18849 18852 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24275065 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370477275624 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2146 0 0 0 33 0 0 0 20 0 19 0 24275068 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 43 1 0 0 20 0 19 0 24275068 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 15443 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.26 2.22 2.18 3/213 18871
/proc/meminfo: memFree=29952136/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 10239 0 1 0 384 3 0 0 20 0 19 0 24275062 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 21587 2259 9 0 2396937 0
[pid=18852/tid=18854] ppid=18849 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/18852/task/18854/stat : 18854 (java) R 18849 18852 15548 0 -1 4202560 2437 0 1 0 303 2 0 0 20 0 19 0 24275063 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370653011648 140370487386816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18855] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18855/stat : 18855 (java) S 18849 18852 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370614512168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18856] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18856/stat : 18856 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370613459368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18857] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18857/stat : 18857 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370612406568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18858] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18858/stat : 18858 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370611353768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18859] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18859/stat : 18859 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370610301992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18860] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18860/stat : 18860 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370609249192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18861] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18861/stat : 18861 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370608196392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18862] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18862/stat : 18862 (java) S 18849 18852 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370607143592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18863] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18863/stat : 18863 (java) S 18849 18852 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24275065 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370477275624 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2146 0 0 0 35 0 0 0 20 0 19 0 24275068 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 43 1 0 0 20 0 19 0 24275068 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 21587 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.32 2.23 2.19 4/213 18871
/proc/meminfo: memFree=29883500/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=7.06 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 10264 0 1 0 702 4 0 0 20 0 19 0 24275062 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 32920 2260 9 0 2396937 0
[pid=18852/tid=18854] ppid=18849 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/18852/task/18854/stat : 18854 (java) R 18849 18852 15548 0 -1 4202560 2461 0 1 0 621 3 0 0 20 0 19 0 24275063 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370653011648 140370487461829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18855] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18855/stat : 18855 (java) S 18849 18852 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370614512168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18856] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18856/stat : 18856 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370613459368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18857] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18857/stat : 18857 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370612406568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18858] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18858/stat : 18858 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370611353768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18859] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18859/stat : 18859 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370610301992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18860] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18860/stat : 18860 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370609249192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18861] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18861/stat : 18861 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370608196392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18862] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18862/stat : 18862 (java) S 18849 18852 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24275064 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370607143592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18863] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18863/stat : 18863 (java) S 18849 18852 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24275065 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370477275624 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2146 0 0 0 35 0 0 0 20 0 19 0 24275068 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 43 1 0 0 20 0 19 0 24275068 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 32920 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2154 0 0 0 42 0 0 0 20 0 19 0 24275068 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 44 1 0 0 20 0 19 0 24275068 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 94 0 0 0 24 33 0 0 20 0 19 0 24275068 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 87748 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1620.73
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.20 2.24 2.23 3/213 19002
/proc/meminfo: memFree=29569268/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=1681.54 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 26571 0 1 0 168024 130 0 0 20 0 19 0 24275062 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 91869 2282 9 0 2396937 0
[pid=18852/tid=18854] ppid=18849 vsize=9625040 CPUtime=1650.18 cores=1,3,5,7
/proc/18852/task/18854/stat : 18854 (java) R 18849 18852 15548 0 -1 4202560 2939 0 1 0 164984 34 0 0 20 0 19 0 24275063 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370653019456 140370487300347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18855] ppid=18849 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/18852/task/18855/stat : 18855 (java) S 18849 18852 15548 0 -1 4202560 1542 0 0 0 321 11 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370614512168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18856] ppid=18849 vsize=9625040 CPUtime=3.38 cores=1,3,5,7
/proc/18852/task/18856/stat : 18856 (java) S 18849 18852 15548 0 -1 4202560 2476 0 0 0 326 12 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370613459368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18857] ppid=18849 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/18852/task/18857/stat : 18857 (java) S 18849 18852 15548 0 -1 4202560 2082 0 0 0 294 10 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370612406568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18858] ppid=18849 vsize=9625040 CPUtime=3.21 cores=1,3,5,7
/proc/18852/task/18858/stat : 18858 (java) S 18849 18852 15548 0 -1 4202560 1665 0 0 0 312 9 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370611353768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18859] ppid=18849 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/18852/task/18859/stat : 18859 (java) S 18849 18852 15548 0 -1 4202560 1776 0 0 0 321 11 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370610301992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18860] ppid=18849 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/18852/task/18860/stat : 18860 (java) S 18849 18852 15548 0 -1 4202560 2639 0 0 0 331 10 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370609249192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18861] ppid=18849 vsize=9625040 CPUtime=3.18 cores=1,3,5,7
/proc/18852/task/18861/stat : 18861 (java) S 18849 18852 15548 0 -1 4202560 1656 0 0 0 309 9 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370608196392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18862] ppid=18849 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/18852/task/18862/stat : 18862 (java) S 18849 18852 15548 0 -1 4202560 1337 0 0 0 318 11 0 0 20 0 19 0 24275064 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370607143592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18863] ppid=18849 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/18852/task/18863/stat : 18863 (java) S 18849 18852 15548 0 -1 4202560 566 0 0 0 406 7 0 0 20 0 19 0 24275065 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370477275624 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2154 0 0 0 42 0 0 0 20 0 19 0 24275068 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 44 1 0 0 20 0 19 0 24275068 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 98 0 0 0 25 35 0 0 20 0 19 0 24275068 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 91869 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1681.54
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.35 2.29 2.25 3/213 19003
/proc/meminfo: memFree=29532012/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=1742.23 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 26603 0 1 0 174090 133 0 0 20 0 19 0 24275062 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 90860 2282 9 0 2396937 0
[pid=18852/tid=18854] ppid=18849 vsize=9625040 CPUtime=1709.69 cores=1,3,5,7
/proc/18852/task/18854/stat : 18854 (java) R 18849 18852 15548 0 -1 4202560 2959 0 1 0 170935 34 0 0 20 0 19 0 24275063 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370653019456 140370487285228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18855] ppid=18849 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/18852/task/18855/stat : 18855 (java) S 18849 18852 15548 0 -1 4202560 1543 0 0 0 335 11 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370614512168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18856] ppid=18849 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/18852/task/18856/stat : 18856 (java) S 18849 18852 15548 0 -1 4202560 2476 0 0 0 335 12 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370613459368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18857] ppid=18849 vsize=9625040 CPUtime=3.19 cores=1,3,5,7
/proc/18852/task/18857/stat : 18857 (java) S 18849 18852 15548 0 -1 4202560 2083 0 0 0 309 10 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370612406568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18858] ppid=18849 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/18852/task/18858/stat : 18858 (java) S 18849 18852 15548 0 -1 4202560 1665 0 0 0 324 9 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370611353768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18859] ppid=18849 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/18852/task/18859/stat : 18859 (java) S 18849 18852 15548 0 -1 4202560 1777 0 0 0 335 11 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370610301992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18860] ppid=18849 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/18852/task/18860/stat : 18860 (java) S 18849 18852 15548 0 -1 4202560 2639 0 0 0 342 10 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370609249192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18861] ppid=18849 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/18852/task/18861/stat : 18861 (java) S 18849 18852 15548 0 -1 4202560 1657 0 0 0 326 9 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370608196392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18862] ppid=18849 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/18852/task/18862/stat : 18862 (java) S 18849 18852 15548 0 -1 4202560 1337 0 0 0 329 11 0 0 20 0 19 0 24275064 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370607143592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18863] ppid=18849 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/18852/task/18863/stat : 18863 (java) S 18849 18852 15548 0 -1 4202560 572 0 0 0 423 7 0 0 20 0 19 0 24275065 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370477275624 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2154 0 0 0 42 0 0 0 20 0 19 0 24275068 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 44 1 0 0 20 0 19 0 24275068 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 100 0 0 0 26 36 0 0 20 0 19 0 24275068 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 90860 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1742.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.4 s]
/proc/loadavg: 2.51 2.32 2.26 3/213 19004
/proc/meminfo: memFree=29621652/32872528 swapFree=1370848/1518016
[pid=18852] ppid=18849 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/18852/stat : 18852 (java) S 18849 18852 15548 0 -1 4202496 26638 0 1 0 179873 135 0 0 20 0 19 0 24275062 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140733503443392 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18852/statm: 2406260 80102 2282 9 0 2396937 0
[pid=18852/tid=18854] ppid=18849 vsize=9625040 CPUtime=1766.17 cores=1,3,5,7
/proc/18852/task/18854/stat : 18854 (java) R 18849 18852 15548 0 -1 4202560 2981 0 1 0 176582 35 0 0 20 0 19 0 24275063 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370653019440 140370487387295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18855] ppid=18849 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/18852/task/18855/stat : 18855 (java) S 18849 18852 15548 0 -1 4202560 1544 0 0 0 347 11 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370614512168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18856] ppid=18849 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/18852/task/18856/stat : 18856 (java) S 18849 18852 15548 0 -1 4202560 2476 0 0 0 348 12 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370613459368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18857] ppid=18849 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/18852/task/18857/stat : 18857 (java) S 18849 18852 15548 0 -1 4202560 2083 0 0 0 321 10 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370612406568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18858] ppid=18849 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/18852/task/18858/stat : 18858 (java) S 18849 18852 15548 0 -1 4202560 1666 0 0 0 338 10 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370611353768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18859] ppid=18849 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/18852/task/18859/stat : 18859 (java) S 18849 18852 15548 0 -1 4202560 1777 0 0 0 351 11 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370610301992 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18852/tid=18860] ppid=18849 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/18852/task/18860/stat : 18860 (java) S 18849 18852 15548 0 -1 4202560 2640 0 0 0 356 10 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370609249192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18861] ppid=18849 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/18852/task/18861/stat : 18861 (java) S 18849 18852 15548 0 -1 4202560 1658 0 0 0 340 9 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370608196392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18862] ppid=18849 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/18852/task/18862/stat : 18862 (java) S 18849 18852 15548 0 -1 4202560 1337 0 0 0 343 11 0 0 20 0 19 0 24275064 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370607143592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18863] ppid=18849 vsize=9625040 CPUtime=4.58 cores=1,3,5,7
/proc/18852/task/18863/stat : 18863 (java) S 18849 18852 15548 0 -1 4202560 577 0 0 0 451 7 0 0 20 0 19 0 24275065 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370477275624 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18864] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18864/stat : 18864 (java) S 18849 18852 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370476221688 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18865] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18865/stat : 18865 (java) S 18849 18852 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275066 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370475168776 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18866] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18866/stat : 18866 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370474117264 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18867] ppid=18849 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/18852/task/18867/stat : 18867 (java) S 18849 18852 15548 0 -1 4202560 2154 0 0 0 42 0 0 0 20 0 19 0 24275068 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370473065400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18852/tid=18868] ppid=18849 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/18852/task/18868/stat : 18868 (java) S 18849 18852 15548 0 -1 4202560 4383 0 0 0 44 1 0 0 20 0 19 0 24275068 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140370472012600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18869] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18869/stat : 18869 (java) S 18849 18852 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275068 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140369597557624 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18852/tid=18870] ppid=18849 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/18852/task/18870/stat : 18870 (java) S 18849 18852 15548 0 -1 4202560 104 0 0 0 27 38 0 0 20 0 19 0 24275068 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140369596505032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18852/tid=18871] ppid=18849 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18852/task/18871/stat : 18871 (java) S 18849 18852 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275087 9856040960 80102 33554432000 1073741824 1073778376 140733503452256 140369595450536 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18852 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1779.45
CPU time (s): 1800.9
CPU user time (s): 1799.11
CPU system time (s): 1.79573
CPU usage (%): 101.206
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.79573
maximum resident set size= 546340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26684
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= 53325
involuntary context switches= 65325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4064 second user time and 14.0199 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-18 05:58:06
IDJOB=4101381
IDBENCH=1738
IDSOLVER=2546
FILE ID=node129/4101381-1466222286
RUNJOBID= node129-1466206067-15565
PBS_JOBID= 19918148
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101381-1466222286/watcher-4101381-1466222286 -o /tmp/evaluation-result-4101381-1466222286/solver-4101381-1466222286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101381-1466222286.opb

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

MD5SUM BENCH= 4cf38d6355be5633005fa8af147e26d0
RANDOM SEED=492919261

node129.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.143
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.28
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.143
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	: 5332.55
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.143
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	: 5332.55
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.143
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	: 5332.55
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.143
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	: 5332.55
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.143
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	: 5332.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.143
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	: 5332.55
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.143
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	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30026732 kB
Buffers:          100756 kB
Cached:           107772 kB
SwapCached:         1944 kB
Active:           446028 kB
Inactive:         149148 kB
Active(anon):     387492 kB
Inactive(anon):     1264 kB
Active(file):      58536 kB
Inactive(file):   147884 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       2023668 kB
Mapped:            15432 kB
Shmem:                 0 kB
Slab:             598908 kB
SReclaimable:      42840 kB
SUnreclaim:       556068 kB
KernelStack:        1752 kB
PageTables:         7860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2060012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node129 at 2016-06-18 06:27:45