Trace number 4119546

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)-236 1800.94 1786.45

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-05.opb
MD5SUM134789eb893842a965da46a5a257a107
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-237
Best CPU time to get the best result obtained on this benchmark1800.08
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 507
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 10496
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 10496
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)462
Sum of products size (including duplicates)1299
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119546-1467261287.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.19	c ... done. Wall clock time 0.081s.
0.09/0.19	c declared #vars     45
0.09/0.19	c internal #vars     507
0.09/0.19	c #constraints  924
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 462
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 462
0.09/0.19	c 924 constraints processed.
0.09/0.19	c objective function length is 507 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.095
0.25/0.21	o -130
0.25/0.22	c Got one! Elapsed wall clock time (in seconds):0.111
0.25/0.22	o -132
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.214
0.50/0.33	o -138
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.219
0.50/0.33	o -140
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.233
0.50/0.35	o -142
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.276
0.50/0.39	o -144
0.78/0.45	c Got one! Elapsed wall clock time (in seconds):0.337
0.78/0.45	o -146
0.78/0.45	c Got one! Elapsed wall clock time (in seconds):0.341
0.78/0.45	o -150
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.344
0.78/0.46	o -152
1.01/0.59	c Got one! Elapsed wall clock time (in seconds):0.476
1.01/0.59	o -154
1.22/0.71	c Got one! Elapsed wall clock time (in seconds):0.598
1.22/0.71	o -156
1.37/0.83	c Got one! Elapsed wall clock time (in seconds):0.712
1.37/0.83	o -158
1.37/0.88	c Got one! Elapsed wall clock time (in seconds):0.768
1.37/0.88	o -160
1.58/1.08	c cleaning 4471 clauses out of 8941 with flag 4095/8941
2.06/1.45	c Got one! Elapsed wall clock time (in seconds):1.34
2.06/1.45	o -161
2.16/1.60	c Got one! Elapsed wall clock time (in seconds):1.483
2.16/1.60	o -163
2.26/1.60	c Got one! Elapsed wall clock time (in seconds):1.487
2.26/1.60	o -165
2.37/1.75	c Got one! Elapsed wall clock time (in seconds):1.636
2.37/1.75	o -167
2.70/2.03	c cleaning 8116 clauses out of 16232 with flag 6127/20703
3.20/2.53	c cleaning 7059 clauses out of 14117 with flag 18265/26704
3.74/3.07	c cleaning 7029 clauses out of 14058 with flag 32318/33704
4.44/3.73	c cleaning 7510 clauses out of 15028 with flag 48641/41703
5.12/4.19	c Got one! Elapsed wall clock time (in seconds):4.076
5.12/4.19	o -168
5.33/4.31	c Got one! Elapsed wall clock time (in seconds):4.198
5.33/4.31	o -169
5.33/4.32	c Got one! Elapsed wall clock time (in seconds):4.212
5.33/4.32	o -170
5.78/4.74	c cleaning 9650 clauses out of 19309 with flag 8054/53494
5.78/4.74	c Got one! Elapsed wall clock time (in seconds):4.63
5.78/4.74	o -171
6.06/4.99	c Got one! Elapsed wall clock time (in seconds):4.88
6.06/4.99	o -173
6.38/5.20	c cleaning 7475 clauses out of 14955 with flag 4077/58790
6.79/5.68	c cleaning 6739 clauses out of 13479 with flag 16222/64789
7.18/6.06	c Got one! Elapsed wall clock time (in seconds):5.943
7.18/6.06	o -175
7.18/6.06	c Got one! Elapsed wall clock time (in seconds):5.949
7.18/6.06	o -183
7.18/6.07	c Got one! Elapsed wall clock time (in seconds):5.959
7.18/6.07	o -184
7.68/6.54	c cleaning 8555 clauses out of 17116 with flag 10293/75165
8.19/7.04	c cleaning 7280 clauses out of 14561 with flag 22682/81165
8.81/7.61	c cleaning 7136 clauses out of 14280 with flag 36976/88164
9.58/8.31	c cleaning 7570 clauses out of 15145 with flag 53966/96165
10.27/9.07	c cleaning 8277 clauses out of 16574 with flag 72739/105164
11.18/9.97	c cleaning 9149 clauses out of 18298 with flag 93308/115165
12.17/10.98	c cleaning 10072 clauses out of 20148 with flag 115987/126164
13.38/12.20	c cleaning 11032 clauses out of 22076 with flag 140432/138164
14.77/13.58	c cleaning 12021 clauses out of 24044 with flag 167050/151164
16.37/15.11	c cleaning 13007 clauses out of 26023 with flag 195528/165164
16.57/15.35	c Got one! Elapsed wall clock time (in seconds):15.236
16.57/15.35	o -185
16.57/15.37	c Got one! Elapsed wall clock time (in seconds):15.256
16.57/15.37	o -190
16.87/15.68	c cleaning 9433 clauses out of 18873 with flag 6135/171021
17.47/16.21	c cleaning 7716 clauses out of 15440 with flag 18537/177021
17.97/16.77	c cleaning 7358 clauses out of 14723 with flag 32916/184020
18.67/17.43	c cleaning 7680 clauses out of 15365 with flag 49105/192020
19.39/18.18	c cleaning 8342 clauses out of 16685 with flag 67489/201020
20.30/19.02	c cleaning 9168 clauses out of 18344 with flag 88006/211021
21.39/20.12	c cleaning 10086 clauses out of 20176 with flag 114289/222021
22.69/21.42	c cleaning 11045 clauses out of 22089 with flag 146614/234020
24.09/22.81	c cleaning 12022 clauses out of 24045 with flag 174214/247021
25.39/24.11	c Got one! Elapsed wall clock time (in seconds):23.997
25.39/24.11	o -192
25.99/24.79	c cleaning 14560 clauses out of 29120 with flag 11241/264118
26.70/25.44	c cleaning 10275 clauses out of 20558 with flag 24568/270116
27.29/26.04	c cleaning 8637 clauses out of 17284 with flag 39518/277117
27.99/26.74	c cleaning 8321 clauses out of 16648 with flag 56109/285118
28.69/27.48	c cleaning 8660 clauses out of 17326 with flag 74575/294117
29.62/28.35	c cleaning 9329 clauses out of 18666 with flag 94987/304117
30.62/29.35	c cleaning 10167 clauses out of 20336 with flag 117535/315116
31.71/30.49	c cleaning 11081 clauses out of 22170 with flag 141694/327117
33.11/31.81	c cleaning 12045 clauses out of 24089 with flag 168006/340117
34.51/33.28	c cleaning 13019 clauses out of 26044 with flag 196516/354117
36.13/34.84	c cleaning 14008 clauses out of 28024 with flag 227335/369116
37.23/35.90	c Got one! Elapsed wall clock time (in seconds):35.789
37.23/35.90	o -195
37.73/36.48	c cleaning 15131 clauses out of 30269 with flag 10150/385369
38.23/36.99	c cleaning 10564 clauses out of 21138 with flag 22459/391369
38.33/37.03	c Got one! Elapsed wall clock time (in seconds):36.913
38.33/37.03	o -197
38.73/37.47	c cleaning 8018 clauses out of 16045 with flag 10445/396840
39.23/37.93	c cleaning 7009 clauses out of 14028 with flag 23037/402841
39.73/38.46	c cleaning 7006 clauses out of 14020 with flag 37218/409842
40.43/39.10	c cleaning 7507 clauses out of 15013 with flag 53572/417841
41.13/39.82	c cleaning 8251 clauses out of 16505 with flag 71946/426840
41.93/40.69	c cleaning 9124 clauses out of 18254 with flag 92701/436840
42.93/41.69	c cleaning 10064 clauses out of 20130 with flag 115714/447840
44.13/42.82	c cleaning 11032 clauses out of 22067 with flag 140573/459841
45.34/44.09	c cleaning 12014 clauses out of 24034 with flag 167667/472840
46.83/45.55	c cleaning 13007 clauses out of 26020 with flag 196362/486840
48.53/47.23	c cleaning 14005 clauses out of 28013 with flag 227463/501840
50.37/49.05	c cleaning 15003 clauses out of 30008 with flag 261226/517840
52.37/51.02	c cleaning 15995 clauses out of 32005 with flag 296026/534840
54.67/53.31	c cleaning 17002 clauses out of 34010 with flag 332525/552840
57.27/55.94	c cleaning 18004 clauses out of 36008 with flag 371412/571840
59.97/58.62	c cleaning 18997 clauses out of 38004 with flag 413132/591840
62.85/61.44	c cleaning 20001 clauses out of 40008 with flag 456943/612841
65.95/64.53	c cleaning 20998 clauses out of 42006 with flag 502375/634840
66.65/65.28	c Got one! Elapsed wall clock time (in seconds):65.168
66.65/65.28	o -198
66.85/65.42	c Got one! Elapsed wall clock time (in seconds):65.307
66.85/65.42	o -199
67.46/66.03	c cleaning 16517 clauses out of 33039 with flag 8477/646871
68.05/66.70	c cleaning 11254 clauses out of 22522 with flag 21050/652871
68.75/67.32	c cleaning 9130 clauses out of 18269 with flag 35751/659872
69.45/68.07	c cleaning 8564 clauses out of 17139 with flag 52389/667872
70.35/68.90	c cleaning 8780 clauses out of 17574 with flag 71496/676871
71.25/69.81	c cleaning 9398 clauses out of 18795 with flag 92292/686872
72.19/70.70	c Got one! Elapsed wall clock time (in seconds):70.589
72.19/70.70	o -200
72.68/71.28	c cleaning 12158 clauses out of 24331 with flag 10627/701806
73.28/71.83	c cleaning 9082 clauses out of 18173 with flag 23239/707806
73.38/71.99	c Got one! Elapsed wall clock time (in seconds):71.878
73.38/71.99	o -201
73.68/72.24	c cleaning 7149 clauses out of 14309 with flag 6292/713024
74.19/72.73	c cleaning 6574 clauses out of 13161 with flag 18953/719025
74.78/73.30	c cleaning 6785 clauses out of 13586 with flag 33714/726024
75.38/73.97	c cleaning 7395 clauses out of 14801 with flag 50532/734024
76.18/74.74	c cleaning 8200 clauses out of 16407 with flag 68973/743025
77.08/75.68	c cleaning 9099 clauses out of 18206 with flag 89559/753024
78.18/76.76	c cleaning 10052 clauses out of 20107 with flag 111926/764024
79.38/77.96	c cleaning 11024 clauses out of 22056 with flag 136468/776025
80.74/79.29	c cleaning 12016 clauses out of 24031 with flag 163106/789024
82.24/80.79	c cleaning 13006 clauses out of 26015 with flag 191793/803024
84.04/82.53	c cleaning 14005 clauses out of 28011 with flag 222171/818026
85.93/84.49	c cleaning 14998 clauses out of 30004 with flag 254805/834024
88.03/86.53	c cleaning 16001 clauses out of 32006 with flag 289498/851024
90.30/88.71	c cleaning 16995 clauses out of 34005 with flag 326243/869024
92.79/91.23	c cleaning 18002 clauses out of 36010 with flag 370726/888024
92.79/91.23	c Got one! Elapsed wall clock time (in seconds):91.119
92.79/91.23	o -228
93.29/91.73	c cleaning 11528 clauses out of 23063 with flag 10530/893079
93.79/92.23	c cleaning 8760 clauses out of 17536 with flag 23311/899080
94.29/92.78	c cleaning 7884 clauses out of 15775 with flag 38002/906079
94.99/93.41	c cleaning 7942 clauses out of 15891 with flag 54302/914079
95.69/94.16	c cleaning 8473 clauses out of 16949 with flag 72660/923079
96.59/95.01	c cleaning 9235 clauses out of 18476 with flag 93329/933079
97.54/95.99	c cleaning 10118 clauses out of 20242 with flag 115865/944080
98.64/97.06	c cleaning 11058 clauses out of 22124 with flag 140217/956080
99.84/98.26	c cleaning 12034 clauses out of 24067 with flag 166745/969081
101.24/99.65	c cleaning 13016 clauses out of 26032 with flag 195259/983080
102.84/101.22	c cleaning 14006 clauses out of 28016 with flag 226341/998080
104.73/103.09	c cleaning 15002 clauses out of 30009 with flag 259127/1014079
104.93/103.28	c Got one! Elapsed wall clock time (in seconds):103.169
104.93/103.28	o -229
105.23/103.58	c cleaning 10145 clauses out of 20302 with flag 6294/1019374
105.72/104.08	c cleaning 8074 clauses out of 16157 with flag 18788/1025374
106.33/104.65	c cleaning 7536 clauses out of 15083 with flag 33450/1032374
107.02/105.32	c cleaning 7770 clauses out of 15549 with flag 50236/1040376
107.72/106.06	c cleaning 8385 clauses out of 16777 with flag 68975/1049374
108.62/106.92	c cleaning 9189 clauses out of 18393 with flag 89719/1059375
109.63/107.94	c cleaning 10098 clauses out of 20203 with flag 113561/1070374
110.82/109.10	c cleaning 11048 clauses out of 22105 with flag 139196/1082374
112.18/110.49	c cleaning 12028 clauses out of 24058 with flag 166510/1095375
113.68/111.97	c cleaning 13010 clauses out of 26030 with flag 195465/1109375
115.48/113.75	c cleaning 14008 clauses out of 28019 with flag 226332/1124374
117.38/115.66	c cleaning 15006 clauses out of 30012 with flag 260188/1140375
119.38/117.64	c cleaning 16000 clauses out of 32005 with flag 296547/1157374
121.73/119.91	c cleaning 16995 clauses out of 34006 with flag 333420/1175375
124.12/122.38	c cleaning 18003 clauses out of 36011 with flag 372087/1194375
127.42/125.65	c cleaning 19001 clauses out of 38007 with flag 426177/1214374
129.72/127.96	c Got one! Elapsed wall clock time (in seconds):127.849
129.72/127.96	o -233
130.49/128.62	c cleaning 20611 clauses out of 41221 with flag 10595/1236589
131.08/129.25	c cleaning 13301 clauses out of 26611 with flag 23798/1242590
131.69/129.85	c cleaning 10150 clauses out of 20309 with flag 38353/1249589
132.38/130.52	c cleaning 9076 clauses out of 18160 with flag 55188/1257590
133.18/131.31	c cleaning 9035 clauses out of 18084 with flag 74094/1266590
134.08/132.23	c cleaning 9523 clauses out of 19049 with flag 96694/1276590
135.09/133.22	c cleaning 10258 clauses out of 20525 with flag 119895/1287589
136.19/134.31	c cleaning 11131 clauses out of 22268 with flag 147282/1299590
137.45/135.59	c cleaning 12066 clauses out of 24137 with flag 176162/1312590
138.96/137.01	c cleaning 13035 clauses out of 26071 with flag 208060/1326590
140.46/138.58	c cleaning 14013 clauses out of 28038 with flag 241870/1341592
142.16/140.27	c cleaning 15009 clauses out of 30022 with flag 277965/1357589
144.13/142.17	c cleaning 16005 clauses out of 32013 with flag 314982/1374589
146.33/144.33	c cleaning 17002 clauses out of 34008 with flag 354225/1392589
148.63/146.64	c cleaning 18000 clauses out of 36006 with flag 395796/1411589
151.13/149.17	c cleaning 18998 clauses out of 38006 with flag 438592/1431589
154.04/151.92	c cleaning 19998 clauses out of 40009 with flag 483459/1452590
157.34/155.25	c cleaning 21006 clauses out of 42012 with flag 531428/1474591
160.43/158.31	c cleaning 21995 clauses out of 44005 with flag 579401/1497590
163.58/161.44	c cleaning 23002 clauses out of 46010 with flag 631592/1521590
167.19/165.01	c cleaning 24002 clauses out of 48009 with flag 686315/1546591
170.86/168.65	c cleaning 25001 clauses out of 50005 with flag 742189/1572589
174.98/172.74	c cleaning 25997 clauses out of 52005 with flag 800353/1599590
176.47/174.20	c Got one! Elapsed wall clock time (in seconds):174.084
176.47/174.20	o -234
177.07/174.81	c cleaning 21352 clauses out of 42718 with flag 10890/1616300
177.57/175.37	c cleaning 13677 clauses out of 27365 with flag 23438/1622299
178.17/176.00	c cleaning 10337 clauses out of 20688 with flag 38021/1629299
179.06/176.75	c cleaning 9170 clauses out of 18351 with flag 54592/1637299
179.86/177.54	c cleaning 9084 clauses out of 18182 with flag 73321/1646300
180.76/178.44	c cleaning 9541 clauses out of 19097 with flag 94436/1656299
181.77/179.49	c cleaning 10273 clauses out of 20556 with flag 118239/1667299
183.06/180.71	c cleaning 11140 clauses out of 22285 with flag 143546/1679301
184.36/182.06	c cleaning 12071 clauses out of 24143 with flag 170434/1692299
186.00/183.66	c cleaning 13036 clauses out of 26073 with flag 199618/1706300
187.80/185.47	c cleaning 14017 clauses out of 28039 with flag 239336/1721302
189.70/187.35	c cleaning 15007 clauses out of 30020 with flag 283901/1737300
191.60/189.29	c cleaning 16004 clauses out of 32013 with flag 328250/1754300
193.52/191.19	c cleaning 16998 clauses out of 34008 with flag 371145/1772299
195.62/193.28	c cleaning 18006 clauses out of 36011 with flag 415252/1791300
197.92/195.56	c cleaning 19000 clauses out of 38004 with flag 462133/1811299
200.52/198.08	c cleaning 19994 clauses out of 40004 with flag 510211/1832299
203.31/200.83	c cleaning 21001 clauses out of 42010 with flag 561472/1854299
206.37/203.89	c cleaning 22001 clauses out of 44009 with flag 614933/1877299
209.47/206.98	c cleaning 23000 clauses out of 46008 with flag 672142/1901299
212.77/210.26	c cleaning 23998 clauses out of 48008 with flag 732438/1926299
216.61/214.10	c cleaning 25002 clauses out of 50011 with flag 796171/1952300
220.51/217.91	c cleaning 26000 clauses out of 52009 with flag 862085/1979300
224.56/221.99	c cleaning 27000 clauses out of 54009 with flag 924377/2007300
228.67/226.04	c cleaning 28000 clauses out of 56008 with flag 990150/2036299
230.48/227.87	c Got one! Elapsed wall clock time (in seconds):227.762
230.48/227.87	o -235
231.23/228.54	c cleaning 24291 clauses out of 48582 with flag 10444/2056873
231.83/229.19	c cleaning 15145 clauses out of 30290 with flag 23362/2062872
232.43/229.75	c cleaning 11070 clauses out of 22146 with flag 37646/2069873
233.03/230.34	c cleaning 9527 clauses out of 19076 with flag 54158/2077873
233.74/231.02	c cleaning 9265 clauses out of 18548 with flag 73110/2086872
234.43/231.77	c cleaning 9637 clauses out of 19284 with flag 94424/2096873
235.33/232.64	c cleaning 10323 clauses out of 20647 with flag 117893/2107873
236.35/233.69	c cleaning 11157 clauses out of 22324 with flag 143264/2119873
237.65/234.91	c cleaning 12082 clauses out of 24166 with flag 172072/2132872
239.05/236.30	c cleaning 13039 clauses out of 26085 with flag 202766/2146873
240.65/237.93	c cleaning 14022 clauses out of 28045 with flag 234969/2161872
242.49/239.75	c cleaning 15006 clauses out of 30023 with flag 270486/2177872
244.48/241.78	c cleaning 16007 clauses out of 32018 with flag 307640/2194873
246.58/243.83	c cleaning 16998 clauses out of 34011 with flag 347752/2212873
248.94/246.19	c cleaning 18004 clauses out of 36012 with flag 395496/2231872
251.23/248.43	c cleaning 19002 clauses out of 38008 with flag 442376/2251872
253.64/250.88	c cleaning 19999 clauses out of 40007 with flag 490718/2272873
256.37/253.51	c cleaning 21001 clauses out of 42008 with flag 543656/2294873
257.77/254.96	c Got one! Elapsed wall clock time (in seconds):254.852
257.77/254.96	o -236
258.40/255.56	c cleaning 19916 clauses out of 39832 with flag 13093/2313698
259.00/256.18	c cleaning 12955 clauses out of 25917 with flag 26862/2319699
259.70/256.82	c cleaning 9977 clauses out of 19961 with flag 41906/2326698
260.33/257.50	c cleaning 8985 clauses out of 17984 with flag 59041/2334698
261.12/258.22	c cleaning 8994 clauses out of 17999 with flag 78630/2343698
261.92/259.05	c cleaning 9498 clauses out of 19006 with flag 101010/2353699
262.82/260.00	c cleaning 10249 clauses out of 20507 with flag 125563/2364698
264.02/261.11	c cleaning 11123 clauses out of 22258 with flag 153427/2376698
265.24/262.33	c cleaning 12061 clauses out of 24135 with flag 182441/2389698
266.64/263.71	c cleaning 13034 clauses out of 26074 with flag 212012/2403698
268.04/265.19	c cleaning 14017 clauses out of 28041 with flag 243613/2418699
269.88/266.98	c cleaning 15012 clauses out of 30023 with flag 277371/2434698
271.87/268.92	c cleaning 16003 clauses out of 32012 with flag 314144/2451699
273.87/270.98	c cleaning 17000 clauses out of 34008 with flag 352984/2469698
276.19/273.26	c cleaning 17999 clauses out of 36009 with flag 395763/2488699
278.49/275.56	c cleaning 19003 clauses out of 38010 with flag 440019/2508699
281.19/278.28	c cleaning 20004 clauses out of 40007 with flag 485411/2529699
284.53/281.51	c cleaning 20999 clauses out of 42003 with flag 534967/2551699
287.53/284.58	c cleaning 22001 clauses out of 44004 with flag 587002/2574699
290.95/287.93	c cleaning 22998 clauses out of 46003 with flag 644342/2598699
294.55/291.60	c cleaning 23995 clauses out of 48005 with flag 701723/2623699
298.58/295.51	c cleaning 25000 clauses out of 50010 with flag 761778/2649699
303.01/299.90	c cleaning 26000 clauses out of 52010 with flag 827682/2676699
307.41/304.37	c cleaning 27002 clauses out of 54010 with flag 893246/2704699
312.55/309.45	c cleaning 27998 clauses out of 56007 with flag 962746/2733698
317.51/314.32	c cleaning 29001 clauses out of 58010 with flag 1033862/2763699
322.61/319.44	c cleaning 30001 clauses out of 60008 with flag 1107903/2794698
328.35/325.10	c cleaning 31000 clauses out of 62008 with flag 1185397/2826699
334.33/331.03	c cleaning 31996 clauses out of 64008 with flag 1264318/2859699
340.79/337.41	c cleaning 33002 clauses out of 66012 with flag 1337868/2893699
346.99/343.61	c cleaning 34002 clauses out of 68010 with flag 1414556/2928699
353.51/350.12	c cleaning 34999 clauses out of 70007 with flag 1493075/2964698
360.25/356.87	c cleaning 36003 clauses out of 72009 with flag 1577215/3001699
367.06/363.66	c cleaning 37001 clauses out of 74006 with flag 1663851/3039699
374.08/370.67	c cleaning 37998 clauses out of 76006 with flag 1749314/3078700
381.80/378.31	c cleaning 39001 clauses out of 78007 with flag 1841384/3118699
389.53/386.01	c cleaning 39999 clauses out of 80005 with flag 1931250/3159698
397.03/393.57	c cleaning 40994 clauses out of 82006 with flag 2023347/3201698
405.23/401.61	c cleaning 42002 clauses out of 84013 with flag 2118788/3244699
414.42/410.74	c cleaning 43001 clauses out of 86010 with flag 2215396/3288698
423.76/420.02	c cleaning 44000 clauses out of 88009 with flag 2314140/3333698
433.31/429.52	c cleaning 44996 clauses out of 90010 with flag 2418517/3379699
443.39/439.56	c cleaning 46001 clauses out of 92014 with flag 2524359/3426699
453.23/449.34	c cleaning 47003 clauses out of 94013 with flag 2629157/3474699
464.57/460.68	c cleaning 47998 clauses out of 96010 with flag 2739334/3523699
475.48/471.47	c cleaning 49001 clauses out of 98012 with flag 2855622/3573699
487.83/483.77	c cleaning 50005 clauses out of 100010 with flag 2975711/3624698
501.85/497.65	c cleaning 50997 clauses out of 102007 with flag 3089079/3676700
515.04/510.78	c cleaning 51999 clauses out of 104008 with flag 3207443/3729698
528.54/524.15	c cleaning 52999 clauses out of 106010 with flag 3332334/3783699
541.69/537.25	c cleaning 54001 clauses out of 108011 with flag 3452421/3838699
555.47/550.95	c cleaning 54997 clauses out of 110010 with flag 3572379/3894699
570.47/565.86	c cleaning 55999 clauses out of 112013 with flag 3694756/3951699
586.69/581.99	c cleaning 57003 clauses out of 114013 with flag 3822811/4009698
603.17/598.35	c cleaning 58004 clauses out of 116010 with flag 3949405/4068698
623.16/618.22	c cleaning 58998 clauses out of 118007 with flag 4081515/4128699
642.20/637.19	c cleaning 59997 clauses out of 120008 with flag 4215037/4189698
663.39/658.24	c cleaning 61004 clauses out of 122011 with flag 4348734/4251698
685.55/680.28	c cleaning 62000 clauses out of 124009 with flag 4485301/4314700
706.97/701.50	c cleaning 62999 clauses out of 126008 with flag 4626282/4378699
729.59/724.00	c cleaning 63998 clauses out of 128008 with flag 4770056/4443698
752.77/747.11	c cleaning 65003 clauses out of 130010 with flag 4907964/4509698
775.34/769.64	c cleaning 65997 clauses out of 132007 with flag 5050293/4576698
800.37/794.57	c cleaning 66999 clauses out of 134010 with flag 5194691/4644698
825.33/819.34	c cleaning 67999 clauses out of 136011 with flag 5340777/4713698
853.09/846.92	c cleaning 68999 clauses out of 138012 with flag 5490101/4783698
882.31/876.08	c cleaning 70002 clauses out of 140013 with flag 5642658/4854698
908.96/902.46	c cleaning 70999 clauses out of 142012 with flag 5794981/4926699
934.31/927.60	c cleaning 72001 clauses out of 144014 with flag 5953366/4999700
958.70/951.86	c cleaning 73002 clauses out of 146011 with flag 6113680/5073698
988.67/981.69	c cleaning 74001 clauses out of 148010 with flag 6274337/5148699
1017.70/1010.59	c cleaning 75000 clauses out of 150008 with flag 6434834/5224698
1045.60/1038.26	c cleaning 76000 clauses out of 152009 with flag 6593876/5301699
1081.99/1074.42	c cleaning 76995 clauses out of 154008 with flag 6756739/5379698
1117.78/1110.08	c cleaning 78003 clauses out of 156013 with flag 6924411/5458698
1146.72/1138.76	c cleaning 79002 clauses out of 158011 with flag 7099242/5538699
1178.70/1170.44	c cleaning 79999 clauses out of 160009 with flag 7272118/5619699
1214.81/1206.34	c cleaning 81001 clauses out of 162010 with flag 7442361/5701699
1251.41/1242.72	c cleaning 81997 clauses out of 164008 with flag 7629357/5784698
1285.62/1276.68	c cleaning 83003 clauses out of 166011 with flag 7834814/5868698
1324.90/1315.68	c cleaning 84002 clauses out of 168009 with flag 8027754/5953699
1362.98/1353.42	c cleaning 84996 clauses out of 170008 with flag 8221788/6039700
1401.14/1391.26	c cleaning 86002 clauses out of 172010 with flag 8424081/6126698
1441.99/1431.78	c cleaning 87000 clauses out of 174008 with flag 8622116/6214698
1484.20/1473.57	c cleaning 88000 clauses out of 176008 with flag 8828600/6303698
1530.02/1518.90	c cleaning 88997 clauses out of 178009 with flag 9033871/6393699
1570.54/1559.05	c cleaning 90000 clauses out of 180011 with flag 9246648/6484698
1610.83/1598.98	c cleaning 91002 clauses out of 182011 with flag 9461541/6576698
1653.24/1640.94	c cleaning 92002 clauses out of 184009 with flag 9671656/6669698
1701.27/1688.57	c cleaning 93001 clauses out of 186007 with flag 9896020/6763698
1745.17/1732.02	c cleaning 93999 clauses out of 188007 with flag 10117556/6858699
1800.08/1786.41	c starts		: 10385
1800.08/1786.41	c conflicts		: 6954510
1800.08/1786.41	c decisions		: 7953998
1800.08/1786.41	c propagations		: 128200666
1800.08/1786.41	c inspects		: 30262503081
1800.08/1786.41	c shortcuts		: 0
1800.08/1786.41	c learnt literals	: 0
1800.08/1786.41	c learnt binary clauses	: 154
1800.08/1786.41	c learnt ternary clauses	: 823
1800.08/1786.41	c learnt constraints	: 6954510
1800.08/1786.41	c ignored constraints	: 0
1800.08/1786.41	c root simplifications	: 0
1800.08/1786.41	c removed literals (reason simplification)	: 0
1800.08/1786.41	c reason swapping (by a shorter reason)	: 0
1800.08/1786.41	c Calls to reduceDB	: 266
1800.08/1786.41	c Number of update (reduction) of LBD	: 29088
1800.08/1786.41	c Imported unit clauses	: 0
1800.08/1786.41	c number of reductions to clauses (during analyze)	: 0
1800.08/1786.41	c number of learned constraints concerned by reduction	: 0
1800.08/1786.41	c number of learning phase by resolution	: 0
1800.08/1786.41	c number of learning phase by cutting planes	: 0
1800.08/1786.41	c speed (assignments/second)	: 71772.45284708965
1800.08/1786.41	c non guided choices	0
1800.08/1786.44	c learnt constraints type 
1800.08/1786.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 154
1800.08/1786.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 189666
1800.08/1786.44	s SATISFIABLE
1800.08/1786.44	c Found 40 solution(s)
1800.08/1786.44	v -x1 x2 -x3 x4 x5 x6 x7 x8 x9 x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 x38 x39 -x40 -x41 x42 -x43 x44 x45 
1800.08/1786.44	c objective function=-236
1800.08/1786.44	c Total wall clock time (in seconds): 1786.325

