Trace number 4461727

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.3 3524.51

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
MD5SUMbf582d0692e77e16b133b78b4e960df6
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 benchmark2232
Best CPU time to get the best result obtained on this benchmark0.100218
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7894
Total number of constraints7895
Number of constraints which are clauses3947
Number of constraints which are cardinality constraints (but not clauses)2888
Number of constraints which are nor clauses,nor cardinality constraints1060
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.22/0.43	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.22/0.43	c This is free software under the dual EPL/GNU LGPL licenses.
0.22/0.43	c See www.sat4j.org for details.
0.22/0.50	c version CUSTOM.v20240707
0.27/0.53	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.53	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.53	c java.vm.version	22.0.1+8-16
0.27/0.53	c java.vm.vendor	Oracle Corporation
0.27/0.53	c sun.arch.data.model	64
0.27/0.53	c java.version		22.0.1
0.27/0.53	c os.name		Linux
0.27/0.53	c os.version		4.18.0-301.1.el8.x86_64
0.27/0.53	c os.arch		amd64
0.27/0.54	c Free memory 		2115194816
0.27/0.54	c Max memory 		16282288128
0.27/0.54	c Total memory 		2122317824
0.27/0.55	c Number of processors 	2
0.42/0.65	--- Begin Solver configuration ---
0.42/0.65	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.42/0.65	Learn all clauses as in MiniSAT
0.42/0.65	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.65	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.65	No reason simplification
0.42/0.65	Glucose 2.1 dynamic restart strategy
0.42/0.65	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.42/0.65	timeout=2147483s
0.42/0.65	DB Simplification allowed=false
0.42/0.65	Listener: none
0.42/0.65	--- End Solver configuration ---
0.42/0.65	c Pseudo Boolean Optimization by upper bound
0.42/0.65	c --- Begin Solver configuration ---
0.42/0.65	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.42/0.65	c Learn all clauses as in MiniSAT
0.42/0.65	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.65	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.65	c No reason simplification
0.42/0.65	c Glucose 2.1 dynamic restart strategy
0.42/0.65	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.42/0.65	c timeout=2147483s
0.42/0.65	c DB Simplification allowed=false
0.42/0.65	c Listener: none
0.42/0.65	c --- End Solver configuration ---
0.42/0.65	c solving HOME/instance-4461727-1722204305.opb
0.42/0.65	c reading problem ... 
0.42/0.66	c  objective function found
0.96/1.01	c ... done. Wall clock time 0.35s.
1.17/1.01	c declared #vars     7894
1.17/1.01	c #constraints  11843
1.17/1.01	c constraints type 
1.17/1.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4919
1.17/1.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1634
1.17/1.01	c org.sat4j.specs.Constr$1 => 1829
1.17/1.01	c org.sat4j.pb.constraints.pb.UnitClausePB => 1829
1.17/1.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1632
1.17/1.01	c 11843 constraints processed.
1.17/1.04	c objective function length is 2888 literals
3.94/2.77	c cleaning 2500 clauses out of 5000 with flag 21907/5001
5.46/3.99	c cleaning 4250 clauses out of 8499 with flag 51912/11000
6.91/5.13	c cleaning 5625 clauses out of 11249 with flag 88564/18000
8.78/6.95	c cleaning 6811 clauses out of 13625 with flag 126748/26001
10.90/8.96	c cleaning 7901 clauses out of 15814 with flag 173316/35001
13.48/11.24	c cleaning 8949 clauses out of 17912 with flag 224919/45000
16.29/13.42	c cleaning 9980 clauses out of 19963 with flag 281249/56000
19.26/16.08	c cleaning 10985 clauses out of 21983 with flag 347805/68000
22.39/19.02	c cleaning 11999 clauses out of 23999 with flag 427159/81001
25.69/22.23	c cleaning 12997 clauses out of 26000 with flag 509381/95001
29.04/25.46	c cleaning 14002 clauses out of 28003 with flag 596346/110001
32.27/28.58	c cleaning 14999 clauses out of 30001 with flag 678005/126001
36.04/32.24	c cleaning 15999 clauses out of 32002 with flag 772613/143001
40.63/36.67	c cleaning 16998 clauses out of 34002 with flag 872429/161000
45.19/41.10	c cleaning 17998 clauses out of 36004 with flag 967992/180000
50.03/45.71	c cleaning 19002 clauses out of 38007 with flag 1070151/200001
55.43/51.01	c cleaning 19998 clauses out of 40004 with flag 1189713/221000
60.87/56.34	c cleaning 20995 clauses out of 42006 with flag 1304022/243000
67.16/62.41	c cleaning 21999 clauses out of 44011 with flag 1426407/266000
73.24/68.37	c cleaning 23002 clauses out of 46012 with flag 1557437/290000
79.69/74.60	c cleaning 24000 clauses out of 48010 with flag 1694938/315000
86.15/80.95	c cleaning 25004 clauses out of 50010 with flag 1836360/341000
94.64/88.39	c cleaning 25999 clauses out of 52008 with flag 1982658/368002
102.49/96.05	c cleaning 27001 clauses out of 54008 with flag 2149043/396001
110.29/103.79	c cleaning 27997 clauses out of 56006 with flag 2313990/425000
118.40/111.78	c cleaning 28994 clauses out of 58010 with flag 2491505/455001
127.05/120.19	c cleaning 30004 clauses out of 60016 with flag 2675316/486001
135.78/128.70	c cleaning 31006 clauses out of 62012 with flag 2870707/518001
144.90/137.74	c cleaning 31997 clauses out of 64005 with flag 3078980/551000
154.48/147.07	c cleaning 32996 clauses out of 66008 with flag 3288931/585000
164.10/156.57	c cleaning 33999 clauses out of 68013 with flag 3475128/620001
173.89/166.04	c cleaning 35007 clauses out of 70013 with flag 3659610/656000
185.27/176.09	c cleaning 35995 clauses out of 72006 with flag 3862661/693000
196.83/187.30	c cleaning 37005 clauses out of 74011 with flag 4090646/731000
206.98/197.25	c cleaning 38003 clauses out of 76006 with flag 4327149/770000
217.93/207.93	c cleaning 38998 clauses out of 78004 with flag 4570246/810001
229.06/218.98	c cleaning 40000 clauses out of 80007 with flag 4825567/851002
240.49/230.17	c cleaning 40994 clauses out of 82005 with flag 5085315/893000
252.16/241.55	c cleaning 41999 clauses out of 84011 with flag 5344667/936000
266.13/254.33	c cleaning 43001 clauses out of 86012 with flag 5594635/980000
278.87/266.79	c cleaning 44000 clauses out of 88011 with flag 5844072/1025000
291.61/279.37	c cleaning 45000 clauses out of 90011 with flag 6118294/1071000
305.44/292.82	c cleaning 46004 clauses out of 92011 with flag 6421262/1118000
319.10/306.23	c cleaning 47002 clauses out of 94007 with flag 6704165/1166000
333.01/319.88	c cleaning 47997 clauses out of 96005 with flag 7043906/1215000
346.14/332.78	c cleaning 48997 clauses out of 98009 with flag 7365966/1265001
359.46/345.80	c cleaning 50000 clauses out of 100011 with flag 7664749/1316000
373.43/359.44	c cleaning 51005 clauses out of 102012 with flag 7993076/1368001
389.10/374.65	c cleaning 51997 clauses out of 104006 with flag 8338116/1421000
406.66/391.06	c cleaning 52997 clauses out of 106009 with flag 8667139/1475000
422.07/406.12	c cleaning 54002 clauses out of 108013 with flag 9018431/1530001
438.02/421.87	c cleaning 55000 clauses out of 110010 with flag 9374266/1586000
455.01/438.34	c cleaning 55998 clauses out of 112011 with flag 9731038/1643001
472.25/455.23	c cleaning 57004 clauses out of 114012 with flag 10113558/1701000
489.24/471.91	c cleaning 57996 clauses out of 116008 with flag 10464961/1760000
506.87/489.16	c cleaning 59000 clauses out of 118012 with flag 10815357/1820000
523.27/505.23	c cleaning 60005 clauses out of 120012 with flag 11178093/1881000
542.14/523.62	c cleaning 60996 clauses out of 122008 with flag 11628746/1943001
563.18/542.77	c cleaning 62000 clauses out of 124011 with flag 12045773/2006000
582.89/562.02	c cleaning 62998 clauses out of 126011 with flag 12439302/2070000
602.43/581.27	c cleaning 64004 clauses out of 128013 with flag 12849756/2135000
622.49/600.95	c cleaning 65001 clauses out of 130010 with flag 13271720/2201001
643.13/621.12	c cleaning 66005 clauses out of 132009 with flag 13694822/2268001
662.28/639.98	c cleaning 66996 clauses out of 134003 with flag 14089410/2336000
683.20/660.30	c cleaning 67999 clauses out of 136007 with flag 14530939/2405000
704.34/681.07	c cleaning 68997 clauses out of 138008 with flag 14980437/2475000
727.51/703.89	c cleaning 70003 clauses out of 140011 with flag 15424726/2546000
750.87/726.87	c cleaning 71000 clauses out of 142008 with flag 15858599/2618000
777.49/751.43	c cleaning 72001 clauses out of 144010 with flag 16299573/2691002
800.12/773.67	c cleaning 73004 clauses out of 146007 with flag 16791576/2765000
823.66/796.68	c cleaning 74002 clauses out of 148004 with flag 17260557/2840001
847.40/819.84	c cleaning 74990 clauses out of 150001 with flag 17725032/2916000
872.16/844.31	c cleaning 75996 clauses out of 152011 with flag 18134646/2993000
898.60/870.31	c cleaning 76995 clauses out of 154015 with flag 18539514/3071000
925.44/896.83	c cleaning 78006 clauses out of 156020 with flag 19019973/3150000
952.69/923.76	c cleaning 79008 clauses out of 158015 with flag 19486759/3230001
979.16/949.88	c cleaning 80004 clauses out of 160007 with flag 19953836/3311001
1006.01/976.23	c cleaning 80994 clauses out of 162002 with flag 20423348/3393000
1033.96/1003.74	c cleaning 81994 clauses out of 164008 with flag 20922970/3476000
1061.45/1030.74	c cleaning 83000 clauses out of 166014 with flag 21383350/3560000
1092.98/1060.72	c cleaning 84005 clauses out of 168014 with flag 21810175/3645000
1123.45/1090.72	c cleaning 85002 clauses out of 170009 with flag 22282120/3731000
1152.99/1119.61	c cleaning 85998 clauses out of 172008 with flag 22795325/3818001
1181.99/1148.38	c cleaning 87003 clauses out of 174009 with flag 23290763/3906000
1213.52/1179.36	c cleaning 87996 clauses out of 176007 with flag 23744314/3995001
1247.34/1212.60	c cleaning 88994 clauses out of 178011 with flag 24215215/4085001
1278.09/1242.84	c cleaning 90002 clauses out of 180016 with flag 24738568/4176000
1309.66/1273.86	c cleaning 91000 clauses out of 182016 with flag 25284035/4268002
1340.58/1304.11	c cleaning 92008 clauses out of 184015 with flag 25806112/4361001
1373.46/1336.72	c cleaning 92996 clauses out of 186006 with flag 26337543/4455000
1408.16/1370.97	c cleaning 94002 clauses out of 188010 with flag 26860720/4550000
1441.83/1404.26	c cleaning 94999 clauses out of 190009 with flag 27423662/4646001
1476.48/1438.20	c cleaning 96001 clauses out of 192010 with flag 28014519/4743001
1513.48/1473.47	c cleaning 96995 clauses out of 194008 with flag 28573917/4841000
1546.61/1506.32	c cleaning 98004 clauses out of 196013 with flag 29109771/4940000
1585.21/1544.15	c cleaning 98991 clauses out of 198010 with flag 29736136/5040001
1623.54/1581.56	c cleaning 100006 clauses out of 200018 with flag 30363981/5141000
1660.58/1618.24	c cleaning 100994 clauses out of 202012 with flag 31071744/5243000
1701.51/1658.58	c cleaning 102004 clauses out of 204018 with flag 31743727/5346000
1739.89/1696.11	c cleaning 102996 clauses out of 206015 with flag 32364323/5450001
1776.91/1732.81	c cleaning 104002 clauses out of 208018 with flag 32966446/5555000
1815.78/1771.08	c cleaning 105000 clauses out of 210016 with flag 33578606/5661000
1854.81/1809.39	c cleaning 106002 clauses out of 212016 with flag 34197347/5768000
1893.62/1847.86	c cleaning 107000 clauses out of 214014 with flag 34772267/5876000
1933.78/1887.45	c cleaning 107995 clauses out of 216014 with flag 35365402/5985000
1977.25/1930.26	c cleaning 109003 clauses out of 218020 with flag 35996781/6095001
2017.51/1969.71	c cleaning 110009 clauses out of 220017 with flag 36571924/6206001
2058.69/2010.57	c cleaning 110989 clauses out of 222007 with flag 37221632/6318000
2102.75/2051.86	c cleaning 111994 clauses out of 224018 with flag 37826825/6431000
2143.97/2092.73	c cleaning 113007 clauses out of 226024 with flag 38457261/6545000
2192.73/2140.95	c cleaning 114003 clauses out of 228019 with flag 39147670/6660002
2239.30/2187.19	c cleaning 114996 clauses out of 230014 with flag 39774876/6776000
2286.99/2234.11	c cleaning 116003 clauses out of 232018 with flag 40462572/6893000
2332.96/2279.18	c cleaning 117004 clauses out of 234017 with flag 41113730/7011002
2379.71/2325.56	c cleaning 118005 clauses out of 236012 with flag 41717402/7130001
2431.76/2376.84	c cleaning 118998 clauses out of 238006 with flag 42283415/7250000
2480.42/2425.16	c cleaning 119994 clauses out of 240008 with flag 42864040/7371000
2530.25/2474.33	c cleaning 121001 clauses out of 242014 with flag 43492224/7493000
2577.48/2520.80	c cleaning 121996 clauses out of 244013 with flag 44196617/7616000
2622.93/2565.91	c cleaning 122998 clauses out of 246017 with flag 44935688/7740000
2669.73/2612.36	c cleaning 124001 clauses out of 248020 with flag 45644428/7865001
2720.09/2662.12	c cleaning 125008 clauses out of 250019 with flag 46362781/7991001
2765.83/2707.54	c cleaning 126001 clauses out of 252011 with flag 47091728/8118001
2818.58/2759.60	c cleaning 127001 clauses out of 254010 with flag 47859301/8246001
2867.96/2808.26	c cleaning 127998 clauses out of 256008 with flag 48666086/8375000
2921.49/2858.29	c cleaning 129001 clauses out of 258010 with flag 49478192/8505000
2968.26/2904.64	c cleaning 129995 clauses out of 260010 with flag 50251749/8636001
3017.85/2953.33	c cleaning 131000 clauses out of 262015 with flag 51084532/8768001
3066.99/3001.70	c cleaning 131997 clauses out of 264015 with flag 52024671/8901001
3120.13/3054.07	c cleaning 133000 clauses out of 266018 with flag 52938500/9035001
3171.89/3104.88	c cleaning 133995 clauses out of 268017 with flag 53782652/9170000
3229.28/3161.81	c cleaning 134999 clauses out of 270022 with flag 54571914/9306000
3285.08/3217.27	c cleaning 136002 clauses out of 272023 with flag 55366473/9443000
3339.06/3270.55	c cleaning 137008 clauses out of 274022 with flag 56255596/9581001
3395.12/3325.70	c cleaning 138000 clauses out of 276013 with flag 57118184/9720000
3443.35/3373.12	c cleaning 139001 clauses out of 278013 with flag 57970574/9860000
3493.63/3422.54	c cleaning 139998 clauses out of 280012 with flag 58780627/10001000
3542.59/3470.50	c cleaning 141002 clauses out of 282015 with flag 59557256/10143001
3594.08/3518.59	c cleaning 142002 clauses out of 284012 with flag 60488708/10286000
3600.04/3524.32	c starts		: 2
3600.04/3524.32	c timeout
3600.04/3524.33	c conflicts		: 10307897
3600.04/3524.33	c decisions		: 16544370
3600.04/3524.33	c propagations		: 11051964507
3600.04/3524.33	c inspects		: 17069419550
3600.04/3524.33	c shortcuts		: 0
3600.04/3524.33	c learnt literals	: 1
3600.04/3524.33	c learnt binary clauses	: 4
3600.04/3524.33	c learnt ternary clauses	: 21
3600.04/3524.33	c learnt constraints	: 10307896
3600.04/3524.33	c ignored constraints	: 0
3600.04/3524.33	c root simplifications	: 0
3600.04/3524.33	c removed literals (reason simplification)	: 0
3600.04/3524.33	c reason swapping (by a shorter reason)	: 0
3600.04/3524.33	c Calls to reduceDB	: 139
3600.04/3524.33	c Number of update (reduction) of LBD	: 1537873
3600.04/3524.33	c Imported unit clauses	: 0
3600.04/3524.33	c No decision after first conflict	: false
3600.04/3524.33	c number of reductions to clauses (during analyze)	: 0
3600.04/3524.33	c number of learned constraints concerned by reduction	: 0
3600.04/3524.33	c number of learning phase by resolution	: 0
3600.04/3524.33	c number of learning phase by cutting planes	: 0
3600.04/3524.33	c number of rounding to 1 operations	: 0
3600.04/3524.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3524.33	c number of reductions of the coefficients by power 2 	: 0
3600.04/3524.33	c number of right shift for reduction by power 2 	: 0
3600.04/3524.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3524.33	c number of ending skipping 	: 0
3600.04/3524.33	c number of internal skipping 	: 0
3600.04/3524.33	c number of derivation steps 	: 0
3600.04/3524.33	c number of skipped derivation steps 	: 0
3600.04/3524.33	c number of remaining unassigned 	: 0
3600.04/3524.33	c number of remaining assigned 	: 0
3600.04/3524.33	c number of falsified literals weakened from reason	: 0
3600.04/3524.33	c number of falsified literals weakened from conflict	: 0
3600.04/3524.33	c time for arithmetic operations	: 0
3600.04/3524.35	c minimum degree of deleted constraints	: null
3600.04/3524.35	c maximum degree of deleted constraints	: null
3600.04/3524.35	c number of deleted constraints	: 0
3600.04/3524.35	c speed (assignments/second)	: 3136851.2539640055
3600.04/3524.35	c non guided choices	: 0
3600.18/3524.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 163903
3600.18/3524.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 4
3600.18/3524.46	s UNKNOWN
3600.18/3524.46	c Total wall clock time (in seconds): 3523.804

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=431359, runsolver pid=431356

