Trace number 4453582

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.19 3619.09

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1250.shuf-2.opb
MD5SUM3566bcd5bd0e33c2b0ad42e502bc55df
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.075281
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5001
Total number of constraints5000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints4376
Minimum length of a constraint4
Maximum length of a constraint5
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.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.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4453582-1721843541.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.34/0.25	c ... done. Wall clock time 0.124s.
0.34/0.25	c declared #vars     5001
0.34/0.25	c #constraints  5000
0.34/0.25	c constraints type 
0.34/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5000
0.34/0.25	c 5000 constraints processed.
2.46/1.34	c cleaning 2494 clauses out of 5002 with flag 37753/5002
4.24/2.22	c cleaning 4247 clauses out of 8506 with flag 92068/11000
5.33/2.89	c cleaning 5616 clauses out of 11260 with flag 152802/18001
6.22/3.65	c cleaning 6794 clauses out of 13644 with flag 224690/26001
7.22/4.53	c cleaning 7906 clauses out of 15850 with flag 307186/35001
8.13/5.49	c cleaning 8937 clauses out of 17943 with flag 405182/45000
9.14/6.49	c cleaning 9968 clauses out of 20007 with flag 506269/56001
10.33/7.67	c cleaning 10989 clauses out of 22038 with flag 628084/68000
11.66/8.96	c cleaning 11990 clauses out of 24052 with flag 761731/81003
13.08/10.36	c cleaning 12999 clauses out of 26059 with flag 906087/95000
14.83/11.88	c cleaning 13978 clauses out of 28060 with flag 1061366/110000
16.46/13.44	c cleaning 14973 clauses out of 30082 with flag 1218514/126000
18.30/15.22	c cleaning 15997 clauses out of 32112 with flag 1395706/143003
20.15/17.07	c cleaning 16970 clauses out of 34112 with flag 1597840/161000
22.14/19.05	c cleaning 17998 clauses out of 36142 with flag 1813062/180000
24.16/21.02	c cleaning 19034 clauses out of 38144 with flag 2033269/200000
26.08/22.97	c cleaning 20017 clauses out of 40110 with flag 2247567/221000
28.30/25.11	c cleaning 20973 clauses out of 42093 with flag 2488164/243000
30.29/27.17	c cleaning 21986 clauses out of 44120 with flag 2713794/266000
32.68/29.55	c cleaning 23042 clauses out of 46135 with flag 2991575/290001
35.09/31.93	c cleaning 23969 clauses out of 48092 with flag 3266594/315000
37.58/34.46	c cleaning 24972 clauses out of 50123 with flag 3562420/341000
40.29/37.47	c cleaning 25987 clauses out of 52151 with flag 3871963/368000
43.08/40.21	c cleaning 27034 clauses out of 54165 with flag 4189312/396001
45.89/43.06	c cleaning 27996 clauses out of 56131 with flag 4519527/425001
48.77/45.97	c cleaning 28993 clauses out of 58135 with flag 4861172/455001
51.89/49.06	c cleaning 30008 clauses out of 60141 with flag 5243226/486000
55.27/52.44	c cleaning 30992 clauses out of 62133 with flag 5653469/518000
58.56/55.78	c cleaning 31985 clauses out of 64143 with flag 6054718/551002
62.15/59.31	c cleaning 33029 clauses out of 66158 with flag 6488039/585002
65.56/62.74	c cleaning 33996 clauses out of 68127 with flag 6898099/620000
69.21/66.61	c cleaning 34982 clauses out of 70132 with flag 7336525/656001
72.87/70.33	c cleaning 36075 clauses out of 72149 with flag 7799703/693000
76.65/74.20	c cleaning 36964 clauses out of 74074 with flag 8272337/731000
80.74/78.23	c cleaning 37992 clauses out of 76110 with flag 8756945/770000
84.63/82.14	c cleaning 38977 clauses out of 78118 with flag 9243333/810000
88.74/86.21	c cleaning 39996 clauses out of 80142 with flag 9758838/851001
92.83/90.37	c cleaning 40992 clauses out of 82146 with flag 10273142/893001
97.26/94.77	c cleaning 42010 clauses out of 84153 with flag 10826475/936000
101.58/99.40	c cleaning 42975 clauses out of 86144 with flag 11358672/980001
105.97/103.84	c cleaning 44014 clauses out of 88168 with flag 11905133/1025000
110.38/108.29	c cleaning 45004 clauses out of 90154 with flag 12444716/1071000
115.18/113.08	c cleaning 45992 clauses out of 92151 with flag 13022573/1118001
119.98/117.85	c cleaning 47048 clauses out of 94158 with flag 13604058/1166000
124.82/122.67	c cleaning 47991 clauses out of 96111 with flag 14190366/1215001
130.07/128.19	c cleaning 48978 clauses out of 98121 with flag 14828575/1265002
135.31/133.35	c cleaning 50014 clauses out of 100142 with flag 15449117/1316001
140.76/138.77	c cleaning 50958 clauses out of 102127 with flag 16091123/1368000
146.43/144.34	c cleaning 52004 clauses out of 104170 with flag 16741137/1421001
151.95/149.86	c cleaning 53035 clauses out of 106167 with flag 17398446/1475002
157.78/155.69	c cleaning 53999 clauses out of 108131 with flag 18099684/1530001
163.54/162.27	c cleaning 54997 clauses out of 110131 with flag 18786139/1586000
169.44/168.19	c cleaning 55988 clauses out of 112136 with flag 19499500/1643002
175.52/174.27	c cleaning 57027 clauses out of 114146 with flag 20242106/1701000
181.81/180.50	c cleaning 58061 clauses out of 116121 with flag 20999630/1760002
188.00/186.71	c cleaning 58955 clauses out of 118061 with flag 21759454/1820003
194.20/193.28	c cleaning 59973 clauses out of 120104 with flag 22505647/1881001
200.82/199.84	c cleaning 61059 clauses out of 122131 with flag 23260756/1943001
207.22/206.26	c cleaning 61955 clauses out of 124072 with flag 24043166/2006001
213.92/212.96	c cleaning 62980 clauses out of 126116 with flag 24843192/2070000
220.93/220.19	c cleaning 63967 clauses out of 128136 with flag 25652697/2135000
227.98/227.16	c cleaning 65020 clauses out of 130170 with flag 26477567/2201001
235.19/234.37	c cleaning 65993 clauses out of 132152 with flag 27322625/2268003
242.41/241.58	c cleaning 67013 clauses out of 134156 with flag 28165203/2336000
249.99/249.07	c cleaning 67972 clauses out of 136144 with flag 29037733/2405001
257.61/256.93	c cleaning 69028 clauses out of 138171 with flag 29935503/2475000
265.38/264.66	c cleaning 70000 clauses out of 140143 with flag 30838374/2546000
273.22/272.43	c cleaning 71008 clauses out of 142143 with flag 31749421/2618000
281.09/280.32	c cleaning 71979 clauses out of 144135 with flag 32670709/2691000
289.13/288.71	c cleaning 73012 clauses out of 146158 with flag 33619716/2765002
297.17/296.73	c cleaning 73993 clauses out of 148144 with flag 34570774/2840000
305.43/304.95	c cleaning 74994 clauses out of 150152 with flag 35544306/2916001
313.96/313.72	c cleaning 75989 clauses out of 152158 with flag 36532202/2993001
322.51/322.24	c cleaning 77025 clauses out of 154171 with flag 37522824/3071003
331.24/330.99	c cleaning 78016 clauses out of 156145 with flag 38540843/3150002
340.20/339.85	c cleaning 79002 clauses out of 158127 with flag 39584726/3230000
349.27/349.12	c cleaning 79988 clauses out of 160125 with flag 40634994/3311000
358.31/358.17	c cleaning 80996 clauses out of 162137 with flag 41686014/3393000
367.54/367.36	c cleaning 82016 clauses out of 164142 with flag 42738354/3476001
376.99/377.06	c cleaning 82995 clauses out of 166127 with flag 43819187/3560002
386.60/386.64	c cleaning 84005 clauses out of 168130 with flag 44923247/3645000
396.16/396.18	c cleaning 84993 clauses out of 170125 with flag 46012512/3731000
405.92/406.14	c cleaning 85994 clauses out of 172132 with flag 47107384/3818000
415.64/415.90	c cleaning 86997 clauses out of 174139 with flag 48220114/3906001
425.57/425.75	c cleaning 87986 clauses out of 176142 with flag 49342873/3995001
435.74/436.19	c cleaning 88994 clauses out of 178155 with flag 50486146/4085000
445.98/446.32	c cleaning 90029 clauses out of 180162 with flag 51643925/4176001
456.36/456.73	c cleaning 91004 clauses out of 182133 with flag 52851123/4268001
466.82/469.60	c cleaning 91990 clauses out of 184129 with flag 54036005/4361001
477.37/480.19	c cleaning 93008 clauses out of 186138 with flag 55243868/4455000
488.21/490.97	c cleaning 93990 clauses out of 188130 with flag 56475835/4550000
499.06/503.20	c cleaning 95013 clauses out of 190141 with flag 57702102/4646001
510.26/514.33	c cleaning 95992 clauses out of 192129 with flag 58959541/4743002
521.22/525.22	c cleaning 96975 clauses out of 194136 with flag 60188694/4841001
532.53/536.70	c cleaning 98009 clauses out of 196162 with flag 61449530/4940002
543.98/548.13	c cleaning 99009 clauses out of 198153 with flag 62745393/5040002
556.14/559.92	c cleaning 99995 clauses out of 200144 with flag 64036949/5141002
567.66/571.67	c cleaning 101002 clauses out of 202151 with flag 65334489/5243004
579.49/583.40	c cleaning 102023 clauses out of 204146 with flag 66653280/5346001
591.31/595.49	c cleaning 103001 clauses out of 206123 with flag 68013833/5450001
603.46/607.59	c cleaning 103986 clauses out of 208122 with flag 69389199/5555001
615.91/619.97	c cleaning 104974 clauses out of 210135 with flag 70780086/5661000
628.51/632.66	c cleaning 106028 clauses out of 212161 with flag 72151728/5768000
641.10/645.19	c cleaning 107008 clauses out of 214135 with flag 73551296/5876002
653.82/658.05	c cleaning 107994 clauses out of 216128 with flag 74961306/5985003
666.87/671.05	c cleaning 108989 clauses out of 218131 with flag 76417854/6095000
679.91/684.04	c cleaning 110003 clauses out of 220142 with flag 77858374/6206000
693.26/697.91	c cleaning 111009 clauses out of 222140 with flag 79336045/6318001
706.64/711.36	c cleaning 111996 clauses out of 224131 with flag 80844565/6431001
720.27/725.17	c cleaning 113033 clauses out of 226137 with flag 82348179/6545003
734.25/739.09	c cleaning 113997 clauses out of 228102 with flag 83869019/6660001
748.12/753.06	c cleaning 115004 clauses out of 230107 with flag 85379881/6776003
761.95/766.87	c cleaning 115978 clauses out of 232100 with flag 86931366/6893000
776.14/781.13	c cleaning 117016 clauses out of 234124 with flag 88474415/7011002
790.59/795.52	c cleaning 117973 clauses out of 236106 with flag 90053617/7130000
804.89/809.92	c cleaning 119014 clauses out of 238133 with flag 91615624/7250000
819.43/824.43	c cleaning 120004 clauses out of 240119 with flag 93227037/7371000
834.03/838.97	c cleaning 120977 clauses out of 242116 with flag 94819009/7493001
848.89/853.92	c cleaning 122001 clauses out of 244138 with flag 96432293/7616000
863.98/868.91	c cleaning 123025 clauses out of 246138 with flag 98055151/7740001
879.01/884.11	c cleaning 123979 clauses out of 248115 with flag 99680014/7865003
894.41/899.45	c cleaning 124999 clauses out of 250134 with flag 101346172/7991001
909.98/915.17	c cleaning 126012 clauses out of 252134 with flag 103011930/8118000
925.74/930.86	c cleaning 126997 clauses out of 254122 with flag 104698229/8246000
941.81/947.05	c cleaning 127963 clauses out of 256125 with flag 106426483/8375000
957.82/963.13	c cleaning 129019 clauses out of 258163 with flag 108137800/8505001
974.03/979.20	c cleaning 130015 clauses out of 260143 with flag 109886667/8636000
990.27/996.92	c cleaning 130978 clauses out of 262131 with flag 111616200/8768003
1006.66/1013.21	c cleaning 132026 clauses out of 264150 with flag 113369584/8901000
1023.39/1030.39	c cleaning 132994 clauses out of 266124 with flag 115153248/9035000
1040.45/1047.26	c cleaning 134019 clauses out of 268131 with flag 116940000/9170001
1057.57/1064.52	c cleaning 134980 clauses out of 270114 with flag 118771543/9306003
1074.84/1081.82	c cleaning 135987 clauses out of 272132 with flag 120626181/9443001
1092.40/1099.55	c cleaning 137016 clauses out of 274145 with flag 122499334/9581001
1109.81/1116.85	c cleaning 137992 clauses out of 276129 with flag 124358697/9720001
1126.98/1134.18	c cleaning 138994 clauses out of 278137 with flag 126207095/9860001
1144.55/1151.68	c cleaning 140012 clauses out of 280142 with flag 128087863/10001000
1162.36/1169.56	c cleaning 140989 clauses out of 282130 with flag 130001259/10143000
1180.78/1188.08	c cleaning 142003 clauses out of 284142 with flag 131938022/10286001
1198.98/1206.12	c cleaning 143005 clauses out of 286138 with flag 133876755/10430000
1217.30/1224.54	c cleaning 144010 clauses out of 288135 with flag 135827814/10575002
1236.00/1243.15	c cleaning 145055 clauses out of 290123 with flag 137804090/10721000
1254.62/1262.44	c cleaning 145960 clauses out of 292068 with flag 139785244/10868000
1273.47/1281.36	c cleaning 147014 clauses out of 294108 with flag 141773097/11016000
1292.34/1300.17	c cleaning 147994 clauses out of 296095 with flag 143776809/11165001
1311.46/1319.32	c cleaning 149002 clauses out of 298102 with flag 145813691/11315002
1330.90/1338.61	c cleaning 149994 clauses out of 300098 with flag 147828438/11466000
1351.04/1358.98	c cleaning 151004 clauses out of 302104 with flag 149946469/11618000
1370.66/1378.78	c cleaning 151968 clauses out of 304100 with flag 151996223/11771000
1390.35/1398.33	c cleaning 152995 clauses out of 306132 with flag 154059396/11925000
1410.43/1418.57	c cleaning 154028 clauses out of 308137 with flag 156175684/12080000
1430.67/1439.57	c cleaning 155002 clauses out of 310112 with flag 158284115/12236003
1451.93/1460.32	c cleaning 155974 clauses out of 312108 with flag 160434567/12393001
1472.54/1481.01	c cleaning 157008 clauses out of 314134 with flag 162586354/12551001
1493.51/1502.11	c cleaning 158005 clauses out of 316125 with flag 164750848/12710000
1514.41/1522.91	c cleaning 159018 clauses out of 318120 with flag 166956221/12870000
1535.69/1544.30	c cleaning 159973 clauses out of 320102 with flag 169167606/13031000
1556.85/1565.86	c cleaning 161006 clauses out of 322130 with flag 171347214/13193001
1578.11/1587.31	c cleaning 162021 clauses out of 324123 with flag 173546317/13356000
1599.19/1608.40	c cleaning 163007 clauses out of 326103 with flag 175734264/13520001
1620.38/1629.92	c cleaning 164006 clauses out of 328096 with flag 177973318/13685001
1642.59/1652.10	c cleaning 164982 clauses out of 330089 with flag 180234685/13851000
1664.38/1673.88	c cleaning 165979 clauses out of 332107 with flag 182494019/14018000
1686.89/1697.03	c cleaning 166994 clauses out of 334128 with flag 184815719/14186000
1709.15/1719.88	c cleaning 167996 clauses out of 336134 with flag 187138833/14355000
1732.00/1742.85	c cleaning 169020 clauses out of 338138 with flag 189485478/14525000
1755.19/1765.86	c cleaning 170019 clauses out of 340118 with flag 191863208/14696000
1778.14/1788.94	c cleaning 170982 clauses out of 342099 with flag 194240936/14868000
1801.50/1812.82	c cleaning 171999 clauses out of 344117 with flag 196615474/15041000
1825.16/1836.49	c cleaning 173059 clauses out of 346118 with flag 199006680/15215000
1848.88/1860.08	c cleaning 173966 clauses out of 348059 with flag 201427433/15390000
1872.62/1883.96	c cleaning 174972 clauses out of 350094 with flag 203854734/15566001
1895.90/1907.38	c cleaning 176019 clauses out of 352122 with flag 206246188/15743001
1919.98/1931.51	c cleaning 177000 clauses out of 354104 with flag 208701729/15921002
1944.44/1956.10	c cleaning 177973 clauses out of 356102 with flag 211188790/16100000
1968.78/1980.37	c cleaning 179005 clauses out of 358130 with flag 213663727/16280001
1993.95/2005.52	c cleaning 180059 clauses out of 360124 with flag 216200562/16461000
2018.67/2030.47	c cleaning 180991 clauses out of 362065 with flag 218731208/16643000
2043.90/2055.93	c cleaning 181978 clauses out of 364074 with flag 221308410/16826000
2069.75/2081.82	c cleaning 182989 clauses out of 366096 with flag 223892463/17010000
2095.27/2107.21	c cleaning 184015 clauses out of 368109 with flag 226485191/17195002
2120.40/2132.58	c cleaning 184991 clauses out of 370093 with flag 229045185/17381001
2146.52/2158.66	c cleaning 185981 clauses out of 372101 with flag 231662590/17568000
2172.49/2184.74	c cleaning 186994 clauses out of 374120 with flag 234305025/17756000
2198.20/2210.50	c cleaning 187989 clauses out of 376126 with flag 236917125/17945000
2224.58/2237.03	c cleaning 189007 clauses out of 378138 with flag 239580578/18135001
2251.05/2263.66	c cleaning 189991 clauses out of 380131 with flag 242229778/18326001
2277.50/2289.99	c cleaning 191005 clauses out of 382139 with flag 244901917/18518000
2304.56/2316.62	c cleaning 192005 clauses out of 384135 with flag 247569162/18711001
2331.48/2343.69	c cleaning 192998 clauses out of 386132 with flag 250289935/18905003
2359.16/2371.41	c cleaning 194005 clauses out of 388132 with flag 253042625/19100001
2386.60/2399.25	c cleaning 194995 clauses out of 390126 with flag 255794251/19296000
2413.92/2426.62	c cleaning 196017 clauses out of 392131 with flag 258506009/19493000
2441.42/2454.07	c cleaning 197007 clauses out of 394115 with flag 261227214/19691001
2469.36/2482.07	c cleaning 197977 clauses out of 396107 with flag 263993513/19890000
2497.40/2510.19	c cleaning 198996 clauses out of 398132 with flag 266785107/20090002
2525.99/2538.16	c cleaning 200068 clauses out of 400136 with flag 269604093/20291002
2554.31/2566.68	c cleaning 200941 clauses out of 402066 with flag 272450897/20493000
2583.49/2595.86	c cleaning 202063 clauses out of 404126 with flag 275325220/20696001
2612.10/2624.59	c cleaning 202968 clauses out of 406062 with flag 278199478/20900000
2641.84/2653.86	c cleaning 204006 clauses out of 408095 with flag 281096368/21105001
2670.72/2682.88	c cleaning 204984 clauses out of 410088 with flag 283992824/21311000
2700.27/2712.56	c cleaning 206001 clauses out of 412105 with flag 286938581/21518001
2730.00/2742.43	c cleaning 207018 clauses out of 414104 with flag 289894899/21726001
2759.91/2772.29	c cleaning 207988 clauses out of 416085 with flag 292839944/21935000
2789.66/2802.03	c cleaning 209001 clauses out of 418099 with flag 295785848/22145002
2820.20/2832.60	c cleaning 209994 clauses out of 420097 with flag 298776023/22356001
2850.41/2862.90	c cleaning 210987 clauses out of 422102 with flag 301780403/22568000
2881.52/2893.68	c cleaning 212005 clauses out of 424115 with flag 304824402/22781000
2912.81/2924.93	c cleaning 212989 clauses out of 426110 with flag 307903821/22995000
2943.65/2955.94	c cleaning 213990 clauses out of 428121 with flag 310966809/23210000
2975.12/2987.69	c cleaning 214996 clauses out of 430132 with flag 314067967/23426001
3007.17/3019.72	c cleaning 215997 clauses out of 432137 with flag 317181919/23643002
3038.44/3057.36	c cleaning 217016 clauses out of 434140 with flag 320246017/23861002
3070.22/3089.24	c cleaning 218006 clauses out of 436125 with flag 323379760/24080003
3102.06/3121.12	c cleaning 218990 clauses out of 438116 with flag 326514908/24300000
3134.21/3153.21	c cleaning 220001 clauses out of 440128 with flag 329669734/24521002
3166.04/3185.50	c cleaning 221002 clauses out of 442125 with flag 332792978/24743000
3198.48/3218.05	c cleaning 221990 clauses out of 444123 with flag 335965526/24966000
3232.17/3251.26	c cleaning 222999 clauses out of 446133 with flag 339182349/25190000
3265.02/3284.26	c cleaning 224027 clauses out of 448136 with flag 342376282/25415002
3298.14/3317.30	c cleaning 225001 clauses out of 450112 with flag 345613716/25641005
3331.79/3350.51	c cleaning 226010 clauses out of 452107 with flag 348885603/25868001
3365.25/3384.19	c cleaning 226999 clauses out of 454098 with flag 352163035/26096002
3398.99/3417.93	c cleaning 227982 clauses out of 456098 with flag 355454082/26325001
3433.42/3451.99	c cleaning 228999 clauses out of 458119 with flag 358754503/26555004
3468.03/3487.44	c cleaning 229983 clauses out of 460116 with flag 362155915/26786000
3502.18/3521.64	c cleaning 231017 clauses out of 462133 with flag 365493754/27018000
3537.25/3556.11	c cleaning 231999 clauses out of 464116 with flag 368838587/27251000
3572.04/3591.17	c cleaning 233006 clauses out of 466117 with flag 372191068/27485000
3600.03/3618.91	c timeout
3600.03/3618.92	c starts		: 179499
3600.03/3618.93	c conflicts		: 27676717
3600.03/3618.93	c decisions		: 388113508
3600.03/3618.93	c propagations		: 3976737778
3600.03/3618.93	c inspects		: 23705693771
3600.03/3618.93	c shortcuts		: 0
3600.03/3618.93	c learnt literals	: 0
3600.03/3618.93	c learnt binary clauses	: 0
3600.03/3618.93	c learnt ternary clauses	: 0
3600.03/3618.93	c learnt constraints	: 27676717
3600.03/3618.93	c ignored constraints	: 0
3600.03/3618.93	c root simplifications	: 0
3600.03/3618.93	c removed literals (reason simplification)	: 42140858
3600.03/3618.93	c reason swapping (by a shorter reason)	: 0
3600.03/3618.93	c Calls to reduceDB	: 230
3600.03/3618.93	c Number of update (reduction) of LBD	: 9676962
3600.03/3618.93	c Imported unit clauses	: 0
3600.03/3618.93	c No decision after first conflict	: false
3600.03/3618.93	c number of reductions to clauses (during analyze)	: 0
3600.03/3618.93	c number of learned constraints concerned by reduction	: 0
3600.03/3618.93	c number of learning phase by resolution	: 0
3600.03/3618.93	c number of learning phase by cutting planes	: 0
3600.03/3618.93	c number of rounding to 1 operations	: 0
3600.03/3618.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3618.93	c number of reductions of the coefficients by power 2 	: 0
3600.03/3618.93	c number of right shift for reduction by power 2 	: 0
3600.03/3618.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3618.93	c number of ending skipping 	: 0
3600.03/3618.93	c number of internal skipping 	: 0
3600.03/3618.93	c number of derivation steps 	: 0
3600.03/3618.93	c number of skipped derivation steps 	: 0
3600.03/3618.93	c number of remaining unassigned 	: 0
3600.03/3618.93	c number of remaining assigned 	: 0
3600.03/3618.93	c number of falsified literals weakened from reason	: 0
3600.03/3618.93	c number of falsified literals weakened from conflict	: 0
3600.03/3618.93	c time for arithmetic operations	: 0
3600.03/3618.93	c minimum degree of deleted constraints	: null
3600.03/3618.93	c maximum degree of deleted constraints	: null
3600.03/3618.93	c number of deleted constraints	: 0
3600.03/3618.93	c speed (assignments/second)	: 1098948.5869828044
3600.03/3618.93	c non guided choices	: 7449092
3600.03/3619.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 424828
3600.03/3619.00	s UNKNOWN
3600.03/3619.00	c Total wall clock time (in seconds): 3618.874

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

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


