Trace number 4461687

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 Default 2024-07-07? (TO) 3600.35 3532.94

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb
MD5SUMcbf5cad29c462115f23fdf2c3f496dde
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 benchmark2252
Best CPU time to get the best result obtained on this benchmark0.381543
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7954
Total number of constraints7955
Number of constraints which are clauses4010
Number of constraints which are cardinality constraints (but not clauses)2888
Number of constraints which are nor clauses,nor cardinality constraints1057
Minimum length of a constraint1
Maximum length of a constraint2888
Number of terms in the objective function 2888
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2888
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 688
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3576
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.49	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.49	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.49	c See www.sat4j.org for details.
0.22/0.56	c version CUSTOM.v20240707
0.22/0.58	c java.runtime.name	OpenJDK Runtime Environment
0.22/0.58	c java.vm.name		OpenJDK 64-Bit Server VM
0.22/0.58	c java.vm.version	22.0.1+8-16
0.22/0.58	c java.vm.vendor	Oracle Corporation
0.22/0.58	c sun.arch.data.model	64
0.22/0.58	c java.version		22.0.1
0.22/0.58	c os.name		Linux
0.22/0.58	c os.version		4.18.0-301.1.el8.x86_64
0.22/0.58	c os.arch		amd64
0.22/0.60	c Free memory 		2115194816
0.22/0.60	c Max memory 		16282288128
0.22/0.60	c Total memory 		2122317824
0.22/0.60	c Number of processors 	2
0.34/0.70	--- Begin Solver configuration ---
0.34/0.70	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.34/0.70	Learn all clauses as in MiniSAT
0.34/0.70	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.34/0.70	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.34/0.70	No reason simplification
0.34/0.70	Glucose 2.1 dynamic restart strategy
0.34/0.70	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.34/0.70	timeout=2147483s
0.34/0.70	DB Simplification allowed=false
0.34/0.70	Listener: none
0.34/0.70	--- End Solver configuration ---
0.48/0.70	c Pseudo Boolean Optimization by upper bound
0.48/0.70	c --- Begin Solver configuration ---
0.48/0.70	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.48/0.70	c Learn all clauses as in MiniSAT
0.48/0.70	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.48/0.70	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.48/0.70	c No reason simplification
0.48/0.70	c Glucose 2.1 dynamic restart strategy
0.48/0.70	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.48/0.70	c timeout=2147483s
0.48/0.70	c DB Simplification allowed=false
0.48/0.70	c Listener: none
0.48/0.70	c --- End Solver configuration ---
0.48/0.70	c solving HOME/instance-4461687-1722204305.opb
0.48/0.70	c reading problem ... 
0.48/0.70	c  objective function found
1.08/1.10	c ... done. Wall clock time 0.382s.
1.08/1.10	c declared #vars     7954
1.08/1.10	c #constraints  11900
1.08/1.10	c constraints type 
1.08/1.10	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5002
1.08/1.10	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1618
1.08/1.10	c org.sat4j.specs.Constr$1 => 1832
1.08/1.10	c org.sat4j.pb.constraints.pb.UnitClausePB => 1832
1.08/1.10	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1616
1.08/1.10	c 11900 constraints processed.
1.27/1.12	c objective function length is 2888 literals
4.04/2.87	c cleaning 2500 clauses out of 4999 with flag 11817/5000
5.52/4.16	c cleaning 4249 clauses out of 8499 with flag 26574/11000
7.56/5.63	c cleaning 5625 clauses out of 11250 with flag 43873/18000
10.55/8.02	c cleaning 6804 clauses out of 13626 with flag 63605/26001
12.94/10.40	c cleaning 7910 clauses out of 15821 with flag 87877/35000
15.58/12.89	c cleaning 8954 clauses out of 17912 with flag 114170/45001
18.14/15.30	c cleaning 9977 clauses out of 19958 with flag 142218/56001
21.12/18.22	c cleaning 10990 clauses out of 21980 with flag 172117/68000
24.36/21.31	c cleaning 11995 clauses out of 23990 with flag 206297/81000
27.99/24.77	c cleaning 12996 clauses out of 25996 with flag 243498/95001
32.11/28.72	c cleaning 13998 clauses out of 27999 with flag 283319/110000
35.91/32.55	c cleaning 14995 clauses out of 30002 with flag 326987/126001
40.48/36.95	c cleaning 16002 clauses out of 32007 with flag 372169/143001
45.38/41.64	c cleaning 17001 clauses out of 34004 with flag 419775/161000
50.32/46.42	c cleaning 18001 clauses out of 36003 with flag 470376/180000
55.43/51.44	c cleaning 19000 clauses out of 38002 with flag 523388/200000
61.36/57.21	c cleaning 19998 clauses out of 40002 with flag 577790/221000
67.50/63.21	c cleaning 21003 clauses out of 42005 with flag 635490/243001
73.91/69.53	c cleaning 21999 clauses out of 44004 with flag 696351/266003
80.71/76.24	c cleaning 23001 clauses out of 46002 with flag 758867/290000
88.89/83.42	c cleaning 23994 clauses out of 48001 with flag 824833/315000
97.38/91.78	c cleaning 25000 clauses out of 50007 with flag 898149/341000
105.37/99.61	c cleaning 25999 clauses out of 52007 with flag 971806/368000
114.23/108.43	c cleaning 26999 clauses out of 54008 with flag 1048567/396000
122.26/116.26	c cleaning 28002 clauses out of 56009 with flag 1128770/425000
130.43/124.26	c cleaning 28994 clauses out of 58007 with flag 1213624/455000
139.01/132.75	c cleaning 30003 clauses out of 60014 with flag 1300253/486001
148.55/142.08	c cleaning 31000 clauses out of 62011 with flag 1393347/518001
159.14/151.41	c cleaning 32002 clauses out of 64010 with flag 1486879/551000
168.69/160.78	c cleaning 33000 clauses out of 66008 with flag 1585064/585000
178.44/170.33	c cleaning 34002 clauses out of 68011 with flag 1689625/620003
189.02/180.61	c cleaning 34997 clauses out of 70006 with flag 1792128/656000
199.09/190.50	c cleaning 36004 clauses out of 72010 with flag 1902164/693001
208.57/199.70	c cleaning 37000 clauses out of 74006 with flag 2014339/731001
220.84/210.30	c cleaning 38002 clauses out of 76006 with flag 2129523/770001
231.29/220.58	c cleaning 38999 clauses out of 78003 with flag 2243545/810000
241.95/231.04	c cleaning 40001 clauses out of 80005 with flag 2361941/851001
252.38/241.20	c cleaning 40995 clauses out of 82003 with flag 2478463/893000
263.74/252.34	c cleaning 41994 clauses out of 84008 with flag 2598097/936000
275.72/264.06	c cleaning 43006 clauses out of 86015 with flag 2724788/980001
288.21/276.24	c cleaning 44003 clauses out of 88009 with flag 2851203/1025001
300.75/288.68	c cleaning 44998 clauses out of 90005 with flag 2976565/1071000
312.98/300.68	c cleaning 46001 clauses out of 92007 with flag 3104086/1118000
325.56/312.95	c cleaning 47001 clauses out of 94007 with flag 3235506/1166001
338.29/325.46	c cleaning 48000 clauses out of 96005 with flag 3373487/1215000
352.40/339.24	c cleaning 48999 clauses out of 98006 with flag 3507936/1265001
368.73/353.83	c cleaning 49999 clauses out of 100008 with flag 3648429/1316002
383.07/367.71	c cleaning 51003 clauses out of 102011 with flag 3789290/1368004
398.04/382.51	c cleaning 51997 clauses out of 104005 with flag 3934008/1421001
413.98/398.16	c cleaning 53003 clauses out of 106008 with flag 4082294/1475001
430.86/414.68	c cleaning 53996 clauses out of 108004 with flag 4235434/1530000
448.48/431.88	c cleaning 54999 clauses out of 110008 with flag 4389594/1586000
465.75/448.91	c cleaning 56001 clauses out of 112010 with flag 4550627/1643001
483.44/466.39	c cleaning 56997 clauses out of 114008 with flag 4709515/1701000
500.79/483.32	c cleaning 57994 clauses out of 116011 with flag 4869895/1760000
519.07/501.32	c cleaning 59003 clauses out of 118020 with flag 5027951/1820003
537.43/519.30	c cleaning 60007 clauses out of 120015 with flag 5197948/1881001
557.12/538.70	c cleaning 60999 clauses out of 122008 with flag 5378385/1943001
576.60/557.99	c cleaning 61998 clauses out of 124009 with flag 5565804/2006001
598.20/577.85	c cleaning 63002 clauses out of 126010 with flag 5739777/2070000
618.84/598.15	c cleaning 64004 clauses out of 128008 with flag 5922095/2135000
640.02/619.29	c cleaning 64991 clauses out of 130004 with flag 6106519/2201000
661.83/640.62	c cleaning 66002 clauses out of 132013 with flag 6294086/2268000
683.34/661.96	c cleaning 66998 clauses out of 134011 with flag 6492327/2336000
705.25/683.45	c cleaning 68007 clauses out of 136016 with flag 6689720/2405003
726.53/704.30	c cleaning 68998 clauses out of 138007 with flag 6875031/2475001
748.58/725.94	c cleaning 70003 clauses out of 140011 with flag 7067141/2546003
771.17/748.35	c cleaning 71001 clauses out of 142006 with flag 7257877/2618001
794.97/771.89	c cleaning 72001 clauses out of 144005 with flag 7459436/2691001
818.55/795.06	c cleaning 72990 clauses out of 146004 with flag 7667178/2765001
844.42/820.54	c cleaning 74004 clauses out of 148013 with flag 7878958/2840000
867.62/843.44	c cleaning 74993 clauses out of 150009 with flag 8090607/2916000
892.47/867.88	c cleaning 76007 clauses out of 152016 with flag 8304180/2993000
918.57/892.50	c cleaning 77005 clauses out of 154011 with flag 8515578/3071002
944.36/917.87	c cleaning 77991 clauses out of 156004 with flag 8723326/3150000
969.62/942.87	c cleaning 79001 clauses out of 158015 with flag 8962507/3230002
996.25/968.86	c cleaning 80000 clauses out of 160014 with flag 9172668/3311002
1021.44/993.75	c cleaning 80999 clauses out of 162012 with flag 9387970/3393000
1049.41/1021.03	c cleaning 82002 clauses out of 164013 with flag 9618718/3476000
1078.67/1050.05	c cleaning 83002 clauses out of 166011 with flag 9858203/3560000
1106.49/1077.49	c cleaning 83999 clauses out of 168009 with flag 10089490/3645000
1132.16/1102.96	c cleaning 85005 clauses out of 170011 with flag 10326957/3731001
1158.15/1128.59	c cleaning 85996 clauses out of 172006 with flag 10560207/3818001
1183.79/1153.68	c cleaning 87002 clauses out of 174009 with flag 10794754/3906000
1212.79/1182.33	c cleaning 87998 clauses out of 176007 with flag 11041724/3995000
1241.81/1210.88	c cleaning 89002 clauses out of 178009 with flag 11290041/4085000
1270.08/1238.51	c cleaning 89998 clauses out of 180008 with flag 11536664/4176001
1298.65/1266.84	c cleaning 90996 clauses out of 182009 with flag 11781820/4268000
1330.64/1298.30	c cleaning 92002 clauses out of 184013 with flag 12042228/4361000
1361.74/1328.99	c cleaning 93003 clauses out of 186012 with flag 12289224/4455001
1395.49/1360.43	c cleaning 94001 clauses out of 188008 with flag 12557939/4550000
1433.49/1397.72	c cleaning 95004 clauses out of 190012 with flag 12821280/4646005
1468.33/1432.24	c cleaning 95998 clauses out of 192003 with flag 13100236/4743000
1502.24/1465.54	c cleaning 96995 clauses out of 194005 with flag 13367070/4841000
1534.76/1497.80	c cleaning 97998 clauses out of 196010 with flag 13625573/4940000
1569.08/1531.41	c cleaning 99003 clauses out of 198013 with flag 13906743/5040001
1603.17/1565.09	c cleaning 99995 clauses out of 200010 with flag 14186174/5141001
1639.31/1600.51	c cleaning 101004 clauses out of 202015 with flag 14469657/5243001
1674.59/1635.57	c cleaning 101999 clauses out of 204011 with flag 14764130/5346001
1707.78/1668.28	c cleaning 103001 clauses out of 206012 with flag 15050645/5450001
1743.62/1703.32	c cleaning 103999 clauses out of 208011 with flag 15340386/5555001
1780.71/1740.09	c cleaning 104999 clauses out of 210012 with flag 15619294/5661001
1817.97/1776.77	c cleaning 106004 clauses out of 212013 with flag 15912742/5768001
1852.93/1811.47	c cleaning 107003 clauses out of 214008 with flag 16210037/5876000
1891.83/1849.84	c cleaning 107999 clauses out of 216006 with flag 16511166/5985001
1932.68/1890.03	c cleaning 108997 clauses out of 218007 with flag 16819744/6095001
1969.85/1926.81	c cleaning 110003 clauses out of 220010 with flag 17126628/6206001
2005.71/1962.11	c cleaning 110997 clauses out of 222006 with flag 17420695/6318000
2050.43/2003.76	c cleaning 112000 clauses out of 224011 with flag 17729454/6431002
2091.47/2044.35	c cleaning 113004 clauses out of 226011 with flag 18044063/6545002
2130.22/2082.88	c cleaning 113998 clauses out of 228005 with flag 18344686/6660000
2171.61/2123.60	c cleaning 115001 clauses out of 230009 with flag 18666493/6776002
2218.11/2169.86	c cleaning 115995 clauses out of 232006 with flag 18998439/6893000
2261.96/2212.60	c cleaning 117004 clauses out of 234014 with flag 19314129/7011003
2301.96/2252.23	c cleaning 117995 clauses out of 236007 with flag 19621803/7130000
2345.36/2294.80	c cleaning 118999 clauses out of 238012 with flag 19943298/7250000
2387.13/2336.33	c cleaning 119999 clauses out of 240014 with flag 20268714/7371001
2428.45/2376.96	c cleaning 121005 clauses out of 242014 with flag 20585079/7493000
2477.72/2425.95	c cleaning 122000 clauses out of 244009 with flag 20925737/7616000
2521.59/2469.20	c cleaning 122999 clauses out of 246009 with flag 21251207/7740000
2563.21/2510.10	c cleaning 124001 clauses out of 248010 with flag 21579028/7865000
2608.52/2554.91	c cleaning 124998 clauses out of 250010 with flag 21929950/7991001
2663.68/2609.26	c cleaning 125998 clauses out of 252012 with flag 22319913/8118001
2717.04/2662.18	c cleaning 127007 clauses out of 254017 with flag 22674668/8246004
2763.52/2707.71	c cleaning 127999 clauses out of 256006 with flag 23045944/8375000
2818.77/2760.76	c cleaning 129004 clauses out of 258007 with flag 23392982/8505000
2870.99/2811.96	c cleaning 129991 clauses out of 260004 with flag 23743196/8636001
2928.56/2869.10	c cleaning 130991 clauses out of 262012 with flag 24099194/8768000
2980.73/2920.27	c cleaning 132007 clauses out of 264021 with flag 24462605/8901000
3033.07/2972.27	c cleaning 133001 clauses out of 266015 with flag 24833327/9035001
3087.52/3026.66	c cleaning 134002 clauses out of 268013 with flag 25217615/9170000
3141.98/3080.24	c cleaning 134995 clauses out of 270011 with flag 25620361/9306000
3193.80/3131.70	c cleaning 136004 clauses out of 272017 with flag 26092278/9443001
3248.00/3185.27	c cleaning 137001 clauses out of 274012 with flag 26461399/9581000
3303.29/3240.13	c cleaning 137999 clauses out of 276012 with flag 26843471/9720001
3355.67/3291.76	c cleaning 139003 clauses out of 278013 with flag 27241215/9860001
3412.04/3347.65	c cleaning 139999 clauses out of 280011 with flag 27659990/10001002
3469.34/3404.09	c cleaning 140997 clauses out of 282009 with flag 28114909/10143000
3519.26/3453.51	c cleaning 141999 clauses out of 284012 with flag 28730838/10286000
3575.44/3508.67	c cleaning 142989 clauses out of 286013 with flag 29358691/10430001
3600.07/3532.72	c starts		: 15
3600.07/3532.73	c conflicts		: 10510526
3600.07/3532.73	c decisions		: 15107242
3600.07/3532.73	c propagations		: 12601918975
3600.07/3532.73	c inspects		: 17757794714
3600.07/3532.73	c shortcuts		: 0
3600.07/3532.73	c learnt literals	: 3
3600.07/3532.73	c learnt binary clauses	: 15
3600.07/3532.73	c learnt ternary clauses	: 19
3600.07/3532.73	c learnt constraints	: 10510523
3600.07/3532.73	c ignored constraints	: 0
3600.07/3532.73	c root simplifications	: 0
3600.07/3532.73	c removed literals (reason simplification)	: 0
3600.07/3532.73	c reason swapping (by a shorter reason)	: 0
3600.07/3532.73	c Calls to reduceDB	: 140
3600.07/3532.73	c Number of update (reduction) of LBD	: 1320550
3600.07/3532.73	c Imported unit clauses	: 0
3600.07/3532.73	c timeout
3600.07/3532.73	c No decision after first conflict	: false
3600.07/3532.73	c number of reductions to clauses (during analyze)	: 0
3600.07/3532.73	c number of learned constraints concerned by reduction	: 0
3600.07/3532.73	c number of learning phase by resolution	: 0
3600.07/3532.74	c number of learning phase by cutting planes	: 0
3600.07/3532.74	c number of rounding to 1 operations	: 0
3600.07/3532.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3532.74	c number of reductions of the coefficients by power 2 	: 0
3600.07/3532.74	c number of right shift for reduction by power 2 	: 0
3600.07/3532.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3532.74	c number of ending skipping 	: 0
3600.07/3532.74	c number of internal skipping 	: 0
3600.07/3532.74	c number of derivation steps 	: 0
3600.07/3532.74	c number of skipped derivation steps 	: 0
3600.07/3532.74	c number of remaining unassigned 	: 0
3600.07/3532.74	c number of remaining assigned 	: 0
3600.07/3532.74	c number of falsified literals weakened from reason	: 0
3600.07/3532.74	c number of falsified literals weakened from conflict	: 0
3600.07/3532.74	c time for arithmetic operations	: 0
3600.07/3532.74	c minimum degree of deleted constraints	: null
3600.07/3532.74	c maximum degree of deleted constraints	: null
3600.07/3532.74	c number of deleted constraints	: 0
3600.07/3532.75	c speed (assignments/second)	: 3568326.2921532844
3600.07/3532.75	c non guided choices	: 0
3600.21/3532.87	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 223534
3600.21/3532.87	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 15
3600.21/3532.87	s UNKNOWN
3600.21/3532.87	c Total wall clock time (in seconds): 3532.171

