Trace number 4457772

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 Resolution 2024 2024-07-07SAT (TO)-33720 3600.33 3553.47

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
MD5SUM4e250cdab7b4044f2b74367cd304c22b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-110625
Best CPU time to get the best result obtained on this benchmark0.045906
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints1
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 constraints1
Minimum length of a constraint2000
Maximum length of a constraint2000
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 977737
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10011
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1021141
Number of bits of the biggest sum of numbers20
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4457772-1721886944.opb
0.14/0.12	c reading problem ... 
0.18/2.78	c using VERIPB proof format
0.18/2.78	c  objective function found
0.22/2.83	c ... done. Wall clock time 2.707s.
0.22/2.83	c declared #vars     2000
0.22/2.83	c #constraints  1
0.22/2.83	c constraints type 
0.22/2.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.22/2.83	c 1 constraints processed.
0.22/2.84	c objective function length is 2000 literals
0.22/2.85	c SATISFIABLE
0.22/2.85	c OPTIMIZING...
0.22/2.86	c Got one! Elapsed wall clock time (in seconds):2.735
0.22/2.86	o -22513
0.22/2.88	c Got one! Elapsed wall clock time (in seconds):2.764
0.22/2.88	o -22961
0.22/2.89	c Got one! Elapsed wall clock time (in seconds):2.773
0.22/2.89	o -23668
9.09/16.79	c cleaning 2497 clauses out of 5004 with flag 10107/5004
17.25/24.32	c cleaning 4253 clauses out of 8506 with flag 22163/11003
27.10/33.64	c cleaning 5626 clauses out of 11251 with flag 36211/18001
38.66/44.91	c cleaning 6817 clauses out of 13634 with flag 52303/26010
52.38/58.10	c cleaning 7900 clauses out of 15808 with flag 70348/35001
70.11/75.32	c cleaning 8955 clauses out of 17911 with flag 90444/45004
91.29/95.89	c cleaning 9979 clauses out of 19958 with flag 112504/56006
113.03/117.19	c cleaning 10986 clauses out of 21974 with flag 136561/68001
135.85/139.55	c cleaning 12000 clauses out of 23999 with flag 162651/81012
142.93/146.34	c Got one! Elapsed wall clock time (in seconds):146.225
142.93/146.35	o -23683
142.93/146.35	c Got one! Elapsed wall clock time (in seconds):146.234
142.93/146.35	o -26228
142.93/146.37	c Got one! Elapsed wall clock time (in seconds):146.244
142.93/146.37	o -26415
142.93/146.38	c Got one! Elapsed wall clock time (in seconds):146.251
142.93/146.38	o -26801
142.93/146.39	c Got one! Elapsed wall clock time (in seconds):146.259
142.93/146.39	o -26846
142.93/146.39	c Got one! Elapsed wall clock time (in seconds):146.268
142.93/146.39	o -27064
143.10/146.40	c Got one! Elapsed wall clock time (in seconds):146.28
143.10/146.40	o -27647
143.10/146.41	c Got one! Elapsed wall clock time (in seconds):146.29
143.10/146.41	o -27836
143.10/146.42	c Got one! Elapsed wall clock time (in seconds):146.302
143.10/146.42	o -28290
143.10/146.43	c Got one! Elapsed wall clock time (in seconds):146.312
143.10/146.43	o -28300
143.10/146.44	c Got one! Elapsed wall clock time (in seconds):146.318
143.10/146.44	o -28417
143.10/146.45	c Got one! Elapsed wall clock time (in seconds):146.336
143.10/146.45	o -28601
143.10/146.47	c Got one! Elapsed wall clock time (in seconds):146.348
143.10/146.47	o -28960
143.10/146.48	c Got one! Elapsed wall clock time (in seconds):146.355
143.10/146.48	o -28985
143.10/146.48	c Got one! Elapsed wall clock time (in seconds):146.362
143.10/146.48	o -29290
143.10/146.49	c Got one! Elapsed wall clock time (in seconds):146.377
143.10/146.50	o -29363
143.28/146.53	c Got one! Elapsed wall clock time (in seconds):146.409
143.28/146.53	o -29370
143.28/146.56	c Got one! Elapsed wall clock time (in seconds):146.44
143.28/146.56	o -29417
143.28/146.57	c Got one! Elapsed wall clock time (in seconds):146.448
143.28/146.57	o -29646
143.42/146.61	c Got one! Elapsed wall clock time (in seconds):146.489
143.42/146.61	o -29687
143.42/146.63	c Got one! Elapsed wall clock time (in seconds):146.509
143.42/146.63	o -29690
143.42/146.64	c Got one! Elapsed wall clock time (in seconds):146.519
143.42/146.64	o -30106
143.56/146.78	c Got one! Elapsed wall clock time (in seconds):146.662
143.56/146.78	o -30178
143.68/146.81	c Got one! Elapsed wall clock time (in seconds):146.696
143.68/146.81	o -30253
143.68/146.83	c Got one! Elapsed wall clock time (in seconds):146.708
143.68/146.83	o -30342
143.68/146.84	c Got one! Elapsed wall clock time (in seconds):146.715
143.68/146.84	o -30385
143.92/147.07	c Got one! Elapsed wall clock time (in seconds):146.948
143.92/147.07	o -30415
144.35/147.46	c Got one! Elapsed wall clock time (in seconds):147.335
144.35/147.46	o -30707
144.88/147.95	c Got one! Elapsed wall clock time (in seconds):147.831
144.88/147.95	o -31022
144.88/147.96	c Got one! Elapsed wall clock time (in seconds):147.84
144.88/147.96	o -31102
146.26/149.12	c cleaning 9623 clauses out of 19246 with flag 2022/88259
150.18/152.96	c Got one! Elapsed wall clock time (in seconds):152.844
150.18/152.96	o -31139
150.48/153.26	c Got one! Elapsed wall clock time (in seconds):153.14
150.48/153.26	o -31444
150.58/153.35	c Got one! Elapsed wall clock time (in seconds):153.228
150.58/153.35	o -31485
152.91/155.53	c Got one! Elapsed wall clock time (in seconds):155.412
152.91/155.53	o -31499
154.74/157.10	c cleaning 8016 clauses out of 16032 with flag 2042/94668
155.53/157.94	c Got one! Elapsed wall clock time (in seconds):157.819
155.53/157.94	o -31521
155.63/158.02	c Got one! Elapsed wall clock time (in seconds):157.905
155.63/158.02	o -31649
156.45/158.87	c Got one! Elapsed wall clock time (in seconds):158.756
156.45/158.87	o -31663
164.27/166.38	c cleaning 7242 clauses out of 14484 with flag 10252/101136
164.66/166.76	c Got one! Elapsed wall clock time (in seconds):166.64
164.66/166.76	o -31736
164.76/166.85	c Got one! Elapsed wall clock time (in seconds):166.732
164.76/166.85	o -31800
168.33/170.71	c Got one! Elapsed wall clock time (in seconds):170.591
168.33/170.71	o -31853
173.26/175.31	c cleaning 6624 clauses out of 13247 with flag 6247/107141
173.26/175.39	c Got one! Elapsed wall clock time (in seconds):175.276
173.26/175.39	o -31875
173.36/175.41	c Got one! Elapsed wall clock time (in seconds):175.296
173.36/175.41	o -32037
173.46/175.51	c Got one! Elapsed wall clock time (in seconds):175.393
173.46/175.51	o -32390
173.46/175.57	c Got one! Elapsed wall clock time (in seconds):175.455
173.46/175.57	o -32412
173.46/175.59	c Got one! Elapsed wall clock time (in seconds):175.472
173.46/175.59	o -32687
174.05/176.19	c Got one! Elapsed wall clock time (in seconds):176.077
174.05/176.19	o -32832
174.14/176.24	c Got one! Elapsed wall clock time (in seconds):176.125
174.14/176.24	o -32873
178.95/180.63	c Got one! Elapsed wall clock time (in seconds):180.516
178.95/180.63	o -32953
181.81/183.47	c cleaning 6368 clauses out of 12736 with flag 4046/113254
185.18/186.64	c Got one! Elapsed wall clock time (in seconds):186.517
185.18/186.64	o -33254
187.03/188.27	c Got one! Elapsed wall clock time (in seconds):188.155
187.03/188.27	o -33307
189.82/191.07	c cleaning 6151 clauses out of 12303 with flag 4202/119189
197.00/198.10	c Got one! Elapsed wall clock time (in seconds):197.98
197.00/198.10	o -33406
203.95/204.74	c cleaning 8247 clauses out of 16496 with flag 10052/129533
211.96/212.40	c cleaning 7122 clauses out of 14246 with flag 22091/135530
221.53/221.07	c cleaning 7057 clauses out of 14114 with flag 36156/142520
232.53/232.11	c cleaning 7529 clauses out of 15057 with flag 52248/150520
245.53/244.63	c cleaning 8263 clauses out of 16527 with flag 70305/159519
261.61/260.50	c cleaning 9136 clauses out of 18274 with flag 90444/169529
278.44/276.73	c cleaning 10070 clauses out of 20141 with flag 112526/180532
296.49/294.73	c cleaning 11033 clauses out of 22068 with flag 136627/192529
303.38/301.35	c Got one! Elapsed wall clock time (in seconds):301.232
303.38/301.35	o -33459
304.89/302.87	c cleaning 8339 clauses out of 16688 with flag 2144/198182
309.52/307.12	c Got one! Elapsed wall clock time (in seconds):307.004
309.52/307.12	o -33493
312.89/310.46	c cleaning 7064 clauses out of 14132 with flag 6256/203965
322.06/319.35	c cleaning 6532 clauses out of 13068 with flag 19109/209965
331.80/329.07	c cleaning 6771 clauses out of 13549 with flag 33891/216978
343.66/340.49	c cleaning 7387 clauses out of 14775 with flag 50565/224975
357.79/354.55	c cleaning 8186 clauses out of 16383 with flag 69275/233970
376.48/372.57	c cleaning 9091 clauses out of 18192 with flag 90598/243965
393.00/388.95	c cleaning 10054 clauses out of 20116 with flag 113466/254980
410.17/405.52	c cleaning 11022 clauses out of 22058 with flag 137474/266976
429.11/424.15	c cleaning 12004 clauses out of 24028 with flag 163471/279968
453.85/446.99	c cleaning 13013 clauses out of 26033 with flag 191539/293977
476.94/468.90	c cleaning 14007 clauses out of 28013 with flag 221551/308970
503.30/494.63	c cleaning 15000 clauses out of 30005 with flag 253566/324969
530.12/521.07	c cleaning 15981 clauses out of 32001 with flag 287618/341965
533.36/524.23	c Got one! Elapsed wall clock time (in seconds):524.11
533.36/524.23	o -33499
537.56/528.02	c cleaning 10683 clauses out of 21387 with flag 6008/347332
544.49/534.82	c cleaning 8354 clauses out of 16709 with flag 18027/353337
552.82/543.37	c cleaning 7667 clauses out of 15350 with flag 32024/360332
563.39/553.32	c cleaning 7852 clauses out of 15705 with flag 48096/368354
575.87/565.55	c cleaning 8416 clauses out of 16833 with flag 66080/377334
590.82/584.10	c cleaning 9209 clauses out of 18417 with flag 86116/387334
608.01/600.73	c cleaning 10106 clauses out of 20211 with flag 108155/398337
626.15/618.89	c cleaning 11058 clauses out of 22116 with flag 132243/410348
647.16/639.61	c cleaning 12025 clauses out of 24049 with flag 158564/423339
671.59/661.73	c cleaning 13010 clauses out of 26032 with flag 186995/437347
688.98/678.97	c Got one! Elapsed wall clock time (in seconds):678.852
688.98/678.97	o -33720
696.76/686.50	c cleaning 14989 clauses out of 30010 with flag 10143/454335
705.35/695.22	c cleaning 10506 clauses out of 21025 with flag 22286/460339
714.49/704.07	c cleaning 8750 clauses out of 17515 with flag 36467/467335
724.87/713.92	c cleaning 8367 clauses out of 16766 with flag 52533/475336
738.10/727.26	c cleaning 8692 clauses out of 17399 with flag 70971/484336
751.09/739.92	c cleaning 9353 clauses out of 18708 with flag 91137/494337
768.13/756.99	c cleaning 10173 clauses out of 20352 with flag 113639/505334
787.00/775.38	c cleaning 11087 clauses out of 22179 with flag 137841/517334
809.21/797.72	c cleaning 12059 clauses out of 24123 with flag 164119/530365
832.79/831.82	c cleaning 13018 clauses out of 26036 with flag 192139/544337
858.35/856.73	c cleaning 14005 clauses out of 28017 with flag 222429/559336
888.40/885.98	c cleaning 15010 clauses out of 30019 with flag 254882/575343
921.66/918.33	c cleaning 15999 clauses out of 32000 with flag 289884/592334
950.18/958.19	c cleaning 17001 clauses out of 34003 with flag 326707/610336
986.31/993.73	c cleaning 18002 clauses out of 36004 with flag 365351/629338
1024.34/1032.07	c cleaning 18988 clauses out of 38000 with flag 406156/649336
1070.89/1077.55	c cleaning 20013 clauses out of 40031 with flag 449059/670355
1117.32/1122.87	c cleaning 21003 clauses out of 42006 with flag 493536/692343
1168.98/1173.75	c cleaning 21999 clauses out of 43997 with flag 539700/715337
1225.97/1229.79	c cleaning 22997 clauses out of 45996 with flag 587941/739335
1284.14/1287.12	c cleaning 24000 clauses out of 48002 with flag 638739/764338
1338.01/1345.69	c cleaning 25005 clauses out of 50024 with flag 691505/790360
1394.23/1402.37	c cleaning 25995 clauses out of 52001 with flag 746154/817342
1462.40/1469.76	c cleaning 26997 clauses out of 54006 with flag 802815/845342
1539.88/1542.55	c cleaning 28008 clauses out of 56017 with flag 861665/874350
1621.72/1623.49	c cleaning 28999 clauses out of 58001 with flag 922080/904342
1676.86/1677.39	c cleaning 29992 clauses out of 59994 with flag 984151/935334
1742.46/1741.99	c cleaning 30999 clauses out of 62005 with flag 1048304/967337
1815.41/1813.82	c cleaning 32003 clauses out of 64005 with flag 1114379/1000336
1877.94/1875.12	c cleaning 33018 clauses out of 66035 with flag 1182503/1034369
1963.35/1956.19	c cleaning 33990 clauses out of 67983 with flag 1252517/1069335
2038.70/2030.04	c cleaning 34989 clauses out of 69993 with flag 1324624/1105335
2117.44/2108.01	c cleaning 36002 clauses out of 72005 with flag 1398685/1142336
2196.10/2186.17	c cleaning 37005 clauses out of 74010 with flag 1474784/1180343
2294.68/2283.69	c cleaning 37999 clauses out of 75997 with flag 1552877/1219335
2394.52/2378.44	c cleaning 38992 clauses out of 77997 with flag 1632944/1259334
2492.34/2474.96	c cleaning 39997 clauses out of 80007 with flag 1715073/1300336
2600.52/2582.31	c cleaning 40996 clauses out of 82008 with flag 1799287/1342334
2713.04/2693.89	c cleaning 42009 clauses out of 84022 with flag 1885478/1385344
2841.79/2817.53	c cleaning 43001 clauses out of 86003 with flag 1973805/1429334
2943.84/2917.81	c cleaning 43998 clauses out of 88021 with flag 2064132/1474353
3059.86/3032.73	c cleaning 45000 clauses out of 90005 with flag 2156262/1520335
3196.00/3160.48	c cleaning 45999 clauses out of 92004 with flag 2250409/1567334
3310.54/3273.49	c cleaning 47003 clauses out of 94007 with flag 2346640/1615336
3427.56/3389.07	c cleaning 47994 clauses out of 96006 with flag 2444742/1664338
3552.35/3506.08	c cleaning 48996 clauses out of 98008 with flag 2544806/1714334
3600.08/3553.22	c starts		: 59
3600.08/3553.23	c conflicts		: 1736521
3600.08/3553.23	c decisions		: 1746662
3600.08/3553.23	c propagations		: 30318001
3600.08/3553.23	c inspects		: 2338323365
3600.08/3553.23	c shortcuts		: 0
3600.08/3553.23	c learnt literals	: 0
3600.08/3553.23	c learnt binary clauses	: 0
3600.08/3553.23	c learnt ternary clauses	: 0
3600.08/3553.23	c learnt constraints	: 1736521
3600.08/3553.23	c ignored constraints	: 0
3600.08/3553.23	c root simplifications	: 0
3600.08/3553.23	c removed literals (reason simplification)	: 39674070
3600.08/3553.23	c reason swapping (by a shorter reason)	: 0
3600.08/3553.23	c Calls to reduceDB	: 93
3600.08/3553.23	c Number of update (reduction) of LBD	: 5343
3600.08/3553.23	c Imported unit clauses	: 0
3600.08/3553.23	c No decision after first conflict	: false
3600.08/3553.23	c number of reductions to clauses (during analyze)	: 0
3600.08/3553.23	c number of learned constraints concerned by reduction	: 0
3600.08/3553.23	c number of learning phase by resolution	: 0
3600.08/3553.23	c number of learning phase by cutting planes	: 0
3600.08/3553.23	c number of rounding to 1 operations	: 0
3600.08/3553.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3553.23	c number of reductions of the coefficients by power 2 	: 0
3600.08/3553.23	c number of right shift for reduction by power 2 	: 0
3600.08/3553.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3553.23	c number of ending skipping 	: 0
3600.08/3553.23	c number of internal skipping 	: 0
3600.08/3553.23	c number of derivation steps 	: 0
3600.08/3553.23	c number of skipped derivation steps 	: 0
3600.08/3553.23	c number of remaining unassigned 	: 0
3600.08/3553.23	c number of remaining assigned 	: 0
3600.08/3553.23	c number of falsified literals weakened from reason	: 0
3600.08/3553.23	c number of falsified literals weakened from conflict	: 0
3600.08/3553.23	c time for arithmetic operations	: 0
3600.08/3553.23	c minimum degree of deleted constraints	: null
3600.08/3553.23	c maximum degree of deleted constraints	: null
3600.08/3553.23	c number of deleted constraints	: 0
3600.08/3553.23	c speed (assignments/second)	: 8539.363088253602
3600.08/3553.23	c non guided choices	: 0
3600.08/3553.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 71199
3600.08/3553.28	s SATISFIABLE
3600.08/3553.28	c Found 58 solution(s)
3600.08/3553.28	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 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 
3600.08/3553.28	c objective function=-33720
3600.08/3553.28	c Total wall clock time (in seconds): 3553.163

