Trace number 4119485

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)-94 1800.15 902.662

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.opb
MD5SUM2770917894a9bb7aef116dc192cdb6a7
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-95
Best CPU time to get the best result obtained on this benchmark1800.06
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 263
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2816
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2816
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)228
Sum of products size (including duplicates)617
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4119485-1467257430.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  objective function found
0.10/0.18	c ... done. Wall clock time 0.062s.
0.10/0.18	c declared #vars     35
0.10/0.18	c internal #vars     263
0.10/0.18	c #constraints  456
0.10/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 228
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 228
0.10/0.18	c 456 constraints processed.
0.10/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 228
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 228
0.10/0.18	c 456 constraints processed.
0.10/0.18	c objective function length is 263 literals
0.10/0.19	c And the winner is solver0
0.20/0.68	c SATISFIABLE
0.20/0.68	c OPTIMIZING...
0.20/0.68	c Got one! Elapsed wall clock time (in seconds):0.566
0.20/0.68	o -69
0.21/0.70	c And the winner is solver0
0.21/1.18	c Got one! Elapsed wall clock time (in seconds):1.071
0.21/1.18	o -70
0.21/1.20	c And the winner is solver0
0.28/1.69	c Got one! Elapsed wall clock time (in seconds):1.574
0.28/1.69	o -71
2.28/2.27	c And the winner is solver1
2.71/2.69	c Got one! Elapsed wall clock time (in seconds):2.578
2.71/2.69	o -73
3.09/2.86	c And the winner is solver0
3.30/3.19	c Got one! Elapsed wall clock time (in seconds):3.08
3.30/3.19	o -74
3.30/3.26	c And the winner is solver0
3.59/3.70	c Got one! Elapsed wall clock time (in seconds):3.584
3.59/3.70	o -75
3.90/3.80	c cleaning 3470 clauses out of 6943 with flag 2266/6943
4.93/4.11	c And the winner is solver0
5.07/4.20	c Got one! Elapsed wall clock time (in seconds):4.086
5.07/4.20	o -76
5.07/4.29	c cleaning 4508 clauses out of 9015 with flag 2254/12485
5.91/4.61	c And the winner is solver1
5.97/4.70	c Got one! Elapsed wall clock time (in seconds):4.587
5.97/4.70	o -79
5.97/4.79	c cleaning 4901 clauses out of 9810 with flag 2210/17788
7.30/5.26	c cleaning 5448 clauses out of 10908 with flag 15902/23787
8.16/5.63	c And the winner is solver0
8.24/5.70	c Got one! Elapsed wall clock time (in seconds):5.589
8.24/5.70	o -80
9.28/6.20	c cleaning 8135 clauses out of 16270 with flag 12116/34597
10.33/6.73	c cleaning 7064 clauses out of 14135 with flag 26444/40597
11.35/7.22	c cleaning 7033 clauses out of 14071 with flag 42884/47597
12.63/7.83	c cleaning 7515 clauses out of 15038 with flag 61050/55597
14.02/8.52	c cleaning 8254 clauses out of 16523 with flag 82367/64597
15.70/9.33	c cleaning 9135 clauses out of 18269 with flag 104864/74597
16.91/9.98	c And the winner is solver0
17.10/10.20	c Got one! Elapsed wall clock time (in seconds):10.092
17.10/10.20	o -81
18.08/10.76	c cleaning 11186 clauses out of 22380 with flag 12007/87843
19.49/11.44	c cleaning 8600 clauses out of 17199 with flag 27171/93848
21.17/12.24	c cleaning 7798 clauses out of 15595 with flag 44111/100844
22.76/13.03	c cleaning 7892 clauses out of 15796 with flag 60727/108843
24.36/13.85	c cleaning 8452 clauses out of 16904 with flag 79532/117843
26.63/14.91	c cleaning 9226 clauses out of 18452 with flag 100568/127843
28.83/16.01	c cleaning 10110 clauses out of 20226 with flag 123010/138843
31.36/17.28	c cleaning 11055 clauses out of 22116 with flag 148789/150843
34.37/18.73	c cleaning 12026 clauses out of 24063 with flag 178267/163845
37.85/20.48	c cleaning 13014 clauses out of 26035 with flag 209825/177843
41.85/22.45	c cleaning 14009 clauses out of 28022 with flag 243946/192844
42.65/22.84	c And the winner is solver1
42.68/23.21	c Got one! Elapsed wall clock time (in seconds):23.095
42.68/23.21	o -83
43.05/23.40	c cleaning 9860 clauses out of 19727 with flag 4631/198558
43.93/23.87	c cleaning 7930 clauses out of 15867 with flag 17813/204558
45.12/24.41	c cleaning 7466 clauses out of 14936 with flag 33264/211557
46.32/25.02	c cleaning 7730 clauses out of 15470 with flag 50983/219557
47.72/25.75	c cleaning 8370 clauses out of 16741 with flag 72787/228558
49.34/26.59	c cleaning 9183 clauses out of 18370 with flag 97384/238557
51.34/27.52	c And the winner is solver0
51.42/27.71	c Got one! Elapsed wall clock time (in seconds):27.598
51.42/27.71	o -84
52.40/28.29	c cleaning 12529 clauses out of 25062 with flag 11840/254432
53.42/28.75	c cleaning 9260 clauses out of 18532 with flag 26533/260431
54.41/29.24	c cleaning 8127 clauses out of 16272 with flag 42981/267431
55.42/29.80	c cleaning 8069 clauses out of 16145 with flag 60666/275431
56.81/30.49	c cleaning 8538 clauses out of 17077 with flag 81707/284432
58.49/31.28	c cleaning 9270 clauses out of 18539 with flag 103968/294432
60.29/32.17	c cleaning 10129 clauses out of 20268 with flag 128971/305431
62.31/33.11	c cleaning 11069 clauses out of 22139 with flag 156186/317431
64.31/34.18	c cleaning 12031 clauses out of 24070 with flag 187226/330431
66.89/35.47	c cleaning 13019 clauses out of 26040 with flag 221411/344432
69.69/36.87	c cleaning 14006 clauses out of 28020 with flag 258540/359431
72.99/38.50	c cleaning 15007 clauses out of 30014 with flag 298367/375431
76.59/40.28	c cleaning 16000 clauses out of 32008 with flag 337898/392432
80.39/42.15	c cleaning 17002 clauses out of 34008 with flag 382053/410432
84.59/44.28	c cleaning 17999 clauses out of 36005 with flag 426697/429431
85.79/44.88	c And the winner is solver0
85.96/45.22	c Got one! Elapsed wall clock time (in seconds):45.103
85.96/45.22	o -85
87.32/45.90	c cleaning 15368 clauses out of 30735 with flag 10545/442160
88.60/46.58	c cleaning 10680 clauses out of 21368 with flag 23475/448161
90.00/47.23	c cleaning 8836 clauses out of 17687 with flag 39210/455160
91.20/47.89	c cleaning 8421 clauses out of 16852 with flag 57296/463161
92.80/48.68	c cleaning 8712 clauses out of 17431 with flag 77791/472161
94.61/49.54	c cleaning 9352 clauses out of 18718 with flag 99685/482160
96.60/50.58	c cleaning 10182 clauses out of 20366 with flag 123442/493160
99.01/51.73	c cleaning 11091 clauses out of 22184 with flag 148985/505160
101.59/53.09	c cleaning 12042 clauses out of 24094 with flag 179383/518161
104.86/54.64	c cleaning 13025 clauses out of 26051 with flag 211887/532160
108.46/56.45	c cleaning 14007 clauses out of 28026 with flag 247849/547160
112.47/58.49	c cleaning 15009 clauses out of 30020 with flag 285472/563161
116.67/60.58	c cleaning 15998 clauses out of 32011 with flag 325969/580161
121.07/62.80	c cleaning 17000 clauses out of 34012 with flag 367687/598160
126.12/65.24	c cleaning 18003 clauses out of 36015 with flag 408688/617163
131.93/68.15	c cleaning 19000 clauses out of 38009 with flag 455853/637160
138.74/71.51	c cleaning 20003 clauses out of 40010 with flag 508812/658161
145.41/74.81	c cleaning 21006 clauses out of 42011 with flag 561499/680165
152.81/78.57	c cleaning 22000 clauses out of 44000 with flag 615447/703160
161.66/82.96	c cleaning 22997 clauses out of 46000 with flag 675467/727160
170.26/87.23	c cleaning 23994 clauses out of 48003 with flag 737239/752160
178.74/91.44	c cleaning 25002 clauses out of 50009 with flag 794965/778160
187.53/95.88	c cleaning 26001 clauses out of 52007 with flag 854175/805160
196.79/100.46	c cleaning 26997 clauses out of 54006 with flag 918731/833160
208.39/106.28	c cleaning 28005 clauses out of 56009 with flag 990405/862160
222.64/113.37	c cleaning 28997 clauses out of 58005 with flag 1067416/892161
238.02/121.21	c cleaning 29998 clauses out of 60007 with flag 1147016/923160
251.06/127.77	c cleaning 31003 clauses out of 62009 with flag 1215656/955160
268.29/136.31	c cleaning 32001 clauses out of 64006 with flag 1288122/988160
284.58/144.46	c cleaning 32994 clauses out of 66006 with flag 1362006/1022161
300.81/152.52	c cleaning 34001 clauses out of 68012 with flag 1438946/1057161
318.26/161.30	c cleaning 35002 clauses out of 70012 with flag 1519573/1093162
336.36/170.25	c cleaning 35998 clauses out of 72008 with flag 1601917/1130160
355.46/179.72	c cleaning 37006 clauses out of 74011 with flag 1687077/1168161
374.36/189.15	c cleaning 38000 clauses out of 76006 with flag 1769986/1207162
397.42/200.95	c cleaning 39000 clauses out of 78004 with flag 1861771/1247160
405.64/205.00	c And the winner is solver1
405.64/205.39	c Got one! Elapsed wall clock time (in seconds):205.277
405.64/205.39	o -86
407.65/206.48	c cleaning 31023 clauses out of 62057 with flag 11861/1270213
409.05/207.16	c cleaning 18518 clauses out of 37035 with flag 25873/1276214
410.25/207.75	c cleaning 12754 clauses out of 25516 with flag 41450/1283213
411.45/208.34	c cleaning 10374 clauses out of 20762 with flag 58914/1291213
412.65/208.96	c cleaning 9689 clauses out of 19388 with flag 78746/1300213
413.45/209.34	c And the winner is solver0
413.70/209.59	c Got one! Elapsed wall clock time (in seconds):209.48
413.70/209.59	o -87
414.55/210.06	c cleaning 10428 clauses out of 20863 with flag 11777/1311377
415.59/210.57	c cleaning 8212 clauses out of 16434 with flag 26164/1317376
416.58/211.09	c cleaning 7606 clauses out of 15225 with flag 42843/1324379
417.78/211.66	c cleaning 7802 clauses out of 15617 with flag 60319/1332377
419.20/212.35	c cleaning 8405 clauses out of 16814 with flag 80206/1341376
419.58/212.58	c And the winner is solver0
419.97/212.80	c Got one! Elapsed wall clock time (in seconds):212.684
419.97/212.80	o -88
420.17/212.96	c cleaning 6940 clauses out of 13885 with flag 4558/1346852
421.19/213.41	c cleaning 6469 clauses out of 12947 with flag 18236/1352854
421.98/213.90	c cleaning 6734 clauses out of 13476 with flag 34054/1359852
423.18/214.43	c cleaning 7366 clauses out of 14743 with flag 51526/1367853
424.58/215.11	c cleaning 8185 clauses out of 16376 with flag 71384/1376852
426.18/215.96	c cleaning 9094 clauses out of 18192 with flag 93729/1386853
428.22/216.91	c cleaning 10047 clauses out of 20099 with flag 118525/1397854
430.03/217.82	c And the winner is solver0
430.06/218.30	c Got one! Elapsed wall clock time (in seconds):218.189
430.06/218.30	o -89
430.84/218.70	c And the winner is solver0
431.06/218.96	c Got one! Elapsed wall clock time (in seconds):218.842
431.06/218.96	o -90
431.35/219.10	c cleaning 12903 clauses out of 25805 with flag 2296/1413607
432.15/219.57	c cleaning 9445 clauses out of 18902 with flag 15884/1419607
433.16/220.05	c cleaning 8223 clauses out of 16457 with flag 31393/1426607
434.35/220.61	c cleaning 8113 clauses out of 16235 with flag 49940/1434608
435.56/221.22	c cleaning 8559 clauses out of 17122 with flag 70563/1443608
436.95/221.96	c cleaning 9279 clauses out of 18563 with flag 94186/1453608
438.75/222.85	c cleaning 10136 clauses out of 20283 with flag 119581/1464607
441.01/223.91	c cleaning 11074 clauses out of 22150 with flag 146676/1476610
443.21/225.01	c cleaning 12034 clauses out of 24073 with flag 176644/1489607
445.61/226.23	c cleaning 13014 clauses out of 26040 with flag 209479/1503608
448.20/227.57	c cleaning 14010 clauses out of 28026 with flag 245167/1518608
451.40/229.13	c cleaning 15007 clauses out of 30016 with flag 284847/1534608
455.08/230.97	c cleaning 16003 clauses out of 32008 with flag 323593/1551607
459.28/233.04	c cleaning 17003 clauses out of 34007 with flag 363699/1569609
463.68/235.25	c cleaning 17998 clauses out of 36002 with flag 405586/1588607
465.48/236.13	c And the winner is solver0
465.72/236.46	c Got one! Elapsed wall clock time (in seconds):236.348
465.72/236.46	o -91
467.09/237.11	c cleaning 15620 clauses out of 31241 with flag 11753/1601844
468.10/237.69	c cleaning 10805 clauses out of 21621 with flag 25297/1607844
469.29/238.24	c cleaning 8909 clauses out of 17818 with flag 41289/1614846
470.57/238.87	c cleaning 8454 clauses out of 16907 with flag 59144/1622844
471.96/239.55	c cleaning 8725 clauses out of 17455 with flag 79468/1631846
473.56/240.38	c cleaning 9364 clauses out of 18728 with flag 102712/1641844
475.56/241.38	c cleaning 10182 clauses out of 20364 with flag 128512/1652844
477.56/242.35	c cleaning 11091 clauses out of 22182 with flag 154333/1664844
479.56/243.36	c cleaning 12042 clauses out of 24091 with flag 182457/1677844
481.96/244.56	c cleaning 13019 clauses out of 26049 with flag 213486/1691844
484.75/245.93	c cleaning 14013 clauses out of 28031 with flag 246262/1706845
487.83/247.49	c cleaning 15007 clauses out of 30018 with flag 281202/1722845
491.43/249.22	c cleaning 16002 clauses out of 32010 with flag 319125/1739844
495.43/251.29	c cleaning 17000 clauses out of 34008 with flag 359410/1757844
499.83/253.46	c cleaning 18004 clauses out of 36008 with flag 402884/1776844
504.43/255.71	c cleaning 19000 clauses out of 38004 with flag 446272/1796844
507.50/257.23	c And the winner is solver0
507.72/257.52	c Got one! Elapsed wall clock time (in seconds):257.404
507.72/257.52	o -92
509.07/258.26	c cleaning 19200 clauses out of 38416 with flag 11841/1816256
510.07/258.79	c cleaning 12603 clauses out of 25218 with flag 26176/1822258
511.27/259.34	c cleaning 9799 clauses out of 19613 with flag 43206/1829256
512.47/259.95	c cleaning 8901 clauses out of 17814 with flag 61498/1837256
513.87/260.60	c cleaning 8950 clauses out of 17914 with flag 82623/1846257
515.27/261.33	c cleaning 9479 clauses out of 18963 with flag 107124/1856256
516.87/262.16	c cleaning 10242 clauses out of 20485 with flag 133413/1867257
518.87/263.14	c cleaning 11118 clauses out of 22242 with flag 159719/1879256
521.27/264.30	c cleaning 12058 clauses out of 24125 with flag 188853/1892257
523.67/265.55	c cleaning 13031 clauses out of 26066 with flag 219383/1906256
526.37/266.88	c cleaning 14018 clauses out of 28036 with flag 252041/1921257
529.57/268.47	c cleaning 15009 clauses out of 30020 with flag 287125/1937259
532.95/270.15	c cleaning 16005 clauses out of 32009 with flag 325418/1954257
536.17/271.79	c cleaning 16996 clauses out of 34003 with flag 364675/1972256
540.15/273.75	c cleaning 17996 clauses out of 36007 with flag 406661/1991256
544.35/275.82	c cleaning 19001 clauses out of 38012 with flag 450476/2011257
549.26/278.23	c cleaning 20003 clauses out of 40011 with flag 496071/2032257
554.07/280.61	c cleaning 21004 clauses out of 42008 with flag 544429/2054257
559.26/283.27	c cleaning 21998 clauses out of 44003 with flag 596168/2077256
565.25/286.25	c cleaning 23003 clauses out of 46006 with flag 652395/2101257
571.79/289.44	c cleaning 23996 clauses out of 48002 with flag 709982/2126256
578.39/292.76	c cleaning 25000 clauses out of 50006 with flag 769692/2152256
585.37/296.20	c cleaning 26001 clauses out of 52007 with flag 831804/2179257
592.57/299.84	c cleaning 26996 clauses out of 54006 with flag 895942/2207257
600.25/303.62	c cleaning 28005 clauses out of 56009 with flag 961429/2236256
609.84/308.41	c cleaning 29000 clauses out of 58005 with flag 1027423/2266257
620.13/313.59	c cleaning 29998 clauses out of 60005 with flag 1094997/2297257
630.92/318.95	c cleaning 30998 clauses out of 62006 with flag 1166206/2329256
644.23/325.58	c cleaning 32004 clauses out of 64008 with flag 1237282/2362256
657.84/332.33	c cleaning 32998 clauses out of 66005 with flag 1312535/2396257
668.12/337.47	c cleaning 0 clauses out of 8908 with flag 0/8918
670.79/338.61	c cleaning 34001 clauses out of 68007 with flag 1390213/2431257
683.59/345.03	c cleaning 35000 clauses out of 70005 with flag 1470763/2467256
694.90/350.60	c cleaning 35997 clauses out of 72005 with flag 1550901/2504256
701.71/354.09	c And the winner is solver0
702.01/354.49	c Got one! Elapsed wall clock time (in seconds):354.374
702.01/354.49	o -93
704.41/355.73	c cleaning 33761 clauses out of 67521 with flag 10045/2535769
706.21/356.63	c cleaning 19880 clauses out of 39759 with flag 22133/2541768
708.02/357.52	c cleaning 13435 clauses out of 26880 with flag 36223/2548769
709.81/358.46	c cleaning 10720 clauses out of 21445 with flag 52270/2556769
711.81/359.43	c cleaning 9860 clauses out of 19725 with flag 70295/2565769
713.61/360.30	c cleaning 9922 clauses out of 19865 with flag 90518/2575769
715.91/361.47	c cleaning 10464 clauses out of 20943 with flag 113669/2586769
718.31/362.69	c cleaning 11235 clauses out of 22478 with flag 139053/2598768
721.11/364.05	c cleaning 12120 clauses out of 24244 with flag 166559/2611769
724.11/365.58	c cleaning 13061 clauses out of 26125 with flag 195652/2625770
727.52/367.24	c cleaning 14030 clauses out of 28063 with flag 226864/2640769
731.32/369.15	c cleaning 15016 clauses out of 30033 with flag 261073/2656769
735.92/371.41	c cleaning 16004 clauses out of 32018 with flag 296102/2673770
740.42/373.68	c cleaning 17004 clauses out of 34013 with flag 332843/2691769
745.42/376.10	c cleaning 18004 clauses out of 36010 with flag 372924/2710770
751.02/378.91	c cleaning 19004 clauses out of 38007 with flag 413301/2730771
757.21/382.00	c cleaning 20000 clauses out of 40001 with flag 458342/2751769
763.91/385.39	c cleaning 20995 clauses out of 42002 with flag 503057/2773770
771.51/389.14	c cleaning 22003 clauses out of 44006 with flag 550186/2796769
779.30/393.05	c cleaning 22997 clauses out of 46004 with flag 600440/2820770
788.22/397.42	c cleaning 23998 clauses out of 48005 with flag 654309/2845768
797.82/402.26	c cleaning 25002 clauses out of 50007 with flag 710354/2871768
807.43/407.09	c cleaning 25995 clauses out of 52006 with flag 766749/2898769
819.13/412.81	c cleaning 26994 clauses out of 54010 with flag 825063/2926768
831.32/418.94	c cleaning 28005 clauses out of 56017 with flag 883241/2955769
844.85/425.60	c cleaning 29003 clauses out of 58011 with flag 943575/2985768
857.78/432.04	c cleaning 30001 clauses out of 60008 with flag 1005779/3016768
871.59/438.94	c cleaning 31004 clauses out of 62008 with flag 1070002/3048769
883.71/444.99	c cleaning 32002 clauses out of 64003 with flag 1136564/3081768
897.11/451.60	c cleaning 33001 clauses out of 66001 with flag 1210979/3115768
911.03/458.51	c cleaning 33995 clauses out of 68001 with flag 1282835/3150769
925.83/465.98	c cleaning 34998 clauses out of 70005 with flag 1357843/3186768
943.36/474.67	c cleaning 36003 clauses out of 72008 with flag 1433563/3223769
963.50/484.65	c cleaning 36997 clauses out of 74005 with flag 1517124/3261769
983.25/494.46	c cleaning 37996 clauses out of 76007 with flag 1611793/3300768
1004.41/504.99	c cleaning 39000 clauses out of 78011 with flag 1701787/3340768
1025.95/515.60	c cleaning 39997 clauses out of 80011 with flag 1791645/3381768
1045.95/525.61	c cleaning 41004 clauses out of 82016 with flag 1878735/3423770
1066.30/535.77	c cleaning 42000 clauses out of 84010 with flag 1968047/3466768
1088.00/546.57	c cleaning 43002 clauses out of 86011 with flag 2058250/3510769
1109.91/557.43	c cleaning 44001 clauses out of 88008 with flag 2151525/3555768
1128.85/567.33	c cleaning 44997 clauses out of 90007 with flag 2256506/3601768
1148.09/576.90	c cleaning 46000 clauses out of 92010 with flag 2363100/3648768
1169.55/587.66	c cleaning 47001 clauses out of 94012 with flag 2469748/3696770
1189.22/597.46	c cleaning 48001 clauses out of 96009 with flag 2577384/3745768
1210.46/608.07	c cleaning 49000 clauses out of 98008 with flag 2687029/3795768
1228.74/617.17	c cleaning 49998 clauses out of 100008 with flag 2798563/3846768
1245.01/625.27	c And the winner is solver0
1245.41/625.82	c Got one! Elapsed wall clock time (in seconds):625.706
1245.41/625.82	o -94
1249.36/627.80	c cleaning 50055 clauses out of 100109 with flag 10037/3896867
1251.76/629.06	c cleaning 28027 clauses out of 56055 with flag 22068/3902868
1253.56/629.98	c cleaning 17511 clauses out of 35028 with flag 36104/3909868
1255.63/630.92	c cleaning 12750 clauses out of 25516 with flag 52128/3917867
1257.43/631.86	c cleaning 10883 clauses out of 21766 with flag 70188/3926867
1259.23/632.71	c cleaning 10435 clauses out of 20884 with flag 90815/3936868
1261.25/633.76	c cleaning 10722 clauses out of 21450 with flag 114120/3947869
1263.63/634.91	c cleaning 11359 clauses out of 22726 with flag 139252/3959867
1266.43/636.32	c cleaning 12184 clauses out of 24367 with flag 167233/3972867
1269.23/637.76	c cleaning 13093 clauses out of 26185 with flag 197039/3986869
1272.73/639.47	c cleaning 14042 clauses out of 28090 with flag 228333/4001867
1276.13/641.19	c cleaning 15022 clauses out of 30049 with flag 261434/4017868
1280.13/643.13	c cleaning 16010 clauses out of 32027 with flag 297364/4034868
1284.33/645.22	c cleaning 17002 clauses out of 34017 with flag 334233/4052868
1289.23/647.62	c cleaning 18001 clauses out of 36014 with flag 372331/4071867
1294.44/650.22	c cleaning 19004 clauses out of 38015 with flag 412833/4091869
1300.03/653.03	c cleaning 20002 clauses out of 40009 with flag 455077/4112867
1306.33/656.13	c cleaning 20997 clauses out of 42007 with flag 499985/4134867
1312.33/659.16	c cleaning 22005 clauses out of 44012 with flag 549666/4157869
1319.73/662.84	c cleaning 22999 clauses out of 46005 with flag 604402/4181867
1327.88/666.86	c cleaning 24000 clauses out of 48006 with flag 661329/4206867
1335.48/670.62	c cleaning 24996 clauses out of 50006 with flag 714993/4232867
1344.64/675.18	c cleaning 26007 clauses out of 52013 with flag 771196/4259870
1354.65/680.12	c cleaning 26998 clauses out of 54003 with flag 834084/4287867
1365.58/685.50	c cleaning 28002 clauses out of 56006 with flag 903593/4316868
1376.78/691.13	c cleaning 28996 clauses out of 58004 with flag 972083/4346868
1387.87/696.65	c cleaning 30001 clauses out of 60007 with flag 1035889/4377867
1401.08/703.23	c cleaning 30995 clauses out of 62006 with flag 1102386/4409867
1415.56/710.46	c cleaning 32001 clauses out of 64011 with flag 1175071/4442867
1429.76/717.52	c cleaning 33005 clauses out of 66011 with flag 1247336/4476868
1441.63/723.46	c cleaning 33997 clauses out of 68005 with flag 1324005/4511867
1455.51/730.37	c cleaning 35005 clauses out of 70009 with flag 1400558/4547868
1473.71/739.41	c cleaning 36002 clauses out of 72003 with flag 1475269/4584867
1492.16/748.69	c cleaning 36995 clauses out of 74002 with flag 1551959/4622868
1511.46/758.29	c cleaning 37998 clauses out of 76006 with flag 1630629/4661867
1532.70/768.89	c cleaning 38998 clauses out of 78008 with flag 1711418/4701867
1556.19/780.53	c cleaning 40005 clauses out of 80011 with flag 1794220/4742868
1578.73/791.79	c cleaning 41001 clauses out of 82005 with flag 1879017/4784867
1603.83/804.24	c cleaning 41997 clauses out of 84004 with flag 1965850/4827867
1632.17/818.32	c cleaning 43000 clauses out of 86008 with flag 2054809/4871868
1661.15/832.73	c cleaning 44001 clauses out of 88007 with flag 2145782/4916867
1692.35/848.91	c cleaning 45002 clauses out of 90007 with flag 2238726/4962868
1725.46/865.44	c cleaning 46001 clauses out of 92004 with flag 2333760/5009867
1764.96/885.14	c cleaning 46999 clauses out of 94004 with flag 2430693/5057868
1800.15/902.60	c >>>>>>>>>> Solver number 0 (18 answers) <<<<<<<<<<<<<<<<<<
1800.15/902.60	c starts		: 38079
1800.15/902.60	c conflicts		: 5103359
1800.15/902.60	c decisions		: 7686465
1800.15/902.60	c propagations		: 63767167
1800.15/902.60	c inspects		: 12133805482
1800.15/902.60	c shortcuts		: 0
1800.15/902.60	c learnt literals	: 0
1800.15/902.60	c learnt binary clauses	: 251
1800.15/902.60	c learnt ternary clauses	: 593
1800.15/902.60	c learnt constraints	: 5103359
1800.15/902.60	c ignored constraints	: 0
1800.15/902.60	c root simplifications	: 0
1800.15/902.60	c removed literals (reason simplification)	: 17723502
1800.15/902.60	c reason swapping (by a shorter reason)	: 0
1800.15/902.60	c Calls to reduceDB	: 250
1800.15/902.60	c Number of update (reduction) of LBD	: 114234
1800.15/902.60	c Imported unit clauses	: 0
1800.15/902.60	c number of reductions to clauses (during analyze)	: 0
1800.15/902.60	c number of learned constraints concerned by reduction	: 0
1800.15/902.60	c number of learning phase by resolution	: 0
1800.15/902.60	c number of learning phase by cutting planes	: 0
1800.15/902.60	c speed (assignments/second)	: 91460.35705116528
1800.15/902.60	c non guided choices	0
1800.15/902.63	c learnt constraints type 
1800.15/902.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 251
1800.15/902.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 92245
1800.15/902.63	c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<<
1800.15/902.63	c starts		: 103
1800.15/902.63	c conflicts		: 13921
1800.15/902.63	c decisions		: 17229
1800.15/902.63	c propagations		: 300179
1800.15/902.63	c inspects		: 907650126
1800.15/902.63	c shortcuts		: 0
1800.15/902.63	c learnt literals	: 0
1800.15/902.63	c learnt binary clauses	: 0
1800.15/902.63	c learnt ternary clauses	: 14
1800.15/902.63	c learnt constraints	: 13909
1800.15/902.63	c ignored constraints	: 0
1800.15/902.63	c root simplifications	: 0
1800.15/902.63	c removed literals (reason simplification)	: 0
1800.15/902.63	c reason swapping (by a shorter reason)	: 0
1800.15/902.63	c Calls to reduceDB	: 1
1800.15/902.63	c Number of update (reduction) of LBD	: 0
1800.15/902.63	c Imported unit clauses	: 0
1800.15/902.63	c number of reductions to clauses (during analyze)	: 0
1800.15/902.63	c number of learned constraints concerned by reduction	: 0
1800.15/902.63	c number of learning phase by resolution	: 0
1800.15/902.63	c number of learning phase by cutting planes	: 0
1800.15/902.63	c speed (assignments/second)	: 1084.4381985939613
1800.15/902.63	c non guided choices	0
1800.15/902.63	c learnt constraints type 
1800.15/902.63	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 12
1800.15/902.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13897
1800.15/902.63	s SATISFIABLE
1800.15/902.63	c Found 22 solution(s)
1800.15/902.63	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 x30 -x31 x32 x33 x34 -x35 
1800.15/902.63	c objective function=-94
1800.15/902.63	c Total wall clock time (in seconds): 902.521