Verifier Data 

ERROR: no interpretation found !

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: 64059 MiB (52124 MiB free)
  memory of node 1: 64510 MiB (61626 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461687-1722204305/watcher-4461687-1722204305 -o /tmp/evaluation-result-4461687-1722204305/solver-4461687-1722204305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722204305-431324 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4461687-1722204305.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=431349, runsolver pid=431346
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 0.05 0.09 0.09 2/237 431369
/proc/meminfo: memFree=116475084/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=37736 memory=5388 CPUtime=0 cores=4,6
/proc/431349/stat : 431349 (java) D 431346 431349 431313 0 -1 4194304 396 0 5 0 0 0 0 0 20 0 1 0 56420058 38641664 1347 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 0 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 9434 1347 1094 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 5388 KiB

[startup+0.213674 s]*
/proc/loadavg: 0.05 0.09 0.09 1/258 431393
/proc/meminfo: memFree=116428692/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=18175400 memory=30064 CPUtime=0.02 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 2632 0 6 0 1 1 0 0 20 0 7 0 56420058 18611609600 7516 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16784588 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4543850 7516 3746 1 0 544764 0
[pid=431349/tid=431370] ppid=431346 vsize=18175400 memory=3472328300254199927 CPUtime=0.01 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 2089 0 1 0 0 1 0 0 20 0 7 0 56420069 18611609600 7516 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 7 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 30064 KiB

[startup+0.313685 s]*
/proc/loadavg: 0.05 0.09 0.09 1/259 431394
/proc/meminfo: memFree=116407324/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=18175400 memory=36812 CPUtime=0.03 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 4278 0 12 0 1 2 0 0 20 0 7 0 56420058 18611609600 9203 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16784588 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4543850 9203 3779 1 0 544764 0
[pid=431349/tid=431370] ppid=431346 vsize=18175400 memory=-8959462219760378556 CPUtime=0.03 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) D 431346 431349 431313 0 -1 4194368 3719 0 7 0 1 2 0 0 20 0 7 0 56420069 18611609600 9203 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 17 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 36812 KiB