Verifier Data 

OK	-33720

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (57415 MiB free)
  memory of node 1: 64473 MiB (59559 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457772-1721886944/watcher-4457772-1721886944 -o /tmp/evaluation-result-4457772-1721886944/solver-4457772-1721886944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721886943-227059 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4457772-1721886944 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457772-1721886944.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=227127, runsolver pid=227124
Current StackSize limit: 8192 KiB


[startup+0.100863 s]*
/proc/loadavg: 1.19 1.92 2.97 10/329 227191
/proc/meminfo: memFree=119653356/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=18975048 memory=64824 CPUtime=0.14 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 7274 0 0 0 13 1 0 0 20 0 18 0 25223406 19430449152 16206 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4743762 16206 5543 1 0 549380 0
[pid=227127/tid=227129] ppid=227124 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 5790 0 0 0 8 1 0 0 20 0 18 0 25223406 19430449152 16206 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=18975048 memory=1148849 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223408 19430449152 16206 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25223409 19430449152 16206 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64824 KiB

[startup+0.205982 s]*
/proc/loadavg: 1.19 1.92 2.97 1/329 227191
/proc/meminfo: memFree=119639800/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=18975048 memory=66236 CPUtime=0.17 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 7436 0 0 0 16 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4743762 16559 5751 1 0 549477 0
[pid=227127/tid=227129] ppid=227124 vsize=18975048 memory=664970851429515395 CPUtime=0.1 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) D 227124 227127 227049 0 -1 1078198336 5879 0 0 0 9 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=18975048 memory=1148849 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223408 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25223409 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66236 KiB

