Trace number 4453564

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.24 3608.61

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 		2106806208
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f 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	No 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@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4453564-1721488196.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.33/0.25	c ... done. Wall clock time 0.134s.
0.33/0.26	c declared #vars     5001
0.33/0.26	c #constraints  5000
0.33/0.26	c constraints type 
0.33/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5000
0.33/0.26	c 5000 constraints processed.
1.66/0.99	c cleaning 2495 clauses out of 5002 with flag 32911/5002
2.83/1.60	c cleaning 4252 clauses out of 8505 with flag 98826/11000
3.63/2.11	c cleaning 5613 clauses out of 11256 with flag 166617/18003
4.24/2.77	c cleaning 6799 clauses out of 13640 with flag 251271/26000
4.94/3.41	c cleaning 7887 clauses out of 15841 with flag 341295/35000
5.64/4.12	c cleaning 8909 clauses out of 17956 with flag 438416/45002
6.33/4.89	c cleaning 9984 clauses out of 20048 with flag 549986/56003
7.22/5.76	c cleaning 10993 clauses out of 22061 with flag 673015/68000
8.22/6.74	c cleaning 11986 clauses out of 24068 with flag 812184/81000
9.41/7.91	c cleaning 12983 clauses out of 26082 with flag 984673/95000
10.41/8.93	c cleaning 13999 clauses out of 28101 with flag 1144588/110002
11.50/10.02	c cleaning 14979 clauses out of 30104 with flag 1315296/126004
12.71/11.22	c cleaning 16017 clauses out of 32122 with flag 1499210/143001
14.02/12.56	c cleaning 16983 clauses out of 34105 with flag 1710177/161001
15.41/13.92	c cleaning 17998 clauses out of 36121 with flag 1931316/180000
16.79/15.30	c cleaning 19010 clauses out of 38126 with flag 2150398/200003
18.18/16.77	c cleaning 20054 clauses out of 40113 with flag 2385876/221000
19.76/18.33	c cleaning 20973 clauses out of 42061 with flag 2633196/243002
21.25/19.86	c cleaning 21966 clauses out of 44086 with flag 2882077/266000
22.94/21.55	c cleaning 23017 clauses out of 46121 with flag 3155585/290001
24.72/23.33	c cleaning 23984 clauses out of 48103 with flag 3443719/315000
26.41/25.06	c cleaning 24996 clauses out of 50119 with flag 3734284/341000
28.28/26.94	c cleaning 25986 clauses out of 52124 with flag 4044908/368001
30.37/29.01	c cleaning 26990 clauses out of 54137 with flag 4386015/396000
32.35/31.08	c cleaning 28004 clauses out of 56147 with flag 4733063/425000
34.53/33.20	c cleaning 28998 clauses out of 58144 with flag 5097626/455001
36.71/35.48	c cleaning 30018 clauses out of 60145 with flag 5491655/486000
39.09/37.83	c cleaning 30987 clauses out of 62128 with flag 5904221/518001
41.37/40.12	c cleaning 31975 clauses out of 64142 with flag 6302798/551002
43.74/42.51	c cleaning 33002 clauses out of 66165 with flag 6721054/585000
46.02/44.89	c cleaning 33979 clauses out of 68163 with flag 7137934/620000
48.49/47.39	c cleaning 35027 clauses out of 70185 with flag 7580423/656001
51.17/50.03	c cleaning 36006 clauses out of 72158 with flag 8051155/693001
53.74/52.62	c cleaning 36980 clauses out of 74151 with flag 8510733/731000
56.61/55.51	c cleaning 38013 clauses out of 76172 with flag 9012467/770001
59.29/58.22	c cleaning 39059 clauses out of 78159 with flag 9497286/810001
62.07/61.02	c cleaning 39962 clauses out of 80099 with flag 9996815/851000
64.94/63.99	c cleaning 40967 clauses out of 82139 with flag 10528414/893002
68.11/67.12	c cleaning 41992 clauses out of 84171 with flag 11081378/936001
71.28/70.31	c cleaning 43016 clauses out of 86181 with flag 11646767/980003
74.45/73.51	c cleaning 43980 clauses out of 88163 with flag 12218362/1025001
77.63/76.77	c cleaning 44980 clauses out of 90184 with flag 12795292/1071002
80.93/80.08	c cleaning 46022 clauses out of 92205 with flag 13394719/1118003
84.40/83.59	c cleaning 47012 clauses out of 94180 with flag 14001596/1166000
88.07/87.24	c cleaning 48084 clauses out of 96168 with flag 14612243/1215000
91.65/90.89	c cleaning 48949 clauses out of 98085 with flag 15245703/1265001
95.44/94.60	c cleaning 49987 clauses out of 100136 with flag 15892965/1316001
99.01/98.28	c cleaning 51011 clauses out of 102148 with flag 16533998/1368000
103.12/102.32	c cleaning 52002 clauses out of 104138 with flag 17220227/1421001
107.23/106.48	c cleaning 52998 clauses out of 106135 with flag 17917494/1475000
111.29/110.55	c cleaning 53981 clauses out of 108137 with flag 18608050/1530000
115.36/114.66	c cleaning 55017 clauses out of 110156 with flag 19299455/1586000
119.57/118.81	c cleaning 55958 clauses out of 112141 with flag 19993037/1643002
123.66/122.90	c cleaning 57015 clauses out of 114184 with flag 20709845/1701003
128.08/127.39	c cleaning 58035 clauses out of 116167 with flag 21469247/1760001
132.79/132.01	c cleaning 58982 clauses out of 118131 with flag 22244285/1820000
137.17/136.47	c cleaning 60007 clauses out of 120149 with flag 23001958/1881000
141.87/141.10	c cleaning 61017 clauses out of 122144 with flag 23774277/1943002
146.46/145.76	c cleaning 61979 clauses out of 124125 with flag 24562156/2006000
151.25/150.56	c cleaning 62992 clauses out of 126147 with flag 25381373/2070001
156.03/155.33	c cleaning 64078 clauses out of 128155 with flag 26186469/2135001
161.07/160.31	c cleaning 64977 clauses out of 130077 with flag 27030556/2201001
166.15/165.43	c cleaning 65995 clauses out of 132099 with flag 27895356/2268000
171.14/170.42	c cleaning 66974 clauses out of 134104 with flag 28746188/2336000
176.58/175.86	c cleaning 67982 clauses out of 136130 with flag 29643512/2405000
181.86/181.13	c cleaning 69005 clauses out of 138148 with flag 30525730/2475000
187.34/186.66	c cleaning 69994 clauses out of 140144 with flag 31448620/2546001
193.00/192.22	c cleaning 71016 clauses out of 142149 with flag 32373073/2618000
198.48/197.80	c cleaning 71988 clauses out of 144134 with flag 33300899/2691001
204.17/203.46	c cleaning 73006 clauses out of 146145 with flag 34242983/2765000
209.95/209.26	c cleaning 73997 clauses out of 148140 with flag 35194641/2840001
216.10/215.39	c cleaning 75004 clauses out of 150142 with flag 36186778/2916000
222.08/221.38	c cleaning 75996 clauses out of 152139 with flag 37171619/2993001
228.07/227.33	c cleaning 77009 clauses out of 154143 with flag 38150892/3071001
234.14/233.45	c cleaning 77993 clauses out of 156134 with flag 39132883/3150001
240.31/239.59	c cleaning 78992 clauses out of 158141 with flag 40121972/3230001
246.76/246.03	c cleaning 80008 clauses out of 160148 with flag 41153015/3311000
253.19/252.57	c cleaning 80985 clauses out of 162140 with flag 42194585/3393000
259.74/259.17	c cleaning 82003 clauses out of 164156 with flag 43249295/3476001
266.48/265.91	c cleaning 82995 clauses out of 166154 with flag 44330042/3560002
273.28/272.78	c cleaning 84017 clauses out of 168159 with flag 45409732/3645002
280.32/279.82	c cleaning 85062 clauses out of 170140 with flag 46518468/3731000
287.55/287.13	c cleaning 85971 clauses out of 172078 with flag 47654596/3818000
294.49/294.19	c cleaning 86980 clauses out of 174108 with flag 48783113/3906001
301.52/301.21	c cleaning 87999 clauses out of 176127 with flag 49889439/3995000
308.66/308.32	c cleaning 89062 clauses out of 178129 with flag 50998536/4085001
316.04/315.73	c cleaning 89951 clauses out of 180067 with flag 52175785/4176001
323.42/323.14	c cleaning 90989 clauses out of 182115 with flag 53339547/4268000
331.30/331.01	c cleaning 91991 clauses out of 184127 with flag 54561189/4361001
338.98/338.76	c cleaning 93001 clauses out of 186136 with flag 55781226/4455001
347.70/347.05	c cleaning 93999 clauses out of 188134 with flag 57025775/4550000
355.47/354.81	c cleaning 95001 clauses out of 190135 with flag 58253908/4646000
363.26/362.66	c cleaning 96016 clauses out of 192135 with flag 59481457/4743001
371.33/370.76	c cleaning 97007 clauses out of 194118 with flag 60752699/4841000
379.87/379.24	c cleaning 97978 clauses out of 196113 with flag 62064030/4940002
388.15/387.53	c cleaning 98999 clauses out of 198133 with flag 63338917/5040000
396.53/395.92	c cleaning 100007 clauses out of 200134 with flag 64648193/5141000
405.10/404.51	c cleaning 100999 clauses out of 202127 with flag 65968418/5243000
413.48/412.98	c cleaning 102014 clauses out of 204128 with flag 67303325/5346000
422.59/421.98	c cleaning 102995 clauses out of 206114 with flag 68673766/5450000
431.47/430.80	c cleaning 103987 clauses out of 208122 with flag 70042077/5555003
440.53/439.99	c cleaning 104987 clauses out of 210134 with flag 71429276/5661002
449.81/449.29	c cleaning 105993 clauses out of 212145 with flag 72843636/5768000
459.16/458.53	c cleaning 107016 clauses out of 214152 with flag 74237742/5876000
468.54/467.96	c cleaning 107999 clauses out of 216136 with flag 75674425/5985000
477.91/477.37	c cleaning 109015 clauses out of 218137 with flag 77103756/6095000
487.59/487.09	c cleaning 110001 clauses out of 220123 with flag 78563004/6206001
497.34/496.75	c cleaning 110995 clauses out of 222122 with flag 80009188/6318001
507.02/506.49	c cleaning 112015 clauses out of 224127 with flag 81480584/6431001
516.79/516.20	c cleaning 112995 clauses out of 226113 with flag 82927505/6545002
526.96/526.49	c cleaning 114002 clauses out of 228116 with flag 84454266/6660000
536.94/536.40	c cleaning 115009 clauses out of 230115 with flag 85946930/6776001
547.27/546.78	c cleaning 115970 clauses out of 232105 with flag 87460124/6893000
557.56/557.03	c cleaning 116992 clauses out of 234135 with flag 88979950/7011000
568.22/567.74	c cleaning 118072 clauses out of 236143 with flag 90566715/7130000
578.69/578.29	c cleaning 118974 clauses out of 238071 with flag 92127646/7250000
589.57/589.19	c cleaning 119966 clauses out of 240098 with flag 93714034/7371001
600.54/600.04	c cleaning 121002 clauses out of 242131 with flag 95312685/7493000
611.40/610.90	c cleaning 122002 clauses out of 244129 with flag 96919865/7616000
622.07/621.67	c cleaning 123006 clauses out of 246127 with flag 98519446/7740000
633.54/633.10	c cleaning 124020 clauses out of 248121 with flag 100168065/7865000
645.01/644.66	c cleaning 124970 clauses out of 250104 with flag 101858926/7991003
656.90/656.40	c cleaning 126014 clauses out of 252131 with flag 103558661/8118000
668.37/667.92	c cleaning 126973 clauses out of 254118 with flag 105242291/8246001
680.04/679.61	c cleaning 128021 clauses out of 256144 with flag 106951021/8375000
691.71/691.34	c cleaning 129003 clauses out of 258125 with flag 108677849/8505002
703.58/703.18	c cleaning 129985 clauses out of 260123 with flag 110382945/8636003
715.84/715.45	c cleaning 131068 clauses out of 262135 with flag 112145259/8768000
728.02/727.61	c cleaning 131992 clauses out of 264068 with flag 113896195/8901001
739.78/739.41	c cleaning 132991 clauses out of 266075 with flag 115623240/9035000
752.62/751.87	c cleaning 133983 clauses out of 268085 with flag 117377043/9170001
765.09/764.49	c cleaning 134965 clauses out of 270103 with flag 119194211/9306002
777.69/777.13	c cleaning 136027 clauses out of 272137 with flag 120997690/9443001
790.56/790.00	c cleaning 137005 clauses out of 274109 with flag 122854248/9581000
803.78/803.26	c cleaning 138010 clauses out of 276108 with flag 124722390/9720004
816.84/816.31	c cleaning 138987 clauses out of 278094 with flag 126576210/9860000
829.71/829.24	c cleaning 139987 clauses out of 280108 with flag 128411044/10001001
843.17/842.78	c cleaning 141003 clauses out of 282121 with flag 130299003/10143001
857.24/856.76	c cleaning 142001 clauses out of 284120 with flag 132232429/10286003
871.01/870.53	c cleaning 142994 clauses out of 286116 with flag 134169415/10430000
884.97/884.56	c cleaning 143998 clauses out of 288123 with flag 136139827/10575001
898.84/898.42	c cleaning 145024 clauses out of 290125 with flag 138082040/10721001
912.70/912.34	c cleaning 145982 clauses out of 292101 with flag 140083752/10868001
926.94/926.54	c cleaning 146998 clauses out of 294118 with flag 142081843/11016000
941.01/940.63	c cleaning 147995 clauses out of 296120 with flag 144067757/11165000
954.96/954.66	c cleaning 148997 clauses out of 298125 with flag 146049372/11315000
969.33/969.03	c cleaning 150032 clauses out of 300130 with flag 148094355/11466002
983.79/983.51	c cleaning 150992 clauses out of 302097 with flag 150129690/11618001
998.78/998.46	c cleaning 151971 clauses out of 304104 with flag 152218174/11771000
1013.24/1012.90	c cleaning 152981 clauses out of 306134 with flag 154269481/11925001
1028.10/1027.88	c cleaning 154037 clauses out of 308153 with flag 156365409/12080001
1042.66/1042.45	c cleaning 155017 clauses out of 310119 with flag 158429005/12236004
1057.81/1057.60	c cleaning 155984 clauses out of 312098 with flag 160560515/12393000
1072.88/1072.74	c cleaning 156975 clauses out of 314115 with flag 162688731/12551001
1088.35/1088.26	c cleaning 158022 clauses out of 316140 with flag 164846735/12710001
1103.81/1103.70	c cleaning 158999 clauses out of 318119 with flag 167007343/12870002
1119.17/1119.16	c cleaning 159994 clauses out of 320119 with flag 169177219/13031001
1135.32/1135.36	c cleaning 161003 clauses out of 322124 with flag 171412188/13193000
1151.37/1151.40	c cleaning 162005 clauses out of 324122 with flag 173647664/13356001
1167.85/1167.80	c cleaning 163009 clauses out of 326116 with flag 175871677/13520000
1184.00/1184.17	c cleaning 163998 clauses out of 328109 with flag 178092238/13685002
1200.44/1200.76	c cleaning 164987 clauses out of 330109 with flag 180340122/13851000
1217.09/1217.57	c cleaning 165994 clauses out of 332123 with flag 182665064/14018001
1233.84/1234.45	c cleaning 167008 clauses out of 334130 with flag 184964664/14186002
1251.27/1251.90	c cleaning 167996 clauses out of 336120 with flag 187285372/14355000
1268.41/1269.22	c cleaning 169000 clauses out of 338124 with flag 189611850/14525000
1285.85/1286.83	c cleaning 170000 clauses out of 340124 with flag 191969943/14696000
1303.19/1304.37	c cleaning 171013 clauses out of 342124 with flag 194318862/14868000
1321.06/1322.23	c cleaning 171990 clauses out of 344111 with flag 196690592/15041000
1339.09/1340.42	c cleaning 172998 clauses out of 346121 with flag 199112377/15215000
1356.71/1358.22	c cleaning 174008 clauses out of 348123 with flag 201488387/15390000
1374.65/1376.31	c cleaning 175005 clauses out of 350115 with flag 203889593/15566000
1392.85/1394.62	c cleaning 176003 clauses out of 352111 with flag 206311787/15743001
1411.09/1413.06	c cleaning 176997 clauses out of 354108 with flag 208767920/15921001
1429.13/1431.22	c cleaning 177991 clauses out of 356110 with flag 211208474/16100000
1448.62/1450.33	c cleaning 179061 clauses out of 358121 with flag 213706622/16280002
1467.38/1469.15	c cleaning 179979 clauses out of 360058 with flag 216198163/16461000
1485.83/1487.61	c cleaning 180992 clauses out of 362080 with flag 218691626/16643001
1504.76/1506.57	c cleaning 181957 clauses out of 364088 with flag 221223131/16826001
1523.51/1525.33	c cleaning 183006 clauses out of 366130 with flag 223753421/17010000
1542.45/1544.38	c cleaning 184005 clauses out of 368124 with flag 226301563/17195000
1561.87/1563.76	c cleaning 184995 clauses out of 370119 with flag 228848669/17381000
1581.29/1583.32	c cleaning 186005 clauses out of 372124 with flag 231419884/17568000
1600.82/1603.07	c cleaning 187001 clauses out of 374119 with flag 234024311/17756000
1620.84/1623.26	c cleaning 187992 clauses out of 376120 with flag 236681396/17945002
1640.81/1643.30	c cleaning 189016 clauses out of 378127 with flag 239298491/18135001
1660.93/1663.68	c cleaning 189995 clauses out of 380110 with flag 241951330/18326000
1680.85/1683.77	c cleaning 190992 clauses out of 382117 with flag 244603068/18518002
1700.86/1703.90	c cleaning 192018 clauses out of 384124 with flag 247239437/18711001
1721.38/1724.54	c cleaning 193017 clauses out of 386105 with flag 249939875/18905000
1741.99/1745.38	c cleaning 193974 clauses out of 388088 with flag 252679655/19100000
1762.71/1766.20	c cleaning 194996 clauses out of 390114 with flag 255417943/19296000
1784.02/1787.70	c cleaning 196005 clauses out of 392119 with flag 258199378/19493001
1805.12/1808.89	c cleaning 196999 clauses out of 394115 with flag 260951964/19691002
1825.73/1829.67	c cleaning 198009 clauses out of 396116 with flag 263680797/19890002
1846.65/1850.74	c cleaning 198985 clauses out of 398105 with flag 266455465/20090000
1868.06/1872.30	c cleaning 200004 clauses out of 400120 with flag 269251271/20291000
1890.41/1894.73	c cleaning 201015 clauses out of 402116 with flag 272134165/20493000
1912.21/1916.73	c cleaning 202005 clauses out of 404102 with flag 274998524/20696001
1934.02/1938.75	c cleaning 202958 clauses out of 406096 with flag 277883762/20900000
1956.53/1960.99	c cleaning 203990 clauses out of 408138 with flag 280764188/21105000
1978.67/1983.13	c cleaning 205023 clauses out of 410149 with flag 283650855/21311001
2001.36/2005.72	c cleaning 206006 clauses out of 412127 with flag 286565000/21518002
2024.25/2028.89	c cleaning 207009 clauses out of 414121 with flag 289540892/21726002
2046.54/2051.37	c cleaning 207982 clauses out of 416110 with flag 292466202/21935000
2069.23/2074.13	c cleaning 209015 clauses out of 418130 with flag 295367094/22145002
2092.11/2097.26	c cleaning 209991 clauses out of 420114 with flag 298339961/22356001
2115.21/2120.55	c cleaning 210992 clauses out of 422122 with flag 301328647/22568000
2138.80/2144.24	c cleaning 211989 clauses out of 424134 with flag 304340428/22781004
2162.00/2167.68	c cleaning 213018 clauses out of 426144 with flag 307367009/22995003
2185.09/2190.90	c cleaning 214009 clauses out of 428125 with flag 310361679/23210002
2208.92/2214.86	c cleaning 215001 clauses out of 430116 with flag 313391190/23426002
2233.30/2239.49	c cleaning 216014 clauses out of 432113 with flag 316517156/23643000
2257.79/2264.11	c cleaning 216975 clauses out of 434101 with flag 319635982/23861002
2282.81/2289.27	c cleaning 218002 clauses out of 436125 with flag 322774855/24080001
2307.19/2313.85	c cleaning 219006 clauses out of 438124 with flag 325910553/24300002
2331.85/2338.64	c cleaning 220023 clauses out of 440118 with flag 329079827/24521002
2356.18/2362.99	c cleaning 220982 clauses out of 442093 with flag 332184690/24743000
2381.21/2388.10	c cleaning 222004 clauses out of 444113 with flag 335355085/24966002
2407.52/2413.86	c cleaning 223004 clauses out of 446108 with flag 338589997/25190001
2432.89/2439.41	c cleaning 224005 clauses out of 448106 with flag 341784275/25415003
2457.84/2464.56	c cleaning 225005 clauses out of 450100 with flag 344952036/25641002
2482.72/2489.65	c cleaning 225988 clauses out of 452094 with flag 348163037/25868001
2508.15/2515.24	c cleaning 227012 clauses out of 454107 with flag 351415779/26096002
2534.02/2541.39	c cleaning 227979 clauses out of 456093 with flag 354669643/26325000
2559.89/2567.25	c cleaning 228986 clauses out of 458114 with flag 357932351/26555000
2586.22/2593.60	c cleaning 230017 clauses out of 460130 with flag 361236571/26786002
2612.25/2619.74	c cleaning 231013 clauses out of 462113 with flag 364540456/27018002
2638.64/2646.12	c cleaning 232002 clauses out of 464099 with flag 367872448/27251001
2665.36/2672.94	c cleaning 232991 clauses out of 466096 with flag 371258024/27485000
2692.09/2699.70	c cleaning 233994 clauses out of 468105 with flag 374610716/27720000
2719.11/2726.75	c cleaning 235006 clauses out of 470111 with flag 377996409/27956000
2746.35/2754.10	c cleaning 235990 clauses out of 472106 with flag 381428441/28193001
2773.86/2781.61	c cleaning 237002 clauses out of 474115 with flag 384844412/28431000
2801.50/2809.26	c cleaning 237991 clauses out of 476114 with flag 388311723/28670001
2829.33/2837.17	c cleaning 239015 clauses out of 478122 with flag 391788342/28910000
2857.05/2864.96	c cleaning 240006 clauses out of 480108 with flag 395243197/29151001
2885.47/2893.34	c cleaning 240974 clauses out of 482101 with flag 398764331/29393000
2913.16/2921.14	c cleaning 242015 clauses out of 484128 with flag 402252524/29636001
2941.59/2949.64	c cleaning 243006 clauses out of 486113 with flag 405758257/29880001
2970.57/2978.68	c cleaning 243980 clauses out of 488106 with flag 409315122/30125000
2999.75/3007.94	c cleaning 245005 clauses out of 490126 with flag 412929780/30371000
3029.97/3037.54	c cleaning 246000 clauses out of 492121 with flag 416538029/30618000
3059.10/3066.98	c cleaning 247028 clauses out of 494121 with flag 420161332/30866000
3089.05/3096.90	c cleaning 247975 clauses out of 496093 with flag 423820785/31115000
3118.08/3126.04	c cleaning 248975 clauses out of 498118 with flag 427423424/31365000
3147.39/3155.48	c cleaning 249998 clauses out of 500145 with flag 431035561/31616002
3176.61/3184.70	c cleaning 251029 clauses out of 502147 with flag 434666779/31868002
3206.66/3214.74	c cleaning 252019 clauses out of 504117 with flag 438371629/32121001
3236.67/3244.85	c cleaning 253007 clauses out of 506100 with flag 442086626/32375003
3266.85/3274.95	c cleaning 253986 clauses out of 508093 with flag 445797280/32630003
3296.77/3304.93	c cleaning 255010 clauses out of 510105 with flag 449547249/32886001
3327.26/3335.48	c cleaning 255990 clauses out of 512094 with flag 453293640/33143000
3357.57/3365.82	c cleaning 256981 clauses out of 514104 with flag 457076715/33401000
3388.40/3396.62	c cleaning 258021 clauses out of 516123 with flag 460878268/33660000
3418.51/3426.89	c cleaning 259012 clauses out of 518102 with flag 464648986/33920000
3449.65/3458.03	c cleaning 260006 clauses out of 520091 with flag 468439419/34181001
3480.42/3488.97	c cleaning 260998 clauses out of 522084 with flag 472210694/34443000
3512.64/3521.31	c cleaning 262002 clauses out of 524086 with flag 476088638/34706000
3545.05/3553.84	c cleaning 263042 clauses out of 526084 with flag 480001930/34970000
3577.64/3585.99	c cleaning 263967 clauses out of 528042 with flag 483875258/35235000
3600.09/3608.52	c timeout
3600.09/3608.52	c starts		: 239140
3600.09/3608.53	c conflicts		: 35428717
3600.09/3608.53	c decisions		: 499784485
3600.09/3608.53	c propagations		: 5042004760
3600.09/3608.53	c inspects		: 32621233142
3600.09/3608.53	c shortcuts		: 0
3600.09/3608.53	c learnt literals	: 0
3600.09/3608.53	c learnt binary clauses	: 0
3600.09/3608.53	c learnt ternary clauses	: 0
3600.09/3608.53	c learnt constraints	: 35428717
3600.09/3608.53	c ignored constraints	: 0
3600.09/3608.53	c root simplifications	: 0
3600.09/3608.53	c removed literals (reason simplification)	: 0
3600.09/3608.53	c reason swapping (by a shorter reason)	: 0
3600.09/3608.53	c Calls to reduceDB	: 261
3600.09/3608.53	c Number of update (reduction) of LBD	: 12051995
3600.09/3608.53	c Imported unit clauses	: 0
3600.09/3608.53	c No decision after first conflict	: false
3600.09/3608.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3608.53	c number of learned constraints concerned by reduction	: 0
3600.09/3608.53	c number of learning phase by resolution	: 0
3600.09/3608.53	c number of learning phase by cutting planes	: 0
3600.09/3608.53	c number of rounding to 1 operations	: 0
3600.09/3608.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3608.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3608.53	c number of right shift for reduction by power 2 	: 0
3600.09/3608.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3608.53	c number of ending skipping 	: 0
3600.09/3608.53	c number of internal skipping 	: 0
3600.09/3608.53	c number of derivation steps 	: 0
3600.09/3608.53	c number of skipped derivation steps 	: 0
3600.09/3608.53	c number of remaining unassigned 	: 0
3600.09/3608.53	c number of remaining assigned 	: 0
3600.09/3608.53	c number of falsified literals weakened from reason	: 0
3600.09/3608.53	c number of falsified literals weakened from conflict	: 0
3600.09/3608.53	c time for arithmetic operations	: 0
3600.09/3608.53	c minimum degree of deleted constraints	: null
3600.09/3608.53	c maximum degree of deleted constraints	: null
3600.09/3608.53	c number of deleted constraints	: 0
3600.09/3608.53	c speed (assignments/second)	: 1397350.7341488695
3600.09/3608.54	c non guided choices	: 9191463
3600.09/3608.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 457792
3600.09/3608.59	s UNKNOWN
3600.09/3608.59	c Total wall clock time (in seconds): 3608.472

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100112 s]*
/proc/loadavg: 4.04 4.10 4.09 11/325 1089445
/proc/meminfo: memFree=126506936/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=18975048 memory=67200 CPUtime=0.13 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 7219 0 0 0 11 2 0 0 20 0 18 0 200982042 19430449152 16800 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4743762 16800 5680 1 0 549340 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 5762 0 0 0 7 1 0 0 20 0 18 0 200982043 19430449152 16800 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=18975048 memory=1905144 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 200982045 19430449152 16800 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 200982046 19430449152 16800 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67200 KiB