[startup+0.701852 s]
/proc/loadavg: 0.05 0.09 0.09 1/293 431429
/proc/meminfo: memFree=116362864/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=18975048 memory=64240 CPUtime=0.48 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 7405 0 16 0 43 5 0 0 20 0 18 0 56420058 19430449152 16060 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4743762 16060 5765 1 0 551549 0
[pid=431349/tid=431370] ppid=431346 vsize=18975048 memory=0 CPUtime=0.29 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) S 431346 431349 431313 0 -1 1077936192 5852 0 11 0 25 4 0 0 20 0 18 0 56420069 19430449152 16060 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56420097 19430449152 16060 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=18975048 memory=140131428246896 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56420098 19430449152 16060 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64240 KiB

[startup+1.5008 s]
/proc/loadavg: 0.05 0.09 0.09 14/318 431462
/proc/meminfo: memFree=116001636/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=181788 CPUtime=2.04 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 15653 0 16 0 191 13 0 0 20 0 20 0 56420058 19566772224 45447 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 45447 5907 1 0 557593 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=0 CPUtime=0.97 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 6080 0 11 0 90 7 0 0 20 0 20 0 56420069 19566772224 45447 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 45447 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=140131428246896 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 45447 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 2.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181788 KiB

[startup+3.1068 s]
/proc/loadavg: 0.76 0.24 0.13 7/322 431466
/proc/meminfo: memFree=112197800/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=183172 CPUtime=4.38 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 20683 0 16 0 424 14 0 0 20 0 20 0 56420058 19566772224 45793 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 45793 5907 1 0 557639 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=198340509722 CPUtime=2.54 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 7708 0 11 0 247 7 0 0 20 0 20 0 56420069 19566772224 45793 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=70864 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 45793 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 45793 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=-8600299049965953724 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 45793 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183172 KiB

