Trace number 4451362

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.17 3619.9

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v100-n1.opb
MD5SUM45eb186e954a64c3939c4a0ffb1dff0e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.02559
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables199
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.12	c See www.sat4j.org for details.
0.06/0.12	c version CUSTOM.v20240707
0.06/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.13	c java.vm.version	22.0.1+8-16
0.06/0.13	c java.vm.vendor	Oracle Corporation
0.06/0.13	c sun.arch.data.model	64
0.06/0.13	c java.version		22.0.1
0.06/0.13	c os.name		Linux
0.06/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.13	c os.arch		amd64
0.06/0.14	c Free memory 		2104792832
0.06/0.14	c Max memory 		16282288128
0.06/0.14	c Total memory 		2113929216
0.06/0.14	c Number of processors 	2
0.06/0.17	--- Begin Solver configuration ---
0.06/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.17	Learn all clauses as in MiniSAT
0.06/0.17	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.17	Expensive reason simplification
0.06/0.17	Glucose 2.1 dynamic restart strategy
0.06/0.17	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.06/0.17	timeout=2147483s
0.06/0.17	DB Simplification allowed=false
0.06/0.17	Listener: none
0.06/0.17	--- End Solver configuration ---
0.06/0.17	c Pseudo Boolean Optimization by upper bound
0.06/0.17	c --- Begin Solver configuration ---
0.06/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.06/0.17	c Learn all clauses as in MiniSAT
0.06/0.17	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.17	c Expensive reason simplification
0.06/0.17	c Glucose 2.1 dynamic restart strategy
0.06/0.17	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.06/0.17	c timeout=2147483s
0.06/0.17	c DB Simplification allowed=false
0.06/0.17	c Listener: none
0.06/0.17	c --- End Solver configuration ---
0.06/0.17	c solving HOME/instance-4451362-1721839920.opb
0.06/0.17	c reading problem ... 
0.06/0.19	c using VERIPB proof format
0.06/0.19	c  no objective function found
0.06/0.21	c ... done. Wall clock time 0.031s.
0.06/0.21	c declared #vars     199
0.06/0.21	c #constraints  200
0.06/0.21	c constraints type 
0.06/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.06/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 198
0.06/0.21	c 200 constraints processed.
1.16/0.72	c cleaning 2498 clauses out of 5002 with flag 36607/5002
1.77/1.04	c cleaning 4232 clauses out of 8502 with flag 95644/11000
2.56/1.41	c cleaning 5617 clauses out of 11270 with flag 170063/18000
3.14/1.77	c cleaning 6828 clauses out of 13660 with flag 248990/26007
4.14/2.27	c cleaning 7898 clauses out of 15829 with flag 365673/35004
5.01/2.81	c cleaning 8958 clauses out of 17931 with flag 515633/45004
5.68/3.41	c cleaning 9975 clauses out of 19969 with flag 668697/56000
6.38/4.11	c cleaning 10993 clauses out of 21995 with flag 826881/68001
7.09/4.89	c cleaning 11999 clauses out of 24005 with flag 963893/81004
7.89/5.66	c cleaning 12991 clauses out of 26002 with flag 1117365/95000
8.83/6.52	c cleaning 13997 clauses out of 28011 with flag 1282421/110000
9.73/7.44	c cleaning 14978 clauses out of 30015 with flag 1474972/126001
10.80/8.44	c cleaning 16002 clauses out of 32036 with flag 1680119/143000
11.96/9.59	c cleaning 17017 clauses out of 34036 with flag 1842202/161002
13.26/10.86	c cleaning 17993 clauses out of 36021 with flag 2084805/180004
14.66/12.29	c cleaning 19006 clauses out of 38028 with flag 2316102/200004
16.15/13.79	c cleaning 19996 clauses out of 40018 with flag 2578896/221000
17.85/15.48	c cleaning 21004 clauses out of 42022 with flag 2938494/243000
19.74/17.39	c cleaning 22000 clauses out of 44020 with flag 3304395/266002
21.64/19.26	c cleaning 23000 clauses out of 46019 with flag 3601933/290001
24.04/21.61	c cleaning 24005 clauses out of 48018 with flag 4013945/315000
26.53/24.12	c cleaning 25001 clauses out of 50013 with flag 4412790/341000
28.82/26.44	c cleaning 25996 clauses out of 52012 with flag 4821087/368000
31.31/28.91	c cleaning 26996 clauses out of 54019 with flag 5263226/396003
33.69/31.85	c cleaning 27991 clauses out of 56020 with flag 5670059/425000
35.98/34.16	c cleaning 29003 clauses out of 58030 with flag 6011399/455001
38.58/36.76	c cleaning 30002 clauses out of 60028 with flag 6480108/486002
41.46/39.62	c cleaning 31007 clauses out of 62024 with flag 6907172/518000
44.37/42.52	c cleaning 32004 clauses out of 64019 with flag 7324314/551002
47.55/45.73	c cleaning 32997 clauses out of 66013 with flag 7752600/585000
51.04/49.21	c cleaning 33996 clauses out of 68017 with flag 8250923/620001
54.44/52.69	c cleaning 35002 clauses out of 70021 with flag 8747667/656001
58.32/56.50	c cleaning 36004 clauses out of 72018 with flag 9289883/693000
62.52/60.71	c cleaning 36989 clauses out of 74014 with flag 9863345/731000
66.75/65.26	c cleaning 38001 clauses out of 76025 with flag 10415738/770000
71.36/69.83	c cleaning 39001 clauses out of 78025 with flag 11026916/810001
76.34/74.86	c cleaning 39994 clauses out of 80023 with flag 11664098/851000
80.73/79.23	c cleaning 41010 clauses out of 82030 with flag 12210072/893001
85.82/84.33	c cleaning 42001 clauses out of 84019 with flag 12925928/936000
91.31/89.80	c cleaning 43002 clauses out of 86018 with flag 13650920/980000
97.38/96.91	c cleaning 44001 clauses out of 88017 with flag 14448492/1025001
102.28/101.84	c cleaning 45002 clauses out of 90016 with flag 15051341/1071001
108.06/107.69	c cleaning 46001 clauses out of 92013 with flag 15851452/1118000
114.95/114.55	c cleaning 47000 clauses out of 94016 with flag 16718912/1166004
121.65/121.25	c cleaning 47998 clauses out of 96017 with flag 17483139/1215005
128.23/127.84	c cleaning 48995 clauses out of 98014 with flag 18182475/1265000
134.85/137.98	c cleaning 50001 clauses out of 100019 with flag 18885901/1316000
141.75/144.88	c cleaning 50996 clauses out of 102021 with flag 19746702/1368003
148.04/151.16	c cleaning 51996 clauses out of 104022 with flag 20601555/1421000
155.11/158.28	c cleaning 53002 clauses out of 106026 with flag 21412854/1475000
161.62/164.89	c cleaning 54004 clauses out of 108025 with flag 22260333/1530001
168.91/172.13	c cleaning 55007 clauses out of 110020 with flag 23071552/1586000
175.81/179.07	c cleaning 55989 clauses out of 112013 with flag 23833158/1643000
183.48/186.72	c cleaning 57001 clauses out of 114024 with flag 24550468/1701000
192.82/196.12	c cleaning 57991 clauses out of 116025 with flag 25510696/1760002
201.80/205.18	c cleaning 58989 clauses out of 118032 with flag 26495897/1820000
212.69/216.00	c cleaning 60003 clauses out of 120044 with flag 27511882/1881001
222.12/225.59	c cleaning 61005 clauses out of 122040 with flag 28484699/1943000
231.72/235.18	c cleaning 62015 clauses out of 124036 with flag 29483719/2006001
241.19/244.60	c cleaning 62992 clauses out of 126020 with flag 30449739/2070000
252.52/256.01	c cleaning 64001 clauses out of 128028 with flag 31505438/2135000
262.79/266.35	c cleaning 65006 clauses out of 130027 with flag 32575402/2201000
273.19/276.72	c cleaning 66000 clauses out of 132022 with flag 33500282/2268001
284.21/287.86	c cleaning 66999 clauses out of 134022 with flag 34492947/2336001
293.61/297.27	c cleaning 68006 clauses out of 136023 with flag 35471211/2405001
305.18/308.81	c cleaning 68977 clauses out of 138019 with flag 36657554/2475003
316.03/319.77	c cleaning 70013 clauses out of 140040 with flag 37779493/2546001
329.59/333.36	c cleaning 70977 clauses out of 142026 with flag 39094093/2618000
341.64/345.48	c cleaning 72009 clauses out of 144049 with flag 40230084/2691000
356.31/360.16	c cleaning 73009 clauses out of 146040 with flag 41484464/2765000
372.44/376.31	c cleaning 74002 clauses out of 148032 with flag 42739692/2840001
388.72/392.60	c cleaning 74997 clauses out of 150031 with flag 43919709/2916002
402.17/406.12	c cleaning 76007 clauses out of 152033 with flag 45078066/2993001
416.67/420.63	c cleaning 76989 clauses out of 154028 with flag 46450283/3071003
434.08/438.34	c cleaning 78001 clauses out of 156037 with flag 47722855/3150001
450.58/454.80	c cleaning 79001 clauses out of 158038 with flag 48976115/3230003
466.06/470.32	c cleaning 80004 clauses out of 160034 with flag 50155530/3311000
480.73/485.05	c cleaning 80990 clauses out of 162032 with flag 51325860/3393002
498.09/502.42	c cleaning 82008 clauses out of 164041 with flag 52508439/3476001
517.25/521.69	c cleaning 82998 clauses out of 166034 with flag 53792541/3560002
534.92/539.31	c cleaning 83986 clauses out of 168034 with flag 55037823/3645000
552.33/556.70	c cleaning 85012 clauses out of 170050 with flag 56411207/3731002
568.82/573.25	c cleaning 86007 clauses out of 172038 with flag 57675185/3818002
585.82/590.58	c cleaning 87009 clauses out of 174029 with flag 59115780/3906000
604.72/609.41	c cleaning 87991 clauses out of 176021 with flag 60408843/3995001
625.88/630.68	c cleaning 89005 clauses out of 178029 with flag 61723971/4085000
645.43/650.24	c cleaning 89987 clauses out of 180025 with flag 63044320/4176001
661.92/666.77	c cleaning 90999 clauses out of 182039 with flag 64288776/4268002
682.49/687.39	c cleaning 92001 clauses out of 184039 with flag 65561097/4361001
698.91/703.73	c cleaning 93014 clauses out of 186037 with flag 66867949/4455000
718.52/723.42	c cleaning 93997 clauses out of 188023 with flag 68289604/4550000
737.68/742.66	c cleaning 95000 clauses out of 190026 with flag 69397511/4646000
756.54/761.51	c cleaning 95998 clauses out of 192028 with flag 70568587/4743002
777.42/782.47	c cleaning 97006 clauses out of 194028 with flag 71889311/4841000
800.02/805.02	c cleaning 97998 clauses out of 196022 with flag 73479298/4940000
823.08/828.19	c cleaning 98996 clauses out of 198025 with flag 75015107/5040001
849.25/854.35	c cleaning 99990 clauses out of 200028 with flag 76665550/5141000
872.53/877.69	c cleaning 101006 clauses out of 202040 with flag 78085027/5243002
897.72/902.84	c cleaning 101995 clauses out of 204032 with flag 79652834/5346000
924.50/929.69	c cleaning 103013 clauses out of 206040 with flag 81327844/5450003
953.12/958.32	c cleaning 103993 clauses out of 208024 with flag 83072970/5555000
980.51/985.75	c cleaning 105007 clauses out of 210031 with flag 84722481/5661000
1003.36/1008.68	c cleaning 106010 clauses out of 212026 with flag 86450342/5768002
1028.53/1033.88	c cleaning 106987 clauses out of 214017 with flag 88145188/5876003
1061.47/1066.81	c cleaning 108007 clauses out of 216029 with flag 89968697/5985002
1090.54/1095.90	c cleaning 109000 clauses out of 218023 with flag 91831803/6095003
1116.80/1122.21	c cleaning 109990 clauses out of 220020 with flag 93614242/6206000
1142.87/1148.31	c cleaning 111011 clauses out of 222032 with flag 95263130/6318002
1169.00/1174.83	c cleaning 111991 clauses out of 224021 with flag 97012384/6431002
1199.20/1205.30	c cleaning 113002 clauses out of 226030 with flag 98959556/6545002
1227.78/1234.20	c cleaning 114007 clauses out of 228030 with flag 100962542/6660004
1260.78/1267.44	c cleaning 115005 clauses out of 230020 with flag 102986656/6776001
1287.77/1294.48	c cleaning 115998 clauses out of 232014 with flag 104643003/6893000
1316.81/1323.74	c cleaning 116991 clauses out of 234016 with flag 106392814/7011000
1347.34/1354.42	c cleaning 118002 clauses out of 236025 with flag 108464785/7130000
1382.45/1389.98	c cleaning 119005 clauses out of 238025 with flag 110541646/7250002
1416.29/1424.09	c cleaning 119986 clauses out of 240018 with flag 112653548/7371000
1452.74/1460.66	c cleaning 121001 clauses out of 242032 with flag 114783839/7493000
1488.32/1496.30	c cleaning 122003 clauses out of 244031 with flag 116831873/7616000
1525.25/1533.52	c cleaning 122998 clauses out of 246028 with flag 118837089/7740000
1555.74/1564.26	c cleaning 124015 clauses out of 248033 with flag 120736036/7865003
1589.09/1597.84	c cleaning 124999 clauses out of 250015 with flag 122613142/7991000
1621.08/1629.96	c cleaning 125997 clauses out of 252016 with flag 124528674/8118000
1651.87/1660.85	c cleaning 126996 clauses out of 254019 with flag 126320789/8246000
1690.56/1699.78	c cleaning 127999 clauses out of 256023 with flag 128530555/8375000
1733.92/1743.20	c cleaning 129006 clauses out of 258025 with flag 130924716/8505001
1777.64/1787.15	c cleaning 129986 clauses out of 260018 with flag 133326716/8636000
1818.18/1827.80	c cleaning 131007 clauses out of 262032 with flag 135733565/8768000
1859.57/1869.33	c cleaning 131992 clauses out of 264027 with flag 138161540/8901002
1900.21/1910.27	c cleaning 133001 clauses out of 266035 with flag 140387218/9035002
1943.79/1953.99	c cleaning 133992 clauses out of 268033 with flag 142593708/9170001
1992.35/2002.79	c cleaning 135007 clauses out of 270043 with flag 144704575/9306003
2035.50/2045.98	c cleaning 135999 clauses out of 272036 with flag 146961059/9443003
2085.50/2096.12	c cleaning 137010 clauses out of 274036 with flag 149220536/9581002
2133.66/2144.47	c cleaning 138006 clauses out of 276024 with flag 151575005/9720000
2176.32/2187.21	c cleaning 139000 clauses out of 278018 with flag 153883407/9860000
2224.45/2235.70	c cleaning 139977 clauses out of 280018 with flag 156422512/10001000
2279.40/2291.33	c cleaning 141012 clauses out of 282043 with flag 159171285/10143002
2328.89/2341.30	c cleaning 142007 clauses out of 284030 with flag 161569763/10286001
2369.55/2382.18	c cleaning 142994 clauses out of 286023 with flag 163767858/10430001
2410.94/2423.73	c cleaning 144005 clauses out of 288029 with flag 165846533/10575001
2445.40/2458.33	c cleaning 144985 clauses out of 290023 with flag 167923771/10721000
2486.47/2499.92	c cleaning 145995 clauses out of 292038 with flag 169961391/10868000
2532.63/2546.59	c cleaning 147011 clauses out of 294043 with flag 172207057/11016000
2580.88/2595.01	c cleaning 148007 clauses out of 296034 with flag 174612320/11165002
2629.23/2643.57	c cleaning 148999 clauses out of 298025 with flag 177040575/11315000
2679.63/2694.14	c cleaning 149992 clauses out of 300027 with flag 179348008/11466001
2728.39/2743.36	c cleaning 151014 clauses out of 302034 with flag 181804140/11618000
2771.35/2786.46	c cleaning 152004 clauses out of 304020 with flag 184163389/11771000
2817.86/2833.29	c cleaning 152994 clauses out of 306016 with flag 186175972/11925000
2866.62/2882.16	c cleaning 154005 clauses out of 308024 with flag 188401230/12080002
2916.76/2932.66	c cleaning 155005 clauses out of 310020 with flag 190451002/12236003
2973.53/2989.65	c cleaning 155996 clauses out of 312013 with flag 193142309/12393001
3037.96/3054.40	c cleaning 156995 clauses out of 314017 with flag 196055191/12551001
3091.03/3108.24	c cleaning 158000 clauses out of 316021 with flag 198797080/12710000
3149.12/3166.51	c cleaning 159000 clauses out of 318021 with flag 201068297/12870000
3203.53/3221.16	c cleaning 159999 clauses out of 320023 with flag 203570251/13031002
3262.59/3280.50	c cleaning 161001 clauses out of 322023 with flag 206429476/13193001
3316.28/3334.56	c cleaning 161993 clauses out of 324022 with flag 208899982/13356001
3367.79/3386.37	c cleaning 162988 clauses out of 326030 with flag 211470194/13520002
3420.40/3439.17	c cleaning 164004 clauses out of 328040 with flag 214071608/13685000
3485.38/3504.49	c cleaning 164993 clauses out of 330037 with flag 216697519/13851001
3552.81/3572.47	c cleaning 166014 clauses out of 332044 with flag 219169609/14018001
3600.03/3619.81	c timeout
3600.03/3619.81	c starts		: 4375
3600.03/3619.82	c conflicts		: 14150934
3600.03/3619.82	c decisions		: 16350356
3600.03/3619.82	c propagations		: 533036369
3600.03/3619.82	c inspects		: 48551176932
3600.03/3619.82	c shortcuts		: 0
3600.03/3619.82	c learnt literals	: 0
3600.03/3619.82	c learnt binary clauses	: 0
3600.03/3619.82	c learnt ternary clauses	: 0
3600.03/3619.82	c learnt constraints	: 14150934
3600.03/3619.82	c ignored constraints	: 0
3600.03/3619.82	c root simplifications	: 0
3600.03/3619.82	c removed literals (reason simplification)	: 80004559
3600.03/3619.82	c reason swapping (by a shorter reason)	: 0
3600.03/3619.82	c Calls to reduceDB	: 163
3600.03/3619.82	c Number of update (reduction) of LBD	: 5172324
3600.03/3619.82	c Imported unit clauses	: 0
3600.03/3619.82	c No decision after first conflict	: false
3600.03/3619.82	c number of reductions to clauses (during analyze)	: 0
3600.03/3619.82	c number of learned constraints concerned by reduction	: 0
3600.03/3619.82	c number of learning phase by resolution	: 0
3600.03/3619.82	c number of learning phase by cutting planes	: 0
3600.03/3619.82	c number of rounding to 1 operations	: 0
3600.03/3619.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3619.82	c number of reductions of the coefficients by power 2 	: 0
3600.03/3619.82	c number of right shift for reduction by power 2 	: 0
3600.03/3619.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3619.82	c number of ending skipping 	: 0
3600.03/3619.82	c number of internal skipping 	: 0
3600.03/3619.82	c number of derivation steps 	: 0
3600.03/3619.82	c number of skipped derivation steps 	: 0
3600.03/3619.82	c number of remaining unassigned 	: 0
3600.03/3619.82	c number of remaining assigned 	: 0
3600.03/3619.82	c number of falsified literals weakened from reason	: 0
3600.03/3619.82	c number of falsified literals weakened from conflict	: 0
3600.03/3619.82	c time for arithmetic operations	: 0
3600.03/3619.82	c minimum degree of deleted constraints	: null
3600.03/3619.82	c maximum degree of deleted constraints	: null
3600.03/3619.82	c number of deleted constraints	: 0
3600.03/3619.82	c speed (assignments/second)	: 147263.56251837214
3600.03/3619.82	c non guided choices	: 99
3600.03/3619.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 298963
3600.03/3619.88	s UNKNOWN
3600.03/3619.88	c Total wall clock time (in seconds): 3619.713

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451362-1721839920/watcher-4451362-1721839920 -o /tmp/evaluation-result-4451362-1721839920/solver-4451362-1721839920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206429 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451362-1721839920 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451362-1721839920.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=206458, runsolver pid=206455
Current StackSize limit: 8192 KiB