[startup+0.209429 s]*
/proc/loadavg: 4.04 4.10 4.09 16/329 1089449
/proc/meminfo: memFree=126220984/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19041612 memory=162032 CPUtime=0.33 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 7823 0 0 0 29 4 0 0 20 0 19 0 200982042 19498610688 40508 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4760403 40508 5866 1 0 550045 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 5939 0 0 0 14 3 0 0 20 0 19 0 200982043 19498610688 40508 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19041612 memory=1905144 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 40508 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 200982046 19498610688 40508 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 162032 KiB

[startup+0.306512 s]*
/proc/loadavg: 4.04 4.10 4.09 13/331 1089451
/proc/meminfo: memFree=126080848/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=165664 CPUtime=0.5 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 9180 0 0 0 45 5 0 0 20 0 20 0 200982042 19566772224 41416 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 41416 5882 1 0 551122 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=-7162515039915697508 CPUtime=0.24 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 5983 0 0 0 21 3 0 0 20 0 20 0 200982043 19566772224 41416 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 41416 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 41416 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 41416 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 165664 KiB

[startup+0.700424 s]
/proc/loadavg: 4.04 4.10 4.09 13/331 1089451
/proc/meminfo: memFree=125730908/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=174044 CPUtime=1.26 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 12150 0 0 0 121 5 0 0 20 0 20 0 200982042 19566772224 43511 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 43511 5898 1 0 553250 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0.61 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 6010 0 0 0 57 4 0 0 20 0 20 0 200982043 19566772224 43511 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 43511 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 43511 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 43511 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174044 KiB