[startup+6.3008 s]
/proc/loadavg: 0.76 0.24 0.13 8/323 431467
/proc/meminfo: memFree=108911636/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=288376 CPUtime=8.83 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 27484 0 16 0 865 18 0 0 20 0 20 0 56420058 19566772224 72094 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 72094 5927 1 0 558753 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=0 CPUtime=5.48 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 7744 0 11 0 541 7 0 0 20 0 20 0 56420069 19566772224 72094 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=-8600299049965953724 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 72094 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=-8744133862576726716 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 72094 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=280262856764224 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 72094 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 288376 KiB

[startup+12.7008 s]
/proc/loadavg: 1.10 0.32 0.16 5/323 431469
/proc/meminfo: memFree=107717976/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=361336 CPUtime=15.48 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 31501 0 16 0 1527 21 0 0 20 0 20 0 56420058 19566772224 90334 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 90334 5943 1 0 558769 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=-6163270779328161875 CPUtime=11.71 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) S 431346 431349 431313 0 -1 1077936192 8262 0 11 0 1164 7 0 0 20 0 20 0 56420069 19566772224 90334 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 90334 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=-8744133862576726716 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 90334 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=368488 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 90334 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 361336 KiB

[startup+25.5005 s]
/proc/loadavg: 1.97 0.55 0.24 6/323 431470
/proc/meminfo: memFree=104192228/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=869164 CPUtime=28.79 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 37157 0 16 0 2847 32 0 0 20 0 20 0 56420058 19566772224 217291 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 217291 5954 1 0 738400 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=0 CPUtime=23.84 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 9841 0 11 0 2375 9 0 0 20 0 20 0 56420069 19566772224 217291 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 217291 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=565672 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 217291 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=288376 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 217291 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 869164 KiB