[startup+0.10006 s]*
/proc/loadavg: 4.36 4.20 4.12 5/335 208573
/proc/meminfo: memFree=96691584/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=18975048 memory=65528 CPUtime=0.13 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 7240 0 0 0 12 1 0 0 20 0 18 0 20882753 19430449152 16382 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4743762 16382 5711 1 0 549370 0
[pid=208555/tid=208557] ppid=208552 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 5766 0 0 0 7 1 0 0 20 0 18 0 20882754 19430449152 16382 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20882756 19430449152 16382 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=18975048 memory=14979961989030310 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20882757 19430449152 16382 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65528 KiB

[startup+0.206153 s]*
/proc/loadavg: 4.36 4.20 4.12 11/336 208574
/proc/meminfo: memFree=96598868/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19041612 memory=158128 CPUtime=0.34 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 7788 0 0 0 31 3 0 0 20 0 19 0 20882753 19498610688 39532 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4760403 39532 5848 1 0 549908 0
[pid=208555/tid=208557] ppid=208552 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 5967 0 0 0 16 2 0 0 20 0 19 0 20882754 19498610688 39532 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19041612 memory=1499814 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20882756 19498610688 39532 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19041612 memory=14135537057400351 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20882757 19498610688 39532 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158128 KiB

[startup+0.306773 s]*
/proc/loadavg: 4.36 4.20 4.12 7/337 208575
/proc/meminfo: memFree=96592932/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=163068 CPUtime=0.52 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 9583 0 0 0 49 3 0 0 20 0 20 0 20882753 19566772224 40767 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 40767 5864 1 0 551375 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=-9032080534714163900 CPUtime=0.28 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) S 208552 208555 206418 0 -1 1077936192 6045 0 0 0 25 3 0 0 20 0 20 0 20882754 19566772224 40767 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 40767 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 40767 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 40767 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 163068 KiB