[startup+0.100468 s]*
/proc/loadavg: 1.99 2.76 3.43 10/332 206560
/proc/meminfo: memFree=126869784/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=18975048 memory=55612 CPUtime=0.06 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 6472 0 38 0 4 2 0 0 20 0 18 0 20520684 19430449152 13903 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4743762 13903 5567 1 0 548727 0
[pid=206458/tid=206466] ppid=206455 vsize=18975048 memory=4026531971 CPUtime=0.03 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 5384 0 32 0 2 1 0 0 20 0 18 0 20520685 19430449152 13903 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=18975048 memory=1499814 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20520692 19430449152 13903 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=18975048 memory=14135537057400351 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20520692 19430449152 13903 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55612 KiB

[startup+0.208612 s]*
/proc/loadavg: 1.99 2.76 3.43 13/333 206561
/proc/meminfo: memFree=126823880/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=18976076 memory=68712 CPUtime=0.22 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 7541 0 38 0 19 3 0 0 20 0 19 0 20520684 19431501824 17178 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4744019 17178 5723 1 0 549789 0
[pid=206458/tid=206466] ppid=206455 vsize=18976076 memory=664970851429515395 CPUtime=0.13 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) S 206455 206458 206418 0 -1 1077936192 5941 0 32 0 11 2 0 0 20 0 19 0 20520685 19431501824 17178 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=18976076 memory=1499814 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19431501824 17178 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=18976076 memory=14135537057400351 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20520692 19431501824 17178 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=18976076 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (java) R 206455 206458 206418 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 20520705 19431501824 17178 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18976076 KiB
Current children cumulated memory: 68712 KiB