[startup+51.1134 s]
/proc/loadavg: 2.74 0.84 0.34 5/323 431475
/proc/meminfo: memFree=100975180/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=1579192 CPUtime=55.14 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 42805 0 16 0 5465 49 0 0 20 0 20 0 56420058 19566772224 394798 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 394798 5954 1 0 874179 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=0 CPUtime=48.65 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 11376 0 11 0 4853 12 0 0 20 0 20 0 56420069 19566772224 394798 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=975696 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 394798 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=1579192 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 394798 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=1992 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 394798 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 55.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1579192 KiB

[startup+102.301 s]
/proc/loadavg: 3.54 1.36 0.55 5/323 431484
/proc/meminfo: memFree=95999860/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=2294608 CPUtime=108.05 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 61056 0 16 0 10731 74 0 0 20 0 20 0 56420058 19566772224 573652 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 573652 5954 1 0 879786 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=1992 CPUtime=98.28 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 18675 0 11 0 9814 14 0 0 20 0 20 0 56420069 19566772224 573652 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=1902896 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 573652 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0

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

/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 126005 0 11 0 315239 81 0 0 20 0 20 0 56420069 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=32180 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2101 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=13696 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3285.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12952724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.32 4.18 5/323 433757
/proc/meminfo: memFree=65740176/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=12952724 CPUtime=3346.28 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 346512 0 16 0 334157 471 0 0 20 0 20 0 56420058 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 3238181 5954 1 0 3795856 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=12952724 CPUtime=3212.14 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 127366 0 11 0 321132 82 0 0 20 0 20 0 56420069 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=18996 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2101 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3346.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12952724 KiB