Verifier Data 

OK	-236

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-4119546-1467261287/watcher-4119546-1467261287 -o /tmp/evaluation-result-4119546-1467261287/solver-4119546-1467261287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467261080-8265 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119546-1467261287.opb 

pid=8378
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.34 2.37 2.25 3/194 8381
/proc/meminfo: memFree=27945088/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=336 CPUtime=0 cores=0,2,4,6
/proc/8381/stat : 8381 (java) R 8378 8381 6707 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 5154680 344064 39 33554432000 1073741824 1073778376 140735654488848 140735727681880 260181101235 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 625 44 35 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.34 2.37 2.25 3/194 8381
/proc/meminfo: memFree=27945088/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 4391 0 1 0 8 1 0 0 20 0 18 0 5154680 9787879424 6032 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20021 s]
/proc/loadavg: 2.34 2.37 2.25 3/194 8381
/proc/meminfo: memFree=27945088/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 4830 0 1 0 24 1 0 0 20 0 18 0 5154680 9787879424 7424 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2389619 7424 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300204 s]
/proc/loadavg: 2.34 2.37 2.25 3/194 8381
/proc/meminfo: memFree=27945088/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 6812 0 1 0 49 1 0 0 20 0 19 0 5154680 9856040960 8445 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 8445 2250 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700166 s]
/proc/loadavg: 2.34 2.37 2.25 3/194 8381
/proc/meminfo: memFree=27945088/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 10457 0 1 0 120 2 0 0 20 0 19 0 5154680 9856040960 12036 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 12036 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.34 2.37 2.25 3/213 8400
/proc/meminfo: memFree=27896368/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 10478 0 1 0 213 3 0 0 20 0 19 0 5154680 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 15121 2265 9 0 2396937 0
[pid=8381/tid=8383] ppid=8378 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 6707 0 -1 4202560 2426 0 1 0 144 2 0 0 20 0 19 0 5154681 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820638769456 139820463157692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8384] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820600269224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8385] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 6707 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820599216680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8386] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820598163624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8387] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820597111080 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8388] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820596059048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8389] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820595006504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8390] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820593953448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8391] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 6707 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820592900904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8392] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 6707 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820462500200 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8393] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4487 0 0 0 36 0 0 0 20 0 19 0 5154686 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 2292 0 0 0 30 0 0 0 20 0 19 0 5154686 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 15121 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 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.10077 s]
/proc/loadavg: 2.34 2.37 2.25 3/213 8400
/proc/meminfo: memFree=27877440/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 10496 0 1 0 381 3 0 0 20 0 19 0 5154680 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 21781 2269 9 0 2396937 0
[pid=8381/tid=8383] ppid=8378 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 6707 0 -1 4202560 2440 0 1 0 303 3 0 0 20 0 19 0 5154681 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820638768848 139820463157692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8384] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820600269224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8385] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 6707 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820599216680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8386] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820598163624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8387] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820597111080 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8388] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820596059048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8389] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820595006504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8390] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820593953448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8391] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 6707 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820592900904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8392] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 6707 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820462500200 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8393] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4487 0 0 0 40 0 0 0 20 0 19 0 5154686 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 2296 0 0 0 35 0 0 0 20 0 19 0 5154686 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 21781 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.31 2.36 2.25 3/213 8400
/proc/meminfo: memFree=27774588/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=7.48 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 16721 0 1 0 743 5 0 0 20 0 19 0 5154680 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 37871 2275 9 0 2396937 0
[pid=8381/tid=8383] ppid=8378 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 6707 0 -1 4202560 2466 0 1 0 623 3 0 0 20 0 19 0 5154681 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820638777864 139820463041612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8384] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820600269224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8385] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 6707 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820599216680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8386] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820598163624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8387] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820597111080 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8388] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820596059048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8389] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820595006504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8390] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820593953448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8391] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 6707 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5154682 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820592900904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8392] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 6707 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820462500200 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8393] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4490 0 0 0 50 0 0 0 20 0 19 0 5154686 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 8491 0 0 0 66 2 0 0 20 0 19 0 5154686 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 37871 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625040


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