[startup+0.10007 s]*
/proc/loadavg: 0.05 0.09 0.09 2/253 431388
/proc/meminfo: memFree=116444872/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=18175400 memory=28736 CPUtime=0.02 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 2366 0 2 0 1 1 0 0 20 0 7 0 56420064 18611609600 7184 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16784588 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4543850 7184 3717 1 0 544764 0
[pid=431359/tid=431371] ppid=431356 vsize=18175400 memory=4026531959 CPUtime=0.01 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) D 431356 431359 431313 0 -1 4194368 1805 0 0 0 0 1 0 0 20 0 7 0 56420069 18611609600 7184 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 56420070 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 28736 KiB

[startup+0.213988 s]*
/proc/loadavg: 0.05 0.09 0.09 1/259 431394
/proc/meminfo: memFree=116412756/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=18175400 memory=35088 CPUtime=0.03 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 3819 0 13 0 1 2 0 0 20 0 7 0 56420064 18611609600 8772 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16784588 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4543850 8772 3785 1 0 544764 0
[pid=431359/tid=431371] ppid=431356 vsize=18175400 memory=3472328300254199927 CPUtime=0.03 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 3324 0 11 0 1 2 0 0 20 0 7 0 56420069 18611609600 8837 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 56420083 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 35088 KiB

