Trace number 4102890

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 Res+CP PB16SAT (TO)207 1800.07 906.068

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
MD5SUM10cfce36a090e62566639770833f1068
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark207
Best CPU time to get the best result obtained on this benchmark30.0234
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 207
Optimality of the best value was proved YES
Number of variables498
Total number of constraints2431
Number of constraints which are clauses2431
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 constraint2
Maximum length of a constraint32
Number of terms in the objective function 498
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 498
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 498
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4102890-1466218772.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.58/0.30	c ... done. Wall clock time 0.197s.
0.58/0.30	c declared #vars     498
0.58/0.30	c #constraints  2431
0.58/0.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.58/0.31	c constraints type 
0.58/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 262
0.58/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2169
0.58/0.31	c 2431 constraints processed.
0.58/0.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.58/0.31	c constraints type 
0.58/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2169
0.58/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 262
0.58/0.31	c 2431 constraints processed.
0.58/0.31	c objective function length is 498 literals
0.58/0.33	c And the winner is solver0
0.66/0.81	c SATISFIABLE
0.66/0.81	c OPTIMIZING...
0.66/0.81	c Got one! Elapsed wall clock time (in seconds):0.703
0.66/0.81	o 246
0.66/0.83	c And the winner is solver1
0.75/1.32	c Got one! Elapsed wall clock time (in seconds):1.208
0.75/1.32	o 243
0.75/1.34	c And the winner is solver0
0.98/1.82	c Got one! Elapsed wall clock time (in seconds):1.712
0.98/1.82	o 242
0.98/1.83	c And the winner is solver1
1.15/2.32	c Got one! Elapsed wall clock time (in seconds):2.215
1.15/2.32	o 237
1.43/2.42	c And the winner is solver0
1.97/2.82	c Got one! Elapsed wall clock time (in seconds):2.718
1.97/2.82	o 236
1.97/2.88	c And the winner is solver0
2.26/3.33	c Got one! Elapsed wall clock time (in seconds):3.22
2.26/3.33	o 235
2.26/3.38	c And the winner is solver0
2.58/3.83	c Got one! Elapsed wall clock time (in seconds):3.722
2.58/3.83	o 234
2.58/3.86	c And the winner is solver0
2.66/4.33	c Got one! Elapsed wall clock time (in seconds):4.223
2.66/4.33	o 233
2.85/4.46	c And the winner is solver1
3.01/4.83	c Got one! Elapsed wall clock time (in seconds):4.725
3.01/4.83	o 232
3.17/4.93	c And the winner is solver1
3.31/5.33	c Got one! Elapsed wall clock time (in seconds):5.227
3.31/5.33	o 228
3.48/5.44	c And the winner is solver0
3.69/5.84	c Got one! Elapsed wall clock time (in seconds):5.728
3.69/5.84	o 227
4.24/6.11	c cleaning 4413 clauses out of 8826 with flag 7021/8826
4.52/6.20	c And the winner is solver1
4.52/6.34	c Got one! Elapsed wall clock time (in seconds):6.23
4.52/6.34	o 226
5.38/6.72	c cleaning 5049 clauses out of 10130 with flag 13230/14543
6.21/7.19	c cleaning 5537 clauses out of 11081 with flag 28909/20543
6.50/7.27	c And the winner is solver0
6.70/7.34	c Got one! Elapsed wall clock time (in seconds):7.231
6.70/7.34	o 225
7.22/7.67	c cleaning 5399 clauses out of 10798 with flag 9994/25797
7.83/7.93	c And the winner is solver1
7.92/8.34	c Got one! Elapsed wall clock time (in seconds):8.232
7.92/8.34	o 224
8.31/8.52	c cleaning 5279 clauses out of 10585 with flag 5804/30983
9.12/8.95	c cleaning 5653 clauses out of 11308 with flag 21754/36985
9.51/9.17	c And the winner is solver1
9.67/9.34	c Got one! Elapsed wall clock time (in seconds):9.233
9.67/9.34	o 223
10.05/9.52	c cleaning 5414 clauses out of 10841 with flag 5441/42171
10.05/9.59	c And the winner is solver1
10.25/9.84	c Got one! Elapsed wall clock time (in seconds):9.735
10.25/9.84	o 222
10.75/10.13	c cleaning 5297 clauses out of 10622 with flag 10334/47366
11.56/10.55	c cleaning 5663 clauses out of 11325 with flag 26076/53366
12.88/11.12	c cleaning 6332 clauses out of 12663 with flag 45341/60367
13.27/11.36	c And the winner is solver1
13.41/11.84	c Got one! Elapsed wall clock time (in seconds):11.736
13.41/11.84	o 221
13.51/11.98	c cleaning 5801 clauses out of 11603 with flag 5653/65639
14.13/12.20	c And the winner is solver0
14.18/12.34	c Got one! Elapsed wall clock time (in seconds):12.238
14.18/12.34	o 220
14.28/12.48	c cleaning 5612 clauses out of 11230 with flag 5499/71067
15.31/12.91	c cleaning 5810 clauses out of 11619 with flag 22667/77068
16.40/13.46	c cleaning 6395 clauses out of 12807 with flag 42210/84066
17.20/13.87	c And the winner is solver1
17.35/14.35	c Got one! Elapsed wall clock time (in seconds):14.239
17.35/14.35	o 219
18.05/14.76	c cleaning 8564 clauses out of 17127 with flag 14255/94781
19.06/15.24	c cleaning 7281 clauses out of 14565 with flag 32541/100783
20.06/15.78	c cleaning 7125 clauses out of 14282 with flag 53935/107781
21.45/16.44	c cleaning 7579 clauses out of 15160 with flag 78159/115784
21.45/16.44	c And the winner is solver0
21.79/16.85	c Got one! Elapsed wall clock time (in seconds):16.742
21.79/16.85	o 218
22.50/17.21	c cleaning 6328 clauses out of 12686 with flag 12971/120889
23.31/17.66	c cleaning 6173 clauses out of 12358 with flag 31551/126889
24.30/18.19	c cleaning 6579 clauses out of 13185 with flag 51747/133889
25.71/18.83	c cleaning 7303 clauses out of 14607 with flag 73662/141890
27.38/19.60	c cleaning 8152 clauses out of 16303 with flag 96999/150889
27.58/19.80	c And the winner is solver1
27.79/19.85	c Got one! Elapsed wall clock time (in seconds):19.744
27.79/19.85	o 217
28.10/20.09	c cleaning 7015 clauses out of 14051 with flag 9336/156789
29.10/20.56	c cleaning 6514 clauses out of 13043 with flag 27011/162796
30.30/21.16	c cleaning 6757 clauses out of 13524 with flag 47537/169791
31.90/21.92	c cleaning 7376 clauses out of 14765 with flag 70955/177789
33.51/22.76	c cleaning 8192 clauses out of 16392 with flag 96725/186792
35.70/23.80	c cleaning 9095 clauses out of 18197 with flag 128111/196789
38.19/25.03	c cleaning 10048 clauses out of 20102 with flag 163254/207789
40.19/26.05	c cleaning 11027 clauses out of 22054 with flag 200452/219789
40.59/26.27	c And the winner is solver0
40.79/26.35	c Got one! Elapsed wall clock time (in seconds):26.246
40.79/26.35	o 216
41.32/26.60	c cleaning 8352 clauses out of 16710 with flag 7609/225472
42.32/27.11	c cleaning 7176 clauses out of 14358 with flag 22708/231472
43.52/27.72	c cleaning 7091 clauses out of 14183 with flag 39799/238473
43.52/27.73	c And the winner is solver1
43.60/27.85	c Got one! Elapsed wall clock time (in seconds):27.747
43.60/27.85	o 215
44.29/28.23	c cleaning 6113 clauses out of 12249 with flag 15053/243630
45.10/28.69	c cleaning 6061 clauses out of 12137 with flag 32802/249631
46.37/29.26	c cleaning 6527 clauses out of 13075 with flag 52634/256630
47.17/29.61	c And the winner is solver0
47.29/29.86	c Got one! Elapsed wall clock time (in seconds):29.749
47.29/29.86	o 214
47.37/29.93	c cleaning 6053 clauses out of 12121 with flag 2790/262203
48.17/30.34	c cleaning 6028 clauses out of 12069 with flag 19484/268204
49.19/30.84	c cleaning 6520 clauses out of 13040 with flag 39051/275203
50.37/31.43	c cleaning 7259 clauses out of 14519 with flag 59271/283202
51.77/32.14	c cleaning 8128 clauses out of 16261 with flag 84042/292203
53.17/32.88	c cleaning 9059 clauses out of 18132 with flag 112675/302202
54.97/33.71	c cleaning 10039 clauses out of 20077 with flag 144827/313206
56.97/34.72	c cleaning 11018 clauses out of 22035 with flag 181532/325203
59.17/35.83	c cleaning 11993 clauses out of 24017 with flag 222501/338203
61.57/37.06	c cleaning 13011 clauses out of 26024 with flag 262935/352203
64.47/38.43	c cleaning 13988 clauses out of 28015 with flag 305585/367205
67.47/39.96	c cleaning 15012 clauses out of 30024 with flag 349432/383202
70.47/41.42	c cleaning 16002 clauses out of 32013 with flag 397819/400203
73.48/43.00	c cleaning 16991 clauses out of 34012 with flag 453483/418204
74.47/43.41	c And the winner is solver0
74.56/43.86	c Got one! Elapsed wall clock time (in seconds):43.753
74.56/43.86	o 213
75.43/44.32	c cleaning 13732 clauses out of 27492 with flag 14732/428675
76.43/44.82	c cleaning 9863 clauses out of 19760 with flag 31991/434675
77.71/45.41	c cleaning 8434 clauses out of 16897 with flag 52664/441675
78.91/46.08	c cleaning 8227 clauses out of 16464 with flag 76957/449676
80.31/46.74	c cleaning 8618 clauses out of 17238 with flag 103026/458677
81.91/47.52	c cleaning 9305 clauses out of 18619 with flag 132937/468676
83.51/48.37	c cleaning 10155 clauses out of 20313 with flag 165255/479675
85.51/49.33	c cleaning 11075 clauses out of 22159 with flag 199648/491676
88.12/50.66	c cleaning 12037 clauses out of 24084 with flag 243247/504676
91.11/52.15	c cleaning 13025 clauses out of 26050 with flag 290733/518679
94.79/53.93	c cleaning 14011 clauses out of 28021 with flag 332807/533675
98.98/56.05	c cleaning 15001 clauses out of 30010 with flag 371186/549675
103.38/58.27	c cleaning 16001 clauses out of 32010 with flag 415173/566676
108.45/60.77	c cleaning 16999 clauses out of 34008 with flag 457609/584675
114.26/63.63	c cleaning 17996 clauses out of 36010 with flag 501881/603676
121.35/67.19	c cleaning 19004 clauses out of 38015 with flag 547705/623677
125.54/69.25	c cleaning 20005 clauses out of 40010 with flag 602181/644676
129.73/71.39	c cleaning 20997 clauses out of 42004 with flag 665638/666675
134.14/73.50	c cleaning 21991 clauses out of 44007 with flag 734365/689675
138.79/75.81	c cleaning 23009 clauses out of 46017 with flag 805079/713676
143.60/78.21	c cleaning 23996 clauses out of 48008 with flag 874927/738676
149.43/81.10	c cleaning 25007 clauses out of 50013 with flag 950879/764677
157.83/85.33	c cleaning 25999 clauses out of 52004 with flag 1014661/791675
167.72/90.21	c cleaning 26996 clauses out of 54010 with flag 1079953/819680
176.19/94.45	c cleaning 28003 clauses out of 56014 with flag 1149943/848680
185.79/99.29	c cleaning 29001 clauses out of 58006 with flag 1219689/878675
196.51/104.59	c cleaning 30000 clauses out of 60005 with flag 1292517/909675
202.05/107.50	c And the winner is solver0
202.05/107.83	c Got one! Elapsed wall clock time (in seconds):107.719
202.05/107.83	o 212
203.07/108.37	c cleaning 25521 clauses out of 51053 with flag 14117/930723
204.29/108.93	c cleaning 15762 clauses out of 31529 with flag 31020/936720
205.48/109.58	c cleaning 11378 clauses out of 22767 with flag 50564/943720
207.28/110.45	c cleaning 9686 clauses out of 19389 with flag 75574/951720
209.28/111.45	c cleaning 9353 clauses out of 18705 with flag 99958/960722
211.32/112.48	c cleaning 9675 clauses out of 19351 with flag 130311/970721
213.52/113.55	c cleaning 10327 clauses out of 20676 with flag 158788/981721
215.92/114.71	c cleaning 11168 clauses out of 22348 with flag 192236/993720
218.32/115.92	c cleaning 12082 clauses out of 24180 with flag 231971/1006720
221.13/117.37	c cleaning 13051 clauses out of 26101 with flag 275135/1020723
224.34/118.94	c cleaning 14023 clauses out of 28047 with flag 313072/1035720
227.56/120.57	c cleaning 15008 clauses out of 30026 with flag 355837/1051722
231.36/122.41	c cleaning 16001 clauses out of 32016 with flag 400133/1068720
235.56/124.53	c cleaning 17002 clauses out of 34018 with flag 448746/1086723
239.36/126.46	c cleaning 18004 clauses out of 36014 with flag 504474/1105721
243.80/128.65	c cleaning 19004 clauses out of 38009 with flag 560806/1125720
248.42/130.95	c cleaning 20002 clauses out of 40006 with flag 620367/1146721
253.21/133.37	c cleaning 21002 clauses out of 42003 with flag 680834/1168720
257.08/135.07	c And the winner is solver0
257.20/135.33	c Got one! Elapsed wall clock time (in seconds):135.225
257.20/135.33	o 211
258.32/135.91	c cleaning 20227 clauses out of 40453 with flag 13829/1188172
259.54/136.51	c cleaning 13103 clauses out of 26225 with flag 31645/1194171
260.92/137.21	c cleaning 10055 clauses out of 20125 with flag 54431/1201174
262.52/138.03	c cleaning 9017 clauses out of 18067 with flag 78175/1209171
264.12/138.88	c cleaning 9011 clauses out of 18053 with flag 100844/1218174
266.14/139.82	c cleaning 9513 clauses out of 19039 with flag 129579/1228171
268.33/140.91	c cleaning 10262 clauses out of 20526 with flag 157710/1239171
270.77/142.11	c cleaning 11115 clauses out of 22264 with flag 189932/1251171
273.37/143.41	c cleaning 12073 clauses out of 24153 with flag 227046/1264175
276.17/144.80	c cleaning 13028 clauses out of 26079 with flag 262973/1278174
279.38/146.47	c cleaning 14025 clauses out of 28049 with flag 299463/1293172
283.43/148.45	c cleaning 15006 clauses out of 30025 with flag 337848/1309173
287.62/150.52	c cleaning 16008 clauses out of 32017 with flag 379258/1326171
292.22/152.83	c And the winner is solver0
292.42/153.04	c Got one! Elapsed wall clock time (in seconds):152.932
292.42/153.04	o 210
293.32/153.59	c cleaning 19347 clauses out of 38706 with flag 13601/1348868
294.57/154.18	c cleaning 12674 clauses out of 25359 with flag 30211/1354868
296.16/154.92	c cleaning 9834 clauses out of 19685 with flag 52301/1361868
297.76/155.79	c cleaning 8923 clauses out of 17853 with flag 76219/1369870
299.56/156.61	c cleaning 8958 clauses out of 17929 with flag 99297/1378869
301.36/157.59	c cleaning 9471 clauses out of 18970 with flag 130183/1388868
303.37/158.58	c cleaning 10246 clauses out of 20500 with flag 158045/1399869
305.76/159.74	c cleaning 11124 clauses out of 22255 with flag 187732/1411870
308.41/161.07	c cleaning 12063 clauses out of 24129 with flag 219480/1424868
311.61/162.67	c cleaning 13028 clauses out of 26066 with flag 253233/1438868
314.81/164.29	c cleaning 14019 clauses out of 28038 with flag 290259/1453868
318.62/166.19	c cleaning 15001 clauses out of 30019 with flag 329586/1469868
323.26/168.48	c cleaning 16007 clauses out of 32018 with flag 371069/1486868
328.25/170.91	c cleaning 16997 clauses out of 34011 with flag 414505/1504868
333.69/173.62	c cleaning 18006 clauses out of 36015 with flag 461733/1523869
339.69/176.60	c cleaning 18997 clauses out of 38008 with flag 509651/1543868
346.13/179.84	c cleaning 20006 clauses out of 40012 with flag 560463/1564869
352.73/183.18	c cleaning 20999 clauses out of 42005 with flag 614433/1586868
360.35/186.90	c cleaning 22006 clauses out of 44011 with flag 670965/1609873
362.55/188.03	c And the winner is solver0
362.79/188.35	c Got one! Elapsed wall clock time (in seconds):188.24
362.79/188.35	o 209
363.86/188.97	c cleaning 17965 clauses out of 35930 with flag 15276/1623798
365.06/189.57	c cleaning 11976 clauses out of 23967 with flag 31060/1629800
366.26/190.16	c cleaning 9488 clauses out of 18990 with flag 49664/1636799
367.66/190.83	c cleaning 8739 clauses out of 17501 with flag 71021/1644798
369.07/191.56	c And the winner is solver0
369.41/191.85	c Got one! Elapsed wall clock time (in seconds):191.742
369.41/191.85	o 208
370.16/192.24	c cleaning 10987 clauses out of 21988 with flag 13610/1658024
371.15/192.71	c cleaning 8483 clauses out of 16999 with flag 28645/1664022
372.35/193.32	c cleaning 7740 clauses out of 15517 with flag 46706/1671023
373.99/194.11	c cleaning 7868 clauses out of 15777 with flag 67428/1679023
375.79/195.06	c cleaning 8453 clauses out of 16908 with flag 90081/1688022
378.19/196.20	c cleaning 9230 clauses out of 18461 with flag 116059/1698028
380.79/197.53	c cleaning 10111 clauses out of 20226 with flag 143225/1709023
383.19/198.72	c cleaning 11056 clauses out of 22114 with flag 174219/1721022
385.79/200.04	c cleaning 12027 clauses out of 24058 with flag 206534/1734022
388.99/201.61	c cleaning 13013 clauses out of 26034 with flag 240952/1748025
392.19/203.25	c cleaning 14010 clauses out of 28019 with flag 283950/1763023
395.00/204.69	c cleaning 14999 clauses out of 30009 with flag 328638/1779023
397.78/206.06	c cleaning 16005 clauses out of 32009 with flag 368562/1796022
401.19/207.73	c cleaning 17002 clauses out of 34004 with flag 415781/1814022
404.38/209.33	c cleaning 18000 clauses out of 36002 with flag 461145/1833022
407.78/211.03	c cleaning 18998 clauses out of 38003 with flag 511062/1853023
411.38/212.80	c cleaning 20000 clauses out of 40004 with flag 565871/1874022
415.00/214.66	c cleaning 20990 clauses out of 42004 with flag 623234/1896022
419.29/216.72	c cleaning 22007 clauses out of 44014 with flag 684463/1919022
423.07/218.69	c cleaning 22994 clauses out of 46008 with flag 745170/1943023
428.47/221.34	c cleaning 24008 clauses out of 48016 with flag 814693/1968025
434.35/224.22	c cleaning 25003 clauses out of 50005 with flag 884840/1994022
442.96/228.81	c cleaning 26000 clauses out of 52002 with flag 952928/2021022
451.16/232.93	c cleaning 26997 clauses out of 54002 with flag 1023685/2049022
460.81/237.79	c cleaning 27995 clauses out of 56006 with flag 1096403/2078023
471.62/243.12	c cleaning 29002 clauses out of 58012 with flag 1171950/2108024
482.43/248.54	c cleaning 30001 clauses out of 60009 with flag 1248730/2139023
487.28/250.97	c And the winner is solver0
487.50/251.28	c Got one! Elapsed wall clock time (in seconds):251.174
487.50/251.28	o 207
488.50/251.90	c cleaning 25948 clauses out of 51907 with flag 11999/2160922
489.50/252.37	c cleaning 15980 clauses out of 31959 with flag 28686/2166922
490.50/252.88	c cleaning 11481 clauses out of 22980 with flag 49004/2173923
491.70/253.48	c cleaning 9748 clauses out of 19499 with flag 71522/2181923
493.70/254.43	c cleaning 9369 clauses out of 18750 with flag 98843/2190922
495.73/255.46	c cleaning 9680 clauses out of 19381 with flag 129316/2200922
497.94/256.53	c cleaning 10348 clauses out of 20704 with flag 161517/2211925
500.14/257.65	c cleaning 11169 clauses out of 22353 with flag 198305/2223922
502.16/258.62	c cleaning 12077 clauses out of 24184 with flag 235646/2236922
504.94/260.07	c cleaning 13049 clauses out of 26108 with flag 279570/2250923
507.74/261.42	c cleaning 14027 clauses out of 28059 with flag 322297/2265923
510.14/262.69	c cleaning 15009 clauses out of 30032 with flag 363474/2281923
513.34/264.27	c cleaning 16012 clauses out of 32025 with flag 406142/2298925
516.94/266.05	c cleaning 17001 clauses out of 34011 with flag 451655/2316923
520.94/268.00	c cleaning 17998 clauses out of 36010 with flag 499036/2335923
525.39/270.20	c cleaning 18998 clauses out of 38011 with flag 558489/2355922
529.39/272.21	c cleaning 20001 clauses out of 40014 with flag 615075/2376923
533.64/274.40	c cleaning 20991 clauses out of 42013 with flag 675863/2398923
538.25/276.69	c cleaning 22007 clauses out of 44022 with flag 743426/2421923
544.13/279.51	c cleaning 22992 clauses out of 46015 with flag 813230/2445923
549.55/282.26	c cleaning 23996 clauses out of 48023 with flag 880541/2470923
554.75/284.89	c cleaning 25000 clauses out of 50028 with flag 951289/2496924
561.80/288.35	c cleaning 26013 clauses out of 52027 with flag 1020068/2523923
570.40/292.67	c cleaning 26998 clauses out of 54014 with flag 1091330/2551923
578.44/296.66	c cleaning 27991 clauses out of 56017 with flag 1166322/2580924
586.49/300.70	c cleaning 29008 clauses out of 58026 with flag 1247588/2610924
592.89/303.86	c cleaning 29998 clauses out of 60016 with flag 1328655/2641922
599.38/307.02	c cleaning 30996 clauses out of 62020 with flag 1412584/2673924
605.98/310.32	c cleaning 32006 clauses out of 64023 with flag 1494952/2706923
615.62/315.15	c cleaning 33005 clauses out of 66016 with flag 1584747/2740922
627.69/321.18	c cleaning 34006 clauses out of 68011 with flag 1678976/2775922
635.50/325.08	c cleaning 34997 clauses out of 70005 with flag 1768075/2811922
643.75/329.15	c cleaning 35995 clauses out of 72008 with flag 1862149/2848922
652.37/333.41	c cleaning 37002 clauses out of 74013 with flag 1960988/2886922
661.25/337.81	c cleaning 38003 clauses out of 76011 with flag 2060497/2925922
669.85/342.13	c cleaning 38993 clauses out of 78008 with flag 2165078/2965922
682.49/348.43	c cleaning 39996 clauses out of 80016 with flag 2273419/3006923
692.69/353.53	c cleaning 41004 clauses out of 82019 with flag 2380265/3048922
702.69/358.50	c cleaning 42006 clauses out of 84015 with flag 2488898/3091922
712.09/363.20	c cleaning 43003 clauses out of 86010 with flag 2603471/3135923
722.20/368.25	c cleaning 44000 clauses out of 88006 with flag 2722752/3180922
732.79/373.50	c cleaning 44997 clauses out of 90006 with flag 2840722/3226922
743.59/378.95	c cleaning 46001 clauses out of 92010 with flag 2964031/3273923
756.00/385.20	c cleaning 46993 clauses out of 94009 with flag 3097150/3321923
771.00/392.63	c cleaning 47988 clauses out of 96016 with flag 3237309/3370923
786.20/400.21	c cleaning 49008 clauses out of 98028 with flag 3368391/3420923
799.81/407.07	c cleaning 50004 clauses out of 100020 with flag 3515185/3471923
818.86/416.88	c cleaning 51000 clauses out of 102017 with flag 3669974/3523924
834.07/424.47	c cleaning 51991 clauses out of 104015 with flag 3821200/3576922
849.51/432.12	c cleaning 53004 clauses out of 106025 with flag 3973796/3630923
869.85/442.25	c cleaning 53991 clauses out of 108020 with flag 4124653/3685922
892.92/453.75	c cleaning 55010 clauses out of 110030 with flag 4285734/3741923
905.96/460.20	c cleaning 56007 clauses out of 112020 with flag 4431361/3798923
920.49/467.43	c cleaning 56994 clauses out of 114012 with flag 4587077/3856922
938.58/476.46	c cleaning 58009 clauses out of 116018 with flag 4742430/3915922
953.62/483.90	c cleaning 59005 clauses out of 118009 with flag 4903652/3975922
966.67/490.48	c cleaning 59999 clauses out of 120004 with flag 5066009/4036922
980.37/497.21	c cleaning 61000 clauses out of 122005 with flag 5224898/4098922
995.42/504.74	c cleaning 61980 clauses out of 124005 with flag 5392922/4161922
1013.91/513.91	c cleaning 63005 clauses out of 126025 with flag 5562191/4225922
1029.95/521.91	c cleaning 63997 clauses out of 128020 with flag 5738314/4290922
1045.20/529.50	c cleaning 64998 clauses out of 130023 with flag 5912929/4356922
1060.66/537.29	c cleaning 66010 clauses out of 132026 with flag 6076072/4423923
1079.12/546.40	c cleaning 67008 clauses out of 134016 with flag 6251622/4491923
1102.83/558.28	c cleaning 67987 clauses out of 136007 with flag 6433625/4560922
1124.70/569.15	c cleaning 69001 clauses out of 138021 with flag 6602446/4630923
1146.01/579.71	c cleaning 70008 clauses out of 140020 with flag 6772204/4701923
1166.86/590.15	c cleaning 71001 clauses out of 142012 with flag 6944496/4773923
1188.00/600.67	c cleaning 72001 clauses out of 144013 with flag 7123508/4846925
1209.68/611.42	c cleaning 72997 clauses out of 146011 with flag 7303363/4920924
1235.55/624.37	c cleaning 74007 clauses out of 148013 with flag 7487227/4995923
1264.07/638.58	c cleaning 74992 clauses out of 150006 with flag 7692357/5071923
1283.79/648.30	c cleaning 76003 clauses out of 152013 with flag 7900183/5148922
1304.26/658.56	c cleaning 77003 clauses out of 154013 with flag 8098172/5226925
1329.38/671.10	c cleaning 77995 clauses out of 156007 with flag 8311880/5305922
1355.50/684.10	c cleaning 79001 clauses out of 158012 with flag 8508700/5385922
1382.38/697.43	c cleaning 79995 clauses out of 160011 with flag 8698174/5466922
1411.76/712.03	c cleaning 81004 clauses out of 162016 with flag 8901888/5548922
1439.70/725.93	c cleaning 81987 clauses out of 164013 with flag 9112622/5631923
1470.88/742.19	c cleaning 83010 clauses out of 166025 with flag 9305770/5715922
1505.56/759.46	c cleaning 84000 clauses out of 168015 with flag 9528866/5800922
1540.53/776.90	c cleaning 85002 clauses out of 170019 with flag 9779085/5886926
1566.23/789.62	c cleaning 86003 clauses out of 172013 with flag 10004139/5973922
1590.96/801.95	c cleaning 87001 clauses out of 174012 with flag 10232330/6061924
1616.08/814.46	c cleaning 87999 clauses out of 176009 with flag 10461899/6150922
1649.21/830.94	c cleaning 88999 clauses out of 178010 with flag 10682400/6240922
1696.41/854.50	c cleaning 90001 clauses out of 180012 with flag 10875009/6331923
1752.25/882.30	c cleaning 91003 clauses out of 182010 with flag 11068121/6423922
1800.07/906.00	c >>>>>>>>>> Solver number 0 (19 answers) <<<<<<<<<<<<<<<<<<
1800.07/906.00	c starts		: 31385
1800.07/906.00	c conflicts		: 6515269
1800.07/906.00	c decisions		: 14341471
1800.07/906.00	c propagations		: 103850828
1800.07/906.00	c inspects		: 10013769290
1800.07/906.00	c shortcuts		: 0
1800.07/906.00	c learnt literals	: 0
1800.07/906.00	c learnt binary clauses	: 41
1800.07/906.00	c learnt ternary clauses	: 159
1800.07/906.00	c learnt constraints	: 6515269
1800.07/906.00	c ignored constraints	: 0
1800.07/906.00	c root simplifications	: 0
1800.07/906.00	c removed literals (reason simplification)	: 1042481576
1800.07/906.00	c reason swapping (by a shorter reason)	: 0
1800.07/906.00	c Calls to reduceDB	: 247
1800.07/906.00	c Number of update (reduction) of LBD	: 1583091
1800.07/906.00	c Imported unit clauses	: 0
1800.07/906.00	c number of reductions to clauses (during analyze)	: 0
1800.07/906.00	c number of learned constraints concerned by reduction	: 0
1800.07/906.00	c number of learning phase by resolution	: 0
1800.07/906.00	c number of learning phase by cutting planes	: 0
1800.07/906.00	c speed (assignments/second)	: 118261.1905965737
1800.07/906.00	c non guided choices	0
1800.07/906.03	c learnt constraints type 
1800.07/906.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41
1800.07/906.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 182313
1800.07/906.03	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.07/906.03	c starts		: 95
1800.07/906.03	c conflicts		: 10181
1800.07/906.03	c decisions		: 31955
1800.07/906.03	c propagations		: 424558
1800.07/906.03	c inspects		: 881867542
1800.07/906.03	c shortcuts		: 0
1800.07/906.03	c learnt literals	: 0
1800.07/906.03	c learnt binary clauses	: 4
1800.07/906.03	c learnt ternary clauses	: 1
1800.07/906.03	c learnt constraints	: 10169
1800.07/906.03	c ignored constraints	: 0
1800.07/906.03	c root simplifications	: 0
1800.07/906.03	c removed literals (reason simplification)	: 0
1800.07/906.03	c reason swapping (by a shorter reason)	: 0
1800.07/906.03	c Calls to reduceDB	: 0
1800.07/906.03	c Number of update (reduction) of LBD	: 0
1800.07/906.03	c Imported unit clauses	: 0
1800.07/906.03	c number of reductions to clauses (during analyze)	: 0
1800.07/906.03	c number of learned constraints concerned by reduction	: 0
1800.07/906.03	c number of learning phase by resolution	: 0
1800.07/906.03	c number of learning phase by cutting planes	: 0
1800.07/906.03	c speed (assignments/second)	: 648.4266537966341
1800.07/906.03	c non guided choices	0
1800.07/906.04	c learnt constraints type 
1800.07/906.04	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 848
1800.07/906.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 813
1800.07/906.04	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 4
1800.07/906.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8504
1800.07/906.04	s SATISFIABLE
1800.07/906.04	c Found 31 solution(s)
1800.07/906.04	v x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 -x171 x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 -x201 x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 -x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 -x451 x452 -x453 x454 x455 -x456 -x457 x458 x459 -x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 x497 -x498 
1800.07/906.04	c objective function=207
1800.07/906.04	c Total wall clock time (in seconds): 905.933