Verifier Data 

OK	-94

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-4119485-1467257430/watcher-4119485-1467257430 -o /tmp/evaluation-result-4119485-1467257430/solver-4119485-1467257430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119485-1467257430.opb 

pid=15971
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: 4.03 4.18 4.16 4/198 15974
/proc/meminfo: memFree=27706500/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 6710430 98570240 977 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 24065 977 743 9 0 16771 0
[pid=15974/tid=15975] ppid=15971 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) R 15971 15974 11545 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 6710431 98570240 977 33554432000 1073741824 1073778376 140735436379904 140661443972648 219513963904 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 4.03 4.18 4.16 4/198 15974
/proc/meminfo: memFree=27706500/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 4408 0 1 0 9 1 0 0 20 0 18 0 6710430 9787879424 6036 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2389619 6036 2126 9 0 2380296 0
[pid=15974/tid=15975] ppid=15971 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) R 15971 15974 11545 0 -1 4202560 2391 0 1 0 7 0 0 0 20 0 18 0 6710431 9787879424 6036 33554432000 1073741824 1073778376 140735436379904 140661443976920 140661451868106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200351 s]
/proc/loadavg: 4.03 4.18 4.16 4/198 15974
/proc/meminfo: memFree=27706500/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 4602 0 1 0 19 1 0 0 20 0 19 0 6710430 10060525568 7734 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 7734 2183 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2413 0 1 0 15 1 0 0 20 0 19 0 6710431 10060525568 7734 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9824732