[startup+0.318315 s]*
/proc/loadavg: 0.05 0.09 0.09 4/265 431400
/proc/meminfo: memFree=116383332/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=18575676 memory=47020 CPUtime=0.06 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 5740 0 21 0 3 3 0 0 20 0 12 0 56420064 19021492224 11755 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4643919 11755 4530 1 0 548927 0
[pid=431359/tid=431371] ppid=431356 vsize=18575676 memory=-8959462219760378556 CPUtime=0.05 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) S 431356 431359 431313 0 -1 1077936192 5130 0 19 0 2 3 0 0 20 0 13 0 56420069 19021492224 11756 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=18575676 memory=1469935366811976793 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 13 0 56420097 19021492224 11756 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431414] ppid=431356 vsize=18575676 memory=0 CPUtime=0 cores=5,7
/proc/431359/task/431414/stat : 431414 (java) R 431356 431359 431313 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 13 0 56420097 19021492224 11756 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18575676 KiB
Current children cumulated memory: 47020 KiB

[startup+0.700396 s]
/proc/loadavg: 0.05 0.09 0.09 11/294 431431
/proc/meminfo: memFree=116361192/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=18975048 memory=66444 CPUtime=0.58 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 7472 0 21 0 52 6 0 0 20 0 18 0 56420064 19430449152 16611 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4743762 16611 5769 1 0 551566 0
[pid=431359/tid=431371] ppid=431356 vsize=18975048 memory=0 CPUtime=0.33 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 5866 0 19 0 29 4 0 0 20 0 18 0 56420069 19430449152 16611 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=18975048 memory=16192 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 56420097 19430449152 16611 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=18975048 memory=2369 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 56420098 19430449152 16611 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66444 KiB