/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4496 0 0 0 62 0 0 0 20 0 19 0 5154686 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 8491 0 0 0 66 2 0 0 20 0 19 0 5154686 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 96 0 0 0 27 22 0 0 20 0 19 0 5154686 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 68306 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1674.94
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.35 1.92 2.14 2/188 8499
/proc/meminfo: memFree=28046304/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=1735.43 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 28133 0 1 0 173429 114 0 0 20 0 19 0 5154680 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 71056 2297 9 0 2396937 0
[pid=8381/tid=8383] ppid=8378 vsize=9625040 CPUtime=1713.3 cores=0,2,4,6
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 6707 0 -1 4202560 2894 0 1 0 171296 34 0 0 20 0 19 0 5154681 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820638776528 139820463157692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8384] ppid=8378 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 6707 0 -1 4202560 1135 0 0 0 203 10 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820600269224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8385] ppid=8378 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 6707 0 -1 4202560 1408 0 0 0 213 11 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820599216680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8386] ppid=8378 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 6707 0 -1 4202560 1214 0 0 0 196 11 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820598163624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8387] ppid=8378 vsize=9625040 CPUtime=2.08 cores=0,2,4,6
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 6707 0 -1 4202560 2088 0 0 0 198 10 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820597111080 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8388] ppid=8378 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 6707 0 -1 4202560 1609 0 0 0 210 11 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820596059048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8389] ppid=8378 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 6707 0 -1 4202560 707 0 0 0 206 10 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820595006504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8390] ppid=8378 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 6707 0 -1 4202560 959 0 0 0 206 9 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820593953448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8391] ppid=8378 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 6707 0 -1 4202560 1043 0 0 0 206 11 0 0 20 0 19 0 5154682 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820592900904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8392] ppid=8378 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 6707 0 -1 4202560 730 0 0 0 350 6 0 0 20 0 19 0 5154683 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820462500200 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8393] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4496 0 0 0 62 0 0 0 20 0 19 0 5154686 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 8491 0 0 0 66 2 0 0 20 0 19 0 5154686 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 100 0 0 0 28 23 0 0 20 0 19 0 5154686 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 71056 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1735.43
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.21 1.78 2.07 2/188 8500
/proc/meminfo: memFree=28060972/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=1795.95 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 28734 0 1 0 179477 118 0 0 20 0 19 0 5154680 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 71722 2297 9 0 2396937 0
[pid=8381/tid=8383] ppid=8378 vsize=9625040 CPUtime=1772.8 cores=0,2,4,6
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 6707 0 -1 4202560 2919 0 1 0 177246 34 0 0 20 0 19 0 5154681 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820638776544 139820463042690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8384] ppid=8378 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 6707 0 -1 4202560 1264 0 0 0 211 11 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820600269224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8385] ppid=8378 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 6707 0 -1 4202560 1477 0 0 0 222 11 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820599216680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8386] ppid=8378 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 6707 0 -1 4202560 1322 0 0 0 206 11 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820598163624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8387] ppid=8378 vsize=9625040 CPUtime=2.18 cores=0,2,4,6
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 6707 0 -1 4202560 2095 0 0 0 208 10 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820597111080 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8388] ppid=8378 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 6707 0 -1 4202560 1636 0 0 0 222 11 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820596059048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8389] ppid=8378 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 6707 0 -1 4202560 838 0 0 0 215 11 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820595006504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8390] ppid=8378 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 6707 0 -1 4202560 1007 0 0 0 214 10 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820593953448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8391] ppid=8378 vsize=9625040 CPUtime=2.27 cores=0,2,4,6
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 6707 0 -1 4202560 1050 0 0 0 216 11 0 0 20 0 19 0 5154682 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820592900904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8392] ppid=8378 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 6707 0 -1 4202560 776 0 0 0 375 6 0 0 20 0 19 0 5154683 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820462500200 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8393] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4496 0 0 0 62 0 0 0 20 0 19 0 5154686 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 8491 0 0 0 66 2 0 0 20 0 19 0 5154686 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 104 0 0 0 29 25 0 0 20 0 19 0 5154686 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 71722 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.4 s]
/proc/loadavg: 1.20 1.77 2.07 2/188 8500
/proc/meminfo: memFree=28055760/32872528 swapFree=1633136/1796656
[pid=8381] ppid=8378 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/8381/stat : 8381 (java) S 8378 8381 6707 0 -1 4202496 29319 0 1 0 179890 118 0 0 20 0 19 0 5154680 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 140735654479984 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8381/statm: 2406260 73324 2297 9 0 2396937 0
[pid=8381/tid=8383] ppid=8378 vsize=9625040 CPUtime=1776.9 cores=0,2,4,6
/proc/8381/task/8383/stat : 8383 (java) R 8378 8381 6707 0 -1 4202560 2920 0 1 0 177654 36 0 0 20 0 19 0 5154681 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820638776560 139820463157692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8384] ppid=8378 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/8381/task/8384/stat : 8384 (java) S 8378 8381 6707 0 -1 4202560 1264 0 0 0 212 11 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820600269224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8385] ppid=8378 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/8381/task/8385/stat : 8385 (java) S 8378 8381 6707 0 -1 4202560 1477 0 0 0 222 11 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820599216680 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8381/tid=8386] ppid=8378 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/8381/task/8386/stat : 8386 (java) S 8378 8381 6707 0 -1 4202560 1492 0 0 0 206 11 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820598163624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8387] ppid=8378 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/8381/task/8387/stat : 8387 (java) S 8378 8381 6707 0 -1 4202560 2095 0 0 0 209 10 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820597111080 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8388] ppid=8378 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/8381/task/8388/stat : 8388 (java) S 8378 8381 6707 0 -1 4202560 1774 0 0 0 223 11 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820596059048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8389] ppid=8378 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/8381/task/8389/stat : 8389 (java) S 8378 8381 6707 0 -1 4202560 838 0 0 0 215 11 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820595006504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8390] ppid=8378 vsize=9625040 CPUtime=2.25 cores=0,2,4,6
/proc/8381/task/8390/stat : 8390 (java) S 8378 8381 6707 0 -1 4202560 1281 0 0 0 215 10 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820593953448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8391] ppid=8378 vsize=9625040 CPUtime=2.27 cores=0,2,4,6
/proc/8381/task/8391/stat : 8391 (java) S 8378 8381 6707 0 -1 4202560 1050 0 0 0 216 11 0 0 20 0 19 0 5154682 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820592900904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8381/tid=8392] ppid=8378 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/8381/task/8392/stat : 8392 (java) S 8378 8381 6707 0 -1 4202560 778 0 0 0 376 6 0 0 20 0 19 0 5154683 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820462500200 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8393] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8393/stat : 8393 (java) S 8378 8381 6707 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820461446520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8394] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8394/stat : 8394 (java) S 8378 8381 6707 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 5154683 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820460393352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8395] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8395/stat : 8395 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820459342096 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8396] ppid=8378 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/8381/task/8396/stat : 8396 (java) S 8378 8381 6707 0 -1 4202560 4496 0 0 0 62 0 0 0 20 0 19 0 5154686 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820458289976 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8397] ppid=8378 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8381/task/8397/stat : 8397 (java) S 8378 8381 6707 0 -1 4202560 8491 0 0 0 66 2 0 0 20 0 19 0 5154686 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820457237432 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8398] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8398/stat : 8398 (java) S 8378 8381 6707 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5154686 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820456184568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8381/tid=8399] ppid=8378 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8381/task/8399/stat : 8399 (java) S 8378 8381 6707 0 -1 4202560 104 0 0 0 29 25 0 0 20 0 19 0 5154686 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820455132232 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8381/tid=8400] ppid=8378 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8381/task/8400/stat : 8400 (java) S 8378 8381 6707 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5154700 9856040960 73324 33554432000 1073741824 1073778376 140735654488848 139820454077480 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1786.45
CPU time (s): 1800.94
CPU user time (s): 1799.25
CPU system time (s): 1.69374
CPU usage (%): 100.811
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.69374
maximum resident set size= 533288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29356
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51486
involuntary context switches= 50149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9113 second user time and 12.5451 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-30 06:34:47
IDJOB=4119546
IDBENCH=111757
IDSOLVER=2546
FILE ID=node123/4119546-1467261287
RUNJOBID= node123-1467261080-8265
PBS_JOBID= 20004468
Free space on /tmp= 71732 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_bern45-05.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119546-1467261287/watcher-4119546-1467261287 -o /tmp/evaluation-result-4119546-1467261287/solver-4119546-1467261287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467261080-8265 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119546-1467261287.opb

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

MD5SUM BENCH= 134789eb893842a965da46a5a257a107
RANDOM SEED=702696540

node123.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.387
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.77
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.387
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.387
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.387
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.387
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.387
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.387
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.387
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27945096 kB
Buffers:          158916 kB
Cached:          1817036 kB
SwapCached:            0 kB
Active:           577724 kB
Inactive:        1804388 kB
Active(anon):     408588 kB
Inactive(anon):        0 kB
Active(file):     169136 kB
Inactive(file):  1804388 kB
Unevictable:     1796656 kB
Mlocked:         1633136 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               512 kB
Writeback:             0 kB
AnonPages:       2206636 kB
Mapped:            22220 kB
Shmem:               204 kB
Slab:             609616 kB
SReclaimable:      53624 kB
SUnreclaim:       555992 kB
KernelStack:        1608 kB
PageTables:         8932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2451356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    538624 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= 71732 MiB
End job on node123 at 2016-06-30 07:04:33