[startup+0.304705 s]*
/proc/loadavg: 1.19 1.92 2.97 1/329 227191
/proc/meminfo: memFree=119639424/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=18975048 memory=66236 CPUtime=0.17 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 7436 0 0 0 16 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4743762 16559 5751 1 0 549477 0
[pid=227127/tid=227129] ppid=227124 vsize=18975048 memory=-8816475104861725372 CPUtime=0.1 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) D 227124 227127 227049 0 -1 1078198336 5879 0 0 0 9 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223408 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25223409 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66236 KiB

[startup+0.700331 s]
/proc/loadavg: 1.19 1.92 2.97 1/329 227191
/proc/meminfo: memFree=119638828/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=18975048 memory=66236 CPUtime=0.17 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 7436 0 0 0 16 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4743762 16559 5751 1 0 549477 0
[pid=227127/tid=227129] ppid=227124 vsize=18975048 memory=5616 CPUtime=0.1 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) D 227124 227127 227049 0 -1 1078198336 5879 0 0 0 9 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=18975048 memory=12404 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223408 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=18975048 memory=1932 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25223409 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66236 KiB

[startup+1.50032 s]
/proc/loadavg: 1.19 1.92 2.97 1/329 227193
/proc/meminfo: memFree=119638528/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=18975048 memory=66236 CPUtime=0.17 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 7436 0 0 0 16 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4743762 16559 5751 1 0 549477 0
[pid=227127/tid=227129] ppid=227124 vsize=18975048 memory=12404 CPUtime=0.1 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) D 227124 227127 227049 0 -1 1078198336 5879 0 0 0 9 1 0 0 20 0 18 0 25223406 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=18975048 memory=1932 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25223408 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 25223409 19430449152 16559 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66236 KiB