[startup+0.700771 s]
/proc/loadavg: 4.36 4.20 4.12 7/337 208575
/proc/meminfo: memFree=96584504/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=172316 CPUtime=1.29 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 11727 0 0 0 125 4 0 0 20 0 20 0 20882753 19566772224 43079 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 43079 5893 1 0 552955 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=12316 CPUtime=0.64 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 6059 0 0 0 61 3 0 0 20 0 20 0 20882754 19566772224 43079 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 43079 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=117636 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 43079 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=32140 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 43079 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172316 KiB

[startup+1.50077 s]
/proc/loadavg: 4.36 4.20 4.12 6/337 208575
/proc/meminfo: memFree=96541444/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=215756 CPUtime=2.86 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 19780 0 0 0 279 7 0 0 20 0 20 0 20882753 19566772224 53939 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 53939 5893 1 0 554916 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=12316 CPUtime=1.39 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 7113 0 0 0 135 4 0 0 20 0 20 0 20882754 19566772224 53939 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 53939 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 53939 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 53939 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215756 KiB

[startup+3.10589 s]
/proc/loadavg: 4.36 4.20 4.12 7/337 208645
/proc/meminfo: memFree=102612400/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=514340 CPUtime=5.73 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 22978 0 0 0 559 14 0 0 20 0 20 0 20882753 19566772224 128585 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 128585 5893 1 0 555702 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=0 CPUtime=2.99 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 7895 0 0 0 288 11 0 0 20 0 20 0 20882754 19566772224 128585 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 128585 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=254904 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 128585 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 128585 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 514340 KiB

