Trace number 4085247

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)6879 1800.02 1790.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUMa8708c855e8ec8c2a31771025318bb9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4834
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4822
Optimality of the best value was proved YES
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4085247-1465229546.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.25/0.29	c ... done. Wall clock time 0.166s.
0.25/0.29	c declared #vars     771
0.25/0.29	c #constraints  1951
0.25/0.29	c constraints type 
0.25/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1520
0.25/0.29	c org.sat4j.specs.Constr$1 => 35
0.25/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 385
0.25/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 11
0.25/0.29	c 1951 constraints processed.
0.25/0.29	c objective function length is 771 literals
0.49/0.31	c SATISFIABLE
0.49/0.31	c OPTIMIZING...
0.49/0.31	c Got one! Elapsed wall clock time (in seconds):0.188
0.49/0.31	o 7051
0.49/0.33	c Got one! Elapsed wall clock time (in seconds):0.206
0.49/0.33	o 7045
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.219
0.49/0.34	o 6979
0.49/0.35	c Got one! Elapsed wall clock time (in seconds):0.231
0.49/0.35	o 6956
1.05/0.51	c Got one! Elapsed wall clock time (in seconds):0.394
1.05/0.51	o 6953
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.405
1.05/0.53	o 6944
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.411
1.05/0.53	o 6935
1.05/0.57	c Got one! Elapsed wall clock time (in seconds):0.446
1.05/0.57	o 6933
1.55/0.89	c cleaning 2934 clauses out of 5875 with flag 10242/5875
2.02/1.24	c cleaning 4466 clauses out of 8941 with flag 22457/11875
2.41/1.65	c cleaning 5731 clauses out of 11475 with flag 37716/18875
2.92/2.18	c cleaning 6865 clauses out of 13743 with flag 55702/26874
3.65/2.83	c cleaning 7932 clauses out of 15879 with flag 76220/35875
4.35/3.57	c cleaning 8962 clauses out of 17946 with flag 99036/45874
5.26/4.41	c cleaning 9979 clauses out of 19986 with flag 123990/56876
6.26/5.44	c cleaning 10994 clauses out of 22005 with flag 151419/68874
7.47/6.62	c cleaning 11993 clauses out of 24011 with flag 180901/81874
8.76/7.96	c cleaning 12999 clauses out of 26019 with flag 212760/95875
10.16/9.31	c cleaning 13998 clauses out of 28020 with flag 246726/110875
11.87/11.01	c cleaning 15001 clauses out of 30022 with flag 283824/126875
13.40/12.53	c cleaning 16006 clauses out of 32021 with flag 322503/143875
15.10/14.30	c cleaning 16993 clauses out of 34016 with flag 364013/161876
17.21/16.34	c cleaning 18004 clauses out of 36021 with flag 407832/180874
19.61/18.74	c cleaning 19000 clauses out of 38018 with flag 453932/200875
22.21/21.32	c cleaning 19997 clauses out of 40017 with flag 501976/221874
24.81/23.95	c cleaning 20999 clauses out of 42020 with flag 551814/243874
27.71/26.82	c cleaning 22002 clauses out of 44022 with flag 604287/266875
30.80/29.82	c cleaning 22997 clauses out of 46020 with flag 659050/290875
33.89/32.95	c cleaning 24000 clauses out of 48023 with flag 716175/315875
37.10/36.16	c cleaning 24999 clauses out of 50022 with flag 775224/341874
40.80/39.83	c cleaning 25998 clauses out of 52023 with flag 836666/368874
44.30/43.31	c cleaning 27001 clauses out of 54025 with flag 899765/396874
47.60/46.61	c cleaning 28002 clauses out of 56024 with flag 965236/425874
51.64/50.53	c cleaning 28998 clauses out of 58022 with flag 1033633/455874
55.64/54.55	c cleaning 30005 clauses out of 60025 with flag 1104004/486875
60.14/59.00	c cleaning 31000 clauses out of 62019 with flag 1177230/518874
65.05/63.95	c cleaning 31995 clauses out of 64019 with flag 1252287/551874
70.04/68.90	c cleaning 33001 clauses out of 66024 with flag 1329298/585874
74.03/72.88	c cleaning 34004 clauses out of 68023 with flag 1408011/620874
78.83/77.66	c cleaning 35000 clauses out of 70020 with flag 1490338/656875
83.84/82.68	c cleaning 36002 clauses out of 72020 with flag 1574323/693875
90.13/88.90	c cleaning 36995 clauses out of 74018 with flag 1660852/731875
96.27/94.95	c cleaning 38000 clauses out of 76022 with flag 1749239/770874
102.68/101.35	c cleaning 38997 clauses out of 78022 with flag 1840098/810874
109.47/108.11	c cleaning 39997 clauses out of 80025 with flag 1933698/851874
116.07/114.73	c cleaning 41004 clauses out of 82029 with flag 2027985/893875
122.79/121.33	c cleaning 41998 clauses out of 84025 with flag 2123563/936875
123.09/121.60	c Got one! Elapsed wall clock time (in seconds):121.483
123.09/121.60	o 6931
123.09/121.61	c Got one! Elapsed wall clock time (in seconds):121.487
123.09/121.61	o 6929
123.09/121.65	c Got one! Elapsed wall clock time (in seconds):121.526
123.09/121.65	o 6926
123.09/121.66	c Got one! Elapsed wall clock time (in seconds):121.535
123.09/121.66	o 6917
123.09/121.66	c Got one! Elapsed wall clock time (in seconds):121.539
123.09/121.66	o 6908
123.29/121.71	c Got one! Elapsed wall clock time (in seconds):121.59
123.29/121.71	o 6906
123.74/122.15	c cleaning 24170 clauses out of 48363 with flag 6875/943211
124.33/122.72	c cleaning 15081 clauses out of 30193 with flag 20532/949211
124.84/123.29	c cleaning 11038 clauses out of 22113 with flag 36839/956212
125.43/123.84	c cleaning 9532 clauses out of 19075 with flag 55007/964212
125.94/124.39	c cleaning 9264 clauses out of 18542 with flag 75518/973211
126.63/125.08	c cleaning 9630 clauses out of 19278 with flag 98432/983211
127.53/125.90	c cleaning 10317 clauses out of 20648 with flag 123534/994211
128.43/126.88	c cleaning 11159 clauses out of 22331 with flag 151078/1006211
129.43/127.89	c cleaning 12078 clauses out of 24173 with flag 180799/1019212
130.65/129.09	c cleaning 13033 clauses out of 26095 with flag 212946/1033212
132.06/130.34	c cleaning 14017 clauses out of 28062 with flag 246940/1048212
133.46/131.79	c cleaning 15016 clauses out of 30045 with flag 283736/1064212
135.06/133.33	c cleaning 16003 clauses out of 32028 with flag 323054/1081211
136.76/135.10	c cleaning 17003 clauses out of 34026 with flag 364501/1099212
138.76/137.05	c cleaning 18000 clauses out of 36023 with flag 408419/1118212
140.76/139.06	c cleaning 19002 clauses out of 38023 with flag 454160/1138212
142.96/141.27	c cleaning 19999 clauses out of 40020 with flag 502387/1159211
145.26/143.57	c cleaning 21000 clauses out of 42021 with flag 552380/1181211
148.04/146.30	c cleaning 21996 clauses out of 44021 with flag 604959/1204211
150.94/149.18	c cleaning 23002 clauses out of 46025 with flag 660323/1228211
153.94/152.10	c cleaning 24004 clauses out of 48024 with flag 717561/1253212
157.44/155.64	c cleaning 24999 clauses out of 50021 with flag 777584/1279213
160.74/158.93	c cleaning 26006 clauses out of 52021 with flag 839148/1306212
164.85/162.96	c cleaning 26994 clauses out of 54015 with flag 903816/1334212
169.34/167.45	c cleaning 27997 clauses out of 56020 with flag 970423/1363211
173.65/171.74	c cleaning 28999 clauses out of 58023 with flag 1039743/1393211
178.44/176.52	c cleaning 29998 clauses out of 60024 with flag 1110773/1424211
183.90/181.93	c cleaning 31001 clauses out of 62026 with flag 1184235/1456211
189.20/187.22	c cleaning 31998 clauses out of 64026 with flag 1260457/1489212
193.60/191.66	c cleaning 33000 clauses out of 66027 with flag 1338187/1523211
198.40/196.42	c cleaning 33996 clauses out of 68027 with flag 1418560/1558211
204.07/202.04	c cleaning 35003 clauses out of 70031 with flag 1501005/1594211
209.57/207.57	c cleaning 36005 clauses out of 72029 with flag 1586045/1631212
214.57/212.54	c cleaning 37005 clauses out of 74024 with flag 1672757/1669212
221.57/219.58	c cleaning 37999 clauses out of 76019 with flag 1762520/1708212
228.34/226.29	c cleaning 38998 clauses out of 78019 with flag 1854503/1748211
235.54/233.43	c cleaning 39999 clauses out of 80021 with flag 1947684/1789211
243.24/241.18	c cleaning 40996 clauses out of 82022 with flag 2044142/1831211
251.20/249.07	c cleaning 42000 clauses out of 84027 with flag 2141434/1874212
259.50/257.39	c cleaning 43004 clauses out of 86027 with flag 2241921/1918212
267.50/265.35	c cleaning 43995 clauses out of 88022 with flag 2345037/1963211
275.87/273.70	c cleaning 45003 clauses out of 90027 with flag 2449733/2009211
286.07/283.89	c cleaning 45996 clauses out of 92024 with flag 2557346/2056211
296.05/293.80	c cleaning 46993 clauses out of 94028 with flag 2666934/2104211
306.05/303.79	c cleaning 48003 clauses out of 96035 with flag 2779339/2153211
317.34/315.05	c cleaning 49009 clauses out of 98032 with flag 2893704/2203211
328.80/326.47	c cleaning 49998 clauses out of 100024 with flag 3011008/2254212
339.60/337.24	c cleaning 51002 clauses out of 102025 with flag 3130318/2306211
350.49/348.07	c cleaning 51998 clauses out of 104024 with flag 3251823/2359212
364.79/362.38	c cleaning 52997 clauses out of 106026 with flag 3375681/2413212
378.12/375.66	c cleaning 54005 clauses out of 108028 with flag 3501225/2468211
388.42/385.94	c cleaning 55001 clauses out of 110025 with flag 3628327/2524213
400.28/397.72	c cleaning 55997 clauses out of 112022 with flag 3759243/2581211
412.08/409.57	c cleaning 56996 clauses out of 114026 with flag 3892485/2639212
424.41/421.85	c cleaning 58002 clauses out of 116030 with flag 4026447/2698212
440.37/437.77	c cleaning 58998 clauses out of 118027 with flag 4162643/2758211
454.17/451.56	c cleaning 60004 clauses out of 120030 with flag 4301633/2819212
469.94/467.30	c cleaning 61003 clauses out of 122025 with flag 4443248/2881211
489.83/487.17	c cleaning 62002 clauses out of 124024 with flag 4587204/2944213
505.47/502.80	c cleaning 62999 clauses out of 126020 with flag 4733300/3008211
520.93/518.17	c cleaning 63994 clauses out of 128021 with flag 4882351/3073211
533.92/531.11	c cleaning 65005 clauses out of 130029 with flag 5030976/3139213
546.49/543.67	c cleaning 65992 clauses out of 132022 with flag 5182241/3206211
557.81/554.99	c cleaning 66998 clauses out of 134032 with flag 5335513/3274213
572.71/569.89	c cleaning 68003 clauses out of 136032 with flag 5493317/3343211
592.14/589.29	c cleaning 69001 clauses out of 138029 with flag 5654280/3413211
609.87/606.98	c cleaning 70001 clauses out of 140029 with flag 5815356/3484212
630.50/627.54	c cleaning 70999 clauses out of 142027 with flag 5978941/3556211
648.18/645.13	c cleaning 72002 clauses out of 144029 with flag 6144930/3629212
664.97/661.87	c cleaning 73000 clauses out of 146026 with flag 6312896/3703211
683.15/680.03	c cleaning 73996 clauses out of 148026 with flag 6484639/3778211
705.15/702.06	c cleaning 75006 clauses out of 150030 with flag 6658359/3854211
727.79/724.65	c cleaning 75999 clauses out of 152025 with flag 6834627/3931212
749.75/746.54	c cleaning 76996 clauses out of 154026 with flag 7013089/4009212
773.23/769.92	c cleaning 78002 clauses out of 156030 with flag 7192822/4088212
796.96/793.60	c cleaning 79001 clauses out of 158028 with flag 7375310/4168212
817.78/814.45	c cleaning 80000 clauses out of 160027 with flag 7559630/4249212
837.01/833.69	c cleaning 80999 clauses out of 162026 with flag 7746454/4331211
861.02/857.54	c cleaning 81998 clauses out of 164028 with flag 7936459/4414212
884.68/881.17	c cleaning 83004 clauses out of 166030 with flag 8127643/4498212
909.71/906.18	c cleaning 83997 clauses out of 168026 with flag 8319902/4583212
932.50/928.86	c cleaning 85000 clauses out of 170031 with flag 8514219/4669214
958.52/954.89	c cleaning 85995 clauses out of 172028 with flag 8711201/4756211
983.52/979.77	c cleaning 87000 clauses out of 174033 with flag 8911295/4844211
992.77/988.99	c Got one! Elapsed wall clock time (in seconds):988.874
992.77/988.99	o 6904
994.89/991.09	c cleaning 69491 clauses out of 139002 with flag 10399/4896180
996.39/992.52	c cleaning 37743 clauses out of 75509 with flag 23090/4902178
997.49/993.62	c cleaning 22373 clauses out of 44766 with flag 39128/4909178
998.40/994.51	c cleaning 15185 clauses out of 30394 with flag 57203/4917179
999.19/995.35	c cleaning 12093 clauses out of 24208 with flag 77856/4926178
999.99/996.19	c cleaning 11044 clauses out of 22116 with flag 100768/4936179
1001.00/997.14	c cleaning 11025 clauses out of 22071 with flag 125883/4947178
1002.00/998.10	c cleaning 11512 clauses out of 23046 with flag 153389/4959178
1003.00/999.19	c cleaning 12258 clauses out of 24535 with flag 183198/4972179
1004.30/1000.46	c cleaning 13128 clauses out of 26276 with flag 215376/4986178
1005.71/1001.85	c cleaning 14058 clauses out of 28150 with flag 249827/5001180
1007.41/1003.51	c cleaning 15034 clauses out of 30090 with flag 286516/5017178
1009.11/1005.27	c cleaning 16020 clauses out of 32058 with flag 325794/5034180
1011.14/1007.20	c cleaning 17007 clauses out of 34036 with flag 367450/5052178
1013.14/1009.21	c cleaning 17997 clauses out of 36030 with flag 411059/5071179
1015.14/1011.27	c cleaning 19003 clauses out of 38032 with flag 456886/5091178
1017.56/1013.65	c cleaning 19998 clauses out of 40029 with flag 505015/5112178
1020.16/1016.24	c cleaning 21004 clauses out of 42031 with flag 555685/5134178
1023.01/1019.05	c cleaning 22002 clauses out of 44027 with flag 608412/5157178
1025.92/1022.00	c cleaning 23002 clauses out of 46026 with flag 663469/5181179
1029.26/1025.28	c cleaning 23999 clauses out of 48024 with flag 720933/5206179
1032.66/1028.68	c cleaning 24997 clauses out of 50026 with flag 780535/5232180
1036.38/1032.36	c cleaning 26003 clauses out of 52027 with flag 842360/5259178
1039.68/1035.69	c cleaning 26995 clauses out of 54024 with flag 905304/5287178
1043.72/1039.63	c cleaning 28006 clauses out of 56031 with flag 971459/5316180
1047.71/1043.61	c cleaning 28995 clauses out of 58024 with flag 1039417/5346179
1051.62/1047.50	c cleaning 29995 clauses out of 60029 with flag 1110037/5377179
1055.36/1051.27	c cleaning 31007 clauses out of 62033 with flag 1182446/5409178
1059.96/1055.84	c cleaning 32001 clauses out of 64027 with flag 1256589/5442179
1064.77/1060.61	c cleaning 33000 clauses out of 66026 with flag 1334005/5476179
1070.11/1065.93	c cleaning 33997 clauses out of 68025 with flag 1414269/5511178
1075.52/1071.32	c cleaning 34999 clauses out of 70028 with flag 1497134/5547178
1080.62/1076.49	c cleaning 35996 clauses out of 72029 with flag 1581232/5584178
1086.94/1082.71	c cleaning 37001 clauses out of 74033 with flag 1668833/5622178
1092.68/1088.40	c cleaning 38005 clauses out of 76033 with flag 1758008/5661179
1098.11/1093.89	c cleaning 38994 clauses out of 78028 with flag 1847209/5701179
1104.87/1100.54	c cleaning 39998 clauses out of 80035 with flag 1940982/5742180
1112.03/1107.68	c cleaning 41004 clauses out of 82036 with flag 2037494/5784179
1119.45/1115.02	c cleaning 42001 clauses out of 84032 with flag 2136348/5827179
1127.10/1122.67	c cleaning 42994 clauses out of 86031 with flag 2237122/5871179
1134.43/1129.93	c cleaning 44003 clauses out of 88036 with flag 2339086/5916178
1142.27/1137.73	c cleaning 45005 clauses out of 90035 with flag 2443122/5962180
1150.81/1146.30	c cleaning 46002 clauses out of 92029 with flag 2549802/6009179
1159.75/1155.12	c cleaning 46999 clauses out of 94027 with flag 2658715/6057179
1169.17/1164.58	c cleaning 47996 clauses out of 96028 with flag 2770351/6106179
1178.63/1174.00	c cleaning 48997 clauses out of 98032 with flag 2882867/6156179
1185.66/1181.00	c Got one! Elapsed wall clock time (in seconds):1180.875
1185.66/1181.00	o 6899
1185.76/1181.06	c Got one! Elapsed wall clock time (in seconds):1180.94
1185.76/1181.06	o 6890
1185.76/1181.07	c Got one! Elapsed wall clock time (in seconds):1180.954
1185.76/1181.07	o 6881
1185.87/1181.17	c Got one! Elapsed wall clock time (in seconds):1181.045
1185.87/1181.17	o 6879
1187.48/1182.76	c cleaning 49314 clauses out of 98678 with flag 11266/6205822
1188.28/1183.53	c cleaning 27671 clauses out of 55363 with flag 24734/6211821
1188.88/1184.10	c cleaning 17337 clauses out of 34693 with flag 39609/6218822
1189.48/1184.77	c cleaning 12671 clauses out of 25357 with flag 57825/6226823
1190.21/1185.46	c cleaning 10831 clauses out of 21684 with flag 78321/6235821
1190.91/1186.19	c cleaning 10414 clauses out of 20853 with flag 101213/6245821
1191.81/1187.06	c cleaning 10707 clauses out of 21439 with flag 126383/6256821
1192.84/1188.04	c cleaning 11360 clauses out of 22731 with flag 153909/6268820
1193.94/1189.18	c cleaning 12171 clauses out of 24372 with flag 184050/6281821
1195.23/1190.40	c cleaning 13083 clauses out of 26200 with flag 216608/6295820
1196.44/1191.65	c cleaning 14049 clauses out of 28118 with flag 251008/6310821
1197.84/1193.05	c cleaning 15020 clauses out of 30068 with flag 287550/6326820
1199.58/1194.75	c cleaning 16015 clauses out of 32048 with flag 326584/6343820
1201.47/1196.64	c cleaning 17002 clauses out of 34033 with flag 368313/6361820
1203.29/1198.46	c cleaning 18005 clauses out of 36032 with flag 411983/6380821
1205.39/1200.58	c cleaning 18997 clauses out of 38027 with flag 457856/6400821
1207.91/1203.01	c cleaning 20001 clauses out of 40030 with flag 506288/6421821
1210.31/1205.41	c cleaning 21001 clauses out of 42028 with flag 556755/6443820
1212.95/1208.02	c cleaning 21997 clauses out of 44028 with flag 609916/6466821
1215.56/1210.62	c cleaning 23002 clauses out of 46031 with flag 664548/6490821
1218.66/1213.72	c cleaning 23999 clauses out of 48029 with flag 722230/6515821
1222.07/1217.19	c cleaning 25003 clauses out of 50031 with flag 782159/6541822
1225.39/1220.48	c cleaning 26006 clauses out of 52028 with flag 844341/6568822
1229.32/1224.33	c cleaning 27000 clauses out of 54022 with flag 908316/6596822
1233.41/1228.48	c cleaning 27992 clauses out of 56020 with flag 974917/6625820
1237.53/1232.52	c cleaning 29003 clauses out of 58030 with flag 1044063/6655822
1242.04/1237.03	c cleaning 29997 clauses out of 60027 with flag 1114642/6686822
1246.86/1241.83	c cleaning 31002 clauses out of 62029 with flag 1187966/6718821
1251.88/1246.82	c cleaning 31998 clauses out of 64027 with flag 1263677/6751821
1257.02/1251.92	c cleaning 33001 clauses out of 66028 with flag 1341457/6785820
1261.62/1256.55	c cleaning 34001 clauses out of 68028 with flag 1420745/6820821
1267.34/1262.30	c cleaning 34997 clauses out of 70026 with flag 1503234/6856820
1273.49/1268.37	c cleaning 36002 clauses out of 72030 with flag 1587608/6893821
1279.90/1274.73	c cleaning 37001 clauses out of 74028 with flag 1673897/6931821
1285.91/1280.79	c cleaning 37996 clauses out of 76026 with flag 1763521/6970820
1291.66/1286.41	c cleaning 39003 clauses out of 78031 with flag 1854736/7010821
1297.12/1291.88	c cleaning 39999 clauses out of 80027 with flag 1948370/7051820
1303.87/1298.50	c cleaning 40998 clauses out of 82028 with flag 2044977/7093820
1311.02/1305.62	c cleaning 42002 clauses out of 84030 with flag 2143929/7136820
1317.98/1312.56	c cleaning 43000 clauses out of 86028 with flag 2245342/7180820
1326.84/1321.32	c cleaning 43998 clauses out of 88028 with flag 2349025/7225820
1334.70/1329.11	c cleaning 44996 clauses out of 90030 with flag 2454573/7271820
1343.48/1337.81	c cleaning 46004 clauses out of 92034 with flag 2562826/7318820
1352.75/1347.02	c cleaning 47009 clauses out of 94031 with flag 2674019/7366821
1362.42/1356.69	c cleaning 48000 clauses out of 96022 with flag 2784696/7415821
1371.61/1365.74	c cleaning 49001 clauses out of 98021 with flag 2898337/7465820
1381.48/1375.55	c cleaning 49987 clauses out of 100020 with flag 3015329/7516820
1391.94/1385.94	c cleaning 51004 clauses out of 102033 with flag 3133596/7568820
1404.23/1398.16	c cleaning 52005 clauses out of 104031 with flag 3255220/7621822
1415.14/1408.93	c cleaning 53000 clauses out of 106024 with flag 3377055/7675820
1427.75/1421.47	c cleaning 54001 clauses out of 108024 with flag 3500467/7730820
1439.73/1433.38	c cleaning 54998 clauses out of 110024 with flag 3628703/7786821
1452.13/1445.63	c cleaning 56000 clauses out of 112025 with flag 3759376/7843820
1463.82/1457.24	c cleaning 57001 clauses out of 114026 with flag 3891595/7901821
1478.46/1471.71	c cleaning 58001 clauses out of 116024 with flag 4025589/7960820
1492.24/1485.40	c cleaning 58997 clauses out of 118024 with flag 4163249/8020821
1505.88/1498.95	c cleaning 60000 clauses out of 120027 with flag 4303834/8081821
1519.67/1512.62	c cleaning 61000 clauses out of 122027 with flag 4445500/8143821
1532.92/1525.72	c cleaning 62000 clauses out of 124026 with flag 4589744/8206820
1545.28/1537.98	c cleaning 62998 clauses out of 126026 with flag 4737603/8270820
1557.96/1550.51	c cleaning 64004 clauses out of 128028 with flag 4886512/8335820
1569.85/1562.33	c cleaning 65001 clauses out of 130024 with flag 5037777/8401820
1583.63/1576.02	c cleaning 65997 clauses out of 132023 with flag 5190632/8468820
1594.63/1586.95	c cleaning 67000 clauses out of 134026 with flag 5341983/8536820
1606.48/1598.62	c cleaning 67998 clauses out of 136026 with flag 5497890/8605820
1619.62/1611.62	c cleaning 69005 clauses out of 138029 with flag 5657266/8675821
1633.75/1625.62	c cleaning 70001 clauses out of 140024 with flag 5820391/8746821
1650.68/1642.44	c cleaning 71001 clauses out of 142022 with flag 5985286/8818820
1668.83/1660.41	c cleaning 72000 clauses out of 144023 with flag 6152770/8891822
1688.21/1679.65	c cleaning 72995 clauses out of 146022 with flag 6321699/8965821
1709.66/1700.97	c cleaning 73997 clauses out of 148027 with flag 6493821/9040821
1728.13/1719.27	c cleaning 75003 clauses out of 150030 with flag 6668371/9116821
1744.28/1735.28	c cleaning 75999 clauses out of 152027 with flag 6844913/9193821
1763.78/1754.57	c cleaning 76994 clauses out of 154027 with flag 7024305/9271820
1784.36/1774.94	c cleaning 78011 clauses out of 156034 with flag 7203954/9350821
1800.02/1790.40	c starts		: 20
1800.02/1790.40	c conflicts		: 9416568
1800.02/1790.40	c decisions		: 12957538
1800.02/1790.40	c propagations		: 152816844
1800.02/1790.40	c inspects		: 31174428653
1800.02/1790.40	c shortcuts		: 0
1800.02/1790.40	c learnt literals	: 0
1800.02/1790.40	c learnt binary clauses	: 0
1800.02/1790.40	c learnt ternary clauses	: 0
1800.02/1790.40	c learnt constraints	: 9416568
1800.02/1790.40	c ignored constraints	: 0
1800.02/1790.40	c root simplifications	: 0
1800.02/1790.40	c removed literals (reason simplification)	: 0
1800.02/1790.40	c reason swapping (by a shorter reason)	: 0
1800.02/1790.40	c Calls to reduceDB	: 244
1800.02/1790.40	c Number of update (reduction) of LBD	: 160173
1800.02/1790.40	c Imported unit clauses	: 0
1800.02/1790.40	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.40	c number of learned constraints concerned by reduction	: 0
1800.02/1790.40	c number of learning phase by resolution	: 0
1800.02/1790.40	c number of learning phase by cutting planes	: 0
1800.02/1790.40	c speed (assignments/second)	: 85367.29251275062
1800.02/1790.40	c non guided choices	0
1800.02/1790.43	c learnt constraints type 
1800.02/1790.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143770
1800.02/1790.43	s SATISFIABLE
1800.02/1790.43	c Found 19 solution(s)
1800.02/1790.43	v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 -x53 x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 x103 x104 x105 x106 -x107 x108 x109 x110 x111 x112 x113 -x114 -x115 x116 -x117 x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 -x171 -x172 -x173 x174 x175 -x176 x177 x178 -x179 -x180 x181 -x182 -x183 x184 x185 -x186 -x187 -x188 x189 -x190 x191 -x192 x193 x194 x195 x196 -x197 x198 -x199 x200 x201 x202 x203 -x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 -x214 -x215 -x216 x217 x218 x219 -x220 x221 -x222 x223 -x224 x225 x226 x227 x228 -x229 x230 x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 x254 x255 x256 -x257 -x258 -x259 x260 x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 x280 x281 x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 x299 x300 -x301 -x302 x303 x304 x305 -x306 -x307 -x308 -x309 x310 x311 x312 -x313 x314 -x315 x316 x317 x318 x319 x320 -x321 x322 -x323 -x324 x325 x326 x327 x328 -x329 -x330 x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 -x395 x396 x397 x398 -x399 x400 x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 x412 x413 x414 -x415 -x416 x417 x418 x419 x420 x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 x429 x430 -x431 x432 x433 x434 -x435 x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -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 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
1800.02/1790.43	c objective function=6879
1800.02/1790.43	c Total wall clock time (in seconds): 1790.312