[startup+1.50042 s]
/proc/loadavg: 4.04 4.10 4.09 8/332 1089452
/proc/meminfo: memFree=125690040/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=178096 CPUtime=2.83 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 18397 0 0 0 277 6 0 0 20 0 20 0 200982042 19566772224 44524 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 44524 5898 1 0 554081 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=13124 CPUtime=1.39 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 6147 0 0 0 135 4 0 0 20 0 20 0 200982043 19566772224 44524 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 44524 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 44524 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 44524 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178096 KiB

[startup+3.10642 s]
/proc/loadavg: 4.36 4.16 4.11 7/332 1089452
/proc/meminfo: memFree=125627508/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=178288 CPUtime=4.65 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 19199 0 0 0 459 6 0 0 20 0 20 0 200982042 19566772224 44572 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 44572 5898 1 0 554086 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=0 CPUtime=2.97 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 6632 0 0 0 293 4 0 0 20 0 20 0 200982043 19566772224 44572 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 44572 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 44572 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 44572 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178288 KiB

[startup+6.30442 s]
/proc/loadavg: 4.36 4.16 4.11 7/332 1089452
/proc/meminfo: memFree=125581728/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=177004 CPUtime=7.82 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 19377 0 0 0 776 6 0 0 20 0 20 0 200982042 19566772224 44251 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 44251 5898 1 0 554086 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=13124 CPUtime=6.14 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 6748 0 0 0 610 4 0 0 20 0 20 0 200982043 19566772224 44251 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 44251 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=4425518498623951763 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 44251 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 44251 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 7.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177004 KiB