[startup+6.30027 s]
/proc/loadavg: 4.41 4.21 4.12 5/337 208645
/proc/meminfo: memFree=101910308/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=895596 CPUtime=9.04 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 24289 0 0 0 881 23 0 0 20 0 20 0 20882753 19566772224 223899 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 223899 5893 1 0 555702 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=0 CPUtime=6.16 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 8315 0 0 0 597 19 0 0 20 0 20 0 20882754 19566772224 223899 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=5440 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 223899 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=-2629634303118136734 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 223899 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=12316 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 223899 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 9.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 895596 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.21 4.12 4/312 208675
/proc/meminfo: memFree=103450392/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=978008 CPUtime=15.76 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 28397 0 0 0 1548 28 0 0 20 0 20 0 20882753 19566772224 244502 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 244502 5909 1 0 555702 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=900060 CPUtime=12.54 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 9484 0 0 0 1230 24 0 0 20 0 20 0 20882754 19566772224 244502 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=900060 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 244502 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 244502 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 244502 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 15.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 978008 KiB

[startup+25.5003 s]
/proc/loadavg: 4.36 4.21 4.12 5/337 208716
/proc/meminfo: memFree=106918636/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=1325840 CPUtime=28.69 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 36328 0 0 0 2825 44 0 0 20 0 20 0 20882753 19566772224 331460 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 331460 5909 1 0 555702 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=1323728 CPUtime=25.26 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 11194 0 0 0 2487 39 0 0 20 0 20 0 20882754 19566772224 331460 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=895596 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 331460 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=228084 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 331460 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 331460 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325840 KiB