Verifier Data 

OK	207

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-4102890-1466218772/watcher-4102890-1466218772 -o /tmp/evaluation-result-4102890-1466218772/solver-4102890-1466218772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466206100-1316 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4102890-1466218772.opb 

pid=5775
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: 3.87 4.12 4.16 4/197 5778
/proc/meminfo: memFree=30158632/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 23926092 98570240 977 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 24065 977 743 9 0 16771 0
[pid=5778/tid=5779] ppid=5775 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) R 5775 5778 1299 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 23926092 98570240 977 33554432000 1073741824 1073778376 140736672741408 140394770075176 213193147776 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 3.87 4.12 4.16 4/197 5778
/proc/meminfo: memFree=30158632/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 4503 0 1 0 10 1 0 0 20 0 18 0 23926092 9787879424 6130 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2389619 6130 2156 9 0 2380296 0
[pid=5778/tid=5779] ppid=5775 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) R 5775 5778 1299 0 -1 4202560 2406 0 1 0 7 0 0 0 20 0 18 0 23926092 9787879424 6130 33554432000 1073741824 1073778376 140736672741408 140394770078624 213196530957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200342 s]
/proc/loadavg: 3.87 4.12 4.16 4/197 5778
/proc/meminfo: memFree=30158632/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 4971 0 1 0 28 1 0 0 20 0 18 0 23926092 9787879424 6986 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2389619 6986 2219 9 0 2380296 0
[pid=5778/tid=5779] ppid=5775 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) R 5775 5778 1299 0 -1 4202560 2422 0 1 0 17 0 0 0 20 0 18 0 23926092 9787879424 6986 33554432000 1073741824 1073778376 140736672741408 140394770072048 140394773365655 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.300346 s]
/proc/loadavg: 3.87 4.12 4.16 4/197 5778
/proc/meminfo: memFree=30158632/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 7122 0 1 0 57 1 0 0 20 0 18 0 23926092 9787879424 9689 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2389619 9689 2237 9 0 2380296 0
[pid=5778/tid=5779] ppid=5775 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) R 5775 5778 1299 0 -1 4202560 2425 0 1 0 27 0 0 0 20 0 18 0 23926092 9787879424 9689 33554432000 1073741824 1073778376 140736672741408 140394770072048 213196530957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700255 s]
/proc/loadavg: 3.87 4.12 4.16 4/197 5778
/proc/meminfo: memFree=30158632/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 7482 0 1 0 63 3 0 0 20 0 19 0 23926092 10060525568 11757 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2456183 11757 2252 9 0 2446860 0
[pid=5778/tid=5779] ppid=5775 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) S 5775 5778 1299 0 -1 4202560 2441 0 1 0 29 0 0 0 20 0 19 0 23926092 10060525568 11757 33554432000 1073741824 1073778376 140736672741408 140394770080632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 3.87 4.12 4.16 3/216 5803
/proc/meminfo: memFree=29791992/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 8617 0 1 0 92 6 0 0 20 0 19 0 23926092 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2456183 14536 2261 9 0 2446860 0
[pid=5778/tid=5779] ppid=5775 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) S 5775 5778 1299 0 -1 4202560 2446 0 1 0 30 0 0 0 20 0 19 0 23926092 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394770080632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5781] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5781/stat : 5781 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394614078248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5782] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5782/stat : 5782 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394613025448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5783] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5783/stat : 5783 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394611973160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5784] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5784/stat : 5784 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394610920360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5785] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5785/stat : 5785 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394609867048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5786] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5786/stat : 5786 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394608814248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5787] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5787/stat : 5787 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394607761960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5788] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5788/stat : 5788 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394606709160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5789] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5789/stat : 5789 (java) S 5775 5778 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394594298600 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5790] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5790/stat : 5790 (java) S 5775 5778 1299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394593244664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5791] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5791/stat : 5791 (java) S 5775 5778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394592192264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5792] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5792/stat : 5792 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394591140752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5793] ppid=5775 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/5778/task/5793/stat : 5793 (java) S 5775 5778 1299 0 -1 4202560 2071 0 0 0 25 0 0 0 20 0 19 0 23926097 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394590087352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5794] ppid=5775 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/5778/task/5794/stat : 5794 (java) S 5775 5778 1299 0 -1 4202560 2757 0 0 0 28 0 0 0 20 0 19 0 23926097 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394589034552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5795] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5795/stat : 5795 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394587982456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5796] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5796/stat : 5796 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 14536 33554432000 1073741824 1073778376 140736672741408 140394586929864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 3.80 4.10 4.16 3/216 5809
/proc/meminfo: memFree=29777256/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 19017 0 1 0 214 12 0 0 20 0 19 0 23926092 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2456183 25400 2268 9 0 2446860 0
[pid=5778/tid=5779] ppid=5775 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) S 5775 5778 1299 0 -1 4202560 2447 0 1 0 30 0 0 0 20 0 19 0 23926092 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394770080632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5781] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5781/stat : 5781 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394614078248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5782] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5782/stat : 5782 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394613025448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5783] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5783/stat : 5783 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394611973160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5784] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5784/stat : 5784 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394610920360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5785] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5785/stat : 5785 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394609867048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5786] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5786/stat : 5786 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394608814248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5787] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5787/stat : 5787 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394607761960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5788] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5788/stat : 5788 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394606709160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5789] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5789/stat : 5789 (java) S 5775 5778 1299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394594298600 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5790] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5790/stat : 5790 (java) S 5775 5778 1299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394593244664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5791] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5791/stat : 5791 (java) S 5775 5778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394592192264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5792] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5792/stat : 5792 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394591140752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5793] ppid=5775 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/5778/task/5793/stat : 5793 (java) S 5775 5778 1299 0 -1 4202560 4110 0 0 0 60 0 0 0 20 0 19 0 23926097 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394590087352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5794] ppid=5775 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/5778/task/5794/stat : 5794 (java) S 5775 5778 1299 0 -1 4202560 11080 0 0 0 84 2 0 0 20 0 19 0 23926097 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394589034552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5795] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5795/stat : 5795 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394587982456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5796] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5796/stat : 5796 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 25400 33554432000 1073741824 1073778376 140736672741408 140394586929864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=18 pid=1810 uid=0 cmd=

