Trace number 4451134

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 Default 2024-07-07? (TO) 3600.18 3611.01

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
MD5SUM66220fca8952fbecf83bd47731654b15
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.022356
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333
Total number of constraints111
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)111
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4451134-1721429244.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.021s.
0.14/0.15	c declared #vars     333
0.14/0.15	c #constraints  222
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 222
0.14/0.15	c 222 constraints processed.
0.52/0.40	c cleaning 2496 clauses out of 5000 with flag 22630/5000
0.93/0.58	c cleaning 4250 clauses out of 8504 with flag 51406/11000
1.50/0.82	c cleaning 5623 clauses out of 11255 with flag 88146/18001
1.67/0.98	c cleaning 6800 clauses out of 13633 with flag 131016/26002
1.97/1.17	c cleaning 7909 clauses out of 15832 with flag 179884/35001
2.34/1.37	c cleaning 8954 clauses out of 17922 with flag 236024/45000
2.65/1.61	c cleaning 9979 clauses out of 19969 with flag 297528/56001
2.85/1.87	c cleaning 10988 clauses out of 21990 with flag 372422/68001
3.15/2.17	c cleaning 11989 clauses out of 24001 with flag 444229/81000
3.55/2.51	c cleaning 12992 clauses out of 26012 with flag 525939/95000
3.85/2.89	c cleaning 14001 clauses out of 28021 with flag 612651/110001
4.35/3.30	c cleaning 15003 clauses out of 30020 with flag 704840/126001
4.87/3.81	c cleaning 16000 clauses out of 32016 with flag 812475/143000
5.39/4.30	c cleaning 16987 clauses out of 34016 with flag 928702/161000
5.90/4.83	c cleaning 18000 clauses out of 36030 with flag 1040714/180001
6.40/5.38	c cleaning 19010 clauses out of 38030 with flag 1162768/200001
7.20/6.10	c cleaning 20000 clauses out of 40022 with flag 1298996/221003
7.79/6.75	c cleaning 20992 clauses out of 42020 with flag 1437986/243001
8.49/7.42	c cleaning 22005 clauses out of 44027 with flag 1581394/266000
9.20/8.18	c cleaning 22999 clauses out of 46023 with flag 1729185/290001
9.99/8.95	c cleaning 24005 clauses out of 48024 with flag 1878685/315001
10.89/9.82	c cleaning 25005 clauses out of 50018 with flag 2041442/341000
11.78/10.77	c cleaning 25989 clauses out of 52013 with flag 2209044/368000
12.78/11.78	c cleaning 26998 clauses out of 54024 with flag 2391270/396000
13.98/12.90	c cleaning 27991 clauses out of 56026 with flag 2583269/425000
15.08/14.04	c cleaning 29011 clauses out of 58035 with flag 2777798/455000
16.27/15.29	c cleaning 29995 clauses out of 60024 with flag 2970513/486000
17.47/16.49	c cleaning 31002 clauses out of 62029 with flag 3173138/518000
18.88/17.88	c cleaning 32006 clauses out of 64029 with flag 3389437/551002
20.38/19.31	c cleaning 32995 clauses out of 66022 with flag 3621544/585001
21.77/20.77	c cleaning 34002 clauses out of 68028 with flag 3851663/620002
23.27/22.26	c cleaning 35006 clauses out of 70024 with flag 4097055/656000
24.87/23.81	c cleaning 36000 clauses out of 72018 with flag 4341858/693000
26.59/25.55	c cleaning 36997 clauses out of 74018 with flag 4606876/731000
28.29/27.26	c cleaning 37990 clauses out of 76021 with flag 4871495/770000
31.48/30.44	c cleaning 38993 clauses out of 78031 with flag 5204828/810000
33.78/32.77	c cleaning 40006 clauses out of 80039 with flag 5535557/851001
35.99/34.90	c cleaning 41006 clauses out of 82032 with flag 5837179/893000
37.88/36.85	c cleaning 42000 clauses out of 84026 with flag 6130723/936000
40.08/39.06	c cleaning 43003 clauses out of 86026 with flag 6424390/980000
42.27/41.29	c cleaning 44002 clauses out of 88025 with flag 6729960/1025002
44.70/43.62	c cleaning 45005 clauses out of 90022 with flag 7044477/1071001
47.10/46.07	c cleaning 46000 clauses out of 92016 with flag 7379860/1118000
49.59/48.57	c cleaning 46998 clauses out of 94016 with flag 7699319/1166000
52.20/51.12	c cleaning 47988 clauses out of 96019 with flag 8036486/1215001
54.69/53.68	c cleaning 49003 clauses out of 98030 with flag 8388414/1265000
58.09/57.06	c cleaning 49997 clauses out of 100027 with flag 8774091/1316000
60.92/59.87	c cleaning 51000 clauses out of 102030 with flag 9136347/1368000
63.91/62.83	c cleaning 52001 clauses out of 104030 with flag 9512439/1421000
66.91/65.85	c cleaning 53002 clauses out of 106029 with flag 9891775/1475000
70.04/68.92	c cleaning 54006 clauses out of 108028 with flag 10282397/1530001
73.24/72.14	c cleaning 54995 clauses out of 110021 with flag 10669465/1586000
76.53/75.45	c cleaning 56001 clauses out of 112026 with flag 11066877/1643000
79.93/78.82	c cleaning 57004 clauses out of 114027 with flag 11469367/1701002
83.30/82.20	c cleaning 57988 clauses out of 116022 with flag 11878522/1760001
86.77/85.76	c cleaning 59003 clauses out of 118033 with flag 12286055/1820000
90.54/89.51	c cleaning 59993 clauses out of 120030 with flag 12711131/1881000
94.30/93.38	c cleaning 61000 clauses out of 122037 with flag 13136644/1943000
98.07/97.12	c cleaning 62006 clauses out of 124038 with flag 13578277/2006001
101.96/101.08	c cleaning 63007 clauses out of 126032 with flag 14042107/2070001
106.03/105.11	c cleaning 63992 clauses out of 128024 with flag 14496334/2135000
109.90/109.08	c cleaning 64995 clauses out of 130033 with flag 14964666/2201001
114.25/113.46	c cleaning 66007 clauses out of 132038 with flag 15446103/2268001
118.44/117.68	c cleaning 66996 clauses out of 134030 with flag 15943978/2336000
122.99/122.21	c cleaning 68004 clauses out of 136034 with flag 16443073/2405000
127.55/126.85	c cleaning 69003 clauses out of 138030 with flag 16951275/2475000
132.44/131.79	c cleaning 70003 clauses out of 140029 with flag 17469591/2546002
138.89/138.20	c cleaning 71000 clauses out of 142025 with flag 18138616/2618001
144.14/143.53	c cleaning 72003 clauses out of 144025 with flag 18737145/2691001
149.09/148.55	c cleaning 72985 clauses out of 146023 with flag 19273993/2765002
154.35/153.80	c cleaning 74010 clauses out of 148037 with flag 19816762/2840001
159.61/159.17	c cleaning 75007 clauses out of 150027 with flag 20382507/2916001
165.21/164.72	c cleaning 75997 clauses out of 152022 with flag 20935240/2993003
170.65/170.30	c cleaning 77006 clauses out of 154024 with flag 21518059/3071002
176.30/175.91	c cleaning 77996 clauses out of 156016 with flag 22113389/3150000
181.85/181.56	c cleaning 79003 clauses out of 158021 with flag 22692837/3230001
187.70/187.44	c cleaning 79989 clauses out of 160020 with flag 23281243/3311003
193.57/193.35	c cleaning 81008 clauses out of 162029 with flag 23896587/3393001
199.32/199.19	c cleaning 82002 clauses out of 164021 with flag 24522170/3476001
205.57/205.44	c cleaning 82996 clauses out of 166018 with flag 25149863/3560000
212.01/211.90	c cleaning 83995 clauses out of 168023 with flag 25786435/3645001
218.25/218.28	c cleaning 84997 clauses out of 170027 with flag 26436986/3731000
226.00/226.03	c cleaning 86002 clauses out of 172030 with flag 27149607/3818000
232.74/232.86	c cleaning 86996 clauses out of 174028 with flag 27817973/3906000
239.63/239.79	c cleaning 88005 clauses out of 176032 with flag 28490795/3995000
246.72/246.84	c cleaning 89001 clauses out of 178029 with flag 29174236/4085002
253.80/253.91	c cleaning 90005 clauses out of 180026 with flag 29849637/4176000
260.79/260.96	c cleaning 90998 clauses out of 182021 with flag 30545827/4268000
267.83/267.91	c cleaning 91995 clauses out of 184023 with flag 31259620/4361000
275.42/275.50	c cleaning 93004 clauses out of 186028 with flag 31996246/4455000
282.81/283.00	c cleaning 94005 clauses out of 188026 with flag 32742650/4550002
291.00/291.19	c cleaning 95000 clauses out of 190019 with flag 33486583/4646000
299.27/299.44	c cleaning 95984 clauses out of 192019 with flag 34228171/4743000
307.61/307.74	c cleaning 97007 clauses out of 194035 with flag 34983925/4841000
315.83/316.02	c cleaning 98005 clauses out of 196028 with flag 35754782/4940000
324.15/324.44	c cleaning 98991 clauses out of 198026 with flag 36513695/5040003
332.28/332.68	c cleaning 100001 clauses out of 200034 with flag 37281659/5141002
340.60/341.06	c cleaning 101001 clauses out of 202031 with flag 38050791/5243000
349.12/349.64	c cleaning 102002 clauses out of 204030 with flag 38851327/5346000
359.50/360.06	c cleaning 103002 clauses out of 206029 with flag 39691122/5450001
372.08/372.75	c cleaning 104004 clauses out of 208026 with flag 40579974/5555000
381.60/382.38	c cleaning 105001 clauses out of 210022 with flag 41406016/5661000
390.92/391.79	c cleaning 106005 clauses out of 212023 with flag 42223992/5768002
400.53/401.45	c cleaning 106991 clauses out of 214016 with flag 43055287/5876000
410.23/411.29	c cleaning 107987 clauses out of 216026 with flag 43921730/5985001
419.69/420.76	c cleaning 109006 clauses out of 218039 with flag 44783267/6095001
429.77/430.80	c cleaning 109999 clauses out of 220032 with flag 45648959/6206000
439.64/440.74	c cleaning 111006 clauses out of 222034 with flag 46523956/6318001
449.63/450.74	c cleaning 111994 clauses out of 224027 with flag 47441641/6431000
460.14/461.12	c cleaning 113003 clauses out of 226033 with flag 48323397/6545000
470.61/471.61	c cleaning 114001 clauses out of 228030 with flag 49225929/6660000
481.19/482.28	c cleaning 115009 clauses out of 230029 with flag 50194342/6776000
491.77/492.81	c cleaning 115994 clauses out of 232020 with flag 51108152/6893000
502.84/503.91	c cleaning 116998 clauses out of 234028 with flag 52027313/7011002
513.43/514.55	c cleaning 117999 clauses out of 236029 with flag 52988765/7130001
525.01/526.19	c cleaning 119004 clauses out of 238032 with flag 53943008/7250003
537.18/537.98	c cleaning 119994 clauses out of 240026 with flag 54910319/7371001
548.85/549.63	c cleaning 121001 clauses out of 242032 with flag 55871115/7493001
560.63/561.41	c cleaning 122009 clauses out of 244031 with flag 56852977/7616001
572.80/573.61	c cleaning 122999 clauses out of 246021 with flag 57835078/7740000
585.08/585.93	c cleaning 123995 clauses out of 248023 with flag 58817508/7865001
597.56/598.41	c cleaning 124995 clauses out of 250027 with flag 59815431/7991000
610.27/611.14	c cleaning 126000 clauses out of 252032 with flag 60825468/8118000
623.15/624.00	c cleaning 126996 clauses out of 254032 with flag 61864931/8246000
636.22/637.12	c cleaning 128010 clauses out of 256037 with flag 62876456/8375001
649.09/650.04	c cleaning 129006 clauses out of 258028 with flag 63902022/8505002
662.46/663.46	c cleaning 129998 clauses out of 260020 with flag 64936608/8636000
675.93/676.94	c cleaning 130996 clauses out of 262023 with flag 65982007/8768001
688.90/689.99	c cleaning 131994 clauses out of 264026 with flag 67056017/8901000
702.87/703.95	c cleaning 133004 clauses out of 266033 with flag 68173001/9035001
716.72/717.70	c cleaning 134000 clauses out of 268028 with flag 69209750/9170000
731.00/732.04	c cleaning 135004 clauses out of 270028 with flag 70270966/9306000
745.56/746.60	c cleaning 135994 clauses out of 272024 with flag 71344756/9443000
760.23/761.35	c cleaning 137006 clauses out of 274030 with flag 72459458/9581000
775.10/776.29	c cleaning 138002 clauses out of 276026 with flag 73555187/9720002
789.87/791.05	c cleaning 138993 clauses out of 278022 with flag 74679279/9860000
804.64/805.85	c cleaning 140005 clauses out of 280029 with flag 75789637/10001000
820.09/821.21	c cleaning 140999 clauses out of 282025 with flag 76946075/10143001
835.56/836.72	c cleaning 141999 clauses out of 284025 with flag 78113456/10286000
851.23/852.40	c cleaning 142990 clauses out of 286029 with flag 79269690/10430003
867.10/868.34	c cleaning 144007 clauses out of 288036 with flag 80459852/10575000
883.47/884.76	c cleaning 145002 clauses out of 290030 with flag 81632390/10721001
899.43/900.71	c cleaning 146005 clauses out of 292028 with flag 82804910/10868001
914.81/916.16	c cleaning 147003 clauses out of 294022 with flag 84027225/11016000
931.04/932.35	c cleaning 147993 clauses out of 296020 with flag 85274410/11165001
947.12/948.48	c cleaning 148995 clauses out of 298026 with flag 86518899/11315000
963.78/965.14	c cleaning 150012 clauses out of 300031 with flag 87737423/11466000
980.54/981.95	c cleaning 150991 clauses out of 302019 with flag 88966188/11618000
999.50/1000.90	c cleaning 151995 clauses out of 304029 with flag 90326752/11771001
1016.95/1018.44	c cleaning 152995 clauses out of 306034 with flag 91592130/11925001
1034.21/1035.71	c cleaning 154008 clauses out of 308039 with flag 92868627/12080001
1051.77/1053.31	c cleaning 155011 clauses out of 310031 with flag 94163769/12236001
1069.71/1071.24	c cleaning 155993 clauses out of 312019 with flag 95466489/12393000
1087.37/1088.90	c cleaning 157000 clauses out of 314028 with flag 96795429/12551002
1105.83/1107.44	c cleaning 158002 clauses out of 316027 with flag 98162565/12710001
1124.50/1126.12	c cleaning 158996 clauses out of 318025 with flag 99485954/12870001
1143.76/1145.47	c cleaning 160006 clauses out of 320030 with flag 100841288/13031002
1163.01/1164.76	c cleaning 161004 clauses out of 322022 with flag 102173829/13193000
1182.68/1184.43	c cleaning 161996 clauses out of 324018 with flag 103497282/13356000
1202.63/1204.41	c cleaning 162999 clauses out of 326023 with flag 104842434/13520001
1222.97/1224.70	c cleaning 163998 clauses out of 328023 with flag 106244947/13685000
1243.12/1244.97	c cleaning 164995 clauses out of 330028 with flag 107643300/13851003
1264.09/1265.94	c cleaning 166006 clauses out of 332030 with flag 109082091/14018000
1283.94/1285.87	c cleaning 167011 clauses out of 334025 with flag 110511697/14186001
1304.30/1306.26	c cleaning 168001 clauses out of 336013 with flag 111901029/14355000
1325.17/1327.18	c cleaning 168985 clauses out of 338015 with flag 113329918/14525003
1347.32/1349.35	c cleaning 169995 clauses out of 340027 with flag 114785375/14696000
1369.26/1371.22	c cleaning 171010 clauses out of 342034 with flag 116240052/14868002
1390.22/1392.25	c cleaning 172001 clauses out of 344023 with flag 117680015/15041001
1412.37/1414.41	c cleaning 172999 clauses out of 346021 with flag 119122474/15215000
1434.23/1436.30	c cleaning 173991 clauses out of 348022 with flag 120597326/15390000
1455.58/1457.78	c cleaning 175005 clauses out of 350031 with flag 122102905/15566000
1477.94/1480.15	c cleaning 176003 clauses out of 352027 with flag 123570898/15743001
1500.79/1503.06	c cleaning 177004 clauses out of 354024 with flag 125052067/15921001
1523.54/1525.80	c cleaning 177995 clauses out of 356020 with flag 126552648/16100001
1547.48/1549.71	c cleaning 179003 clauses out of 358024 with flag 128128822/16280000
1570.63/1572.97	c cleaning 180000 clauses out of 360021 with flag 129628543/16461000
1594.28/1596.67	c cleaning 181004 clauses out of 362022 with flag 131186176/16643001
1617.84/1620.25	c cleaning 181995 clauses out of 364018 with flag 132760207/16826001
1641.98/1644.41	c cleaning 183000 clauses out of 366022 with flag 134351018/17010000
1665.54/1668.02	c cleaning 183994 clauses out of 368022 with flag 135966004/17195000
1689.68/1692.27	c cleaning 184999 clauses out of 370030 with flag 137537748/17381002
1714.02/1716.67	c cleaning 186002 clauses out of 372030 with flag 139128669/17568001
1740.39/1742.91	c cleaning 187007 clauses out of 374028 with flag 140710695/17756001
1765.83/1768.49	c cleaning 187992 clauses out of 376020 with flag 142325975/17945000
1791.98/1794.68	c cleaning 189004 clauses out of 378030 with flag 143958552/18135002
1817.63/1820.39	c cleaning 190000 clauses out of 380026 with flag 145579552/18326002
1844.08/1846.89	c cleaning 190988 clauses out of 382026 with flag 147210631/18518002
1870.42/1873.28	c cleaning 192003 clauses out of 384036 with flag 148823295/18711000
1897.07/1899.98	c cleaning 193001 clauses out of 386033 with flag 150433660/18905000
1924.43/1927.22	c cleaning 194004 clauses out of 388032 with flag 152082459/19100000
1951.68/1954.55	c cleaning 195005 clauses out of 390028 with flag 153793706/19296000
1979.32/1982.27	c cleaning 196002 clauses out of 392025 with flag 155472501/19493002
2005.96/2008.97	c cleaning 197008 clauses out of 394023 with flag 157154280/19691002
2035.38/2038.41	c cleaning 198003 clauses out of 396014 with flag 158918920/19890001
2063.41/2066.52	c cleaning 198997 clauses out of 398011 with flag 160675106/20090001
2092.34/2094.86	c cleaning 200002 clauses out of 400015 with flag 162468331/20291002
2120.50/2123.08	c cleaning 200987 clauses out of 402011 with flag 164162661/20493000
2149.23/2151.89	c cleaning 202000 clauses out of 404024 with flag 165881563/20696000
2178.76/2181.41	c cleaning 202991 clauses out of 406024 with flag 167639916/20900000
2208.52/2211.23	c cleaning 204002 clauses out of 408034 with flag 169371404/21105001
2238.45/2241.24	c cleaning 205006 clauses out of 410031 with flag 171144901/21311000
2267.97/2270.86	c cleaning 206001 clauses out of 412025 with flag 172928927/21518000
2298.49/2301.48	c cleaning 207004 clauses out of 414025 with flag 174727662/21726001
2329.12/2332.14	c cleaning 207995 clauses out of 416020 with flag 176496631/21935000
2360.13/2363.26	c cleaning 209002 clauses out of 418025 with flag 178375079/22145000
2392.95/2396.06	c cleaning 209999 clauses out of 420023 with flag 180331582/22356000
2423.68/2426.80	c cleaning 211005 clauses out of 422024 with flag 182168208/22568000
2455.32/2458.50	c cleaning 212002 clauses out of 424020 with flag 184008201/22781001
2487.86/2491.16	c cleaning 213000 clauses out of 426018 with flag 185868010/22995001
2519.70/2523.08	c cleaning 214000 clauses out of 428017 with flag 187726652/23210000
2551.13/2554.54	c cleaning 214989 clauses out of 430017 with flag 189582048/23426000
2584.39/2587.72	c cleaning 216006 clauses out of 432031 with flag 191440449/23643003
2618.68/2622.35	c cleaning 217001 clauses out of 434022 with flag 193276842/23861000
2651.79/2655.72	c cleaning 217992 clauses out of 436021 with flag 195162008/24080000
2684.25/2688.37	c cleaning 219002 clauses out of 438031 with flag 197058367/24300002
2717.58/2721.76	c cleaning 220005 clauses out of 440027 with flag 198943817/24521000
2753.32/2757.50	c cleaning 220991 clauses out of 442027 with flag 200906538/24743005
2787.54/2791.83	c cleaning 222001 clauses out of 444031 with flag 202867163/24966000
2822.56/2826.94	c cleaning 223004 clauses out of 446030 with flag 204791608/25190000
2858.94/2863.64	c cleaning 224007 clauses out of 448026 with flag 206769754/25415000
2894.62/2899.62	c cleaning 224999 clauses out of 450020 with flag 208701097/25641001
2929.62/2934.97	c cleaning 225995 clauses out of 452020 with flag 210663086/25868000
2964.21/2969.84	c cleaning 227001 clauses out of 454025 with flag 212643645/26096000
3001.58/3007.54	c cleaning 227999 clauses out of 456024 with flag 214623739/26325000
3038.26/3044.56	c cleaning 229001 clauses out of 458025 with flag 216636315/26555000
3075.31/3081.82	c cleaning 229999 clauses out of 460024 with flag 218629626/26786000
3112.88/3119.75	c cleaning 231001 clauses out of 462026 with flag 220696581/27018001
3149.96/3157.11	c cleaning 232003 clauses out of 464024 with flag 222704121/27251000
3189.00/3196.59	c cleaning 233000 clauses out of 466022 with flag 224711350/27485001
3227.47/3235.34	c cleaning 234001 clauses out of 468023 with flag 226748435/27720002
3264.54/3272.76	c cleaning 234994 clauses out of 470022 with flag 228891241/27956002
3303.49/3312.01	c cleaning 236006 clauses out of 472028 with flag 230921728/28193002
3341.90/3350.69	c cleaning 237000 clauses out of 474021 with flag 232967461/28431001
3381.14/3390.29	c cleaning 238002 clauses out of 476023 with flag 235021599/28670003
3419.51/3428.90	c cleaning 238999 clauses out of 478019 with flag 237146516/28910001
3459.76/3469.50	c cleaning 240002 clauses out of 480021 with flag 239228480/29151002
3500.30/3510.43	c cleaning 240994 clauses out of 482017 with flag 241323862/29393000
3540.35/3550.89	c cleaning 241985 clauses out of 484024 with flag 243455441/29636001
3581.79/3592.55	c cleaning 243011 clauses out of 486038 with flag 245595803/29880000
3600.03/3610.92	c timeout
3600.03/3610.92	c starts		: 72612
3600.03/3610.93	c conflicts		: 30006903
3600.03/3610.93	c decisions		: 46453221
3600.03/3610.93	c propagations		: 706331912
3600.03/3610.93	c inspects		: 61277617792
3600.03/3610.93	c shortcuts		: 0
3600.03/3610.93	c learnt literals	: 0
3600.03/3610.93	c learnt binary clauses	: 0
3600.03/3610.93	c learnt ternary clauses	: 0
3600.03/3610.93	c learnt constraints	: 30006903
3600.03/3610.93	c ignored constraints	: 0
3600.03/3610.93	c root simplifications	: 0
3600.03/3610.93	c removed literals (reason simplification)	: 0
3600.03/3610.93	c reason swapping (by a shorter reason)	: 0
3600.03/3610.93	c Calls to reduceDB	: 240
3600.03/3610.93	c Number of update (reduction) of LBD	: 8416604
3600.03/3610.93	c Imported unit clauses	: 0
3600.03/3610.93	c No decision after first conflict	: false
3600.03/3610.93	c number of reductions to clauses (during analyze)	: 0
3600.03/3610.93	c number of learned constraints concerned by reduction	: 0
3600.03/3610.93	c number of learning phase by resolution	: 0
3600.03/3610.93	c number of learning phase by cutting planes	: 0
3600.03/3610.93	c number of rounding to 1 operations	: 0
3600.03/3610.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3610.93	c number of reductions of the coefficients by power 2 	: 0
3600.03/3610.93	c number of right shift for reduction by power 2 	: 0
3600.03/3610.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3610.93	c number of ending skipping 	: 0
3600.03/3610.93	c number of internal skipping 	: 0
3600.03/3610.93	c number of derivation steps 	: 0
3600.03/3610.93	c number of skipped derivation steps 	: 0
3600.03/3610.93	c number of remaining unassigned 	: 0
3600.03/3610.93	c number of remaining assigned 	: 0
3600.03/3610.93	c number of falsified literals weakened from reason	: 0
3600.03/3610.93	c number of falsified literals weakened from conflict	: 0
3600.03/3610.93	c time for arithmetic operations	: 0
3600.03/3610.93	c minimum degree of deleted constraints	: null
3600.03/3610.93	c maximum degree of deleted constraints	: null
3600.03/3610.93	c number of deleted constraints	: 0
3600.03/3610.93	c speed (assignments/second)	: 195617.81390421724
3600.03/3610.93	c non guided choices	: 108529
3600.03/3610.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 369930
3600.03/3610.99	s UNKNOWN
3600.03/3610.99	c Total wall clock time (in seconds): 3610.861

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: 63968 MiB (59677 MiB free)
  memory of node 1: 64473 MiB (60139 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=1077773, runsolver pid=1077770

[startup+0.100435 s]*
/proc/loadavg: 4.18 4.26 4.13 7/329 1077791
/proc/meminfo: memFree=122648724/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=18975048 memory=64900 CPUtime=0.14 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 7223 0 0 0 12 2 0 0 20 0 18 0 195092528 19430449152 16225 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4743762 16225 5587 1 0 549343 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 5743 0 0 0 7 2 0 0 20 0 18 0 195092529 19430449152 16225 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195092531 19430449152 16225 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 195092532 19430449152 16225 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64900 KiB

[startup+0.207548 s]*
/proc/loadavg: 4.18 4.26 4.13 7/330 1077792
/proc/meminfo: memFree=122641184/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19041612 memory=73260 CPUtime=0.33 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 8847 0 0 0 31 2 0 0 20 0 19 0 195092528 19498610688 18315 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4760403 18315 5896 1 0 550416 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 5932 0 0 0 16 2 0 0 20 0 19 0 195092529 19498610688 18315 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19041612 memory=17016 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195092531 19498610688 18315 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195092532 19498610688 18315 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195092544 19498610688 18315 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73260 KiB

[startup+0.306549 s]*
/proc/loadavg: 4.18 4.26 4.13 6/330 1077792
/proc/meminfo: memFree=122639140/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19041612 memory=75284 CPUtime=0.52 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 9571 0 0 0 50 2 0 0 20 0 19 0 195092528 19498610688 18821 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4760403 18821 5896 1 0 550848 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19041612 memory=-7306911702968525920 CPUtime=0.27 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 5936 0 0 0 25 2 0 0 20 0 19 0 195092529 19498610688 18821 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195092531 19498610688 18821 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195092532 19498610688 18821 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195092544 19498610688 18821 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75284 KiB

[startup+0.708552 s]
/proc/loadavg: 4.18 4.26 4.13 6/330 1077792
/proc/meminfo: memFree=122621912/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19041612 memory=96520 CPUtime=1.31 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 15112 0 0 0 127 4 0 0 20 0 19 0 195092528 19498610688 24130 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4760403 24130 5896 1 0 554054 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19041612 memory=46816 CPUtime=0.66 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 5988 0 0 0 64 2 0 0 20 0 19 0 195092529 19498610688 24130 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19041612 memory=13116 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195092531 19498610688 24130 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195092532 19498610688 24130 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19041612 memory=1900 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195092544 19498610688 24130 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96520 KiB

[startup+1.50028 s]
/proc/loadavg: 4.18 4.26 4.13 6/330 1077792
/proc/meminfo: memFree=122611228/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19041612 memory=115576 CPUtime=2.55 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 18840 0 0 0 251 4 0 0 20 0 19 0 195092528 19498610688 28894 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4760403 28894 5896 1 0 554073 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19041612 memory=13116 CPUtime=1.44 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 6276 0 0 0 142 2 0 0 20 0 19 0 195092529 19498610688 28894 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195092531 19498610688 28894 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195092532 19498610688 28894 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19041612 memory=1900 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195092544 19498610688 28894 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 115576 KiB

[startup+3.10574 s]
/proc/loadavg: 4.18 4.26 4.13 5/330 1077792
/proc/meminfo: memFree=122570068/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19041612 memory=146332 CPUtime=4.16 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 19428 0 0 0 411 5 0 0 20 0 19 0 195092528 19498610688 36583 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4760403 36583 5896 1 0 554074 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19041612 memory=0 CPUtime=3.05 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 6545 0 0 0 302 3 0 0 20 0 19 0 195092529 19498610688 36583 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19041612 memory=-7306911702968525920 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195092531 19498610688 36583 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19041612 memory=13116 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 195092532 19498610688 36583 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19041612 memory=2212 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195092544 19498610688 36583 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146332 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.26 4.13 7/330 1077860
/proc/meminfo: memFree=124579340/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=183744 CPUtime=7.4 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 20764 0 0 0 734 6 0 0 20 0 20 0 195092528 19566772224 45936 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 45936 5912 1 0 554364 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2212 CPUtime=6.21 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 6598 0 0 0 618 3 0 0 20 0 20 0 195092529 19566772224 45936 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 45936 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=13116 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 45936 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=1399947280888402291 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 45936 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183744 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.25 4.13 5/330 1077927
/proc/meminfo: memFree=124521972/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=190048 CPUtime=13.78 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 22766 0 0 0 1372 6 0 0 20 0 20 0 195092528 19566772224 47512 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 47512 5928 1 0 554364 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=13116 CPUtime=12.58 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 7351 0 0 0 1255 3 0 0 20 0 20 0 195092529 19566772224 47512 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=190040 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 47512 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=16236 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 47512 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=2212 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 47512 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190048 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.24 4.13 5/331 1077930
/proc/meminfo: memFree=124410368/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=243564 CPUtime=26.59 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 25529 0 0 0 2651 8 0 0 20 0 20 0 195092528 19566772224 60891 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 60891 5944 1 0 554364 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=0 CPUtime=25.27 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 8233 0 0 0 2524 3 0 0 20 0 20 0 195092529 19566772224 60891 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 60891 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=183820 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 60891 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=13116 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 60891 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243564 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.24 4.13 5/331 1077934
/proc/meminfo: memFree=124205668/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=352448 CPUtime=52.2 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 29661 0 0 0 5209 11 0 0 20 0 20 0 195092528 19566772224 88112 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 88112 5944 1 0 554364 0

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

/proc/meminfo: memFree=120323800/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3274.05 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 148358 0 0 0 327276 129 0 0 20 0 20 0 195092528 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548160 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2188700 CPUtime=3265.59 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 73966 0 0 0 326541 18 0 0 20 0 20 0 195092529 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4076 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=68 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/334 1079927
/proc/meminfo: memFree=120294556/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3333.53 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 149394 0 0 0 333222 131 0 0 20 0 20 0 195092528 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548160 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2188700 CPUtime=3325.03 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 74858 0 0 0 332485 18 0 0 20 0 20 0 195092529 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4157 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=-7306911702968525920 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.14 6/334 1079940
/proc/meminfo: memFree=120293992/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3393.14 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 151074 0 0 0 339181 133 0 0 20 0 20 0 195092528 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548160 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3384.33 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 75729 0 0 0 338415 18 0 0 20 0 20 0 195092529 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4200 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=5464 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.14 5/331 1079951
/proc/meminfo: memFree=120293220/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3452.62 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 152067 0 0 0 345127 135 0 0 20 0 20 0 195092528 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548160 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3443.77 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 76564 0 0 0 344359 18 0 0 20 0 20 0 195092529 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=5464 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4296 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.19 4.15 6/331 1079961
/proc/meminfo: memFree=120292556/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3512.09 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 153248 0 0 0 351073 136 0 0 20 0 20 0 195092528 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548160 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3503.23 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 77560 0 0 0 350305 18 0 0 20 0 20 0 195092529 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4422 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.14 6/331 1079971
/proc/meminfo: memFree=120174580/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3571.57 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 154400 0 0 0 357019 138 0 0 20 0 20 0 195092528 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548160 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3562.67 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 78519 0 0 0 356249 18 0 0 20 0 20 0 195092529 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4550 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=11396 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548160 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.10 4.16 4.14 6/331 1079978
/proc/meminfo: memFree=120151804/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192656 CPUtime=3600.03 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 155324 0 0 0 359865 138 0 0 20 0 20 0 195092528 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548164 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3590.91 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 78679 0 0 0 359073 18 0 0 20 0 20 0 195092529 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192656 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4635 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=2192656 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.40083 s

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

[startup+3610.9 s]
/proc/loadavg: 4.10 4.16 4.14 6/331 1079978
/proc/meminfo: memFree=120151804/131524600 swapFree=131071996/131071996
[pid=1077773] ppid=1077770 vsize=19108176 memory=2192656 CPUtime=3600.03 cores=1,3
/proc/1077773/stat : 1077773 (java) S 1077770 1077773 1074922 0 -1 1077936128 155324 0 0 0 359865 138 0 0 20 0 20 0 195092528 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
/proc/1077773/statm: 4777044 548164 5944 1 0 561581 0
[pid=1077773/tid=1077775] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=3590.91 cores=1,3
/proc/1077773/task/1077775/stat : 1077775 (java) R 1077770 1077773 1074922 0 -1 4194368 78679 0 0 0 359073 18 0 0 20 0 20 0 195092529 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077784] ppid=1077770 vsize=19108176 memory=2192640 CPUtime=0 cores=1,3
/proc/1077773/task/1077784/stat : 1077784 (Finalizer) S 1077770 1077773 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195092531 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077791] ppid=1077770 vsize=19108176 memory=2192656 CPUtime=0 cores=1,3
/proc/1077773/task/1077791/stat : 1077791 (Common-Cleaner) S 1077770 1077773 1074922 0 -1 1077936192 4635 0 0 0 0 0 0 0 20 0 20 0 195092532 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
[pid=1077773/tid=1077792] ppid=1077770 vsize=19108176 memory=2192656 CPUtime=0 cores=1,3
/proc/1077773/task/1077792/stat : 1077792 (Timer-0) S 1077770 1077773 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195092544 19566772224 548164 134679101440 94351699951616 94351699955312 140734570426480 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351699963128 94351699963920 94351732277248 140734570435589 140734570435679 140734570435679 140734570442696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192656 KiB

