Trace number 4118479

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)-212 1800.76 1790.44

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-05.lin.opb
MD5SUMff5660720ac85945ac338dfc20252b07
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-217
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables447
Total number of constraints814
Number of constraints which are clauses407
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints407
Minimum length of a constraint3
Maximum length of a constraint5
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)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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.12/0.10	c Pseudo Boolean Optimization by upper bound
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.10	c No reason simplification
0.12/0.10	c Glucose 2.1 dynamic restart strategy
0.12/0.10	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.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.12/0.10	c --- End Solver configuration ---
0.12/0.10	c solving HOME/instance-4118479-1467230184.opb
0.12/0.10	c reading problem ... 
0.12/0.10	c  objective function found
0.29/0.21	c ... done. Wall clock time 0.111s.
0.29/0.21	c declared #vars     447
0.29/0.21	c #constraints  814
0.29/0.21	c constraints type 
0.29/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 407
0.29/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 407
0.29/0.21	c 814 constraints processed.
0.29/0.21	c objective function length is 447 literals
0.29/0.22	c SATISFIABLE
0.29/0.22	c OPTIMIZING...
0.29/0.22	c Got one! Elapsed wall clock time (in seconds):0.123
0.29/0.22	o -120
0.29/0.24	c Got one! Elapsed wall clock time (in seconds):0.137
0.29/0.24	o -122
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.154
0.29/0.25	o -135
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.165
0.29/0.27	o -136
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.175
0.29/0.27	o -138
0.29/0.30	c Got one! Elapsed wall clock time (in seconds):0.195
0.29/0.30	o -147
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.228
0.50/0.33	o -152
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.238
0.50/0.34	o -154
1.27/0.78	c cleaning 2531 clauses out of 5062 with flag 10151/5062
1.40/0.87	c Got one! Elapsed wall clock time (in seconds):0.772
1.40/0.87	o -155
1.40/0.88	c Got one! Elapsed wall clock time (in seconds):0.781
1.40/0.88	o -157
1.86/1.16	c cleaning 4146 clauses out of 8291 with flag 8373/10822
1.96/1.27	c Got one! Elapsed wall clock time (in seconds):1.168
1.96/1.27	o -159
2.06/1.35	c Got one! Elapsed wall clock time (in seconds):1.251
2.06/1.35	o -160
2.26/1.58	c cleaning 5140 clauses out of 10280 with flag 6422/16957
2.47/1.71	c Got one! Elapsed wall clock time (in seconds):1.61
2.47/1.71	o -161
2.68/1.92	c cleaning 5139 clauses out of 10277 with flag 6181/22094
3.11/2.33	c cleaning 5569 clauses out of 11139 with flag 18671/28095
3.54/2.57	c Got one! Elapsed wall clock time (in seconds):2.47
3.54/2.57	o -162
3.91/2.75	c cleaning 5464 clauses out of 10929 with flag 4340/33454
4.71/3.10	c Got one! Elapsed wall clock time (in seconds):2.998
4.71/3.10	o -164
4.71/3.11	c Got one! Elapsed wall clock time (in seconds):3.006
4.71/3.11	o -168
4.71/3.19	c Got one! Elapsed wall clock time (in seconds):3.094
4.71/3.19	o -170
5.24/3.60	c cleaning 7865 clauses out of 15729 with flag 9663/43718
5.54/3.91	c Got one! Elapsed wall clock time (in seconds):3.813
5.54/3.91	o -172
5.64/4.00	c cleaning 6712 clauses out of 13437 with flag 2130/49291
6.05/4.43	c cleaning 6362 clauses out of 12724 with flag 14841/55290
6.55/4.95	c cleaning 6677 clauses out of 13362 with flag 29657/62290
7.15/5.56	c cleaning 7341 clauses out of 14686 with flag 46525/70291
7.55/5.98	c Got one! Elapsed wall clock time (in seconds):5.881
7.55/5.98	o -176
7.55/5.99	c Got one! Elapsed wall clock time (in seconds):5.886
7.55/5.99	o -177
7.55/5.99	c Got one! Elapsed wall clock time (in seconds):5.889
7.55/5.99	o -180
8.07/6.45	c cleaning 8997 clauses out of 18000 with flag 10246/80946
8.47/6.88	c cleaning 7500 clauses out of 15002 with flag 22420/86945
9.08/7.40	c cleaning 7245 clauses out of 14501 with flag 36769/93944
9.58/8.00	c cleaning 7628 clauses out of 15257 with flag 53318/101945
10.29/8.64	c Got one! Elapsed wall clock time (in seconds):8.539
10.29/8.64	o -181
10.29/8.67	c Got one! Elapsed wall clock time (in seconds):8.573
10.29/8.67	o -182
10.84/9.16	c cleaning 10589 clauses out of 21178 with flag 10219/115494
11.34/9.62	c cleaning 8293 clauses out of 16590 with flag 22822/121495
11.84/10.14	c cleaning 7643 clauses out of 15296 with flag 37361/128494
12.44/10.76	c cleaning 7827 clauses out of 15653 with flag 53917/136494
13.15/11.45	c cleaning 8408 clauses out of 16826 with flag 72425/145494
13.95/12.27	c cleaning 9206 clauses out of 18418 with flag 93138/155494
14.95/13.21	c cleaning 10101 clauses out of 20212 with flag 115863/166494
15.94/14.24	c cleaning 11055 clauses out of 22111 with flag 140504/178494
17.15/15.43	c cleaning 12022 clauses out of 24056 with flag 167138/191494
18.44/16.72	c cleaning 13014 clauses out of 26034 with flag 195711/205494
20.00/18.21	c cleaning 14011 clauses out of 28021 with flag 226340/220495
20.10/18.39	c Got one! Elapsed wall clock time (in seconds):18.287
20.10/18.39	o -184
20.10/18.39	c Got one! Elapsed wall clock time (in seconds):18.29
20.10/18.39	o -186
20.45/18.68	c cleaning 9743 clauses out of 19489 with flag 6141/225974
20.95/19.13	c cleaning 7870 clauses out of 15744 with flag 18559/231972
21.45/19.63	c cleaning 7435 clauses out of 14876 with flag 33562/238974
22.05/20.23	c cleaning 7717 clauses out of 15440 with flag 50834/246973
22.76/20.93	c cleaning 8357 clauses out of 16722 with flag 69662/255972
23.55/21.70	c cleaning 9178 clauses out of 18365 with flag 90097/265972
24.45/22.65	c cleaning 10094 clauses out of 20187 with flag 112479/276972
25.55/23.70	c cleaning 11047 clauses out of 22093 with flag 137098/288972
26.65/24.85	c cleaning 12015 clauses out of 24046 with flag 166525/301972
26.65/24.88	c Got one! Elapsed wall clock time (in seconds):24.777
26.65/24.88	o -189
27.16/25.32	c cleaning 8763 clauses out of 17540 with flag 10563/307481
27.55/25.78	c cleaning 7385 clauses out of 14777 with flag 22783/313481
28.05/26.27	c cleaning 7191 clauses out of 14392 with flag 38005/320481
28.55/26.71	c Got one! Elapsed wall clock time (in seconds):26.609
28.55/26.71	o -190
29.00/27.12	c cleaning 9267 clauses out of 18537 with flag 10536/331817
29.41/27.57	c cleaning 7634 clauses out of 15269 with flag 22774/337816
29.90/28.04	c cleaning 7312 clauses out of 14635 with flag 37235/344816
30.51/28.63	c cleaning 7659 clauses out of 15324 with flag 53708/352817
31.10/29.29	c cleaning 8330 clauses out of 16666 with flag 72195/361818
31.90/30.09	c cleaning 9165 clauses out of 18335 with flag 93760/371817
32.90/31.03	c cleaning 10079 clauses out of 20169 with flag 116446/382816
33.91/32.07	c cleaning 11039 clauses out of 22090 with flag 141608/394816
35.10/33.27	c cleaning 12021 clauses out of 24053 with flag 168157/407818
36.51/34.64	c cleaning 13013 clauses out of 26030 with flag 197135/421816
38.01/36.14	c cleaning 14005 clauses out of 28017 with flag 228281/436816
39.74/37.86	c cleaning 15006 clauses out of 30012 with flag 261573/452816
41.64/39.73	c cleaning 16003 clauses out of 32006 with flag 296653/469816
43.74/41.81	c cleaning 17001 clauses out of 34004 with flag 334326/487817
45.84/43.98	c cleaning 17998 clauses out of 36002 with flag 373311/506816
48.34/46.44	c cleaning 19001 clauses out of 38004 with flag 413861/526816
51.24/49.32	c cleaning 20002 clauses out of 40003 with flag 458431/547816
53.61/51.68	c Got one! Elapsed wall clock time (in seconds):51.577
53.61/51.68	o -192
54.41/52.45	c cleaning 21674 clauses out of 43368 with flag 10163/571183
55.01/53.06	c cleaning 13843 clauses out of 27693 with flag 22694/577182
55.61/53.69	c cleaning 10422 clauses out of 20850 with flag 37232/584182
56.31/54.39	c cleaning 9207 clauses out of 18428 with flag 57193/592182
57.12/55.17	c cleaning 9111 clauses out of 18221 with flag 79453/601182
57.91/55.96	c cleaning 9551 clauses out of 19111 with flag 102529/611183
58.01/56.08	c Got one! Elapsed wall clock time (in seconds):55.975
58.01/56.08	o -194
58.31/56.37	c cleaning 7762 clauses out of 15535 with flag 8307/617158
58.81/56.85	c cleaning 6879 clauses out of 13772 with flag 20951/623157
59.41/57.43	c cleaning 6943 clauses out of 13893 with flag 35945/630157
60.01/58.02	c cleaning 7474 clauses out of 14950 with flag 52619/638157
60.71/58.72	c cleaning 8235 clauses out of 16477 with flag 71378/647158
60.81/58.88	c Got one! Elapsed wall clock time (in seconds):58.78
60.81/58.88	o -201
61.11/59.10	c cleaning 6707 clauses out of 13426 with flag 6188/652342
61.52/59.52	c cleaning 6355 clauses out of 12720 with flag 18537/658343
62.01/60.02	c cleaning 6679 clauses out of 13363 with flag 34247/665341
62.54/60.60	c cleaning 7338 clauses out of 14684 with flag 52060/673341
63.23/61.26	c cleaning 8166 clauses out of 16346 with flag 72316/682341
64.03/62.07	c cleaning 9087 clauses out of 18181 with flag 95011/692342
65.03/63.04	c cleaning 10045 clauses out of 20093 with flag 120202/703341
65.53/63.60	c Got one! Elapsed wall clock time (in seconds):63.496
65.53/63.60	o -203
66.03/64.06	c cleaning 11145 clauses out of 22289 with flag 10271/715582
66.53/64.56	c cleaning 8564 clauses out of 17144 with flag 22987/721582
67.04/65.06	c cleaning 7781 clauses out of 15580 with flag 37709/728582
67.63/65.63	c cleaning 7898 clauses out of 15800 with flag 54135/736583
68.33/66.32	c cleaning 8449 clauses out of 16902 with flag 73406/745583
69.14/67.13	c cleaning 9224 clauses out of 18453 with flag 94966/755583
70.03/68.00	c Got one! Elapsed wall clock time (in seconds):67.902
70.03/68.00	o -205
70.53/68.52	c cleaning 12492 clauses out of 24996 with flag 10550/771350
70.96/68.99	c cleaning 9250 clauses out of 18504 with flag 22780/777350
71.47/69.49	c cleaning 8122 clauses out of 16255 with flag 37074/784351
72.06/70.07	c cleaning 8061 clauses out of 16132 with flag 53906/792350
72.76/70.73	c cleaning 8534 clauses out of 17072 with flag 73243/801351
73.46/71.49	c cleaning 9266 clauses out of 18537 with flag 94034/811350
74.36/72.38	c cleaning 10136 clauses out of 20272 with flag 117514/822351
75.46/73.45	c cleaning 11067 clauses out of 22135 with flag 142884/834350
76.66/74.66	c cleaning 12032 clauses out of 24070 with flag 170260/847352
78.07/76.01	c cleaning 13018 clauses out of 26036 with flag 199216/861350
79.46/77.42	c cleaning 14005 clauses out of 28018 with flag 229817/876350
81.12/79.06	c cleaning 15005 clauses out of 30013 with flag 263199/892350
82.92/80.81	c cleaning 16004 clauses out of 32009 with flag 297956/909351
84.92/82.88	c cleaning 17003 clauses out of 34005 with flag 335218/927351
87.21/85.10	c cleaning 17997 clauses out of 36001 with flag 373956/946350
89.51/87.41	c cleaning 18996 clauses out of 38005 with flag 414547/966351
92.12/89.96	c cleaning 20001 clauses out of 40008 with flag 458177/987350
94.82/92.67	c cleaning 21003 clauses out of 42008 with flag 502620/1009351
97.82/95.61	c cleaning 22002 clauses out of 44005 with flag 549906/1032351
101.23/99.05	c cleaning 22998 clauses out of 46002 with flag 603196/1056350
104.72/102.53	c cleaning 23999 clauses out of 48004 with flag 657820/1081350
108.42/106.17	c cleaning 25001 clauses out of 50005 with flag 714096/1107350
112.22/109.93	c cleaning 25999 clauses out of 52004 with flag 772157/1134350
116.72/114.43	c cleaning 27001 clauses out of 54006 with flag 830711/1162351
121.28/118.89	c cleaning 28000 clauses out of 56004 with flag 892650/1191350
125.78/123.40	c cleaning 29002 clauses out of 58005 with flag 957170/1221351
130.47/128.03	c cleaning 29999 clauses out of 60002 with flag 1020097/1252350
135.99/133.46	c cleaning 31001 clauses out of 62003 with flag 1084320/1284350
141.69/139.19	c cleaning 31999 clauses out of 64002 with flag 1154718/1317350
147.38/144.83	c cleaning 32995 clauses out of 66003 with flag 1225501/1351350
153.69/151.04	c cleaning 34004 clauses out of 68008 with flag 1296636/1386350
160.40/157.78	c cleaning 35001 clauses out of 70004 with flag 1370199/1422350
167.40/164.72	c cleaning 36001 clauses out of 72003 with flag 1448093/1459350
174.61/171.84	c cleaning 36998 clauses out of 74002 with flag 1528680/1497350
182.51/179.74	c cleaning 37994 clauses out of 76004 with flag 1611969/1536350
184.11/181.35	c Got one! Elapsed wall clock time (in seconds):181.252
184.11/181.35	o -207
185.08/182.25	c cleaning 27492 clauses out of 54997 with flag 10617/1553337
185.78/182.90	c cleaning 16744 clauses out of 33504 with flag 22955/1559336
186.38/183.53	c cleaning 11874 clauses out of 23761 with flag 37377/1566337
186.98/184.16	c cleaning 9937 clauses out of 19886 with flag 54158/1574336
187.69/184.87	c cleaning 9468 clauses out of 18949 with flag 72663/1583336
188.48/185.69	c cleaning 9739 clauses out of 19481 with flag 93380/1593336
189.48/186.65	c cleaning 10370 clauses out of 20743 with flag 116391/1604337
190.48/187.67	c cleaning 11181 clauses out of 22373 with flag 141795/1616337
191.68/188.84	c cleaning 12091 clauses out of 24192 with flag 172212/1629337
193.05/190.16	c cleaning 13050 clauses out of 26100 with flag 204357/1643336
194.55/191.63	c cleaning 14019 clauses out of 28050 with flag 237516/1658336
196.05/193.18	c cleaning 15007 clauses out of 30031 with flag 272313/1674336
197.85/194.91	c cleaning 16013 clauses out of 32025 with flag 310684/1691337
199.86/196.94	c cleaning 17004 clauses out of 34011 with flag 350841/1709336
202.10/199.19	c cleaning 18002 clauses out of 36009 with flag 393945/1728338
203.70/200.73	c Got one! Elapsed wall clock time (in seconds):200.626
203.70/200.73	o -208
204.40/201.42	c cleaning 19014 clauses out of 38028 with flag 11331/1748359
204.90/201.96	c Got one! Elapsed wall clock time (in seconds):201.856
204.90/201.96	o -210
205.50/202.54	c cleaning 14731 clauses out of 29462 with flag 10433/1758807
206.00/203.07	c cleaning 10359 clauses out of 20731 with flag 23151/1764807
206.60/203.62	c cleaning 8683 clauses out of 17373 with flag 39103/1771808
207.20/204.22	c cleaning 8338 clauses out of 16688 with flag 55484/1779806
207.90/204.93	c cleaning 8673 clauses out of 17350 with flag 73679/1788806
208.70/205.72	c cleaning 9339 clauses out of 18677 with flag 94539/1798806
209.65/206.61	c cleaning 10165 clauses out of 20338 with flag 117658/1809806
210.64/207.63	c cleaning 11086 clauses out of 22173 with flag 144562/1821806
211.84/208.82	c cleaning 12042 clauses out of 24087 with flag 172903/1834806
213.25/210.22	c cleaning 13022 clauses out of 26045 with flag 202639/1848806
214.84/211.82	c cleaning 14007 clauses out of 28023 with flag 234380/1863806
216.34/213.40	c cleaning 15006 clauses out of 30016 with flag 269032/1879806
218.18/215.14	c cleaning 16002 clauses out of 32010 with flag 306754/1896806
219.98/216.99	c cleaning 17003 clauses out of 34009 with flag 345432/1914807
222.18/219.14	c cleaning 18001 clauses out of 36006 with flag 385801/1933807
224.68/221.65	c cleaning 19001 clauses out of 38005 with flag 426762/1953807
227.55/224.43	c cleaning 19999 clauses out of 40003 with flag 470403/1974806
230.34/227.22	c cleaning 20999 clauses out of 42005 with flag 519202/1996807
233.34/230.28	c cleaning 21999 clauses out of 44005 with flag 569555/2019806
236.74/233.70	c cleaning 23002 clauses out of 46007 with flag 620219/2043807
240.27/237.12	c cleaning 24001 clauses out of 48005 with flag 673105/2068807
243.67/240.59	c cleaning 24991 clauses out of 50004 with flag 727329/2094807
247.27/244.20	c cleaning 26006 clauses out of 52013 with flag 784930/2121807
251.10/247.94	c cleaning 26998 clauses out of 54006 with flag 845287/2149806
255.30/252.10	c cleaning 28003 clauses out of 56009 with flag 906999/2178807
259.48/256.24	c cleaning 29000 clauses out of 58005 with flag 972487/2208806
263.48/260.25	c cleaning 29999 clauses out of 60006 with flag 1043626/2239807
268.07/264.88	c cleaning 31000 clauses out of 62006 with flag 1122382/2271806
268.27/265.02	c Got one! Elapsed wall clock time (in seconds):264.923
268.27/265.02	o -211
268.74/265.41	c cleaning 18012 clauses out of 36035 with flag 6473/2276835
269.24/265.91	c cleaning 12006 clauses out of 24022 with flag 19979/2282834
269.74/266.41	c cleaning 9503 clauses out of 19017 with flag 35607/2289835
270.34/267.01	c cleaning 8752 clauses out of 17513 with flag 53345/2297834
270.94/267.68	c cleaning 8876 clauses out of 17762 with flag 73353/2306835
271.75/268.46	c cleaning 9439 clauses out of 18885 with flag 95624/2316834
272.64/269.33	c cleaning 10224 clauses out of 20448 with flag 120541/2327836
273.64/270.33	c cleaning 11107 clauses out of 22222 with flag 148605/2339834
274.88/271.50	c cleaning 12058 clauses out of 24116 with flag 178975/2352835
276.18/272.83	c cleaning 13029 clauses out of 26058 with flag 211803/2366835
277.58/274.29	c cleaning 14013 clauses out of 28029 with flag 247624/2381835
279.38/276.00	c cleaning 15005 clauses out of 30015 with flag 286594/2397834
281.18/277.81	c cleaning 16006 clauses out of 32011 with flag 326798/2414835
283.21/279.85	c cleaning 17000 clauses out of 34004 with flag 368773/2432834
285.30/281.99	c cleaning 17998 clauses out of 36005 with flag 414080/2451835
287.70/284.33	c cleaning 19001 clauses out of 38007 with flag 461989/2471835
290.26/286.83	c cleaning 20003 clauses out of 40005 with flag 513650/2492834
292.97/289.54	c cleaning 20997 clauses out of 42003 with flag 568395/2514835
295.97/292.55	c cleaning 21999 clauses out of 44006 with flag 625963/2537835
299.42/295.97	c cleaning 23003 clauses out of 46007 with flag 689223/2561835
302.82/299.34	c cleaning 24002 clauses out of 48003 with flag 753384/2586834
306.32/302.87	c cleaning 24998 clauses out of 50003 with flag 814570/2612836
310.17/306.65	c cleaning 25999 clauses out of 52005 with flag 877392/2639836
314.07/310.58	c cleaning 27002 clauses out of 54004 with flag 944987/2667834
318.18/314.66	c cleaning 27998 clauses out of 56002 with flag 1014853/2696834
322.51/319.00	c cleaning 29003 clauses out of 58005 with flag 1090602/2726835
327.41/323.84	c cleaning 29996 clauses out of 60002 with flag 1155925/2757835
334.38/330.80	c cleaning 30999 clauses out of 62006 with flag 1223924/2789835
340.98/337.32	c cleaning 32003 clauses out of 64007 with flag 1296415/2822835
348.43/344.78	c cleaning 33000 clauses out of 66003 with flag 1369294/2856834
355.73/352.02	c cleaning 34003 clauses out of 68005 with flag 1444932/2891836
357.47/353.75	c Got one! Elapsed wall clock time (in seconds):353.649
357.47/353.75	o -212
358.11/354.33	c cleaning 25429 clauses out of 50858 with flag 10056/2908692
358.70/354.92	c cleaning 15714 clauses out of 31429 with flag 22138/2914692
359.30/355.54	c cleaning 11353 clauses out of 22716 with flag 36734/2921693
359.90/356.15	c cleaning 9677 clauses out of 19363 with flag 53889/2929693
360.70/356.90	c cleaning 9339 clauses out of 18685 with flag 73898/2938692
361.50/357.71	c cleaning 9672 clauses out of 19346 with flag 94771/2948692
362.30/358.58	c cleaning 10332 clauses out of 20674 with flag 118295/2959692
363.41/359.69	c cleaning 11166 clauses out of 22344 with flag 143707/2971694
364.62/360.84	c cleaning 12087 clauses out of 24177 with flag 172205/2984693
366.01/362.23	c cleaning 13045 clauses out of 26089 with flag 202791/2998692
367.51/363.74	c cleaning 14019 clauses out of 28044 with flag 234697/3013692
369.24/365.46	c cleaning 15012 clauses out of 30025 with flag 269519/3029692
371.35/367.54	c cleaning 16002 clauses out of 32014 with flag 306903/3046693
373.55/369.77	c cleaning 17000 clauses out of 34012 with flag 345993/3064693
375.97/372.15	c cleaning 18004 clauses out of 36013 with flag 385556/3083694
378.47/374.67	c cleaning 19001 clauses out of 38007 with flag 427819/3103692
381.28/377.49	c cleaning 19998 clauses out of 40007 with flag 471793/3124693
384.60/380.73	c cleaning 20999 clauses out of 42009 with flag 517614/3146693
387.80/384.00	c cleaning 22004 clauses out of 44010 with flag 568270/3169693
391.39/387.50	c cleaning 23002 clauses out of 46006 with flag 618123/3193693
395.01/391.16	c cleaning 23999 clauses out of 48004 with flag 672299/3218693
399.01/395.18	c cleaning 25003 clauses out of 50005 with flag 727047/3244693
403.55/399.67	c cleaning 26000 clauses out of 52001 with flag 786065/3271692
408.35/404.49	c cleaning 26999 clauses out of 54001 with flag 846479/3299692
413.67/409.73	c cleaning 27997 clauses out of 56002 with flag 909760/3328692
419.67/415.70	c cleaning 28999 clauses out of 58006 with flag 975864/3358693
424.90/420.93	c cleaning 30000 clauses out of 60008 with flag 1038101/3389694
430.23/426.26	c cleaning 30998 clauses out of 62006 with flag 1103250/3421692
435.53/431.55	c cleaning 32002 clauses out of 64009 with flag 1172887/3454693
441.56/437.50	c cleaning 32999 clauses out of 66007 with flag 1251871/3488693
448.43/444.31	c cleaning 34003 clauses out of 68008 with flag 1331402/3523693
455.33/451.29	c cleaning 34998 clauses out of 70004 with flag 1412088/3559692
462.97/458.85	c cleaning 35997 clauses out of 72006 with flag 1493445/3596692
471.42/467.21	c cleaning 37004 clauses out of 74010 with flag 1579126/3634693
479.77/475.54	c cleaning 38000 clauses out of 76006 with flag 1668503/3673693
489.07/484.85	c cleaning 39001 clauses out of 78006 with flag 1760570/3713693
498.38/494.17	c cleaning 40001 clauses out of 80005 with flag 1852458/3754693
508.03/503.77	c cleaning 41000 clauses out of 82003 with flag 1947965/3796692
517.66/513.31	c cleaning 41997 clauses out of 84003 with flag 2046778/3839692
526.88/522.54	c cleaning 43002 clauses out of 86007 with flag 2143841/3883693
536.62/532.25	c cleaning 44001 clauses out of 88004 with flag 2241929/3928692
547.72/543.39	c cleaning 44999 clauses out of 90004 with flag 2340597/3974693
560.24/555.83	c cleaning 45995 clauses out of 92004 with flag 2444335/4021692
572.76/568.39	c cleaning 47003 clauses out of 94009 with flag 2549186/4069692
585.79/581.38	c cleaning 47999 clauses out of 96007 with flag 2656881/4118693
599.76/595.23	c cleaning 49003 clauses out of 98008 with flag 2766072/4168693
615.20/610.61	c cleaning 50000 clauses out of 100005 with flag 2877909/4219693
629.80/625.17	c cleaning 50998 clauses out of 102004 with flag 2996346/4271692
645.32/640.69	c cleaning 51997 clauses out of 104006 with flag 3112894/4324692
661.69/656.91	c cleaning 53000 clauses out of 106009 with flag 3232814/4378692
679.95/675.16	c cleaning 54000 clauses out of 108009 with flag 3355958/4433692
697.86/692.99	c cleaning 55005 clauses out of 110009 with flag 3478179/4489692
714.30/709.31	c cleaning 55997 clauses out of 112004 with flag 3605423/4546692
733.61/728.57	c cleaning 56996 clauses out of 114007 with flag 3730874/4604692
752.78/747.62	c cleaning 58001 clauses out of 116012 with flag 3856914/4663693
771.89/766.68	c cleaning 58998 clauses out of 118011 with flag 3983943/4723693
791.87/786.54	c cleaning 60003 clauses out of 120012 with flag 4114869/4784692
811.31/805.92	c cleaning 61002 clauses out of 122009 with flag 4247066/4846692
829.74/824.25	c cleaning 62002 clauses out of 124008 with flag 4378269/4909693
851.40/845.83	c cleaning 62999 clauses out of 126005 with flag 4516611/4973692
874.02/868.35	c cleaning 64000 clauses out of 128007 with flag 4660032/5038693
896.60/890.86	c cleaning 65002 clauses out of 130007 with flag 4800921/5104693
921.22/915.33	c cleaning 66001 clauses out of 132005 with flag 4944472/5171693
945.28/939.30	c cleaning 66992 clauses out of 134003 with flag 5089534/5239692
969.68/963.68	c cleaning 68005 clauses out of 136011 with flag 5234308/5308692
996.92/990.78	c cleaning 69000 clauses out of 138007 with flag 5384896/5378693
1025.63/1019.31	c cleaning 70000 clauses out of 140006 with flag 5536043/5449692
1057.14/1050.72	c cleaning 70999 clauses out of 142006 with flag 5690902/5521692
1088.40/1081.85	c cleaning 72000 clauses out of 144008 with flag 5847396/5594693
1119.16/1112.41	c cleaning 72995 clauses out of 146008 with flag 6003456/5668693
1149.26/1142.40	c cleaning 74004 clauses out of 148013 with flag 6163520/5743693
1182.01/1175.09	c cleaning 75001 clauses out of 150008 with flag 6327869/5819692
1214.75/1207.62	c cleaning 75998 clauses out of 152007 with flag 6492938/5896692
1250.99/1243.75	c cleaning 77003 clauses out of 154010 with flag 6660142/5974693
1287.61/1280.22	c cleaning 78000 clauses out of 156006 with flag 6833871/6053692
1326.83/1319.32	c cleaning 79002 clauses out of 158007 with flag 7008303/6133693
1363.66/1356.09	c cleaning 79999 clauses out of 160004 with flag 7182086/6214692
1407.43/1399.61	c cleaning 81000 clauses out of 162006 with flag 7357860/6296693
1448.33/1440.38	c cleaning 81999 clauses out of 164005 with flag 7539705/6379692
1491.42/1483.27	c cleaning 83000 clauses out of 166008 with flag 7726413/6463694
1536.88/1528.56	c cleaning 84000 clauses out of 168008 with flag 7913204/6548694
1584.11/1575.53	c cleaning 85001 clauses out of 170009 with flag 8102306/6634695
1629.36/1620.64	c cleaning 85999 clauses out of 172006 with flag 8288626/6721693
1678.02/1669.06	c cleaning 87003 clauses out of 174007 with flag 8477153/6809693
1728.81/1719.58	c cleaning 87998 clauses out of 176003 with flag 8668685/6898692
1782.85/1773.35	c cleaning 89002 clauses out of 178006 with flag 8860637/6988693
1800.02/1790.40	c starts		: 15517
1800.02/1790.40	c conflicts		: 7032427
1800.02/1790.40	c decisions		: 8542696
1800.02/1790.40	c propagations		: 119802193
1800.02/1790.40	c inspects		: 32495789155
1800.02/1790.40	c shortcuts		: 0
1800.02/1790.40	c learnt literals	: 0
1800.02/1790.40	c learnt binary clauses	: 252
1800.02/1790.40	c learnt ternary clauses	: 1010
1800.02/1790.40	c learnt constraints	: 7032427
1800.02/1790.40	c ignored constraints	: 0
1800.02/1790.40	c root simplifications	: 0
1800.02/1790.40	c removed literals (reason simplification)	: 0
1800.02/1790.40	c reason swapping (by a shorter reason)	: 0
1800.02/1790.40	c Calls to reduceDB	: 275
1800.02/1790.40	c Number of update (reduction) of LBD	: 37309
1800.02/1790.40	c Imported unit clauses	: 0
1800.02/1790.40	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.40	c number of learned constraints concerned by reduction	: 0
1800.02/1790.40	c number of learning phase by resolution	: 0
1800.02/1790.40	c number of learning phase by cutting planes	: 0
1800.02/1790.40	c speed (assignments/second)	: 66921.61433414498
1800.02/1790.40	c non guided choices	0
1800.02/1790.43	c learnt constraints type 
1800.02/1790.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 252
1800.02/1790.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132486
1800.02/1790.43	s SATISFIABLE
1800.02/1790.43	c Found 37 solution(s)
1800.02/1790.43	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 
1800.02/1790.43	c objective function=-212
1800.02/1790.43	c Total wall clock time (in seconds): 1790.331