[startup+3342.3 s]
/proc/loadavg: 3.74 4.18 4.14 4/299 433806
/proc/meminfo: memFree=82265764/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=12952724 CPUtime=3406.75 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 349073 0 16 0 340202 473 0 0 20 0 20 0 56420058 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 3238181 5954 1 0 3795856 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=11644 CPUtime=3271.38 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 129502 0 11 0 327056 82 0 0 20 0 20 0 56420069 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=2204 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2150 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3238181 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3406.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12952724 KiB

[startup+3402.3 s]
/proc/loadavg: 3.37 3.99 4.08 4/297 433830
/proc/meminfo: memFree=82265404/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=12952768 CPUtime=3467.64 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 356700 0 16 0 346287 477 0 0 20 0 20 0 56420058 19566772224 3238192 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 3238192 5954 1 0 3795869 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=11644 CPUtime=3330.16 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 131375 0 11 0 332934 82 0 0 20 0 20 0 56420069 19566772224 3238192 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3238192 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2151 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3238192 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3238192 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3467.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12952768 KiB

[startup+3462.3 s]
/proc/loadavg: 3.21 3.84 4.02 4/297 433841
/proc/meminfo: memFree=82254732/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=12952772 CPUtime=3528.54 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 359232 0 16 0 352373 481 0 0 20 0 20 0 56420058 19566772224 3238193 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 3238193 5954 1 0 3795869 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=11644 CPUtime=3388.93 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 133295 0 11 0 338810 83 0 0 20 0 20 0 56420069 19566772224 3238193 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=12952724 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3238193 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=11644 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2194 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3238193 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=12952772 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3238193 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3528.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12952772 KiB

