Trace number 4119390

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)-208 1800.7 1789.64

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-05.opb
MD5SUM450f236c890f723bb734ab92dd0408b5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-219
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 447
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 9216
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 9216
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)407
Sum of products size (including duplicates)1144
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.10	c Free memory 		501472288
0.00/0.10	c Max memory 		7480803328
0.00/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119390-1467257428.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.25/0.20	c ... done. Wall clock time 0.077s.
0.25/0.20	c declared #vars     40
0.25/0.20	c internal #vars     447
0.25/0.20	c #constraints  814
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 407
0.25/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 407
0.25/0.20	c 814 constraints processed.
0.25/0.20	c objective function length is 447 literals
0.25/0.21	c SATISFIABLE
0.25/0.21	c OPTIMIZING...
0.25/0.21	c Got one! Elapsed wall clock time (in seconds):0.09
0.25/0.21	o -120
0.25/0.22	c Got one! Elapsed wall clock time (in seconds):0.104
0.25/0.22	o -122
0.25/0.24	c Got one! Elapsed wall clock time (in seconds):0.122
0.25/0.24	o -135
0.25/0.25	c Got one! Elapsed wall clock time (in seconds):0.133
0.25/0.25	o -136
0.25/0.26	c Got one! Elapsed wall clock time (in seconds):0.143
0.25/0.26	o -138
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.162
0.25/0.28	o -147
0.48/0.31	c Got one! Elapsed wall clock time (in seconds):0.189
0.48/0.31	o -152
0.48/0.32	c Got one! Elapsed wall clock time (in seconds):0.198
0.48/0.32	o -154
1.22/0.77	c cleaning 2531 clauses out of 5062 with flag 10151/5062
1.35/0.87	c Got one! Elapsed wall clock time (in seconds):0.754
1.35/0.87	o -155
1.49/0.90	c Got one! Elapsed wall clock time (in seconds):0.78
1.49/0.90	o -156
1.49/0.91	c Got one! Elapsed wall clock time (in seconds):0.787
1.49/0.91	o -157
1.49/0.91	c Got one! Elapsed wall clock time (in seconds):0.792
1.49/0.91	o -166
1.49/0.92	c Got one! Elapsed wall clock time (in seconds):0.805
1.49/0.92	o -168
1.49/0.95	c Got one! Elapsed wall clock time (in seconds):0.835
1.49/0.95	o -169
1.49/0.99	c Got one! Elapsed wall clock time (in seconds):0.868
1.49/0.99	o -170
1.87/1.29	c cleaning 4798 clauses out of 9596 with flag 8442/12127
2.36/1.72	c cleaning 5399 clauses out of 10797 with flag 20962/18126
2.87/2.23	c cleaning 6200 clauses out of 12399 with flag 35389/25127
3.39/2.75	c Got one! Elapsed wall clock time (in seconds):2.632
3.39/2.75	o -175
3.91/3.21	c cleaning 8912 clauses out of 17826 with flag 10346/36754
4.49/3.72	c cleaning 7457 clauses out of 14914 with flag 22679/42754
5.32/4.33	c cleaning 7224 clauses out of 14456 with flag 36958/49753
6.39/5.00	c cleaning 7616 clauses out of 15232 with flag 53843/57753
6.69/5.34	c Got one! Elapsed wall clock time (in seconds):5.216
6.69/5.34	o -178
6.69/5.34	c Got one! Elapsed wall clock time (in seconds):5.221
6.69/5.34	o -180
6.80/5.43	c cleaning 6475 clauses out of 12959 with flag 2049/63096
7.20/5.86	c cleaning 6238 clauses out of 12485 with flag 14152/69097
7.80/6.41	c cleaning 6622 clauses out of 13247 with flag 28370/76097
8.39/7.01	c cleaning 7310 clauses out of 14625 with flag 44688/84097
9.13/7.75	c cleaning 8154 clauses out of 16314 with flag 63988/93096
10.04/8.61	c cleaning 9075 clauses out of 18160 with flag 84486/103096
10.95/9.59	c cleaning 10043 clauses out of 20085 with flag 106999/114096
12.15/10.70	c cleaning 11020 clauses out of 22043 with flag 131603/126097
13.40/11.96	c cleaning 12013 clauses out of 24025 with flag 161009/139099
13.61/12.12	c Got one! Elapsed wall clock time (in seconds):11.999
13.61/12.12	o -182
13.93/12.42	c cleaning 8555 clauses out of 17123 with flag 6252/144210
14.23/12.78	c Got one! Elapsed wall clock time (in seconds):12.663
14.23/12.78	o -186
14.33/12.88	c cleaning 7210 clauses out of 14426 with flag 2213/150068
14.84/13.33	c cleaning 6606 clauses out of 13216 with flag 14746/156068
15.33/13.88	c cleaning 6802 clauses out of 13611 with flag 28827/163069
15.94/14.50	c cleaning 7404 clauses out of 14808 with flag 45067/171068
16.73/15.24	c cleaning 8197 clauses out of 16404 with flag 63334/180068
17.53/16.09	c cleaning 9102 clauses out of 18207 with flag 84578/190068
18.53/17.08	c cleaning 10053 clauses out of 20106 with flag 108122/201069
19.73/18.23	c cleaning 11023 clauses out of 22053 with flag 134673/213069
20.99/19.49	c cleaning 12010 clauses out of 24029 with flag 162753/226068
22.49/20.92	c cleaning 13007 clauses out of 26020 with flag 193606/240069
23.99/22.46	c cleaning 14006 clauses out of 28012 with flag 225219/255068
25.69/24.17	c cleaning 14995 clauses out of 30006 with flag 258245/271068
27.59/26.05	c cleaning 16003 clauses out of 32011 with flag 292924/288068
29.79/28.25	c cleaning 17003 clauses out of 34010 with flag 329582/306070
30.89/29.38	c Got one! Elapsed wall clock time (in seconds):29.266
30.89/29.38	o -187
31.30/29.78	c Got one! Elapsed wall clock time (in seconds):29.657
31.30/29.78	o -189
31.80/30.20	c cleaning 16841 clauses out of 33693 with flag 6251/322756
32.30/30.76	c cleaning 11420 clauses out of 22853 with flag 18528/328757
33.01/31.41	c cleaning 9212 clauses out of 18434 with flag 33263/335758
33.61/32.06	c cleaning 8606 clauses out of 17221 with flag 49509/343757
34.31/32.77	c cleaning 8807 clauses out of 17614 with flag 68103/352756
35.11/33.58	c cleaning 9399 clauses out of 18807 with flag 88777/362756
36.11/34.52	c Got one! Elapsed wall clock time (in seconds):34.401
36.11/34.52	o -191
36.65/35.07	c cleaning 12257 clauses out of 24523 with flag 10713/377871
36.86/35.21	c Got one! Elapsed wall clock time (in seconds):35.095
36.86/35.21	o -193
37.21/35.50	c cleaning 8737 clauses out of 17488 with flag 6369/383093
37.72/36.02	c cleaning 7367 clauses out of 14750 with flag 18902/389092
38.34/36.63	c cleaning 7186 clauses out of 14383 with flag 34737/396092
38.94/37.26	c cleaning 7596 clauses out of 15198 with flag 53554/404093
39.25/37.54	c Got one! Elapsed wall clock time (in seconds):37.423
39.25/37.54	o -194
39.35/37.63	c cleaning 6449 clauses out of 12904 with flag 2027/409395
39.75/38.08	c cleaning 6224 clauses out of 12456 with flag 14200/415396
40.26/38.59	c cleaning 6612 clauses out of 13232 with flag 28251/422396
40.95/39.20	c cleaning 7306 clauses out of 14619 with flag 44311/430395
41.65/39.94	c cleaning 8154 clauses out of 16314 with flag 62384/439396
42.56/40.82	c cleaning 9076 clauses out of 18159 with flag 82423/449395
43.56/41.82	c cleaning 10039 clauses out of 20084 with flag 104494/460396
44.76/43.06	c cleaning 11022 clauses out of 22044 with flag 128563/472395
45.45/43.73	c Got one! Elapsed wall clock time (in seconds):43.606
45.45/43.73	o -196
45.95/44.28	c cleaning 11635 clauses out of 23279 with flag 10252/484652
46.55/44.81	c cleaning 8819 clauses out of 17645 with flag 22572/490653
47.05/45.38	c cleaning 7910 clauses out of 15826 with flag 37028/497653
47.25/45.52	c Got one! Elapsed wall clock time (in seconds):45.401
47.25/45.52	o -200
47.55/45.86	c cleaning 6947 clauses out of 13909 with flag 8720/503646
48.06/46.33	c cleaning 6472 clauses out of 12961 with flag 21533/509645
48.55/46.88	c cleaning 6734 clauses out of 13490 with flag 35878/516646
49.25/47.50	c cleaning 7374 clauses out of 14756 with flag 52235/524646
49.95/48.25	c cleaning 8191 clauses out of 16381 with flag 70981/533645
50.85/49.12	c cleaning 9088 clauses out of 18190 with flag 91495/543645
51.86/50.19	c cleaning 10052 clauses out of 20103 with flag 113620/554646
53.06/51.34	c cleaning 11024 clauses out of 22050 with flag 138221/566645
54.36/52.69	c cleaning 12010 clauses out of 24026 with flag 166590/579645
55.76/54.09	c cleaning 13004 clauses out of 26016 with flag 195292/593645
57.36/55.62	c cleaning 14001 clauses out of 28012 with flag 226239/608645
59.07/57.34	c cleaning 15005 clauses out of 30011 with flag 259220/624645
60.96/59.28	c cleaning 16003 clauses out of 32006 with flag 294122/641645
63.26/61.51	c cleaning 17000 clauses out of 34005 with flag 330914/659647
65.80/64.03	c cleaning 17998 clauses out of 36003 with flag 370525/678645
68.40/66.66	c cleaning 18999 clauses out of 38005 with flag 411977/698645
71.30/69.53	c cleaning 20002 clauses out of 40006 with flag 455454/719645
74.21/72.45	c cleaning 21003 clauses out of 42005 with flag 501224/741646
77.61/75.81	c cleaning 21995 clauses out of 44001 with flag 549460/764645
81.41/79.57	c cleaning 22999 clauses out of 46007 with flag 603913/788646
84.91/83.05	c cleaning 24002 clauses out of 48008 with flag 662746/813646
88.82/86.93	c cleaning 24999 clauses out of 50007 with flag 720929/839647
92.61/90.75	c cleaning 26001 clauses out of 52007 with flag 784415/866646
97.23/95.27	c cleaning 26995 clauses out of 54005 with flag 853781/894645
102.25/100.26	c cleaning 28002 clauses out of 56011 with flag 932054/923646
106.94/104.96	c cleaning 29000 clauses out of 58008 with flag 1006962/953645
112.05/110.06	c cleaning 29999 clauses out of 60008 with flag 1073888/984645
117.69/115.68	c cleaning 30999 clauses out of 62011 with flag 1141626/1016647
123.38/121.31	c cleaning 32005 clauses out of 64011 with flag 1211165/1049646
129.58/127.60	c cleaning 33002 clauses out of 66006 with flag 1283935/1083646
136.20/134.04	c cleaning 34001 clauses out of 68003 with flag 1358604/1118645
143.80/141.63	c cleaning 35001 clauses out of 70002 with flag 1437907/1154645
153.15/150.83	c cleaning 35998 clauses out of 72001 with flag 1521006/1191645
162.54/160.27	c cleaning 36995 clauses out of 74003 with flag 1606119/1229645
171.23/168.93	c cleaning 38001 clauses out of 76009 with flag 1692160/1268646
180.52/178.15	c cleaning 39004 clauses out of 78009 with flag 1779914/1308647
190.02/187.66	c Got one! Elapsed wall clock time (in seconds):187.542
190.02/187.66	o -203
191.62/189.21	c cleaning 41941 clauses out of 83882 with flag 10834/1353524
192.61/190.27	c cleaning 23970 clauses out of 47941 with flag 23901/1359524
193.59/191.18	c cleaning 15487 clauses out of 30973 with flag 38248/1366526
194.39/191.92	c cleaning 11736 clauses out of 23485 with flag 54600/1374525
195.09/192.65	c cleaning 10366 clauses out of 20750 with flag 73009/1383526
195.89/193.47	c cleaning 10184 clauses out of 20382 with flag 93325/1393524
196.79/194.35	c cleaning 10595 clauses out of 21199 with flag 115781/1404525
197.79/195.39	c cleaning 11302 clauses out of 22604 with flag 140136/1416525
198.99/196.55	c cleaning 12143 clauses out of 24302 with flag 166417/1429525
200.40/197.89	c cleaning 13076 clauses out of 26158 with flag 194678/1443524
201.90/199.39	c cleaning 14041 clauses out of 28084 with flag 225226/1458526
203.60/201.05	c cleaning 15017 clauses out of 30043 with flag 257684/1474526
205.40/202.87	c cleaning 16009 clauses out of 32024 with flag 292637/1491524
207.40/204.87	c cleaning 17001 clauses out of 34016 with flag 329297/1509525
209.75/207.14	c cleaning 18008 clauses out of 36015 with flag 367937/1528525
212.25/209.62	c cleaning 18996 clauses out of 38007 with flag 408801/1548525
214.96/212.33	c cleaning 20004 clauses out of 40011 with flag 452423/1569525
217.85/215.20	c cleaning 21004 clauses out of 42007 with flag 498353/1591525
221.02/218.35	c cleaning 21997 clauses out of 44002 with flag 546322/1614524
224.32/221.65	c cleaning 23002 clauses out of 46006 with flag 596544/1638525
224.42/221.72	c Got one! Elapsed wall clock time (in seconds):221.596
224.42/221.72	o -205
224.92/222.29	c cleaning 14399 clauses out of 28812 with flag 10339/1644333
225.52/222.84	c cleaning 10198 clauses out of 20412 with flag 22645/1650332
226.02/223.40	c cleaning 8602 clauses out of 17215 with flag 37039/1657333
226.72/224.02	c cleaning 8299 clauses out of 16613 with flag 53862/1665333
227.57/224.82	c cleaning 8654 clauses out of 17313 with flag 72476/1674332
228.38/225.64	c cleaning 9330 clauses out of 18659 with flag 93246/1684332
229.27/226.59	c cleaning 10163 clauses out of 20329 with flag 116586/1695332
230.37/227.70	c cleaning 11077 clauses out of 22166 with flag 141591/1707332
231.68/228.99	c cleaning 12044 clauses out of 24089 with flag 168264/1720332
233.17/230.43	c cleaning 13017 clauses out of 26045 with flag 196892/1734332
234.81/232.07	c cleaning 14009 clauses out of 28029 with flag 227844/1749333
236.71/233.93	c cleaning 15007 clauses out of 30020 with flag 261995/1765333
238.81/236.04	c cleaning 16004 clauses out of 32013 with flag 297835/1782333
241.11/238.30	c cleaning 16999 clauses out of 34009 with flag 337565/1800333
243.45/240.62	c cleaning 18002 clauses out of 36009 with flag 378612/1819332
245.85/243.10	c cleaning 18994 clauses out of 38008 with flag 419710/1839333
248.55/245.78	c cleaning 20001 clauses out of 40013 with flag 462654/1860332
251.35/248.57	c cleaning 21006 clauses out of 42013 with flag 507596/1882333
254.99/252.11	c cleaning 22004 clauses out of 44007 with flag 555375/1905333
258.79/255.93	c cleaning 22998 clauses out of 46002 with flag 607412/1929332
262.59/259.75	c cleaning 23998 clauses out of 48005 with flag 665721/1954333
266.83/263.91	c cleaning 25001 clauses out of 50006 with flag 722730/1980332
270.93/268.00	c cleaning 26001 clauses out of 52005 with flag 781119/2007332
275.49/272.53	c cleaning 27002 clauses out of 54004 with flag 842090/2035332
280.30/277.32	c cleaning 27994 clauses out of 56003 with flag 903297/2064333
285.66/282.61	c cleaning 29002 clauses out of 58009 with flag 966498/2094333
291.17/288.15	c cleaning 30004 clauses out of 60007 with flag 1031927/2125333
297.06/294.09	c cleaning 31001 clauses out of 62002 with flag 1100283/2157332
303.39/300.35	c cleaning 32001 clauses out of 64001 with flag 1170691/2190332
309.88/306.85	c cleaning 32997 clauses out of 66001 with flag 1244135/2224333
316.44/313.39	c cleaning 33994 clauses out of 68004 with flag 1320169/2259333
323.41/320.22	c cleaning 34999 clauses out of 70010 with flag 1398107/2295333
330.30/327.13	c cleaning 36003 clauses out of 72010 with flag 1475173/2332332
338.52/335.35	c cleaning 37003 clauses out of 74007 with flag 1556928/2370332
346.72/343.55	c cleaning 37996 clauses out of 76004 with flag 1642983/2409332
354.74/351.50	c cleaning 39001 clauses out of 78009 with flag 1730010/2449333
363.62/360.31	c cleaning 39998 clauses out of 80007 with flag 1816431/2490332
373.10/369.70	c cleaning 40999 clauses out of 82009 with flag 1908277/2532332
383.29/379.91	c cleaning 42001 clauses out of 84010 with flag 2001731/2575332
393.92/390.57	c cleaning 43000 clauses out of 86009 with flag 2096320/2619332
404.86/401.45	c cleaning 44002 clauses out of 88009 with flag 2190203/2664332
415.02/411.54	c cleaning 45001 clauses out of 90007 with flag 2291371/2710332
426.48/422.99	c cleaning 46003 clauses out of 92006 with flag 2393671/2757332
440.53/436.90	c cleaning 46995 clauses out of 94003 with flag 2505933/2805332
443.74/440.16	c Got one! Elapsed wall clock time (in seconds):440.038
443.74/440.16	o -207
445.03/441.42	c cleaning 34785 clauses out of 69580 with flag 13382/2827904
445.73/442.20	c cleaning 20395 clauses out of 40795 with flag 28371/2833904
446.43/442.87	c cleaning 13694 clauses out of 27399 with flag 44778/2840903
447.20/443.58	c cleaning 10848 clauses out of 21705 with flag 62461/2848903
448.00/444.30	c cleaning 9923 clauses out of 19858 with flag 82671/2857904
448.70/445.08	c cleaning 9963 clauses out of 19935 with flag 105986/2867904
449.60/445.96	c cleaning 10481 clauses out of 20971 with flag 131976/2878903
450.60/446.95	c cleaning 11240 clauses out of 22490 with flag 160261/2890903
451.71/448.00	c cleaning 12120 clauses out of 24250 with flag 191378/2903903
453.01/449.32	c cleaning 13063 clauses out of 26131 with flag 224628/2917904
454.41/450.76	c cleaning 14029 clauses out of 28067 with flag 260538/2932903
456.04/452.30	c cleaning 15016 clauses out of 30040 with flag 297074/2948905
457.54/453.84	c cleaning 16011 clauses out of 32022 with flag 335942/2965903
457.64/453.98	c Got one! Elapsed wall clock time (in seconds):453.864
457.64/453.98	o -208
458.04/454.35	c cleaning 10905 clauses out of 21818 with flag 8789/2971710
458.54/454.85	c cleaning 8449 clauses out of 16913 with flag 22402/2977710
459.04/455.39	c cleaning 7723 clauses out of 15465 with flag 38389/2984711
459.66/455.98	c cleaning 7864 clauses out of 15741 with flag 56162/2992710
460.37/456.69	c cleaning 8437 clauses out of 16878 with flag 76687/3001711
461.16/457.47	c cleaning 9216 clauses out of 18440 with flag 99157/3011710
462.06/458.37	c cleaning 10108 clauses out of 20225 with flag 124773/3022711
463.26/459.51	c cleaning 11055 clauses out of 22116 with flag 150454/3034710
464.59/460.85	c cleaning 12030 clauses out of 24062 with flag 178661/3047711
466.09/462.33	c cleaning 13014 clauses out of 26032 with flag 208295/3061711
467.69/463.90	c cleaning 14004 clauses out of 28017 with flag 242552/3076710
469.51/465.75	c cleaning 15004 clauses out of 30013 with flag 277690/3092710
471.41/467.65	c cleaning 16004 clauses out of 32010 with flag 315979/3109711
473.55/469.80	c cleaning 17002 clauses out of 34007 with flag 358466/3127712
475.94/472.16	c cleaning 17998 clauses out of 36004 with flag 400358/3146711
478.54/474.72	c cleaning 18998 clauses out of 38006 with flag 442419/3166711
481.56/477.73	c cleaning 20002 clauses out of 40007 with flag 490752/3187710
484.76/480.92	c cleaning 21001 clauses out of 42006 with flag 540483/3209711
487.80/483.99	c cleaning 21996 clauses out of 44004 with flag 593443/3232710
491.10/487.27	c cleaning 22999 clauses out of 46009 with flag 649381/3256711
494.64/490.77	c cleaning 24000 clauses out of 48010 with flag 711256/3281711
498.78/494.81	c cleaning 25004 clauses out of 50009 with flag 776358/3307710
502.88/498.95	c cleaning 26000 clauses out of 52005 with flag 842626/3334710
507.51/503.55	c cleaning 26992 clauses out of 54005 with flag 912901/3362710
512.55/508.58	c cleaning 28004 clauses out of 56014 with flag 983267/3391711
517.95/513.94	c cleaning 29001 clauses out of 58010 with flag 1056584/3421711
523.57/519.59	c cleaning 30001 clauses out of 60008 with flag 1133531/3452710
529.42/525.34	c cleaning 31003 clauses out of 62007 with flag 1211625/3484710
535.55/531.42	c cleaning 32000 clauses out of 64004 with flag 1291370/3517710
541.94/537.85	c cleaning 32998 clauses out of 66004 with flag 1374008/3551710
548.77/544.65	c cleaning 33998 clauses out of 68006 with flag 1458863/3586710
555.89/551.73	c cleaning 35000 clauses out of 70008 with flag 1544831/3622710
564.12/559.91	c cleaning 36002 clauses out of 72008 with flag 1631548/3659710
572.55/568.39	c cleaning 37000 clauses out of 74007 with flag 1722178/3697711
582.68/578.44	c cleaning 38003 clauses out of 76007 with flag 1819765/3736711
593.11/588.87	c cleaning 39000 clauses out of 78003 with flag 1919692/3776710
604.33/600.09	c cleaning 39998 clauses out of 80005 with flag 2022857/3817712
615.33/610.95	c cleaning 40997 clauses out of 82005 with flag 2127136/3859710
626.99/622.58	c cleaning 42000 clauses out of 84008 with flag 2237238/3902710
639.04/634.58	c cleaning 43004 clauses out of 86008 with flag 2348351/3946710
651.01/646.47	c cleaning 43998 clauses out of 88004 with flag 2462685/3991710
664.35/659.74	c cleaning 45002 clauses out of 90006 with flag 2577014/4037710
679.03/674.36	c cleaning 45998 clauses out of 92004 with flag 2697038/4084710
694.19/689.46	c cleaning 47001 clauses out of 94006 with flag 2817458/4132710
709.99/705.16	c cleaning 47996 clauses out of 96005 with flag 2942249/4181710
726.44/721.56	c cleaning 49004 clauses out of 98009 with flag 3070578/4231710
741.29/736.37	c cleaning 49998 clauses out of 100007 with flag 3180265/4282712
758.53/753.41	c cleaning 51000 clauses out of 102007 with flag 3288810/4334710
776.43/771.22	c cleaning 52000 clauses out of 104007 with flag 3406079/4387710
795.51/790.24	c cleaning 52998 clauses out of 106007 with flag 3530035/4441710
813.20/807.87	c cleaning 54001 clauses out of 108010 with flag 3659124/4496711
832.52/827.06	c cleaning 55005 clauses out of 110009 with flag 3789894/4552711
851.41/845.84	c cleaning 55997 clauses out of 112003 with flag 3922027/4609710
873.55/867.81	c cleaning 56999 clauses out of 114006 with flag 4049088/4667710
894.85/889.08	c cleaning 58002 clauses out of 116008 with flag 4187176/4726711
915.64/909.72	c cleaning 58997 clauses out of 118005 with flag 4325676/4786710
938.01/931.99	c cleaning 59997 clauses out of 120011 with flag 4462847/4847713
959.60/953.49	c cleaning 61002 clauses out of 122012 with flag 4600461/4909711
981.80/975.52	c cleaning 62003 clauses out of 124009 with flag 4742777/4972710
1005.91/999.55	c cleaning 62998 clauses out of 126007 with flag 4886225/5036711
1031.34/1024.85	c cleaning 63999 clauses out of 128009 with flag 5033019/5101711
1059.44/1052.87	c cleaning 65003 clauses out of 130009 with flag 5183811/5167710
1087.45/1080.76	c cleaning 66002 clauses out of 132006 with flag 5334308/5234710
1117.12/1110.24	c cleaning 66994 clauses out of 134005 with flag 5487922/5302711
1147.79/1140.77	c cleaning 68004 clauses out of 136012 with flag 5645508/5371712
1180.18/1172.92	c cleaning 69001 clauses out of 138007 with flag 5805909/5441711
1211.81/1204.48	c cleaning 69999 clauses out of 140006 with flag 5965510/5512711
1244.48/1236.90	c cleaning 71002 clauses out of 142007 with flag 6129445/5584711
1279.64/1271.93	c cleaning 72000 clauses out of 144006 with flag 6296281/5657712
1315.29/1307.49	c cleaning 72999 clauses out of 146004 with flag 6464816/5731710
1356.17/1348.15	c cleaning 73995 clauses out of 148006 with flag 6632591/5806711
1399.37/1391.12	c cleaning 75000 clauses out of 150011 with flag 6797666/5882711
1437.60/1429.10	c cleaning 76001 clauses out of 152010 with flag 6966169/5959710
1476.02/1467.35	c cleaning 76997 clauses out of 154010 with flag 7140021/6037711
1519.17/1510.26	c cleaning 78003 clauses out of 156013 with flag 7316520/6116711
1564.78/1555.61	c cleaning 78997 clauses out of 158009 with flag 7493609/6196710
1610.83/1601.48	c cleaning 80000 clauses out of 160013 with flag 7673297/6277711
1659.57/1649.99	c cleaning 81002 clauses out of 162015 with flag 7851780/6359713
1706.24/1696.32	c cleaning 81999 clauses out of 164011 with flag 8035171/6442711
1753.77/1743.69	c cleaning 83003 clauses out of 166012 with flag 8212868/6526711
1800.02/1789.60	c starts		: 8005
1800.02/1789.60	c conflicts		: 6611710
1800.02/1789.60	c decisions		: 7351389
1800.02/1789.60	c propagations		: 104122136
1800.02/1789.60	c inspects		: 32280570415
1800.02/1789.60	c shortcuts		: 0
1800.02/1789.60	c learnt literals	: 0
1800.02/1789.60	c learnt binary clauses	: 120
1800.02/1789.60	c learnt ternary clauses	: 617
1800.02/1789.60	c learnt constraints	: 6611710
1800.02/1789.60	c ignored constraints	: 0
1800.02/1789.60	c root simplifications	: 0
1800.02/1789.60	c removed literals (reason simplification)	: 0
1800.02/1789.60	c reason swapping (by a shorter reason)	: 0
1800.02/1789.60	c Calls to reduceDB	: 248
1800.02/1789.60	c Number of update (reduction) of LBD	: 21226
1800.02/1789.60	c Imported unit clauses	: 0
1800.02/1789.60	c number of reductions to clauses (during analyze)	: 0
1800.02/1789.60	c number of learned constraints concerned by reduction	: 0
1800.02/1789.60	c number of learning phase by resolution	: 0
1800.02/1789.60	c number of learning phase by cutting planes	: 0
1800.02/1789.60	c speed (assignments/second)	: 58188.29551805074
1800.02/1789.60	c non guided choices	0
1800.02/1789.63	c learnt constraints type 
1800.02/1789.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 120
1800.02/1789.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 167888
1800.02/1789.63	s SATISFIABLE
1800.02/1789.63	c Found 31 solution(s)
1800.02/1789.63	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 
1800.02/1789.63	c objective function=-208
1800.02/1789.63	c Total wall clock time (in seconds): 1789.509