[startup+1.50083 s]
/proc/loadavg: 0.05 0.09 0.09 13/318 431462
/proc/meminfo: memFree=115998424/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=182436 CPUtime=2.14 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 17302 0 22 0 202 12 0 0 20 0 20 0 56420064 19566772224 45609 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 45609 5904 1 0 557607 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=2369 CPUtime=1.03 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 6101 0 20 0 96 7 0 0 20 0 20 0 56420069 19566772224 45609 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 45609 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 45609 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182436 KiB

[startup+3.11483 s]
/proc/loadavg: 0.76 0.24 0.13 6/322 431466
/proc/meminfo: memFree=111982004/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=183312 CPUtime=4.39 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 21738 0 22 0 426 13 0 0 20 0 20 0 56420064 19566772224 45828 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 45828 5923 1 0 557648 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=0 CPUtime=2.59 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) S 431356 431359 431313 0 -1 1077936192 7653 0 20 0 252 7 0 0 20 0 20 0 56420069 19566772224 45828 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=198340509722 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 45828 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 45828 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=87964 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 45828 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183312 KiB

[startup+6.30042 s]
/proc/loadavg: 0.76 0.24 0.13 7/323 431467
/proc/meminfo: memFree=108911636/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=275568 CPUtime=8.17 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 22254 0 22 0 800 17 0 0 20 0 20 0 56420064 19566772224 68892 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 68892 5923 1 0 557657 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=1832 CPUtime=5.48 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 7670 0 20 0 541 7 0 0 20 0 20 0 56420069 19566772224 68892 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 68892 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 68892 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 68892 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 275568 KiB