[startup+3.111 s]
/proc/loadavg: 1.41 1.95 2.98 11/333 227197
/proc/meminfo: memFree=119557164/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=19041612 memory=119776 CPUtime=0.8 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 9829 0 0 0 77 3 0 0 20 0 19 0 25223406 19498610688 29944 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4760403 29944 5875 1 0 550968 0
[pid=227127/tid=227129] ppid=227124 vsize=19041612 memory=0 CPUtime=0.4 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 6101 0 0 0 38 2 0 0 20 0 19 0 25223406 19498610688 29944 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19041612 memory=12404 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25223408 19498610688 29944 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19041612 memory=6055707857271601875 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 25223409 19498610688 29944 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19041612 memory=2372 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 25223690 19498610688 29944 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 119776 KiB
heavy processes:

[startup+6.301 s]
/proc/loadavg: 1.41 1.95 2.98 6/337 227268
/proc/meminfo: memFree=117718304/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=768480 CPUtime=5.39 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 20842 0 0 0 518 21 0 0 20 0 20 0 25223406 19566772224 192120 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 192120 5918 1 0 1477269 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=67628 CPUtime=3.24 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 6996 0 0 0 311 13 0 0 20 0 20 0 25223406 19566772224 192120 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=-8888814173876363964 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 192120 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=66236 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 192120 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=690656 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 192120 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 768480 KiB