[startup+0.306463 s]*
/proc/loadavg: 1.99 2.76 3.43 13/336 206564
/proc/meminfo: memFree=126784344/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19041612 memory=79120 CPUtime=0.39 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 9265 0 38 0 36 3 0 0 20 0 19 0 20520684 19498610688 19780 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4760403 19780 5815 1 0 550786 0
[pid=206458/tid=206466] ppid=206455 vsize=19041612 memory=-8814782960795099836 CPUtime=0.21 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 6010 0 32 0 19 2 0 0 20 0 19 0 20520685 19498610688 19780 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19041612 memory=1470489529345999449 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 19780 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 19780 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520705 19498610688 19780 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79120 KiB

[startup+0.700239 s]
/proc/loadavg: 1.99 2.76 3.43 11/336 206564
/proc/meminfo: memFree=126648936/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19041612 memory=143432 CPUtime=1.16 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 12868 0 38 0 111 5 0 0 20 0 19 0 20520684 19498610688 35858 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4760403 35858 5846 1 0 552838 0
[pid=206458/tid=206466] ppid=206455 vsize=19041612 memory=12316 CPUtime=0.56 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 6052 0 32 0 53 3 0 0 20 0 19 0 20520685 19498610688 35858 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19041612 memory=12316 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 35858 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 35858 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19041612 memory=16084 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520705 19498610688 35858 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 143432 KiB