[startup+12.7004 s]
/proc/loadavg: 1.10 0.32 0.16 5/323 431469
/proc/meminfo: memFree=107711832/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=437024 CPUtime=15.48 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 30399 0 22 0 1526 22 0 0 20 0 20 0 56420064 19566772224 109256 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 109256 5939 1 0 558483 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=-8743852387600016060 CPUtime=11.65 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 9021 0 20 0 1158 7 0 0 20 0 20 0 56420069 19566772224 109256 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 109256 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 109256 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=16192 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 109256 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 437024 KiB

[startup+25.5005 s]
/proc/loadavg: 1.97 0.55 0.24 5/323 431470
/proc/meminfo: memFree=104153232/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=990152 CPUtime=29.13 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 34329 0 22 0 2878 35 0 0 20 0 20 0 56420064 19566772224 247538 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 247538 5950 1 0 798693 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=875464 CPUtime=23.83 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 9893 0 20 0 2373 10 0 0 20 0 20 0 56420069 19566772224 247538 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=875464 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 247538 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=-7306100128266226780 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 247538 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=11904 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 247538 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 29.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 990152 KiB

[startup+51.1136 s]
/proc/loadavg: 2.74 0.84 0.34 5/323 431475
/proc/meminfo: memFree=100966960/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=1842536 CPUtime=55.53 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 42258 0 22 0 5499 54 0 0 20 0 20 0 56420064 19566772224 460634 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 460634 5950 1 0 1057706 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=1783120 CPUtime=48.55 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 11522 0 20 0 4841 14 0 0 20 0 20 0 56420069 19566772224 460634 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420093 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=1673496 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 460634 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 460634 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=641 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 460634 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 55.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1842536 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.36 0.55 5/323 431484
/proc/meminfo: memFree=95999860/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=2834292 CPUtime=108.89 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 4.41 4.36 4.19 5/323 433747
/proc/meminfo: memFree=65740612/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=11918928 CPUtime=3290.17 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 297435 0 22 0 328525 492 0 0 20 0 20 0 56420064 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 2979732 5950 1 0 3154530 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=11918928 CPUtime=3150.52 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 88758 0 20 0 314973 79 0 0 20 0 20 0 56420069 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=11918928 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=11918928 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 978 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=11918928 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3290.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11918928 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=431359] ppid=431356 vsize=19108176 memory=11918928 CPUtime=3351.23 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 300883 0 22 0 334626 497 0 0 20 0 20 0 56420064 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 2979732 5950 1 0 3154530 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=5468 CPUtime=3209.18 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 89252 0 20 0 320838 80 0 0 20 0 20 0 56420069 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=11904 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=2204 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 978 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3351.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11918928 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=431359] ppid=431356 vsize=19108176 memory=11918928 CPUtime=3412.01 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 302323 0 22 0 340700 501 0 0 20 0 20 0 56420064 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 2979732 5950 1 0 3154530 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=11904 CPUtime=3268.11 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 90184 0 20 0 326731 80 0 0 20 0 20 0 56420069 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=-8743852387600016060 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 1074 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3412.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11918928 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=431359] ppid=431356 vsize=19108176 memory=11918928 CPUtime=3472.89 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 303317 0 22 0 346785 504 0 0 20 0 20 0 56420064 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 2979732 5950 1 0 3154530 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=11904 CPUtime=3326.95 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 90580 0 20 0 332615 80 0 0 20 0 20 0 56420069 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=11918928 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 1081 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=11644 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 2979732 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3472.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11918928 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=431359] ppid=431356 vsize=19108176 memory=11929168 CPUtime=3533.82 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 304261 0 22 0 352874 508 0 0 20 0 20 0 56420064 19566772224 2982292 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 2982292 5950 1 0 3154530 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=11904 CPUtime=3385.73 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 91058 0 20 0 338493 80 0 0 20 0 20 0 56420069 19566772224 2982292 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=11929168 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 2982292 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=11929168 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 1084 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 2982292 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=-8910014974164189853 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 2982292 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3533.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11929168 KiB