[startup+0.300363 s]
/proc/loadavg: 4.03 4.18 4.16 4/198 15974
/proc/meminfo: memFree=27706500/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 4602 0 1 0 19 1 0 0 20 0 19 0 6710430 10060525568 7734 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 7734 2183 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2413 0 1 0 15 1 0 0 20 0 19 0 6710431 10060525568 7734 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9824732

[startup+0.700238 s]
/proc/loadavg: 4.03 4.18 4.16 4/198 15974
/proc/meminfo: memFree=27706500/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 4645 0 1 0 20 1 0 0 20 0 19 0 6710430 10060525568 8787 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 8787 2202 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2413 0 1 0 15 1 0 0 20 0 19 0 6710431 10060525568 8787 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 4.03 4.18 4.16 3/217 15999
/proc/meminfo: memFree=27651192/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 4693 0 1 0 25 3 0 0 20 0 19 0 6710430 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 9822 2210 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2413 0 1 0 15 2 0 0 20 0 19 0 6710431 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661405468968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15978] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15978/stat : 15978 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661404416168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15979] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15979/stat : 15979 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661403363880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15980] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15980/stat : 15980 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661402311080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15981] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15981/stat : 15981 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661401258792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15982] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15982/stat : 15982 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661400205992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15983] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15983/stat : 15983 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661399153704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15984] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15984/stat : 15984 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661398100904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15985] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15985/stat : 15985 (java) S 15971 15974 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6710433 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661267351784 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15986] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15986/stat : 15986 (java) S 15971 15974 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6710433 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661266297848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15987] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15987/stat : 15987 (java) S 15971 15974 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6710433 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661265245448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15988] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15988/stat : 15988 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710436 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661264193936 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15989] ppid=15971 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15974/task/15989/stat : 15989 (java) S 15971 15974 11545 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 19 0 6710436 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661263141560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15990] ppid=15971 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/15974/task/15990/stat : 15990 (java) S 15971 15974 11545 0 -1 4202560 570 0 0 0 2 0 0 0 20 0 19 0 6710436 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661262088760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15991] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15991/stat : 15991 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710436 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661261036664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15992] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15992/stat : 15992 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710436 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661259984072 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15996] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15996/stat : 15996 (java) S 15971 15974 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6710449 10060525568 9822 33554432000 1073741824 1073778376 140735436379904 140661255771176 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.03 4.18 4.16 7/220 16005
/proc/meminfo: memFree=27302672/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 19233 0 1 0 320 10 0 0 20 0 19 0 6710430 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 38796 2263 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2413 0 1 0 16 2 0 0 20 0 19 0 6710431 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661405468968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15978] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15978/stat : 15978 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661404416168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15979] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15979/stat : 15979 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661403363880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15980] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15980/stat : 15980 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661402311080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15981] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15981/stat : 15981 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661401258792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15982] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15982/stat : 15982 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661400205992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15983] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15983/stat : 15983 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661399153704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15984] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15984/stat : 15984 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6710432 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661398100904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15985] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15985/stat : 15985 (java) S 15971 15974 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6710433 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661267351784 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15986] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15986/stat : 15986 (java) S 15971 15974 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6710433 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661266297848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15987] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15987/stat : 15987 (java) S 15971 15974 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6710433 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661265245448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15988] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15988/stat : 15988 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710436 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661264193936 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15989] ppid=15971 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/15974/task/15989/stat : 15989 (java) S 15971 15974 11545 0 -1 4202560 7645 0 0 0 78 1 0 0 20 0 19 0 6710436 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661263141560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15990] ppid=15971 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/15974/task/15990/stat : 15990 (java) S 15971 15974 11545 0 -1 4202560 7750 0 0 0 77 1 0 0 20 0 19 0 6710436 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661262088760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15991] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15991/stat : 15991 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710436 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661261036664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15992] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15992/stat : 15992 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6710436 10060525568 38796 33554432000 1073741824 1073778376 140735436379904 140661259984072 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 9824732