Verifier Data 

OK	-212

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-4118479-1467230184/watcher-4118479-1467230184 -o /tmp/evaluation-result-4118479-1467230184/solver-4118479-1467230184 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467227648-12920 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118479-1467230184.opb 

pid=13285
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.12 2.22 2.31 3/194 13288
/proc/meminfo: memFree=27742532/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3969559 98570240 977 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 24065 977 743 9 0 16771 0
[pid=13288/tid=13289] ppid=13285 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 3969559 98570240 978 33554432000 1073741824 1073778376 140733941581824 140569449287208 239873115520 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 2.12 2.22 2.31 3/194 13288
/proc/meminfo: memFree=27742532/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 4545 0 1 0 11 1 0 0 20 0 18 0 3969559 9787879424 5666 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2389619 5666 2157 9 0 2380296 0
[pid=13288/tid=13289] ppid=13285 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2430 0 1 0 8 0 0 0 20 0 18 0 3969559 9787879424 5666 33554432000 1073741824 1073778376 140733941581824 140569449290656 239876497845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476

[startup+0.200256 s]
/proc/loadavg: 2.12 2.22 2.31 3/194 13288
/proc/meminfo: memFree=27742532/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 4990 0 1 0 28 1 0 0 20 0 18 0 3969559 9787879424 6508 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2389619 6508 2216 9 0 2380296 0
[pid=13288/tid=13289] ppid=13285 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2447 0 1 0 18 0 0 0 20 0 18 0 3969559 9787879424 6508 33554432000 1073741824 1073778376 140733941581824 140569449283376 140569452577621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300341 s]
/proc/loadavg: 2.12 2.22 2.31 3/194 13288
/proc/meminfo: memFree=27742532/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625832 CPUtime=0.5 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 8649 0 1 0 48 2 0 0 20 0 19 0 3969559 9856851968 9843 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 9844 2243 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2458 0 1 0 28 0 0 0 20 0 19 0 3969559 9856040960 9845 33554432000 1073741824 1073778376 140733941581824 140569449292416 140569321514612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625832