[startup+3522.3 s]
/proc/loadavg: 3.17 3.71 3.96 4/295 433852
/proc/meminfo: memFree=81252216/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=12937508 CPUtime=3597.88 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 333082 0 22 0 359252 536 0 0 20 0 20 0 56420064 19566772224 3234377 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 3234377 5950 1 0 3955989 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=11929168 CPUtime=3444.45 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 104227 0 20 0 344352 93 0 0 20 0 20 0 56420069 19566772224 3234377 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=11929168 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3234377 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 1085 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3234377 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=12886308 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 3234377 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3597.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12937508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3524.3 s]
/proc/loadavg: 3.16 3.70 3.96 5/295 433852
/proc/meminfo: memFree=81102468/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19108176 memory=13078820 CPUtime=3600.04 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 333237 0 22 0 359464 540 0 0 20 0 20 0 56420064 19566772224 3269705 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4777044 3269705 5950 1 0 3955989 0
[pid=431359/tid=431371] ppid=431356 vsize=19108176 memory=11929168 CPUtime=3446.28 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) R 431356 431359 431313 0 -1 4194368 104302 0 20 0 344533 95 0 0 20 0 20 0 56420069 19566772224 3269705 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19108176 memory=11929168 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 56420097 19566772224 3269705 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19108176 memory=12886308 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 1085 0 0 0 0 0 0 0 20 0 20 0 56420098 19566772224 3269705 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431463] ppid=431356 vsize=19108176 memory=12896548 CPUtime=0 cores=5,7
/proc/431359/task/431463/stat : 431463 (Timer-0) S 431356 431359 431313 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 56420170 19566772224 3269705 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13078820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.85 s, system=5.45039 s

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