[startup+6.30084 s]
/proc/loadavg: 4.03 4.18 4.16 5/220 16020
/proc/meminfo: memFree=26510424/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=9.48 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 29487 0 1 0 917 31 0 0 20 0 22 0 6710430 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 88679 2282 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2415 0 1 0 17 2 0 0 20 0 22 0 6710431 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (java) S 15971 15974 11545 0 -1 4202560 112 0 0 0 3 0 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661405468968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15978] ppid=15971 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/15974/task/15978/stat : 15978 (java) S 15971 15974 11545 0 -1 4202560 101 0 0 0 4 1 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661404416168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15979] ppid=15971 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15974/task/15979/stat : 15979 (java) S 15971 15974 11545 0 -1 4202560 14 0 0 0 2 1 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661403363880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15980] ppid=15971 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/15974/task/15980/stat : 15980 (java) S 15971 15974 11545 0 -1 4202560 114 0 0 0 3 1 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661402311080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15981] ppid=15971 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15974/task/15981/stat : 15981 (java) S 15971 15974 11545 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661401258792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15982] ppid=15971 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/15974/task/15982/stat : 15982 (java) S 15971 15974 11545 0 -1 4202560 103 0 0 0 3 0 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661400205992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15983] ppid=15971 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/15974/task/15983/stat : 15983 (java) S 15971 15974 11545 0 -1 4202560 42 0 0 0 3 2 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661399153704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15984] ppid=15971 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/15974/task/15984/stat : 15984 (java) S 15971 15974 11545 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 6710432 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661398100904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15985] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15985/stat : 15985 (java) S 15971 15974 11545 0 -1 4202560 207 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661267351784 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15986] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15986/stat : 15986 (java) S 15971 15974 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661266297848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15987] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15987/stat : 15987 (java) S 15971 15974 11545 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661265245448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15988] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15988/stat : 15988 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661264193936 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15989] ppid=15971 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
/proc/15974/task/15989/stat : 15989 (java) S 15971 15974 11545 0 -1 4202560 11518 0 0 0 144 2 0 0 20 0 22 0 6710436 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661263141560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15990] ppid=15971 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/15974/task/15990/stat : 15990 (java) S 15971 15974 11545 0 -1 4202560 13302 0 0 0 124 2 0 0 20 0 22 0 6710436 10060525568 88679 33554432000 1073741824 1073778376 140735436379904 140661262088760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15991] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=15974/tid=15984] ppid=15971 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/15974/task/15984/stat : 15984 (java) S 15971 15974 11545 0 -1 4202560 722 0 0 0 190 18 0 0 20 0 22 0 6710432 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661398100904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15985] ppid=15971 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/15974/task/15985/stat : 15985 (java) S 15971 15974 11545 0 -1 4202560 2160 0 0 0 208 10 0 0 20 0 22 0 6710433 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661267351784 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15986] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15986/stat : 15986 (java) S 15971 15974 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661266297848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15987] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15987/stat : 15987 (java) S 15971 15974 11545 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661265245448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15988] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15988/stat : 15988 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661264193936 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15989] ppid=15971 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/15974/task/15989/stat : 15989 (java) S 15971 15974 11545 0 -1 4202560 13102 0 0 0 179 3 0 0 20 0 22 0 6710436 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661263141560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15990] ppid=15971 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15974/task/15990/stat : 15990 (java) S 15971 15974 11545 0 -1 4202560 15269 0 0 0 157 2 0 0 20 0 22 0 6710436 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661262088760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15991] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15991/stat : 15991 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661261036664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15992] ppid=15971 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/15974/task/15992/stat : 15992 (java) S 15971 15974 11545 0 -1 4202560 47 0 0 0 15 17 0 0 20 0 22 0 6710436 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661259984072 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=16045] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/16045/stat : 16045 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6730970 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661256824104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=16078] ppid=15971 vsize=9824732 CPUtime=194.86 cores=0,2,4,6
/proc/15974/task/16078/stat : 16078 (java) R 15971 15974 11545 0 -1 4202560 15 0 0 0 19484 2 0 0 20 0 22 0 6773013 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661258927672 140661270036645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=16079] ppid=15971 vsize=9824732 CPUtime=194.85 cores=0,2,4,6
/proc/15974/task/16079/stat : 16079 (java) R 15971 15974 11545 0 -1 4202560 67 0 0 0 19482 3 0 0 20 0 22 0 6773013 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661255768816 140661270068468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=16080] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/16080/stat : 16080 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6773013 10060525568 679515 33554432000 1073741824 1073778376 140735436379904 140661257876776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1638.18
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.75 3.98 4.06 3/216 16196
/proc/meminfo: memFree=27002332/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=1757.3 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 41880 0 1 0 175477 253 0 0 20 0 22 0 6710430 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 612007 2296 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2422 0 1 0 22 3 0 0 20 0 22 0 6710431 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (java) S 15971 15974 11545 0 -1 4202560 647 0 0 0 187 17 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661405468968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15978] ppid=15971 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/15974/task/15978/stat : 15978 (java) S 15971 15974 11545 0 -1 4202560 738 0 0 0 207 16 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661404416168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15979] ppid=15971 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/15974/task/15979/stat : 15979 (java) S 15971 15974 11545 0 -1 4202560 542 0 0 0 200 16 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661403363880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15980] ppid=15971 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/15974/task/15980/stat : 15980 (java) S 15971 15974 11545 0 -1 4202560 657 0 0 0 194 17 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661402311080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15981] ppid=15971 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/15974/task/15981/stat : 15981 (java) S 15971 15974 11545 0 -1 4202560 644 0 0 0 217 16 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661401258792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15982] ppid=15971 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/15974/task/15982/stat : 15982 (java) S 15971 15974 11545 0 -1 4202560 623 0 0 0 222 13 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661400205992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15983] ppid=15971 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/15974/task/15983/stat : 15983 (java) S 15971 15974 11545 0 -1 4202560 639 0 0 0 205 22 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661399153704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15984] ppid=15971 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/15974/task/15984/stat : 15984 (java) S 15971 15974 11545 0 -1 4202560 731 0 0 0 204 19 0 0 20 0 22 0 6710432 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661398100904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15985] ppid=15971 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/15974/task/15985/stat : 15985 (java) S 15971 15974 11545 0 -1 4202560 2234 0 0 0 337 11 0 0 20 0 22 0 6710433 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661267351784 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15986] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15986/stat : 15986 (java) S 15971 15974 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661266297848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15987] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15987/stat : 15987 (java) S 15971 15974 11545 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661265245448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15988] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15988/stat : 15988 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661264193936 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15989] ppid=15971 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/15974/task/15989/stat : 15989 (java) S 15971 15974 11545 0 -1 4202560 13102 0 0 0 179 3 0 0 20 0 22 0 6710436 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661263141560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15990] ppid=15971 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15974/task/15990/stat : 15990 (java) S 15971 15974 11545 0 -1 4202560 15269 0 0 0 157 2 0 0 20 0 22 0 6710436 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661262088760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15991] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15991/stat : 15991 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661261036664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15992] ppid=15971 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/15974/task/15992/stat : 15992 (java) S 15971 15974 11545 0 -1 4202560 51 0 0 0 17 18 0 0 20 0 22 0 6710436 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661259984072 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=16045] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/16045/stat : 16045 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6730970 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661256824104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=16078] ppid=15971 vsize=9824732 CPUtime=253.12 cores=0,2,4,6
/proc/15974/task/16078/stat : 16078 (java) R 15971 15974 11545 0 -1 4202560 17 0 0 0 25309 3 0 0 20 0 22 0 6773013 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661258926752 140661269986095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=16079] ppid=15971 vsize=9824732 CPUtime=253.12 cores=0,2,4,6
/proc/15974/task/16079/stat : 16079 (java) R 15971 15974 11545 0 -1 4202560 71 0 0 0 25308 4 0 0 20 0 22 0 6773013 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661255769712 140661270068360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=16080] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/16080/stat : 16080 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6773013 10060525568 612007 33554432000 1073741824 1073778376 140735436379904 140661257876776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1757.3
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.601 s]
/proc/loadavg: 3.40 3.88 4.03 4/217 16289
/proc/meminfo: memFree=26737000/32872528 swapFree=13208/1155804
[pid=15974] ppid=15971 vsize=9824732 CPUtime=1798.08 cores=0,2,4,6
/proc/15974/stat : 15974 (java) S 15971 15974 11545 0 -1 4202496 41887 0 1 0 179554 254 0 0 20 0 22 0 6710430 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140735436371040 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15974/statm: 2456183 586838 2296 9 0 2446860 0
[pid=15974/tid=15975] ppid=15971 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/15974/task/15975/stat : 15975 (java) S 15971 15974 11545 0 -1 4202560 2422 0 1 0 23 3 0 0 20 0 22 0 6710431 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661443978104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15977] ppid=15971 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/15974/task/15977/stat : 15977 (java) S 15971 15974 11545 0 -1 4202560 647 0 0 0 191 17 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661405468968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15978] ppid=15971 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/15974/task/15978/stat : 15978 (java) S 15971 15974 11545 0 -1 4202560 738 0 0 0 217 16 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661404416168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15979] ppid=15971 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/15974/task/15979/stat : 15979 (java) S 15971 15974 11545 0 -1 4202560 542 0 0 0 205 16 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661403363880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15980] ppid=15971 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/15974/task/15980/stat : 15980 (java) S 15971 15974 11545 0 -1 4202560 657 0 0 0 197 17 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661402311080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15981] ppid=15971 vsize=9824732 CPUtime=2.36 cores=0,2,4,6
/proc/15974/task/15981/stat : 15981 (java) S 15971 15974 11545 0 -1 4202560 644 0 0 0 220 16 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661401258792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15982] ppid=15971 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/15974/task/15982/stat : 15982 (java) S 15971 15974 11545 0 -1 4202560 623 0 0 0 228 13 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661400205992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15983] ppid=15971 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/15974/task/15983/stat : 15983 (java) S 15971 15974 11545 0 -1 4202560 639 0 0 0 213 22 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661399153704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15984] ppid=15971 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/15974/task/15984/stat : 15984 (java) S 15971 15974 11545 0 -1 4202560 731 0 0 0 209 19 0 0 20 0 22 0 6710432 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661398100904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15985] ppid=15971 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/15974/task/15985/stat : 15985 (java) S 15971 15974 11545 0 -1 4202560 2236 0 0 0 338 11 0 0 20 0 22 0 6710433 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661267351784 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15986] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15986/stat : 15986 (java) S 15971 15974 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661266297848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=15987] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15987/stat : 15987 (java) S 15971 15974 11545 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 6710433 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661265245448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15988] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15988/stat : 15988 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661264193936 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=15989] ppid=15971 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/15974/task/15989/stat : 15989 (java) S 15971 15974 11545 0 -1 4202560 13102 0 0 0 179 3 0 0 20 0 22 0 6710436 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661263141560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15990] ppid=15971 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15974/task/15990/stat : 15990 (java) S 15971 15974 11545 0 -1 4202560 15269 0 0 0 157 2 0 0 20 0 22 0 6710436 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661262088760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=15991] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/15991/stat : 15991 (java) S 15971 15974 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6710436 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661261036664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=15992] ppid=15971 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/15974/task/15992/stat : 15992 (java) S 15971 15974 11545 0 -1 4202560 53 0 0 0 17 18 0 0 20 0 22 0 6710436 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661259984072 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15974/tid=16045] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/16045/stat : 16045 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6730970 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661256824104 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15974/tid=16078] ppid=15971 vsize=9824732 CPUtime=273.25 cores=0,2,4,6
/proc/15974/task/16078/stat : 16078 (java) R 15971 15974 11545 0 -1 4202560 17 0 0 0 27321 4 0 0 20 0 22 0 6773013 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661258926752 140661269986095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15974/tid=16079] ppid=15971 vsize=9824732 CPUtime=273.23 cores=0,2,4,6
/proc/15974/task/16079/stat : 16079 (java) R 15971 15974 11545 0 -1 4202560 74 0 0 0 27318 5 0 0 20 0 22 0 6773013 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661255769904 140661270200013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15974/tid=16080] ppid=15971 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15974/task/16080/stat : 16080 (java) S 15971 15974 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6773013 10060525568 586838 33554432000 1073741824 1073778376 140735436379904 140661257876776 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.08
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 15974 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 15974 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=237234
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=873563
# CPU time returned by wait4() is 1797.11
# while last known CPU time is 1798.08
#
# 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): 2.06998
#  lost CPU user time (s): 2.22998
#  lost CPU system time (s): -0.16