[startup+12.7003 s]
/proc/loadavg: 1.89 2.03 3.00 2/339 227271
/proc/meminfo: memFree=116278468/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=905932 CPUtime=7.06 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 21105 0 0 0 680 26 0 0 20 0 20 0 25223406 19566772224 226483 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 226483 5918 1 0 1477271 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=690656 CPUtime=4.68 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) D 227124 227127 227049 0 -1 4194368 7071 0 0 0 452 16 0 0 20 0 20 0 25223406 19566772224 226483 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=-8888814173876363964 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 226483 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=490316 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 226483 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=905932 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 226483 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 905932 KiB
heavy processes:

[startup+25.5003 s]
/proc/loadavg: 2.29 2.12 3.01 5/336 227273
/proc/meminfo: memFree=110979492/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=2408808 CPUtime=18.55 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 25565 0 0 0 1787 68 0 0 20 0 20 0 25223406 19566772224 602202 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 602202 5918 1 0 1830322 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=768644 CPUtime=14.43 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 8263 0 0 0 1397 46 0 0 20 0 20 0 25223406 19566772224 602202 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 711 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=2403848 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 602202 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=177500 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 602202 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 602202 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 18.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2408808 KiB
heavy processes:

[startup+51.1063 s]
/proc/loadavg: 2.95 2.28 3.05 5/339 227281
/proc/meminfo: memFree=104944468/131524600 swapFree=131069668/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=4134628 CPUtime=45.15 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 33546 0 0 0 4389 126 0 0 20 0 20 0 25223406 19566772224 1033657 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 1033657 5918 1 0 1943137 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=3761824 CPUtime=38.21 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 11123 0 0 0 3737 84 0 0 20 0 20 0 25223406 19566772224 1033657 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 737 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 1033657 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=3915424 CPUtime=0 cores=0,2

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