[startup+3524.41 s]
/proc/loadavg: 3.16 3.70 3.96 5/295 433852
/proc/meminfo: memFree=81102468/131655788 swapFree=131057576/131071996
[pid=431359] ppid=431356 vsize=19307868 memory=13079556 CPUtime=3600.18 cores=5,7
/proc/431359/stat : 431359 (java) S 431356 431359 431313 0 -1 1077936128 334935 0 22 0 359478 540 0 0 20 0 21 0 56420064 19771256832 3269889 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 0 0 16800975 0 0 0 17 7 0 0 7 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
/proc/431359/statm: 4826967 3269889 5949 1 0 3956891 0
[pid=431359/tid=431371] ppid=431356 vsize=19307868 memory=79148 CPUtime=3446.3 cores=5,7
/proc/431359/task/431371/stat : 431371 (java) S 431356 431359 431313 0 -1 1077936192 104424 0 20 0 344535 95 0 0 20 0 21 0 56420069 19771256832 3269889 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 56420101 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431404] ppid=431356 vsize=19307868 memory=-8743852387600016060 CPUtime=0 cores=5,7
/proc/431359/task/431404/stat : 431404 (Finalizer) S 431356 431359 431313 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 56420097 19771256832 3269889 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
[pid=431359/tid=431426] ppid=431356 vsize=19307868 memory=5468 CPUtime=0 cores=5,7
/proc/431359/task/431426/stat : 431426 (Common-Cleaner) S 431356 431359 431313 0 -1 1077936192 1085 0 0 0 0 0 0 0 20 0 21 0 56420098 19771256832 3269889 134679101440 94219378880512 94219378884208 140730603276672 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94219378892024 94219378892816 94219381219328 140730603283462 140730603283552 140730603283552 140730603290568 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13079556 KiB