[startup+0.700256 s]
/proc/loadavg: 2.12 2.22 2.31 3/194 13288
/proc/meminfo: memFree=27742532/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 12360 0 1 0 125 2 0 0 20 0 19 0 3969559 9856040960 12901 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 12901 2249 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2461 0 1 0 68 0 0 0 20 0 19 0 3969559 9856040960 12901 33554432000 1073741824 1073778376 140733941581824 140569449292264 140569322113407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.12 2.22 2.31 5/213 13307
/proc/meminfo: memFree=27692600/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 12481 0 1 0 224 2 0 0 20 0 19 0 3969559 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 16597 2260 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2469 0 1 0 148 0 0 0 20 0 19 0 3969559 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569449292088 140569321935706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569293089832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569292037032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569290984232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569289931432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569288878632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569287825832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569286773032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569285720232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569273523176 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 4426 0 0 0 44 1 0 0 20 0 19 0 3969564 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 5267 0 -1 4202560 4313 0 0 0 30 0 0 0 20 0 19 0 3969564 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569268259128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569267206520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569266153928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13307] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13307/stat : 13307 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969581 9856040960 16597 33554432000 1073741824 1073778376 140733941581824 140569265100456 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.12 2.22 2.31 3/213 13307
/proc/meminfo: memFree=27671508/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=4.71 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 18068 0 1 0 467 4 0 0 20 0 19 0 3969559 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 26640 2260 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2488 0 1 0 306 2 0 0 20 0 19 0 3969559 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569449292200 140569322113407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569293089832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569292037032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569290984232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569289931432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569288878632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569287825832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569286773032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569285720232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569273523176 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 8433 0 0 0 109 2 0 0 20 0 19 0 3969564 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 5267 0 -1 4202560 5874 0 0 0 49 0 0 0 20 0 19 0 3969564 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569268259128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569267206520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569266153928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13307] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13307/stat : 13307 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969581 9856040960 26640 33554432000 1073741824 1073778376 140733941581824 140569265100456 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.19 2.24 2.31 3/213 13307
/proc/meminfo: memFree=27616616/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=7.97 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 18099 0 1 0 793 4 0 0 20 0 19 0 3969559 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 36632 2264 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2514 0 1 0 626 2 0 0 20 0 19 0 3969559 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569449290080 140569322113412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569293089832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569292037032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569290984232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569289931432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569288878632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569287825832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569286773032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3969560 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569285720232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569273523176 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 8434 0 0 0 113 2 0 0 20 0 19 0 3969564 9856040960 36632 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.51 cores=1,3,5,7

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