/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=70248 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 1818 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3197.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16148720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.54 4.54 4.39 5/340 228806
/proc/meminfo: memFree=9222240/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16148720 CPUtime=3258.78 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2001560 0 0 0 322855 3023 0 0 20 0 20 0 25223406 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4037180 5933 1 0 4051893 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=16148112 CPUtime=3027.28 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1478249 0 0 0 299985 2743 0 0 20 0 20 0 25223406 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7058 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=16148112 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=16148720 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 1871 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=16148720 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3258.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16148720 KiB

[startup+3282.3 s]
/proc/loadavg: 4.76 4.61 4.42 7/342 228886
/proc/meminfo: memFree=57089916/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16148720 CPUtime=3319.49 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2004980 0 0 0 328881 3068 0 0 20 0 20 0 25223406 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4037180 5933 1 0 4051893 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=16148720 CPUtime=3084.83 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1480908 0 0 0 305697 2786 0 0 20 0 20 0 25223406 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7105 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=16148720 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 1910 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=16148720 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4037180 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3319.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16148720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.56 4.59 4.43 5/342 228900
/proc/meminfo: memFree=54739200/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16165136 CPUtime=3380.43 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2006461 0 0 0 334940 3103 0 0 20 0 20 0 25223406 19566772224 4041284 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4041284 5933 1 0 4056069 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=11360 CPUtime=3141.97 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1481512 0 0 0 311379 2818 0 0 20 0 20 0 25223406 19566772224 4041284 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7157 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=16165136 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4041284 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=16165136 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 1911 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4041284 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=70248 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4041284 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3380.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16165136 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.52 4.41 5/342 228911
/proc/meminfo: memFree=53281300/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16173368 CPUtime=3441.06 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2133876 0 0 0 340934 3172 0 0 20 0 20 0 25223406 19566772224 4043342 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4043342 5933 1 0 4058157 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=16165136 CPUtime=3199.42 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1590551 0 0 0 317063 2879 0 0 20 0 20 0 25223406 19566772224 4043342 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7202 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=16165136 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4043342 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 1911 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4043342 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=16173368 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4043342 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3441.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16173368 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.46 4.40 5/342 228922
/proc/meminfo: memFree=52302548/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16182196 CPUtime=3508.33 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2209940 0 0 0 347606 3227 0 0 20 0 20 0 25223406 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4045549 5933 1 0 4060273 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=16165136 CPUtime=3256.61 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1632843 0 0 0 322736 2925 0 0 20 0 20 0 25223406 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7253 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=16181576 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=16182196 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 2009 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3508.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16182196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.41 4.38 5/336 228933
/proc/meminfo: memFree=51612136/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16182196 CPUtime=3568.82 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2212564 0 0 0 353623 3259 0 0 20 0 20 0 25223406 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4045549 5933 1 0 4060273 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=-8888814173876363964 CPUtime=3314.33 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1633534 0 0 0 328479 2954 0 0 20 0 20 0 25223406 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7298 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=16182196 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=70248 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 2009 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=16182196 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4045549 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3568.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16182196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3553.2 s]
/proc/loadavg: 4.29 4.41 4.38 5/336 228938
/proc/meminfo: memFree=51185036/131524600 swapFree=131058148/131071996
[pid=227127] ppid=227124 vsize=19108176 memory=16182200 CPUtime=3600.08 cores=0,2
/proc/227127/stat : 227127 (java) S 227124 227127 227049 0 -1 1077936128 2212778 0 0 0 356732 3276 0 0 20 0 20 0 25223406 19566772224 4045550 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
/proc/227127/statm: 4777044 4045550 5933 1 0 4060273 0
[pid=227127/tid=227129] ppid=227124 vsize=19108176 memory=16182200 CPUtime=3343.94 cores=0,2
/proc/227127/task/227129/stat : 227129 (java) R 227124 227127 227049 0 -1 4194368 1633666 0 0 0 331424 2970 0 0 20 0 20 0 25223406 19566772224 4045550 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7328 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227162] ppid=227124 vsize=19108176 memory=-8888814173876363964 CPUtime=0 cores=0,2
/proc/227127/task/227162/stat : 227162 (Finalizer) S 227124 227127 227049 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25223408 19566772224 4045550 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227169] ppid=227124 vsize=19108176 memory=2684 CPUtime=0 cores=0,2
/proc/227127/task/227169/stat : 227169 (Common-Cleaner) S 227124 227127 227049 0 -1 1077936192 2009 0 0 0 0 0 0 0 20 0 20 0 25223409 19566772224 4045550 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
[pid=227127/tid=227195] ppid=227124 vsize=19108176 memory=4852 CPUtime=0 cores=0,2
/proc/227127/task/227195/stat : 227195 (Timer-0) S 227124 227127 227049 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25223690 19566772224 4045550 134679101440 94119630589952 94119630593648 140734904706576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94119630601464 94119630602256 94119663177728 140734904714155 140734904714337 140734904714337 140734904721352 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16182200 KiB

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