[startup+51.1059 s]
/proc/loadavg: 4.36 4.23 4.13 5/337 208720
/proc/meminfo: memFree=104119732/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=1329960 CPUtime=53.98 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 42287 0 0 0 5338 60 0 0 20 0 20 0 20882753 19566772224 332490 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 332490 5909 1 0 555702 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=-9032080534714163900 CPUtime=50.43 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 13784 0 0 0 4989 54 0 0 20 0 20 0 20882754 19566772224 332490 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0

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

[startup+3282.3 s]
/proc/loadavg: 3.10 3.15 3.25 4/316 210715
/proc/meminfo: memFree=57949580/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182368 CPUtime=3263.13 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 218760 0 0 0 324378 1935 0 0 20 0 20 0 20882753 19566772224 545592 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545592 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=2182368 CPUtime=3191.81 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 96114 0 0 0 317368 1813 0 0 20 0 20 0 20882754 19566772224 545592 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4324 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=75604 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545592 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=2182364 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3346 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545592 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=2182368 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545592 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3263.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182368 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.14 3.24 4/316 210726
/proc/meminfo: memFree=56927256/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3323.07 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 220858 0 0 0 330339 1968 0 0 20 0 20 0 20882753 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545593 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=75604 CPUtime=3250.45 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 97331 0 0 0 323201 1844 0 0 20 0 20 0 20882754 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4375 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=2182372 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=75604 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3416 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3323.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182372 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.14 3.23 4/316 210736
/proc/meminfo: memFree=55900744/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3383.23 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 225573 0 0 0 336319 2004 0 0 20 0 20 0 20882753 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545593 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3308.89 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 99802 0 0 0 329011 1878 0 0 20 0 20 0 20882754 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4431 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=2182372 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=2182368 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3452 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=2182372 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3383.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182372 KiB