[startup+12.7004 s]
/proc/loadavg: 4.30 4.16 4.11 7/332 1089454
/proc/meminfo: memFree=125429688/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=205964 CPUtime=14.22 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 24466 0 0 0 1415 7 0 0 20 0 20 0 200982042 19566772224 51491 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 51491 5914 1 0 554086 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=0 CPUtime=12.46 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 7712 0 0 0 1242 4 0 0 20 0 20 0 200982043 19566772224 51491 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=205964 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 51491 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 51491 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 51491 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205964 KiB

[startup+25.5004 s]
/proc/loadavg: 4.26 4.15 4.10 8/333 1089456
/proc/meminfo: memFree=125117148/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=291988 CPUtime=26.9 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 26591 0 0 0 2681 9 0 0 20 0 20 0 200982042 19566772224 72997 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 72997 5914 1 0 554086 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=267412 CPUtime=25.13 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 9194 0 0 0 2507 6 0 0 20 0 20 0 200982043 19566772224 72997 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=277652 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 72997 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=-7162515039915631972 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 72997 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=255124 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 72997 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 26.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 291988 KiB

[startup+51.1064 s]
/proc/loadavg: 4.23 4.16 4.10 8/333 1089461
/proc/meminfo: memFree=124327904/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=607384 CPUtime=52.27 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 28626 0 0 0 5212 15 0 0 20 0 20 0 200982042 19566772224 151846 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 151846 5914 1 0 554086 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=513176 CPUtime=50.48 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 11029 0 0 0 5037 11 0 0 20 0 20 0 200982043 19566772224 151846 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982043 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0

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