Verifier Data 

OK	6879

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-4085247-1465229546/watcher-4085247-1465229546 -o /tmp/evaluation-result-4085247-1465229546/solver-4085247-1465229546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9034 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085247-1465229546.opb 

pid=10295
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.45 2.40 2.28 3/194 10298
/proc/meminfo: memFree=28760680/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/10298/stat : 10298 (java) R 10295 10298 9017 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 104886531 9445376 93 33554432000 1073741824 1073778376 140735661015248 140735661012376 248780987686 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2306 93 74 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 2.45 2.40 2.28 3/194 10298
/proc/meminfo: memFree=28760680/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 4329 0 1 0 7 1 0 0 20 0 18 0 104886531 9787879424 5460 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2389619 5460 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.45 2.40 2.28 3/194 10298
/proc/meminfo: memFree=28760680/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 5005 0 1 0 24 1 0 0 20 0 18 0 104886531 9787879424 7020 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2389619 7020 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 2.45 2.40 2.28 3/194 10298
/proc/meminfo: memFree=28760680/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 5846 0 1 0 47 2 0 0 20 0 19 0 104886531 9856040960 9039 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 9039 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700185 s]
/proc/loadavg: 2.45 2.40 2.28 3/194 10298
/proc/meminfo: memFree=28760680/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 12335 0 1 0 137 3 0 0 20 0 19 0 104886531 9856040960 13948 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 13948 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.45 2.40 2.28 3/213 10317
/proc/meminfo: memFree=28707700/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 12354 0 1 0 228 3 0 0 20 0 19 0 104886531 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 17031 2263 9 0 2396937 0
[pid=10298/tid=10300] ppid=10295 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/10298/task/10300/stat : 10300 (java) R 10295 10298 9017 0 -1 4202560 2427 0 1 0 142 2 0 0 20 0 19 0 104886532 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946256269832 139946090913826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10301] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10301/stat : 10301 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946217761576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10302] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10302/stat : 10302 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946216708776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10303] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10303/stat : 10303 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946215656488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10304] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10304/stat : 10304 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946214603688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10305] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10305/stat : 10305 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946213550376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10306] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10306/stat : 10306 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946212497576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10307] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10307/stat : 10307 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946211445288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10308] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10308/stat : 10308 (java) S 10295 10298 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946210392488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10309] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10309/stat : 10309 (java) S 10295 10298 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104886535 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946080201448 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10310] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10310/stat : 10310 (java) S 10295 10298 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946079147512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10311] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10311/stat : 10311 (java) S 10295 10298 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946078095112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10312] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10312/stat : 10312 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946077043600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10313] ppid=10295 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/10298/task/10313/stat : 10313 (java) S 10295 10298 9017 0 -1 4202560 3969 0 0 0 44 0 0 0 20 0 19 0 104886538 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946075990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10314] ppid=10295 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/10298/task/10314/stat : 10314 (java) S 10295 10298 9017 0 -1 4202560 4682 0 0 0 39 0 0 0 20 0 19 0 104886538 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139946074937400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10315] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10315/stat : 10315 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139945201101432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10316] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10316/stat : 10316 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139945200048840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 17031 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.45 2.40 2.28 4/213 10317
/proc/meminfo: memFree=28690820/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=3.95 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 12366 0 1 0 392 3 0 0 20 0 19 0 104886531 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 22152 2263 9 0 2396937 0
[pid=10298/tid=10300] ppid=10295 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/10298/task/10300/stat : 10300 (java) R 10295 10298 9017 0 -1 4202560 2438 0 1 0 302 2 0 0 20 0 19 0 104886532 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946256260816 139946090857514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10301] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10301/stat : 10301 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946217761576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10302] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10302/stat : 10302 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946216708776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10303] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10303/stat : 10303 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946215656488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10304] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10304/stat : 10304 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946214603688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10305] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10305/stat : 10305 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946213550376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10306] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10306/stat : 10306 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946212497576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10307] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10307/stat : 10307 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946211445288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10308] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10308/stat : 10308 (java) S 10295 10298 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946210392488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10309] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10309/stat : 10309 (java) S 10295 10298 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104886535 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946080201448 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10310] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10310/stat : 10310 (java) S 10295 10298 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946079147512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10311] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10311/stat : 10311 (java) S 10295 10298 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946078095112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10312] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10312/stat : 10312 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946077043600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10313] ppid=10295 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/10298/task/10313/stat : 10313 (java) S 10295 10298 9017 0 -1 4202560 3970 0 0 0 47 0 0 0 20 0 19 0 104886538 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946075990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10314] ppid=10295 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/10298/task/10314/stat : 10314 (java) S 10295 10298 9017 0 -1 4202560 4682 0 0 0 39 0 0 0 20 0 19 0 104886538 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139946074937400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10315] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10315/stat : 10315 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139945201101432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10316] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10316/stat : 10316 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139945200048840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 22152 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.42 2.39 2.28 3/213 10317
/proc/meminfo: memFree=28655644/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=7.16 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 12384 0 1 0 712 4 0 0 20 0 19 0 104886531 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 30328 2264 9 0 2396937 0
[pid=10298/tid=10300] ppid=10295 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/10298/task/10300/stat : 10300 (java) R 10295 10298 9017 0 -1 4202560 2455 0 1 0 621 2 0 0 20 0 19 0 104886532 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946256260816 139946091055163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10301] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10301/stat : 10301 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946217761576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10302] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10302/stat : 10302 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946216708776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10303] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10303/stat : 10303 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946215656488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10304] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10304/stat : 10304 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946214603688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10305] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10305/stat : 10305 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946213550376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10306] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10306/stat : 10306 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946212497576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10307] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10307/stat : 10307 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946211445288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10308] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10308/stat : 10308 (java) S 10295 10298 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104886534 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946210392488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10309] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10309/stat : 10309 (java) S 10295 10298 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104886535 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946080201448 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10310] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10310/stat : 10310 (java) S 10295 10298 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946079147512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10311] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10311/stat : 10311 (java) S 10295 10298 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946078095112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10312] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10312/stat : 10312 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946077043600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10313] ppid=10295 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/10298/task/10313/stat : 10313 (java) S 10295 10298 9017 0 -1 4202560 3970 0 0 0 48 0 0 0 20 0 19 0 104886538 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946075990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10314] ppid=10295 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/10298/task/10314/stat : 10314 (java) S 10295 10298 9017 0 -1 4202560 4682 0 0 0 39 0 0 0 20 0 19 0 104886538 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139946074937400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10315] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10315/stat : 10315 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139945201101432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10316] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10316/stat : 10316 (java) S 10295 10298 9017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139945200048840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 30328 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9625040


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