[startup+1.50046 s]
/proc/loadavg: 1.99 2.76 3.43 10/339 206567
/proc/meminfo: memFree=126387060/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=180184 CPUtime=2.74 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 21643 0 38 0 267 7 0 0 20 0 20 0 20520684 19566772224 45046 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 45046 5865 1 0 554779 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=12316 CPUtime=1.32 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 6539 0 32 0 128 4 0 0 20 0 20 0 20520685 19566772224 45046 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 45046 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 45046 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2160 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 45046 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180184 KiB

[startup+3.10648 s]
/proc/loadavg: 1.99 2.76 3.43 5/340 206570
/proc/meminfo: memFree=126112588/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=249680 CPUtime=5.39 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 23480 0 38 0 528 11 0 0 20 0 20 0 20520684 19566772224 62420 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 62420 5865 1 0 555129 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 7027 0 32 0 283 8 0 0 20 0 20 0 20520685 19566772224 62420 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 62420 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 62420 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=75604 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 62420 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 249680 KiB

[startup+6.30026 s]
/proc/loadavg: 2.15 2.78 3.43 6/340 206570
/proc/meminfo: memFree=125286608/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=494000 CPUtime=8.63 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 24553 0 38 0 845 18 0 0 20 0 20 0 20520684 19566772224 123500 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 123500 5881 1 0 555147 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=0 CPUtime=6.05 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 7300 0 32 0 591 14 0 0 20 0 20 0 20520685 19566772224 123500 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=7100839861465945203 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 123500 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 123500 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 123500 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 494000 KiB