/proc/meminfo: memFree=116320080/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2188512 CPUtime=3274.23 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 194444 0 0 0 327251 172 0 0 20 0 20 0 200982042 19566772224 547128 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 547128 5915 1 0 559873 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=14364 CPUtime=3255.84 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 87014 0 0 0 325545 39 0 0 20 0 20 0 200982043 19566772224 547128 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=2188512 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 547128 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=2188496 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3102 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 547128 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 547128 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.17 7/331 1091232
/proc/meminfo: memFree=115986300/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2188528 CPUtime=3334.14 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 195598 0 0 0 333239 175 0 0 20 0 20 0 200982042 19566772224 547132 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 547132 5915 1 0 559876 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=2188528 CPUtime=3315.57 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 87675 0 0 0 331518 39 0 0 20 0 20 0 200982043 19566772224 547132 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=29676 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 547132 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=2188528 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3153 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 547132 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=2188528 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 547132 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.17 7/330 1091243
/proc/meminfo: memFree=115969600/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2188544 CPUtime=3394.08 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 197693 0 0 0 339231 177 0 0 20 0 20 0 200982042 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 547136 5915 1 0 559876 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=2188540 CPUtime=3375.23 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 88764 0 0 0 337484 39 0 0 20 0 20 0 200982043 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=-7162515039915631972 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=2188544 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3210 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=19760 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.16 7/330 1091254
/proc/meminfo: memFree=115903516/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2188544 CPUtime=3453.9 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 199496 0 0 0 345211 179 0 0 20 0 20 0 200982042 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 547136 5915 1 0 559876 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=2188528 CPUtime=3434.78 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 89761 0 0 0 343438 40 0 0 20 0 20 0 200982043 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3282 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=2188544 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.16 7/330 1091264
/proc/meminfo: memFree=115903140/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2188544 CPUtime=3513.63 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 200479 0 0 0 351182 181 0 0 20 0 20 0 200982042 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 547136 5915 1 0 559876 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=2188544 CPUtime=3494.32 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 90595 0 0 0 349392 40 0 0 20 0 20 0 200982043 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=-7162515039915631972 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3292 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=29676 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 547136 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2188544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.16 7/330 1091274
/proc/meminfo: memFree=115612572/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2254228 CPUtime=3574.07 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 204694 0 0 0 357221 186 0 0 20 0 20 0 200982042 19566772224 563557 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 563557 5915 1 0 674817 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=14364 CPUtime=3553.57 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 91531 0 0 0 355315 42 0 0 20 0 20 0 200982043 19566772224 563557 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=51092 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 563557 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3379 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 563557 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 563557 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3574.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2254228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.16 4.15 4.16 6/310 1091414
/proc/meminfo: memFree=121007544/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2385300 CPUtime=3600.09 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 204875 0 0 0 359819 190 0 0 20 0 20 0 200982042 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 596325 5915 1 0 674818 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=14364 CPUtime=3579.44 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 91663 0 0 0 357900 44 0 0 20 0 20 0 200982043 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=2254228 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=2213268 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3379 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=2385300 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2385300 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.9155 s

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