[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 72727 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1670.76
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.19 2.19 2.19 3/213 10425
/proc/meminfo: memFree=29840112/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=1731.26 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 16369 0 1 0 173026 100 0 0 20 0 19 0 104886531 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 72717 2288 9 0 2396937 0
[pid=10298/tid=10300] ppid=10295 vsize=9625040 CPUtime=1713.09 cores=1,3,5,7
/proc/10298/task/10300/stat : 10300 (java) R 10295 10298 9017 0 -1 4202560 2718 0 1 0 171277 32 0 0 20 0 19 0 104886532 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946256268512 139946091055163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10301] ppid=10295 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/10298/task/10301/stat : 10301 (java) S 10295 10298 9017 0 -1 4202560 476 0 0 0 136 7 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946217761576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10302] ppid=10295 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/10298/task/10302/stat : 10302 (java) S 10295 10298 9017 0 -1 4202560 387 0 0 0 131 7 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946216708776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10303] ppid=10295 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/10298/task/10303/stat : 10303 (java) S 10295 10298 9017 0 -1 4202560 252 0 0 0 137 9 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946215656488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10304] ppid=10295 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/10298/task/10304/stat : 10304 (java) S 10295 10298 9017 0 -1 4202560 418 0 0 0 142 10 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946214603688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10305] ppid=10295 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/10298/task/10305/stat : 10305 (java) S 10295 10298 9017 0 -1 4202560 658 0 0 0 132 7 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946213550376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10306] ppid=10295 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/10298/task/10306/stat : 10306 (java) S 10295 10298 9017 0 -1 4202560 468 0 0 0 128 8 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946212497576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10307] ppid=10295 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/10298/task/10307/stat : 10307 (java) S 10295 10298 9017 0 -1 4202560 464 0 0 0 135 8 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946211445288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10308] ppid=10295 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/10298/task/10308/stat : 10308 (java) S 10295 10298 9017 0 -1 4202560 153 0 0 0 129 7 0 0 20 0 19 0 104886534 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946210392488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10309] ppid=10295 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/10298/task/10309/stat : 10309 (java) S 10295 10298 9017 0 -1 4202560 351 0 0 0 102 6 0 0 20 0 19 0 104886535 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946080201448 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10310] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10310/stat : 10310 (java) S 10295 10298 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946079147512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10311] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10311/stat : 10311 (java) S 10295 10298 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946078095112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10312] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10312/stat : 10312 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946077043600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10313] ppid=10295 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10298/task/10313/stat : 10313 (java) S 10295 10298 9017 0 -1 4202560 3977 0 0 0 62 0 0 0 20 0 19 0 104886538 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946075990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10314] ppid=10295 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/10298/task/10314/stat : 10314 (java) S 10295 10298 9017 0 -1 4202560 4685 0 0 0 45 0 0 0 20 0 19 0 104886538 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139946074937400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10315] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10315/stat : 10315 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139945201101432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10316] ppid=10295 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/10298/task/10316/stat : 10316 (java) S 10295 10298 9017 0 -1 4202560 100 0 0 0 19 31 0 0 20 0 19 0 104886538 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139945200048840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 72717 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1731.26
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.29 2.21 2.19 4/213 10426
/proc/meminfo: memFree=29869780/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=1791.83 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 16402 0 1 0 179081 102 0 0 20 0 19 0 104886531 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 64953 2288 9 0 2396937 0
[pid=10298/tid=10300] ppid=10295 vsize=9625040 CPUtime=1772.52 cores=1,3,5,7
/proc/10298/task/10300/stat : 10300 (java) R 10295 10298 9017 0 -1 4202560 2741 0 1 0 177220 32 0 0 20 0 19 0 104886532 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946256268496 139946090888806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10301] ppid=10295 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/10298/task/10301/stat : 10301 (java) S 10295 10298 9017 0 -1 4202560 476 0 0 0 146 7 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946217761576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10302] ppid=10295 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/10298/task/10302/stat : 10302 (java) S 10295 10298 9017 0 -1 4202560 387 0 0 0 141 7 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946216708776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10303] ppid=10295 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/10298/task/10303/stat : 10303 (java) S 10295 10298 9017 0 -1 4202560 252 0 0 0 146 9 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946215656488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10304] ppid=10295 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/10298/task/10304/stat : 10304 (java) S 10295 10298 9017 0 -1 4202560 418 0 0 0 150 10 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946214603688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10305] ppid=10295 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/10298/task/10305/stat : 10305 (java) S 10295 10298 9017 0 -1 4202560 658 0 0 0 144 7 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946213550376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10306] ppid=10295 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/10298/task/10306/stat : 10306 (java) S 10295 10298 9017 0 -1 4202560 468 0 0 0 139 8 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946212497576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10307] ppid=10295 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/10298/task/10307/stat : 10307 (java) S 10295 10298 9017 0 -1 4202560 464 0 0 0 146 8 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946211445288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10308] ppid=10295 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/10298/task/10308/stat : 10308 (java) S 10295 10298 9017 0 -1 4202560 153 0 0 0 142 7 0 0 20 0 19 0 104886534 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946210392488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10309] ppid=10295 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/10298/task/10309/stat : 10309 (java) S 10295 10298 9017 0 -1 4202560 357 0 0 0 117 6 0 0 20 0 19 0 104886535 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946080201448 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10310] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10310/stat : 10310 (java) S 10295 10298 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946079147512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10311] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10311/stat : 10311 (java) S 10295 10298 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946078095112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10312] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10312/stat : 10312 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946077043600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10313] ppid=10295 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10298/task/10313/stat : 10313 (java) S 10295 10298 9017 0 -1 4202560 3977 0 0 0 62 0 0 0 20 0 19 0 104886538 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946075990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10314] ppid=10295 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/10298/task/10314/stat : 10314 (java) S 10295 10298 9017 0 -1 4202560 4685 0 0 0 45 0 0 0 20 0 19 0 104886538 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139946074937400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10315] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10315/stat : 10315 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139945201101432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10316] ppid=10295 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/10298/task/10316/stat : 10316 (java) S 10295 10298 9017 0 -1 4202560 104 0 0 0 20 32 0 0 20 0 19 0 104886538 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139945200048840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 64953 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.83
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.4 s]
/proc/loadavg: 2.27 2.21 2.19 3/213 10427
/proc/meminfo: memFree=29870948/32872528 swapFree=17452/1581112
[pid=10298] ppid=10295 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/10298/stat : 10298 (java) S 10295 10298 9017 0 -1 4202496 16419 0 1 0 179899 103 0 0 20 0 19 0 104886531 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 140735661006384 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10298/statm: 2406260 64582 2288 9 0 2396937 0
[pid=10298/tid=10300] ppid=10295 vsize=9625040 CPUtime=1780.44 cores=1,3,5,7
/proc/10298/task/10300/stat : 10300 (java) R 10295 10298 9017 0 -1 4202560 2744 0 1 0 178011 33 0 0 20 0 19 0 104886532 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946256268512 139946091055163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10301] ppid=10295 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/10298/task/10301/stat : 10301 (java) S 10295 10298 9017 0 -1 4202560 476 0 0 0 148 7 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946217761576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10302] ppid=10295 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/10298/task/10302/stat : 10302 (java) S 10295 10298 9017 0 -1 4202560 387 0 0 0 144 7 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946216708776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10303] ppid=10295 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/10298/task/10303/stat : 10303 (java) S 10295 10298 9017 0 -1 4202560 252 0 0 0 147 9 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946215656488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10304] ppid=10295 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/10298/task/10304/stat : 10304 (java) S 10295 10298 9017 0 -1 4202560 418 0 0 0 153 10 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946214603688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10305] ppid=10295 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/10298/task/10305/stat : 10305 (java) S 10295 10298 9017 0 -1 4202560 658 0 0 0 144 7 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946213550376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10306] ppid=10295 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/10298/task/10306/stat : 10306 (java) S 10295 10298 9017 0 -1 4202560 468 0 0 0 140 8 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946212497576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10307] ppid=10295 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/10298/task/10307/stat : 10307 (java) S 10295 10298 9017 0 -1 4202560 464 0 0 0 147 8 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946211445288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10298/tid=10308] ppid=10295 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/10298/task/10308/stat : 10308 (java) S 10295 10298 9017 0 -1 4202560 153 0 0 0 144 7 0 0 20 0 19 0 104886534 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946210392488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10298/tid=10309] ppid=10295 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/10298/task/10309/stat : 10309 (java) S 10295 10298 9017 0 -1 4202560 371 0 0 0 128 6 0 0 20 0 19 0 104886535 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946080201448 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10310] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10310/stat : 10310 (java) S 10295 10298 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946079147512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10311] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10311/stat : 10311 (java) S 10295 10298 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104886536 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946078095112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10312] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10312/stat : 10312 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946077043600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10313] ppid=10295 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10298/task/10313/stat : 10313 (java) S 10295 10298 9017 0 -1 4202560 3977 0 0 0 62 0 0 0 20 0 19 0 104886538 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946075990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10314] ppid=10295 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/10298/task/10314/stat : 10314 (java) S 10295 10298 9017 0 -1 4202560 4685 0 0 0 45 0 0 0 20 0 19 0 104886538 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139946074937400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10315] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10315/stat : 10315 (java) S 10295 10298 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104886538 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139945201101432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10298/tid=10316] ppid=10295 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/10298/task/10316/stat : 10316 (java) S 10295 10298 9017 0 -1 4202560 104 0 0 0 20 32 0 0 20 0 19 0 104886538 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139945200048840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10298/tid=10317] ppid=10295 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10298/task/10317/stat : 10317 (java) S 10295 10298 9017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104886561 9856040960 64582 33554432000 1073741824 1073778376 140735661015248 139945198994856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10298 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 10298 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=549187
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=482774
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.44
CPU time (s): 1800.02
CPU user time (s): 1798.99
CPU system time (s): 1.03
CPU usage (%): 100.535
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 1.48277
maximum resident set size= 612372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45899
involuntary context switches= 35751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4531 second user time and 16.7944 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-06 18:12:26
IDJOB=4085247
IDBENCH=2018
IDSOLVER=2546
FILE ID=node139/4085247-1465229546
RUNJOBID= node139-1465220260-9034
PBS_JOBID= 19843218
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085247-1465229546/watcher-4085247-1465229546 -o /tmp/evaluation-result-4085247-1465229546/solver-4085247-1465229546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9034 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085247-1465229546.opb

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

MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b
RANDOM SEED=1213729021

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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:        28761960 kB
Buffers:           20148 kB
Cached:            88076 kB
SwapCached:         1464 kB
Active:          1769692 kB
Inactive:          56004 kB
Active(anon):    1717800 kB
Inactive(anon):     2172 kB
Active(file):      51892 kB
Inactive(file):    53832 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099760 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:       3336272 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             566792 kB
SReclaimable:      10924 kB
SUnreclaim:       555868 kB
KernelStack:        1768 kB
PageTables:        10964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3748152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3213312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node139 at 2016-06-06 18:42:16