[startup+3462.3 s]
/proc/loadavg: 3.15 3.14 3.23 4/316 210750
/proc/meminfo: memFree=54885568/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3442.74 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 230534 0 0 0 342237 2037 0 0 20 0 20 0 20882753 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545593 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3366.65 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 102581 0 0 0 334757 1908 0 0 20 0 20 0 20882754 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4572 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=2182372 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=2182368 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3518 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=16084 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545593 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3442.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182372 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.13 3.22 4/316 210763
/proc/meminfo: memFree=53862772/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182380 CPUtime=3502.89 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 232395 0 0 0 348219 2070 0 0 20 0 20 0 20882753 19566772224 545595 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545595 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3425.55 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 103914 0 0 0 340616 1939 0 0 20 0 20 0 20882754 19566772224 545595 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4601 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=2182372 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545595 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=2182372 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3572 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545595 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545595 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3502.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182380 KiB

[startup+3582.3 s]
/proc/loadavg: 3.20 3.15 3.21 4/315 210774
/proc/meminfo: memFree=52855916/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182528 CPUtime=3563.42 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 237842 0 0 0 354240 2102 0 0 20 0 20 0 20882753 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545632 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=2182380 CPUtime=3484.18 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 106701 0 0 0 346449 1969 0 0 20 0 20 0 20882754 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4651 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3588 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=11384 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3563.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.9 s]
/proc/loadavg: 3.10 3.13 3.20 3/288 210813
/proc/meminfo: memFree=79843964/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19108176 memory=2182528 CPUtime=3600.03 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 238482 0 0 0 357884 2119 0 0 20 0 20 0 20882753 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4777044 545632 5925 1 0 558909 0
[pid=208555/tid=208557] ppid=208552 vsize=19108176 memory=2182372 CPUtime=3520.07 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) R 208552 208555 206418 0 -1 4194368 107183 0 0 0 350022 1985 0 0 20 0 20 0 20882754 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4676 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19108176 memory=2182528 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20882756 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19108176 memory=2182528 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3632 0 0 0 0 0 0 0 20 0 20 0 20882757 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208575] ppid=208552 vsize=19108176 memory=2182528 CPUtime=0 cores=4,6
/proc/208555/task/208575/stat : 208575 (Timer-0) S 208552 208555 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20882779 19566772224 545632 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182528 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.97 s, system=21.2252 s

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