[startup+12.7003 s]
/proc/loadavg: 2.30 2.80 3.43 7/340 206571
/proc/meminfo: memFree=123784960/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=664052 CPUtime=15.15 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 26494 0 38 0 1489 26 0 0 20 0 20 0 20520684 19566772224 166013 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 166013 5881 1 0 555147 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=12316 CPUtime=12.42 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 8380 0 32 0 1220 22 0 0 20 0 20 0 20520685 19566772224 166013 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=664052 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 166013 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=-8815908860701942460 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 166013 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 166013 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 664052 KiB

[startup+25.5003 s]
/proc/loadavg: 2.68 2.86 3.45 5/340 206573
/proc/meminfo: memFree=121929120/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=1319520 CPUtime=27.93 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 29703 0 38 0 2746 47 0 0 20 0 20 0 20520684 19566772224 329880 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 329880 5881 1 0 555147 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=664052 CPUtime=25.17 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 9883 0 32 0 2474 43 0 0 20 0 20 0 20520685 19566772224 329880 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 329880 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=-8815908860701942460 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 329880 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=3502 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 329880 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 27.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1319520 KiB

[startup+51.106 s]
/proc/loadavg: 3.20 2.97 3.47 5/340 206576
/proc/meminfo: memFree=121170704/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=1325672 CPUtime=52.95 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 35232 0 38 0 5234 61 0 0 20 0 20 0 20520684 19566772224 331418 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 331418 5881 1 0 555147 0

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