[startup+6.30082 s]
/proc/loadavg: 3.80 4.10 4.16 3/216 5830
/proc/meminfo: memFree=29624032/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 19789 0 1 0 426 26 0 0 20 0 19 0 23926092 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2456183 52734 2293 9 0 2446860 0
[pid=5778/tid=5779] ppid=5775 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) S 5775 5778 1299 0 -1 4202560 2450 0 1 0 31 0 0 0 20 0 19 0 23926092 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394770080632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5781] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5781/stat : 5781 (java) S 5775 5778 1299 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394614078248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5782] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5782/stat : 5782 (java) S 5775 5778 1299 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394613025448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5783] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5783/stat : 5783 (java) S 5775 5778 1299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394611973160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5784] ppid=5775 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5778/task/5784/stat : 5784 (java) S 5775 5778 1299 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394610920360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5785] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5785/stat : 5785 (java) S 5775 5778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394609867048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5786] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5786/stat : 5786 (java) S 5775 5778 1299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394608814248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5787] ppid=5775 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5778/task/5787/stat : 5787 (java) S 5775 5778 1299 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394607761960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5788] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5788/stat : 5788 (java) S 5775 5778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23926093 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394606709160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5789] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5789/stat : 5789 (java) S 5775 5778 1299 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394594298600 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5790] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5790/stat : 5790 (java) S 5775 5778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394593244664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5791] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5791/stat : 5791 (java) S 5775 5778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23926094 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394592192264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5792] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5792/stat : 5792 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23926097 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394591140752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5793] ppid=5775 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/5778/task/5793/stat : 5793 (java) S 5775 5778 1299 0 -1 4202560 4608 0 0 0 83 0 0 0 20 0 19 0 23926097 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394590087352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5794] ppid=5775 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/5778/task/5794/stat : 5794 (java) S 5775 5778 1299 0 -1 4202560 11108 0 0 0 120 2 0 0 20 0 19 0 23926097 10060525568 52734 33554432000 1073741824 1073778376 140736672741408 140394589034552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5795] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=5778/tid=5788] ppid=5775 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/5778/task/5788/stat : 5788 (java) S 5775 5778 1299 0 -1 4202560 580 0 0 0 172 20 0 0 20 0 22 0 23926093 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394606709160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5789] ppid=5775 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/5778/task/5789/stat : 5789 (java) S 5775 5778 1299 0 -1 4202560 2628 0 0 0 328 12 0 0 20 0 22 0 23926094 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394594298600 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5790] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5790/stat : 5790 (java) S 5775 5778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23926094 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394593244664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5791] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5791/stat : 5791 (java) S 5775 5778 1299 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 23926094 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394592192264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5792] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5792/stat : 5792 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23926097 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394591140752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5793] ppid=5775 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/5778/task/5793/stat : 5793 (java) S 5775 5778 1299 0 -1 4202560 10573 0 0 0 165 2 0 0 20 0 22 0 23926097 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394590087352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5794] ppid=5775 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/5778/task/5794/stat : 5794 (java) S 5775 5778 1299 0 -1 4202560 11114 0 0 0 138 2 0 0 20 0 22 0 23926097 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394589034552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5795] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5795/stat : 5795 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23926097 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394587982456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5796] ppid=5775 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/5778/task/5796/stat : 5796 (java) S 5775 5778 1299 0 -1 4202560 48 0 0 0 11 20 0 0 20 0 22 0 23926097 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394586929864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5869] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5869/stat : 5869 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23928878 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394584823208 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5928] ppid=5775 vsize=9824732 CPUtime=564.59 cores=1,3,5,7
/proc/5778/task/5928/stat : 5928 (java) R 5775 5778 1299 0 -1 4202560 56 0 0 0 56450 9 0 0 20 0 22 0 23951220 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394583768608 140394642246932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5929] ppid=5775 vsize=9824732 CPUtime=564.57 cores=1,3,5,7
/proc/5778/task/5929/stat : 5929 (java) R 5775 5778 1299 0 -1 4202560 879 0 0 0 56440 17 0 0 20 0 22 0 23951220 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394585872912 140394642779109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5930] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5930/stat : 5930 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23951220 10060525568 830010 33554432000 1073741824 1073778376 140736672741408 140394582717864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1631.69
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.17 4.18 4.18 6/219 5948
/proc/meminfo: memFree=23822320/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9824732 CPUtime=1752.19 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 35758 0 1 0 174930 289 0 0 20 0 22 0 23926092 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2456183 826076 2302 9 0 2446860 0
[pid=5778/tid=5779] ppid=5775 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) S 5775 5778 1299 0 -1 4202560 2457 0 1 0 35 3 0 0 20 0 22 0 23926092 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394770080632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5781] ppid=5775 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/5778/task/5781/stat : 5781 (java) S 5775 5778 1299 0 -1 4202560 550 0 0 0 178 15 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394614078248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5782] ppid=5775 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/5778/task/5782/stat : 5782 (java) S 5775 5778 1299 0 -1 4202560 706 0 0 0 191 21 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394613025448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5783] ppid=5775 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/5778/task/5783/stat : 5783 (java) S 5775 5778 1299 0 -1 4202560 687 0 0 0 200 22 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394611973160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5784] ppid=5775 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/5778/task/5784/stat : 5784 (java) S 5775 5778 1299 0 -1 4202560 628 0 0 0 192 17 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394610920360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5785] ppid=5775 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/5778/task/5785/stat : 5785 (java) S 5775 5778 1299 0 -1 4202560 570 0 0 0 181 18 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394609867048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5786] ppid=5775 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/5778/task/5786/stat : 5786 (java) S 5775 5778 1299 0 -1 4202560 677 0 0 0 211 17 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394608814248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5787] ppid=5775 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/5778/task/5787/stat : 5787 (java) S 5775 5778 1299 0 -1 4202560 576 0 0 0 193 18 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394607761960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5788] ppid=5775 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/5778/task/5788/stat : 5788 (java) S 5775 5778 1299 0 -1 4202560 591 0 0 0 189 20 0 0 20 0 22 0 23926093 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394606709160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5789] ppid=5775 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/5778/task/5789/stat : 5789 (java) S 5775 5778 1299 0 -1 4202560 2632 0 0 0 328 13 0 0 20 0 22 0 23926094 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394594298600 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5790] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5790/stat : 5790 (java) S 5775 5778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23926094 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394593244664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5791] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5791/stat : 5791 (java) S 5775 5778 1299 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 23926094 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394592192264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5792] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5792/stat : 5792 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23926097 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394591140752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5793] ppid=5775 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/5778/task/5793/stat : 5793 (java) S 5775 5778 1299 0 -1 4202560 10573 0 0 0 165 2 0 0 20 0 22 0 23926097 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394590087352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5794] ppid=5775 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/5778/task/5794/stat : 5794 (java) S 5775 5778 1299 0 -1 4202560 11114 0 0 0 138 2 0 0 20 0 22 0 23926097 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394589034552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5795] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5795/stat : 5795 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23926097 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394587982456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5796] ppid=5775 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/5778/task/5796/stat : 5796 (java) S 5775 5778 1299 0 -1 4202560 52 0 0 0 13 21 0 0 20 0 22 0 23926097 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394586929864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5869] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5869/stat : 5869 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23928878 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394584823208 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5928] ppid=5775 vsize=9824732 CPUtime=624.11 cores=1,3,5,7
/proc/5778/task/5928/stat : 5928 (java) R 5775 5778 1299 0 -1 4202560 59 0 0 0 62401 10 0 0 20 0 22 0 23951220 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394583768560 140394643054791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5929] ppid=5775 vsize=9824732 CPUtime=624.09 cores=1,3,5,7
/proc/5778/task/5929/stat : 5929 (java) R 5775 5778 1299 0 -1 4202560 884 0 0 0 62391 18 0 0 20 0 22 0 23951220 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394585872912 140394642568964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5930] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5930/stat : 5930 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23951220 10060525568 826076 33554432000 1073741824 1073778376 140736672741408 140394582717864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1752.19
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.001 s]
/proc/loadavg: 4.19 4.18 4.18 5/219 6023
/proc/meminfo: memFree=25104124/32872528 swapFree=877056/942464
[pid=5778] ppid=5775 vsize=9824732 CPUtime=1799.81 cores=1,3,5,7
/proc/5778/stat : 5778 (java) S 5775 5778 1299 0 -1 4202496 35926 0 1 0 179691 290 0 0 20 0 22 0 23926092 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140736672732544 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5778/statm: 2456183 823479 2302 9 0 2446860 0
[pid=5778/tid=5779] ppid=5775 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/5778/task/5779/stat : 5779 (java) S 5775 5778 1299 0 -1 4202560 2457 0 1 0 35 3 0 0 20 0 22 0 23926092 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394770080632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5781] ppid=5775 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/5778/task/5781/stat : 5781 (java) S 5775 5778 1299 0 -1 4202560 553 0 0 0 185 15 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394614078248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5782] ppid=5775 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/5778/task/5782/stat : 5782 (java) S 5775 5778 1299 0 -1 4202560 706 0 0 0 197 22 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394613025448 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5783] ppid=5775 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/5778/task/5783/stat : 5783 (java) S 5775 5778 1299 0 -1 4202560 832 0 0 0 208 22 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394611973160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5784] ppid=5775 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/5778/task/5784/stat : 5784 (java) S 5775 5778 1299 0 -1 4202560 629 0 0 0 198 17 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394610920360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5785] ppid=5775 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/5778/task/5785/stat : 5785 (java) S 5775 5778 1299 0 -1 4202560 573 0 0 0 187 18 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394609867048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5786] ppid=5775 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/5778/task/5786/stat : 5786 (java) S 5775 5778 1299 0 -1 4202560 680 0 0 0 218 17 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394608814248 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5787] ppid=5775 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/5778/task/5787/stat : 5787 (java) S 5775 5778 1299 0 -1 4202560 579 0 0 0 197 18 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394607761960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5788] ppid=5775 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/5778/task/5788/stat : 5788 (java) S 5775 5778 1299 0 -1 4202560 593 0 0 0 195 20 0 0 20 0 22 0 23926093 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394606709160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5789] ppid=5775 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/5778/task/5789/stat : 5789 (java) S 5775 5778 1299 0 -1 4202560 2634 0 0 0 328 13 0 0 20 0 22 0 23926094 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394594298600 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5790] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5790/stat : 5790 (java) S 5775 5778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23926094 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394593244664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5791] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5791/stat : 5791 (java) S 5775 5778 1299 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 23926094 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394592192264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5792] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5792/stat : 5792 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23926097 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394591140752 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5793] ppid=5775 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/5778/task/5793/stat : 5793 (java) S 5775 5778 1299 0 -1 4202560 10573 0 0 0 165 2 0 0 20 0 22 0 23926097 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394590087352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5794] ppid=5775 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/5778/task/5794/stat : 5794 (java) S 5775 5778 1299 0 -1 4202560 11114 0 0 0 138 2 0 0 20 0 22 0 23926097 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394589034552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5795] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5795/stat : 5795 (java) S 5775 5778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23926097 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394587982456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5796] ppid=5775 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/5778/task/5796/stat : 5796 (java) S 5775 5778 1299 0 -1 4202560 54 0 0 0 13 22 0 0 20 0 22 0 23926097 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394586929864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5778/tid=5869] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5869/stat : 5869 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23928878 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394584823208 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5778/tid=5928] ppid=5775 vsize=9824732 CPUtime=647.61 cores=1,3,5,7
/proc/5778/task/5928/stat : 5928 (java) R 5775 5778 1299 0 -1 4202560 63 0 0 0 64751 10 0 0 20 0 22 0 23951220 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394583768560 140394642448625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5778/tid=5929] ppid=5775 vsize=9824732 CPUtime=647.58 cores=1,3,5,7
/proc/5778/task/5929/stat : 5929 (java) R 5775 5778 1299 0 -1 4202560 884 0 0 0 64739 19 0 0 20 0 22 0 23951220 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394585872912 140394642778985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5778/tid=5930] ppid=5775 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5778/task/5930/stat : 5930 (java) S 5775 5778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23951220 10060525568 823479 33554432000 1073741824 1073778376 140736672741408 140394582717864 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 9824732

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 5778 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5778 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=659322
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=281501
# CPU time returned by wait4() is 1796.94
# while last known CPU time is 1799.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.26004
#  lost CPU user time (s): 0.300003
#  lost CPU system time (s): -0.04