[startup+3608.5 s]
/proc/loadavg: 4.16 4.15 4.16 6/310 1091414
/proc/meminfo: memFree=121007544/131524600 swapFree=131071216/131071996
[pid=1089374] ppid=1089365 vsize=19108176 memory=2385300 CPUtime=3600.09 cores=0,2
/proc/1089374/stat : 1089374 (java) S 1089365 1089374 1089301 0 -1 1077936128 204875 0 0 0 359819 190 0 0 20 0 20 0 200982042 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
/proc/1089374/statm: 4777044 596325 5915 1 0 674818 0
[pid=1089374/tid=1089382] ppid=1089365 vsize=19108176 memory=14364 CPUtime=3579.44 cores=0,2
/proc/1089374/task/1089382/stat : 1089382 (java) R 1089365 1089374 1089301 0 -1 4194368 91663 0 0 0 357900 44 0 0 20 0 20 0 200982043 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 200982051 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089421] ppid=1089365 vsize=19108176 memory=2254228 CPUtime=0 cores=0,2
/proc/1089374/task/1089421/stat : 1089421 (Finalizer) S 1089365 1089374 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089445] ppid=1089365 vsize=19108176 memory=2213268 CPUtime=0 cores=0,2
/proc/1089374/task/1089445/stat : 1089445 (Common-Cleaner) S 1089365 1089374 1089301 0 -1 1077936192 3379 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
[pid=1089374/tid=1089451] ppid=1089365 vsize=19108176 memory=2385300 CPUtime=0 cores=0,2
/proc/1089374/task/1089451/stat : 1089451 (Timer-0) S 1089365 1089374 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982069 19566772224 596325 134679101440 94484048027648 94484048031344 140737191452400 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94484048039160 94484048039952 94484061929472 140737191453701 140737191453791 140737191453791 140737191460808 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2385300 KiB