[startup+3522.3 s]
/proc/loadavg: 3.17 3.71 3.96 4/295 433852
/proc/meminfo: memFree=81254292/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=12952780 CPUtime=3589.11 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 364192 0 16 0 358428 483 0 0 20 0 20 0 56420058 19566772224 3238195 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 3238195 5954 1 0 3795869 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=12952772 CPUtime=3448.03 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 134892 0 11 0 344720 83 0 0 20 0 20 0 56420069 19566772224 3238195 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=12952772 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3238195 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=79148 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2195 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3238195 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=12952780 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3238195 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3589.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12952780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3532.7 s]
/proc/loadavg: 3.15 3.69 3.95 3/269 433888
/proc/meminfo: memFree=94064492/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19108176 memory=13075660 CPUtime=3600.07 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 364585 0 16 0 359520 487 0 0 20 0 20 0 56420058 19566772224 3268915 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 4 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4777044 3268915 5954 1 0 3795869 0
[pid=431349/tid=431370] ppid=431346 vsize=19108176 memory=11644 CPUtime=3457.76 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) R 431346 431349 431313 0 -1 4194368 134941 0 11 0 345693 83 0 0 20 0 20 0 56420069 19566772224 3268915 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19108176 memory=79148 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3268915 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19108176 memory=11904 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2195 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3268915 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431464] ppid=431346 vsize=19108176 memory=-8744133862576726716 CPUtime=0 cores=4,6
/proc/431349/task/431464/stat : 431464 (Timer-0) S 431346 431349 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420171 19566772224 3268915 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13075660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.43 s, system=4.91946 s

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