[startup+3553.47 s]
# the end of solver process 227127 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3567.48 s, system=32.8459 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3553.41 s]
/proc/loadavg: 4.29 4.41 4.38 7/318 228941
/proc/meminfo: memFree=60722588/131524600 swapFree=131058148/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3553.47
CPU time (s): 3600.33
CPU user time (s): 3567.48
CPU system time (s): 32.8459
CPU usage (%): 101.319
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 16182200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.48
system time used= 32.8459
maximum resident set size= 16183952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2214932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 49083800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133345
involuntary context switches= 39062


# summary of solver processes directly reported to runsolver:
#   pid: 227127
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3567.48
#   total CPU system time (s): 32.8459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87609 second user time and 19.0061 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-25 07:55:44
IDJOB=4457772
IDBENCH=176755
IDSOLVER=3079
FILE ID=nodeC025/4457772-1721886944
RUNJOBID= nodeC025-1721886943-227059
SLURM_JOB_ID= 8089292
Free space on /tmp= 890028 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457772-1721886944/watcher-4457772-1721886944 -o /tmp/evaluation-result-4457772-1721886944/solver-4457772-1721886944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721886943-227059 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4457772-1721886944 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457772-1721886944.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=686711179

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3606.144
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2571.704
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3622.761
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3514.654
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.162
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2629.681
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.219
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3405.456
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119790312 kB
MemAvailable:   129632428 kB
Buffers:          300252 kB
Cached:         10315512 kB
SwapCached:          232 kB
Active:          2501984 kB
Inactive:        8519404 kB
Active(anon):       3804 kB
Inactive(anon):   455004 kB
Active(file):    2498180 kB
Inactive(file):  8064400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131069668 kB
Dirty:              4588 kB
Writeback:             0 kB
AnonPages:        405580 kB
Mapped:           135192 kB
Shmem:             53184 kB
KReclaimable:     239072 kB
Slab:             363580 kB
SReclaimable:     239072 kB
SUnreclaim:       124508 kB
KernelStack:        4352 kB
PageTables:        10216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3018900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-25 08:54:57