[startup+3619 s]*
/proc/loadavg: 3.10 3.13 3.20 3/283 210816
/proc/meminfo: memFree=79828512/131524600 swapFree=131059368/131071996
[pid=208555] ppid=208552 vsize=19307868 memory=2183168 CPUtime=3600.17 cores=4,6
/proc/208555/stat : 208555 (java) S 208552 208555 206418 0 -1 1077936128 240270 0 0 0 357896 2121 0 0 20 0 15 0 20882753 19771256832 545792 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
/proc/208555/statm: 4826967 545792 5921 1 0 559823 0
[pid=208555/tid=208557] ppid=208552 vsize=19307868 memory=-9103011129333621436 CPUtime=3520.09 cores=4,6
/proc/208555/task/208557/stat : 208557 (java) D 208552 208555 206418 0 -1 4194368 107390 0 0 0 350023 1986 0 0 20 0 15 0 20882754 19771256832 545792 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4680 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208566] ppid=208552 vsize=19307868 memory=-9054130153566291359 CPUtime=0 cores=4,6
/proc/208555/task/208566/stat : 208566 (Finalizer) S 208552 208555 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20882756 19771256832 545792 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
[pid=208555/tid=208573] ppid=208552 vsize=19307868 memory=2182528 CPUtime=0 cores=4,6
/proc/208555/task/208573/stat : 208573 (Common-Cleaner) S 208552 208555 206418 0 -1 1077936192 3632 0 0 0 0 0 0 0 20 0 15 0 20882757 19771256832 545792 134679101440 94502283665408 94502283669104 140723883039584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94502283676920 94502283677712 94502296276992 140723883045803 140723883045985 140723883045985 140723883053000 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2183168 KiB