Verifier Data 

OK	-208

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-4119390-1467257428/watcher-4119390-1467257428 -o /tmp/evaluation-result-4119390-1467257428/solver-4119390-1467257428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9203 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119390-1467257428.opb 

pid=10574
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.14 2.05 2.01 3/195 10577
/proc/meminfo: memFree=25580264/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10577/stat : 10577 (java) D 10574 10577 9187 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 6849098 9515008 183 33554432000 1073741824 1073778376 140736037982864 140736037973896 247064247989 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/10577/statm: 2323 183 140 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 2.14 2.05 2.01 3/195 10577
/proc/meminfo: memFree=25580264/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 6849098 9787879424 6031 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200267 s]
/proc/loadavg: 2.14 2.05 2.01 3/195 10577
/proc/meminfo: memFree=25580264/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 4702 0 1 0 24 1 0 0 20 0 18 0 6849098 9787879424 7290 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2389619 7290 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300283 s]
/proc/loadavg: 2.14 2.05 2.01 3/195 10577
/proc/meminfo: memFree=25580264/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 9205 0 1 0 47 1 0 0 20 0 19 0 6849098 9856040960 10150 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 10158 2249 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040

[startup+0.700219 s]
/proc/loadavg: 2.14 2.05 2.01 3/195 10577
/proc/meminfo: memFree=25580264/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 11490 0 1 0 120 2 0 0 20 0 19 0 6849098 9856040960 13084 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 13084 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.14 2.05 2.01 3/214 10596
/proc/meminfo: memFree=25530416/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 11698 0 1 0 214 2 0 0 20 0 19 0 6849098 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 16738 2266 9 0 2396937 0
[pid=10577/tid=10579] ppid=10574 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10577/task/10579/stat : 10579 (java) R 10574 10577 9187 0 -1 4202560 2423 0 1 0 144 2 0 0 20 0 19 0 6849099 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564583078440 140564431875743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10580] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10580/stat : 10580 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564555533224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10581] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10581/stat : 10581 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564554480680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10582] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10582/stat : 10582 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564553427624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10583] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10583/stat : 10583 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564552375080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10584] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10584/stat : 10584 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564551322024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10585] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10585/stat : 10585 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564550269480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10586] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10586/stat : 10586 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564420405416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10587] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10587/stat : 10587 (java) S 10574 10577 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140564419352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10588] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10588/stat : 10588 (java) S 10574 10577 9187 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6849101 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563936406376 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4259 0 0 0 30 0 0 0 20 0 19 0 6849104 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 3742 0 0 0 36 0 0 0 20 0 19 0 6849104 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 16738 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.14 2.05 2.01 3/214 10596
/proc/meminfo: memFree=25511364/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 11710 0 1 0 378 3 0 0 20 0 19 0 6849098 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 22371 2267 9 0 2396937 0
[pid=10577/tid=10579] ppid=10574 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10577/task/10579/stat : 10579 (java) R 10574 10577 9187 0 -1 4202560 2434 0 1 0 304 2 0 0 20 0 19 0 6849099 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564583080312 140564432052980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10580] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10580/stat : 10580 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564555533224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10581] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10581/stat : 10581 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564554480680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10582] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10582/stat : 10582 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564553427624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10583] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10583/stat : 10583 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564552375080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10584] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10584/stat : 10584 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564551322024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10585] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10585/stat : 10585 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564550269480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10586] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10586/stat : 10586 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564420405416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10587] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10587/stat : 10587 (java) S 10574 10577 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140564419352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10588] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10588/stat : 10588 (java) S 10574 10577 9187 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6849101 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563936406376 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4260 0 0 0 33 0 0 0 20 0 19 0 6849104 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 3742 0 0 0 37 0 0 0 20 0 19 0 6849104 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 22371 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.13 2.04 2.01 3/214 10596
/proc/meminfo: memFree=25456956/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=7.7 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 18739 0 1 0 765 5 0 0 20 0 19 0 6849098 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 36219 2271 9 0 2396937 0
[pid=10577/tid=10579] ppid=10574 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10577/task/10579/stat : 10579 (java) R 10574 10577 9187 0 -1 4202560 2460 0 1 0 623 3 0 0 20 0 19 0 6849099 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564583071408 140564432001084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10580] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10580/stat : 10580 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564555533224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10581] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10581/stat : 10581 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564554480680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10582] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10582/stat : 10582 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564553427624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10583] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10583/stat : 10583 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564552375080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10584] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10584/stat : 10584 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564551322024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10585] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10585/stat : 10585 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564550269480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10586] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10586/stat : 10586 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564420405416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10587] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10587/stat : 10587 (java) S 10574 10577 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6849100 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140564419352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10588] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10588/stat : 10588 (java) S 10574 10577 9187 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6849101 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563936406376 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4263 0 0 0 40 0 0 0 20 0 19 0 6849104 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 10741 0 0 0 97 2 0 0 20 0 19 0 6849104 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 36219 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 9625040


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