[startup+3532.81 s]
/proc/loadavg: 3.15 3.69 3.95 3/269 433888
/proc/meminfo: memFree=94064492/131655788 swapFree=131057576/131071996
[pid=431349] ppid=431346 vsize=19307868 memory=13076336 CPUtime=3600.21 cores=4,6
/proc/431349/stat : 431349 (java) S 431346 431349 431313 0 -1 1077936128 367408 0 16 0 359534 487 0 0 20 0 21 0 56420058 19771256832 3269084 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 0 0 16800975 0 0 0 17 6 0 0 11 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
/proc/431349/statm: 4826967 3269084 5953 1 0 3796772 0
[pid=431349/tid=431370] ppid=431346 vsize=19307868 memory=2204 CPUtime=3457.78 cores=4,6
/proc/431349/task/431370/stat : 431370 (java) S 431346 431349 431313 0 -1 1077936192 135116 0 11 0 345695 83 0 0 20 0 21 0 56420069 19771256832 3269084 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431403] ppid=431346 vsize=19307868 memory=5468 CPUtime=0 cores=4,6
/proc/431349/task/431403/stat : 431403 (Finalizer) S 431346 431349 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 56420097 19771256832 3269084 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
[pid=431349/tid=431427] ppid=431346 vsize=19307868 memory=79148 CPUtime=0 cores=4,6
/proc/431349/task/431427/stat : 431427 (Common-Cleaner) S 431346 431349 431313 0 -1 1077936192 2195 0 0 0 0 0 0 0 20 0 21 0 56420098 19771256832 3269084 134679101440 93837014384640 93837014388336 140724920734256 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93837014396152 93837014396944 93837045207040 140724920742918 140724920743008 140724920743008 140724920750024 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13076336 KiB

[startup+3532.9 s]*
/proc/loadavg: 3.15 3.69 3.95 4/251 433891
/proc/meminfo: memFree=94076480/131655788 swapFree=131057576/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): 3532.94
CPU time (s): 3600.35
CPU user time (s): 3595.43
CPU system time (s): 4.91946
CPU usage (%): 101.908
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13076336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.43
system time used= 4.91946
maximum resident set size= 13077288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367791
page faults= 16
swaps= 0
block input operations= 3560
block output operations= 3696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113685
involuntary context switches= 8217


# summary of solver processes directly reported to runsolver:
#   pid: 431349
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3595.43
#   total CPU system time (s): 4.91946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9222 second user time and 36.7094 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-29 00:05:05
IDJOB=4461687
IDBENCH=178867
IDSOLVER=3058
FILE ID=nodeC010/4461687-1722204305
RUNJOBID= nodeC010-1722204305-431324
SLURM_JOB_ID= 8248645
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461687-1722204305/watcher-4461687-1722204305 -o /tmp/evaluation-result-4461687-1722204305/solver-4461687-1722204305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722204305-431324 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4461687-1722204305.opb

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

MD5SUM BENCH= cbf5cad29c462115f23fdf2c3f496dde
RANDOM SEED=1194767636

nodeC010.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	: 0xb00001f
cpu MHz		: 1197.348
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.345
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.438
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.239
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
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	: 0xb00001f
cpu MHz		: 1197.193
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.61
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	: 0xb00001f
cpu MHz		: 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116484344 kB
MemAvailable:   129810168 kB
Buffers:          393748 kB
Cached:         13303296 kB
SwapCached:          220 kB
Active:          2025360 kB
Inactive:       11975948 kB
Active(anon):       4240 kB
Inactive(anon):   353236 kB
Active(file):    2021120 kB
Inactive(file): 11622712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057576 kB
Dirty:              1108 kB
Writeback:             0 kB
AnonPages:        304840 kB
Mapped:           100492 kB
Shmem:             53212 kB
KReclaimable:     743736 kB
Slab:             860688 kB
SReclaimable:     743736 kB
SUnreclaim:       116952 kB
KernelStack:        3624 kB
PageTables:         9240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     578424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14784 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC010 at 2024-07-29 01:03:58