Child status: 143

Real time (s): 3608.61
CPU time (s): 3600.24
CPU user time (s): 3598.32
CPU system time (s): 1.9155
CPU usage (%): 99.7682
Max. virtual memory (cumulated for all children) (KiB): 19110356
Max. memory (cumulated for all children) (KiB): 2385300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.9155
maximum resident set size= 2392792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206309
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108137
involuntary context switches= 33594


# summary of solver processes directly reported to runsolver:
#   pid: 1089374
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.9155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41596 second user time and 18.5834 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-20 17:10:08
IDJOB=4453564
IDBENCH=175658
IDSOLVER=3058
FILE ID=nodeC018/4453564-1721488196
RUNJOBID= nodeC018-1721488208-1089313
SLURM_JOB_ID= 7545781
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 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 -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453564-1721488196/watcher-4453564-1721488196 -o /tmp/evaluation-result-4453564-1721488196/solver-4453564-1721488196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089313 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453564-1721488196.opb

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

MD5SUM BENCH= 3566bcd5bd0e33c2b0ad42e502bc55df
RANDOM SEED=1329716445

nodeC018.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		: 3365.417
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.52
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		: 3461.792
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.30
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		: 3613.360
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.52
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		: 3556.488
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.30
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		: 3504.497
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.52
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		: 3295.539
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.30
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		: 3528.535
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.52
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		: 3589.088
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126682864 kB
MemAvailable:   129751952 kB
Buffers:          580536 kB
Cached:          3304136 kB
SwapCached:          148 kB
Active:          1157680 kB
Inactive:        3061864 kB
Active(anon):       1472 kB
Inactive(anon):   378868 kB
Active(file):    1156208 kB
Inactive(file):  2682996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              3292 kB
Writeback:             4 kB
AnonPages:        334420 kB
Mapped:           109808 kB
Shmem:             45784 kB
KReclaimable:     139412 kB
Slab:             240112 kB
SReclaimable:     139412 kB
SUnreclaim:       100700 kB
KernelStack:        3840 kB
PageTables:         9604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     777896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC018 at 2024-07-20 18:10:17