/proc/meminfo: memFree=93310784/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175892 CPUtime=3204.71 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 157200 0 38 0 319637 834 0 0 20 0 20 0 20520684 19566772224 543973 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543973 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2173796 CPUtime=3190.54 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 75455 0 32 0 318324 730 0 0 20 0 20 0 20520685 19566772224 543973 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1555 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=2173844 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543973 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=2173796 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3278 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543973 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2175892 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543973 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3204.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/334 208441
/proc/meminfo: memFree=92952472/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175908 CPUtime=3264.4 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 159048 0 38 0 325594 846 0 0 20 0 20 0 20520684 19566772224 543977 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543977 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2175908 CPUtime=3250.04 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 76925 0 32 0 324265 739 0 0 20 0 20 0 20520685 19566772224 543977 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1578 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=75604 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543977 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3339 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543977 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2175908 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543977 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3264.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/335 208452
/proc/meminfo: memFree=92583628/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175932 CPUtime=3324.1 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 161714 0 38 0 331551 859 0 0 20 0 20 0 20520684 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543983 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2175928 CPUtime=3309.51 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 78046 0 32 0 330200 751 0 0 20 0 20 0 20520685 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1603 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=2175928 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3396 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=-8815908860701942460 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3324.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/335 208463
/proc/meminfo: memFree=92257896/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175932 CPUtime=3383.74 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 162872 0 38 0 337503 871 0 0 20 0 20 0 20520684 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543983 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2175928 CPUtime=3368.97 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 78995 0 32 0 336135 762 0 0 20 0 20 0 20520685 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1633 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=2175928 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3463 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2175932 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543983 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3383.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/335 208474
/proc/meminfo: memFree=91927744/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175944 CPUtime=3443.47 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 165694 0 38 0 343463 884 0 0 20 0 20 0 20520684 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543986 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2175928 CPUtime=3428.45 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 80035 0 32 0 342072 773 0 0 20 0 20 0 20520685 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1657 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=2175928 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=2175932 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3537 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2175932 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3443.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/338 208490
/proc/meminfo: memFree=91618016/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175944 CPUtime=3503.18 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 167244 0 38 0 349424 894 0 0 20 0 20 0 20520684 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543986 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2175932 CPUtime=3488.04 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 81167 0 32 0 348023 781 0 0 20 0 20 0 20520685 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1678 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=2175932 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=2175944 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3625 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2175944 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543986 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3503.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.37 4.18 4.11 5/338 208501
/proc/meminfo: memFree=91291728/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175952 CPUtime=3562.73 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 169299 0 38 0 355371 902 0 0 20 0 20 0 20520684 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543988 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2175944 CPUtime=3547.46 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 82617 0 32 0 353958 788 0 0 20 0 20 0 20520685 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1715 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=2175948 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=20752 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3720 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3562.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619.8 s]
/proc/loadavg: 4.39 4.20 4.12 5/337 208507
/proc/meminfo: memFree=91088904/131524600 swapFree=131059368/131071996
[pid=206458] ppid=206455 vsize=19108176 memory=2175952 CPUtime=3600.03 cores=4,6
/proc/206458/stat : 206458 (java) S 206455 206458 206418 0 -1 1077936128 170109 0 38 0 359093 910 0 0 20 0 20 0 20520684 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
/proc/206458/statm: 4777044 543988 5900 1 0 556253 0
[pid=206458/tid=206466] ppid=206455 vsize=19108176 memory=2160 CPUtime=3584.73 cores=4,6
/proc/206458/task/206466/stat : 206466 (java) R 206455 206458 206418 0 -1 4194368 83334 0 32 0 357679 794 0 0 20 0 20 0 20520685 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1727 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206527] ppid=206455 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/206458/task/206527/stat : 206527 (Finalizer) S 206455 206458 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206557] ppid=206455 vsize=19108176 memory=25668 CPUtime=0 cores=4,6
/proc/206458/task/206557/stat : 206557 (Common-Cleaner) S 206455 206458 206418 0 -1 1077936192 3809 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
[pid=206458/tid=206563] ppid=206455 vsize=19108176 memory=2036 CPUtime=0 cores=4,6
/proc/206458/task/206563/stat : 206563 (Timer-0) S 206455 206458 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520705 19566772224 543988 134679101440 93985584418816 93985584422512 140722195226128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93985584430328 93985584431120 93985584807936 140722195227563 140722195227745 140722195227745 140722195234760 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2175952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.06 s, system=9.11129 s

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