Child status: 143

Real time (s): 3524.51
CPU time (s): 3600.3
CPU user time (s): 3594.85
CPU system time (s): 5.45039
CPU usage (%): 102.15
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13079556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.85
system time used= 5.45039
maximum resident set size= 13080628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335151
page faults= 22
swaps= 0
block input operations= 4352
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114582
involuntary context switches= 10645


# summary of solver processes directly reported to runsolver:
#   pid: 431359
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3594.85
#   total CPU system time (s): 5.45039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7415 second user time and 38.0913 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-29 00:05:05
IDJOB=4461727
IDBENCH=178868
IDSOLVER=3058
FILE ID=nodeC010/4461727-1722204305
RUNJOBID= nodeC010-1722204305-431326
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-i10_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-4461727-1722204305/watcher-4461727-1722204305 -o /tmp/evaluation-result-4461727-1722204305/solver-4461727-1722204305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722204305-431326 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4461727-1722204305.opb

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

MD5SUM BENCH= bf582d0692e77e16b133b78b4e960df6
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.330
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.193
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.534
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.201
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.191
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.193
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.223
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.194
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:        116480232 kB
MemAvailable:   129807676 kB
Buffers:          393748 kB
Cached:         13304916 kB
SwapCached:          220 kB
Active:          2025360 kB
Inactive:       11978880 kB
Active(anon):       4240 kB
Inactive(anon):   354548 kB
Active(file):    2021120 kB
Inactive(file): 11624332 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057576 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:        305800 kB
Mapped:           101140 kB
Shmem:             53212 kB
KReclaimable:     743736 kB
Slab:             860688 kB
SReclaimable:     743736 kB
SUnreclaim:       116952 kB
KernelStack:        3708 kB
PageTables:         9724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     649048 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:50