[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4271 0 0 0 54 0 0 0 20 0 19 0 6849104 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=1.12 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 10742 0 0 0 110 2 0 0 20 0 19 0 6849104 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 97 0 0 0 19 24 0 0 20 0 19 0 6849104 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 68008 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1672.09
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/213 10765
/proc/meminfo: memFree=20164736/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=1732.38 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 23165 0 1 0 173143 95 0 0 20 0 19 0 6849098 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 65366 2294 9 0 2396937 0
[pid=10577/tid=10579] ppid=10574 vsize=9625040 CPUtime=1716.24 cores=0,2,4,6
/proc/10577/task/10579/stat : 10579 (java) R 10574 10577 9187 0 -1 4202560 2748 0 1 0 171591 33 0 0 20 0 19 0 6849099 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564583079104 140564431875668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10580] ppid=10574 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/10577/task/10580/stat : 10580 (java) S 10574 10577 9187 0 -1 4202560 611 0 0 0 153 8 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564555533224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10581] ppid=10574 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/10577/task/10581/stat : 10581 (java) S 10574 10577 9187 0 -1 4202560 412 0 0 0 146 8 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564554480680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10582] ppid=10574 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/10577/task/10582/stat : 10582 (java) S 10574 10577 9187 0 -1 4202560 594 0 0 0 135 7 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564553427624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10583] ppid=10574 vsize=9625040 CPUtime=1.64 cores=0,2,4,6
/proc/10577/task/10583/stat : 10583 (java) S 10574 10577 9187 0 -1 4202560 673 0 0 0 153 11 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564552375080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10584] ppid=10574 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/10577/task/10584/stat : 10584 (java) S 10574 10577 9187 0 -1 4202560 405 0 0 0 143 9 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564551322024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10585] ppid=10574 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/10577/task/10585/stat : 10585 (java) S 10574 10577 9187 0 -1 4202560 365 0 0 0 135 7 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564550269480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10586] ppid=10574 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/10577/task/10586/stat : 10586 (java) S 10574 10577 9187 0 -1 4202560 325 0 0 0 147 8 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564420405416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10587] ppid=10574 vsize=9625040 CPUtime=1.69 cores=0,2,4,6
/proc/10577/task/10587/stat : 10587 (java) S 10574 10577 9187 0 -1 4202560 250 0 0 0 160 9 0 0 20 0 19 0 6849100 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140564419352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10588] ppid=10574 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/10577/task/10588/stat : 10588 (java) S 10574 10577 9187 0 -1 4202560 409 0 0 0 189 4 0 0 20 0 19 0 6849101 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563936406376 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4271 0 0 0 54 0 0 0 20 0 19 0 6849104 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=1.12 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 10742 0 0 0 110 2 0 0 20 0 19 0 6849104 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 99 0 0 0 20 25 0 0 20 0 19 0 6849104 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 65366 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1732.38
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/214 10769
/proc/meminfo: memFree=20232860/32872528 swapFree=242916/249048
[pid=10577] ppid=10574 vsize=9625040 CPUtime=1792.7 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 23189 0 1 0 179173 97 0 0 20 0 19 0 6849098 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 59309 2294 9 0 2396937 0
[pid=10577/tid=10579] ppid=10574 vsize=9625040 CPUtime=1775.99 cores=0,2,4,6
/proc/10577/task/10579/stat : 10579 (java) R 10574 10577 9187 0 -1 4202560 2763 0 1 0 177566 33 0 0 20 0 19 0 6849099 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564583079088 140564432001084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10580] ppid=10574 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/10577/task/10580/stat : 10580 (java) S 10574 10577 9187 0 -1 4202560 611 0 0 0 157 8 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564555533224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10581] ppid=10574 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/10577/task/10581/stat : 10581 (java) S 10574 10577 9187 0 -1 4202560 412 0 0 0 151 9 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564554480680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10582] ppid=10574 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/10577/task/10582/stat : 10582 (java) S 10574 10577 9187 0 -1 4202560 594 0 0 0 141 7 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564553427624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10583] ppid=10574 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/10577/task/10583/stat : 10583 (java) S 10574 10577 9187 0 -1 4202560 673 0 0 0 160 11 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564552375080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10584] ppid=10574 vsize=9625040 CPUtime=1.58 cores=0,2,4,6
/proc/10577/task/10584/stat : 10584 (java) S 10574 10577 9187 0 -1 4202560 405 0 0 0 149 9 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564551322024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10585] ppid=10574 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/10577/task/10585/stat : 10585 (java) S 10574 10577 9187 0 -1 4202560 365 0 0 0 142 7 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564550269480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10586] ppid=10574 vsize=9625040 CPUtime=1.63 cores=0,2,4,6
/proc/10577/task/10586/stat : 10586 (java) S 10574 10577 9187 0 -1 4202560 325 0 0 0 154 9 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564420405416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10587] ppid=10574 vsize=9625040 CPUtime=1.74 cores=0,2,4,6
/proc/10577/task/10587/stat : 10587 (java) S 10574 10577 9187 0 -1 4202560 250 0 0 0 165 9 0 0 20 0 19 0 6849100 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140564419352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10588] ppid=10574 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/10577/task/10588/stat : 10588 (java) S 10574 10577 9187 0 -1 4202560 414 0 0 0 200 4 0 0 20 0 19 0 6849101 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563936406376 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4271 0 0 0 54 0 0 0 20 0 19 0 6849104 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=1.12 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 10742 0 0 0 110 2 0 0 20 0 19 0 6849104 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 103 0 0 0 21 26 0 0 20 0 19 0 6849104 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 59309 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1792.7
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 10769
/proc/meminfo: memFree=20233000/32872528 swapFree=242912/249044
[pid=10577] ppid=10574 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/10577/stat : 10577 (java) S 10574 10577 9187 0 -1 4202496 23240 0 1 0 179905 97 0 0 20 0 19 0 6849098 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140737160082736 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10577/statm: 2406260 59359 2294 9 0 2396937 0
[pid=10577/tid=10579] ppid=10574 vsize=9625040 CPUtime=1783.21 cores=0,2,4,6
/proc/10577/task/10579/stat : 10579 (java) R 10574 10577 9187 0 -1 4202560 2764 0 1 0 178287 34 0 0 20 0 19 0 6849099 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564583079104 140564432099393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10580] ppid=10574 vsize=9625040 CPUtime=1.66 cores=0,2,4,6
/proc/10577/task/10580/stat : 10580 (java) S 10574 10577 9187 0 -1 4202560 611 0 0 0 158 8 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564555533224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10581] ppid=10574 vsize=9625040 CPUtime=1.6 cores=0,2,4,6
/proc/10577/task/10581/stat : 10581 (java) S 10574 10577 9187 0 -1 4202560 412 0 0 0 151 9 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564554480680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10577/tid=10582] ppid=10574 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/10577/task/10582/stat : 10582 (java) S 10574 10577 9187 0 -1 4202560 594 0 0 0 141 7 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564553427624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10583] ppid=10574 vsize=9625040 CPUtime=1.71 cores=0,2,4,6
/proc/10577/task/10583/stat : 10583 (java) S 10574 10577 9187 0 -1 4202560 673 0 0 0 160 11 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564552375080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10584] ppid=10574 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/10577/task/10584/stat : 10584 (java) S 10574 10577 9187 0 -1 4202560 405 0 0 0 150 9 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564551322024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10585] ppid=10574 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/10577/task/10585/stat : 10585 (java) S 10574 10577 9187 0 -1 4202560 365 0 0 0 142 7 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564550269480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10586] ppid=10574 vsize=9625040 CPUtime=1.63 cores=0,2,4,6
/proc/10577/task/10586/stat : 10586 (java) S 10574 10577 9187 0 -1 4202560 325 0 0 0 154 9 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564420405416 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10587] ppid=10574 vsize=9625040 CPUtime=1.74 cores=0,2,4,6
/proc/10577/task/10587/stat : 10587 (java) S 10574 10577 9187 0 -1 4202560 250 0 0 0 165 9 0 0 20 0 19 0 6849100 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140564419352872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10588] ppid=10574 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/10577/task/10588/stat : 10588 (java) S 10574 10577 9187 0 -1 4202560 464 0 0 0 207 4 0 0 20 0 19 0 6849101 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563936406376 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10589] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10589/stat : 10589 (java) S 10574 10577 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563935352696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10590] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10590/stat : 10590 (java) S 10574 10577 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6849102 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563934299528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10591] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10591/stat : 10591 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563933248272 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10592] ppid=10574 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/10577/task/10592/stat : 10592 (java) S 10574 10577 9187 0 -1 4202560 4271 0 0 0 54 0 0 0 20 0 19 0 6849104 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563932195128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10577/tid=10593] ppid=10574 vsize=9625040 CPUtime=1.12 cores=0,2,4,6
/proc/10577/task/10593/stat : 10593 (java) S 10574 10577 9187 0 -1 4202560 10742 0 0 0 110 2 0 0 20 0 19 0 6849104 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563931142584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10594] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10594/stat : 10594 (java) S 10574 10577 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6849104 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563930089720 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10577/tid=10595] ppid=10574 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10577/task/10595/stat : 10595 (java) S 10574 10577 9187 0 -1 4202560 103 0 0 0 21 27 0 0 20 0 19 0 6849104 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563929037384 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10577/tid=10596] ppid=10574 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10577/task/10596/stat : 10596 (java) S 10574 10577 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6849118 9856040960 59359 33554432000 1073741824 1073778376 140737160091600 140563927983656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 10577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1789.64
CPU time (s): 1800.7
CPU user time (s): 1799.2
CPU system time (s): 1.50077
CPU usage (%): 100.618
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 1.50077
maximum resident set size= 554124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23275
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46804
involuntary context switches= 36433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93195 second user time and 7.48986 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-30 05:30:28
IDJOB=4119390
IDBENCH=111718
IDSOLVER=2546
FILE ID=node103/4119390-1467257428
RUNJOBID= node103-1467246683-9203
PBS_JOBID= 20004480
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-05.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119390-1467257428/watcher-4119390-1467257428 -o /tmp/evaluation-result-4119390-1467257428/solver-4119390-1467257428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9203 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119390-1467257428.opb

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

MD5SUM BENCH= 450f236c890f723bb734ab92dd0408b5
RANDOM SEED=278915650

node103.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.456
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.91
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.456
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.456
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.54
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.456
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.456
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.54
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.456
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.55
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.456
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.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25581156 kB
Buffers:          134136 kB
Cached:          5738616 kB
SwapCached:            0 kB
Active:          1762996 kB
Inactive:        4524024 kB
Active(anon):     414896 kB
Inactive(anon):     1800 kB
Active(file):    1348100 kB
Inactive(file):  4522224 kB
Unevictable:      249044 kB
Mlocked:          242912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:        663144 kB
Mapped:            22068 kB
Shmem:               204 kB
Slab:             624540 kB
SReclaimable:      68820 kB
SUnreclaim:       555720 kB
KernelStack:        1640 kB
PageTables:         5760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     782152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    391168 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= 71712 MiB
End job on node103 at 2016-06-30 06:00:17