Child status: 143

Real time (s): 3619.9
CPU time (s): 3600.17
CPU user time (s): 3591.06
CPU system time (s): 9.11129
CPU usage (%): 99.4549
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2175952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.06
system time used= 9.11129
maximum resident set size= 2178108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172941
page faults= 38
swaps= 0
block input operations= 16848
block output operations= 6987232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109653
involuntary context switches= 11880


# summary of solver processes directly reported to runsolver:
#   pid: 206458
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3591.06
#   total CPU system time (s): 9.11129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93368 second user time and 19.8877 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 18:52:00
IDJOB=4451362
IDBENCH=162393
IDSOLVER=3079
FILE ID=nodeC021/4451362-1721839920
RUNJOBID= nodeC021-1721839920-206429
SLURM_JOB_ID= 7891546
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v100-n1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451362-1721839920/watcher-4451362-1721839920 -o /tmp/evaluation-result-4451362-1721839920/solver-4451362-1721839920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206429 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451362-1721839920 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451362-1721839920.opb

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

MD5SUM BENCH= 45eb186e954a64c3939c4a0ffb1dff0e
RANDOM SEED=788125551

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127032356 kB
MemAvailable:   129710776 kB
Buffers:          266708 kB
Cached:          3224548 kB
SwapCached:          440 kB
Active:          2570140 kB
Inactive:        1289024 kB
Active(anon):       1620 kB
Inactive(anon):   419760 kB
Active(file):    2568520 kB
Inactive(file):   869264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:               776 kB
Writeback:             4 kB
AnonPages:        367448 kB
Mapped:           106280 kB
Shmem:             53464 kB
KReclaimable:     160568 kB
Slab:             280304 kB
SReclaimable:     160568 kB
SUnreclaim:       119736 kB
KernelStack:        4000 kB
PageTables:         9920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     769684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-24 19:52:20