[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 8448 0 0 0 126 2 0 0 20 0 19 0 3969564 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 5267 0 -1 4202560 5882 0 0 0 56 0 0 0 20 0 19 0 3969564 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569268259128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569267206520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 5267 0 -1 4202560 97 0 0 0 26 27 0 0 20 0 19 0 3969564 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569266153928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13307] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13307/stat : 13307 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969581 9856040960 71904 33554432000 1073741824 1073778376 140733941581824 140569265100456 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.32
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.26 2.27 4/213 13438
/proc/meminfo: memFree=27747952/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=1731.63 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 22274 0 1 0 173071 92 0 0 20 0 19 0 3969559 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 72264 2288 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=1716.93 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2753 0 1 0 171663 30 0 0 20 0 19 0 3969559 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569449290960 140569322113375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 5267 0 -1 4202560 509 0 0 0 120 6 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569293089832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 5267 0 -1 4202560 312 0 0 0 127 7 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569292037032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 5267 0 -1 4202560 503 0 0 0 129 7 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569290984232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 5267 0 -1 4202560 464 0 0 0 129 9 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569289931432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9625040 CPUtime=1.33 cores=1,3,5,7
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 5267 0 -1 4202560 571 0 0 0 126 7 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569288878632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 5267 0 -1 4202560 391 0 0 0 137 7 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569287825832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 5267 0 -1 4202560 353 0 0 0 123 8 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569286773032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 5267 0 -1 4202560 399 0 0 0 126 8 0 0 20 0 19 0 3969560 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569285720232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 5267 0 -1 4202560 331 0 0 0 186 4 0 0 20 0 19 0 3969561 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569273523176 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 8448 0 0 0 126 2 0 0 20 0 19 0 3969564 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 5267 0 -1 4202560 5882 0 0 0 56 0 0 0 20 0 19 0 3969564 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569268259128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569267206520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 5267 0 -1 4202560 99 0 0 0 28 28 0 0 20 0 19 0 3969564 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569266153928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13307] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13307/stat : 13307 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969581 9856040960 72264 33554432000 1073741824 1073778376 140733941581824 140569265100456 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.63
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/213 13439
/proc/meminfo: memFree=27761736/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=1791.89 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 22323 0 1 0 179095 94 0 0 20 0 19 0 3969559 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 67199 2288 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=1776.71 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2767 0 1 0 177640 31 0 0 20 0 19 0 3969559 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569449290960 140569322071360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 5267 0 -1 4202560 509 0 0 0 124 6 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569293089832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 5267 0 -1 4202560 312 0 0 0 132 7 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569292037032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 5267 0 -1 4202560 503 0 0 0 134 7 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569290984232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 5267 0 -1 4202560 464 0 0 0 133 9 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569289931432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 5267 0 -1 4202560 583 0 0 0 131 7 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569288878632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 5267 0 -1 4202560 391 0 0 0 141 8 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569287825832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 5267 0 -1 4202560 368 0 0 0 128 8 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569286773032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 5267 0 -1 4202560 399 0 0 0 132 8 0 0 20 0 19 0 3969560 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569285720232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 5267 0 -1 4202560 335 0 0 0 195 4 0 0 20 0 19 0 3969561 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569273523176 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 8448 0 0 0 126 2 0 0 20 0 19 0 3969564 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 5267 0 -1 4202560 5882 0 0 0 56 0 0 0 20 0 19 0 3969564 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569268259128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569267206520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 5267 0 -1 4202560 103 0 0 0 29 29 0 0 20 0 19 0 3969564 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569266153928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13307] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13307/stat : 13307 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969581 9856040960 67199 33554432000 1073741824 1073778376 140733941581824 140569265100456 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.89
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.4 s]
/proc/loadavg: 2.30 2.28 2.27 3/213 13439
/proc/meminfo: memFree=27778996/32872528 swapFree=1459092/1655316
[pid=13288] ppid=13285 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/13288/stat : 13288 (java) S 13285 13288 5267 0 -1 4202496 22329 0 1 0 179908 94 0 0 20 0 19 0 3969559 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140733941572960 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13288/statm: 2406260 62929 2288 9 0 2396937 0
[pid=13288/tid=13289] ppid=13285 vsize=9625040 CPUtime=1784.69 cores=1,3,5,7
/proc/13288/task/13289/stat : 13289 (java) R 13285 13288 5267 0 -1 4202560 2769 0 1 0 178438 31 0 0 20 0 19 0 3969559 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569449290960 140569322072505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 5267 0 -1 4202560 509 0 0 0 124 6 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569293089832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 5267 0 -1 4202560 312 0 0 0 133 7 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569292037032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 5267 0 -1 4202560 503 0 0 0 134 7 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569290984232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 5267 0 -1 4202560 464 0 0 0 134 9 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569289931432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 5267 0 -1 4202560 583 0 0 0 132 7 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569288878632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 5267 0 -1 4202560 391 0 0 0 142 8 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569287825832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 5267 0 -1 4202560 372 0 0 0 129 8 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569286773032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 5267 0 -1 4202560 399 0 0 0 133 8 0 0 20 0 19 0 3969560 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569285720232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 5267 0 -1 4202560 335 0 0 0 205 4 0 0 20 0 19 0 3969561 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569273523176 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569272469240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3969561 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569271416328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569270364816 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 5267 0 -1 4202560 8448 0 0 0 126 2 0 0 20 0 19 0 3969564 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569269311928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 5267 0 -1 4202560 5882 0 0 0 56 0 0 0 20 0 19 0 3969564 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569268259128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3969564 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569267206520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 5267 0 -1 4202560 103 0 0 0 29 30 0 0 20 0 19 0 3969564 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569266153928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13288/tid=13307] ppid=13285 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13288/task/13307/stat : 13307 (java) S 13285 13288 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3969581 9856040960 62929 33554432000 1073741824 1073778376 140733941581824 140569265100456 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 13288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1790.44
CPU time (s): 1800.76
CPU user time (s): 1799.35
CPU system time (s): 1.41179
CPU usage (%): 100.577
Max. virtual memory (cumulated for all children) (KiB): 9625832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 1.41179
maximum resident set size= 568608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22372
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= 44866
involuntary context switches= 34368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4924 second user time and 13.6429 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-29 21:56:24
IDJOB=4118479
IDBENCH=111498
IDSOLVER=2546
FILE ID=node136/4118479-1467230184
RUNJOBID= node136-1467227648-12920
PBS_JOBID= 19997574
Free space on /tmp= 71644 MiB

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

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

MD5SUM BENCH= ff5660720ac85945ac338dfc20252b07
RANDOM SEED=1374598904

node136.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.182
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.36
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.182
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.182
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.182
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.182
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.182
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.182
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.182
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:        27743060 kB
Buffers:          156204 kB
Cached:          1752512 kB
SwapCached:            0 kB
Active:          1040164 kB
Inactive:        1689408 kB
Active(anon):     822156 kB
Inactive(anon):      892 kB
Active(file):     218008 kB
Inactive(file):  1688516 kB
Unevictable:     1655316 kB
Mlocked:         1459092 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:       2424404 kB
Mapped:            22228 kB
Shmem:               204 kB
Slab:             610284 kB
SReclaimable:      54328 kB
SUnreclaim:       555956 kB
KernelStack:        1760 kB
PageTables:         9164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2683852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 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= 71644 MiB
End job on node136 at 2016-06-29 22:26:14