Child status: 143

Real time (s): 3619.09
CPU time (s): 3600.19
CPU user time (s): 3578.97
CPU system time (s): 21.2252
CPU usage (%): 99.4777
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2183168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.97
system time used= 21.2252
maximum resident set size= 2184068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43088360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136737
involuntary context switches= 16125


# summary of solver processes directly reported to runsolver:
#   pid: 208555
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3578.97
#   total CPU system time (s): 21.2252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61558 second user time and 18.6023 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 19:52:21
IDJOB=4453582
IDBENCH=175658
IDSOLVER=3079
FILE ID=nodeC021/4453582-1721843541
RUNJOBID= nodeC021-1721839920-206429
SLURM_JOB_ID= 7891546
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1250.shuf-2.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-4453582-1721843541/watcher-4453582-1721843541 -o /tmp/evaluation-result-4453582-1721843541/solver-4453582-1721843541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206429 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453582-1721843541 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453582-1721843541.opb

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

MD5SUM BENCH= 3566bcd5bd0e33c2b0ad42e502bc55df
RANDOM SEED=57026723

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		: 3679.718
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		: 3600.906
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		: 3638.115
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		: 3683.828
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		: 3626.712
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		: 3682.061
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		: 3641.259
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		: 3600.357
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:        96736352 kB
MemAvailable:   122898664 kB
Buffers:          272480 kB
Cached:         26683580 kB
SwapCached:          440 kB
Active:          2578800 kB
Inactive:       31519668 kB
Active(anon):       1712 kB
Inactive(anon):  7194192 kB
Active(file):    2577088 kB
Inactive(file): 24325476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:             66612 kB
Writeback:             0 kB
AnonPages:       7140168 kB
Mapped:           126680 kB
Shmem:             53464 kB
KReclaimable:     198792 kB
Slab:             321176 kB
SReclaimable:     198792 kB
SUnreclaim:       122384 kB
KernelStack:        5120 kB
PageTables:        24236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7835448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6825984 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 20:52:40