Child status: 143

Real time (s): 3611.01
CPU time (s): 3600.18
CPU user time (s): 3598.78
CPU system time (s): 1.40083
CPU usage (%): 99.7002
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2192656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.40083
maximum resident set size= 2194048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103452
involuntary context switches= 15411


# summary of solver processes directly reported to runsolver:
#   pid: 1077773
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.40083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65935 second user time and 18.848 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 00:47:37
IDJOB=4451134
IDBENCH=162377
IDSOLVER=3058
FILE ID=nodeC030/4451134-1721429244
RUNJOBID= nodeC030-1721425652-1074934
SLURM_JOB_ID= 7545616
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451134-1721429244/watcher-4451134-1721429244 -o /tmp/evaluation-result-4451134-1721429244/solver-4451134-1721429244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074934 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451134-1721429244.opb

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

MD5SUM BENCH= 66220fca8952fbecf83bd47731654b15
RANDOM SEED=1298482749

nodeC030.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		: 3680.941
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3647.658
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3599.660
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3640.608
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3678.792
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3682.988
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3599.794
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3600.311
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122693320 kB
MemAvailable:   125123108 kB
Buffers:          519352 kB
Cached:          2731416 kB
SwapCached:            0 kB
Active:          1177892 kB
Inactive:        6974992 kB
Active(anon):       1564 kB
Inactive(anon):  4946472 kB
Active(file):    1176328 kB
Inactive(file):  2028520 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:       4901704 kB
Mapped:           127384 kB
Shmem:             45912 kB
KReclaimable:     129528 kB
Slab:             248024 kB
SReclaimable:     129528 kB
SUnreclaim:       118496 kB
KernelStack:        4988 kB
PageTables:        19728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7320628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4673536 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:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-20 01:47:48