Real time (s): 906.068
CPU time (s): 1800.07
CPU user time (s): 1797.21
CPU system time (s): 2.86
CPU usage (%): 198.668
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 3.2815
maximum resident set size= 3330296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35962
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26090
involuntary context switches= 34332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75512 second user time and 7.64184 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 04:59:32
IDJOB=4102890
IDBENCH=2189
IDSOLVER=2543
FILE ID=node113/4102890-1466218772
RUNJOBID= node113-1466206100-1316
PBS_JOBID= 19918163
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102890-1466218772/watcher-4102890-1466218772 -o /tmp/evaluation-result-4102890-1466218772/solver-4102890-1466218772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466206100-1316 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4102890-1466218772.opb

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

MD5SUM BENCH= 10cfce36a090e62566639770833f1068
RANDOM SEED=880554535

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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.54
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.799
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:        30165040 kB
Buffers:           97488 kB
Cached:           107696 kB
SwapCached:         1968 kB
Active:           862848 kB
Inactive:         147580 kB
Active(anon):     806040 kB
Inactive(anon):     1556 kB
Active(file):      56808 kB
Inactive(file):   146024 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:              2620 kB
Writeback:             0 kB
AnonPages:       1691744 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             599988 kB
SReclaimable:      42924 kB
SUnreclaim:       557064 kB
KernelStack:        1592 kB
PageTables:         7580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2553664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    761856 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= 71704 MiB
End job on node113 at 2016-06-18 05:14:38