Real time (s): 902.662
CPU time (s): 1800.15
CPU user time (s): 1797.77
CPU system time (s): 2.38
CPU usage (%): 199.427
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 2.87356
maximum resident set size= 3257228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41929
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24804
involuntary context switches= 26343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79312 second user time and 7.2549 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-30 05:30:30
IDJOB=4119485
IDBENCH=111742
IDSOLVER=2543
FILE ID=node114/4119485-1467257430
RUNJOBID= node114-1467246678-11561
PBS_JOBID= 20004474
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119485-1467257430/watcher-4119485-1467257430 -o /tmp/evaluation-result-4119485-1467257430/solver-4119485-1467257430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11561 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119485-1467257430.opb

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

MD5SUM BENCH= 2770917894a9bb7aef116dc192cdb6a7
RANDOM SEED=745634169

node114.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.752
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.50
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.752
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.752
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.752
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.752
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.752
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.56
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.752
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.56
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.752
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:        27707556 kB
Buffers:          121896 kB
Cached:          1212772 kB
SwapCached:            0 kB
Active:          2029080 kB
Inactive:        1212656 kB
Active(anon):    1909764 kB
Inactive(anon):        0 kB
Active(file):     119316 kB
Inactive(file):  1212656 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1796 kB
Writeback:             0 kB
AnonPages:       3144900 kB
Mapped:            22248 kB
Shmem:               204 kB
Slab:             608872 kB
SReclaimable:      53004 kB
SUnreclaim:       555868 kB
KernelStack:        1816 kB
PageTables:        10600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4402972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3065856 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= 71668 MiB
End job on node114 at 2016-06-30 05:45:33