Trace number 4452514

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.22 3413.48

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
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-4452514-1721448286.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.53/0.35	c ... done. Wall clock time 0.231s.
0.53/0.35	c declared #vars     31248
0.53/0.35	c #constraints  522
0.53/0.35	c constraints type 
0.53/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 345
0.53/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 177
0.53/0.35	c 522 constraints processed.
2.80/1.54	c cleaning 2491 clauses out of 5002 with flag 10701/5002
3.37/1.96	c cleaning 4229 clauses out of 8509 with flag 22896/11000
4.12/2.59	c cleaning 5600 clauses out of 11281 with flag 37449/18001
4.95/3.31	c cleaning 6815 clauses out of 13683 with flag 53961/26003
5.81/4.11	c cleaning 7922 clauses out of 15869 with flag 72545/35004
6.61/4.94	c cleaning 8948 clauses out of 17946 with flag 93097/45003
7.64/5.90	c cleaning 9993 clauses out of 19995 with flag 116140/56000
8.70/6.97	c cleaning 10984 clauses out of 22004 with flag 141190/68002
9.85/8.04	c cleaning 11922 clauses out of 24018 with flag 167751/81000
11.20/9.33	c cleaning 13046 clauses out of 26097 with flag 197387/95001
12.50/10.58	c cleaning 13968 clauses out of 28052 with flag 228639/110002
13.89/11.88	c cleaning 15023 clauses out of 30086 with flag 261711/126004
15.71/13.50	c cleaning 16021 clauses out of 32060 with flag 297347/143001
17.33/15.04	c cleaning 17016 clauses out of 34038 with flag 334754/161000
19.15/16.72	c cleaning 17980 clauses out of 36022 with flag 373911/180000
20.64/18.25	c cleaning 19023 clauses out of 38045 with flag 415333/200003
22.55/20.06	c cleaning 19971 clauses out of 40021 with flag 458944/221002
24.42/21.89	c cleaning 20950 clauses out of 42049 with flag 504556/243001
26.53/23.81	c cleaning 21986 clauses out of 44098 with flag 552194/266000
28.64/25.83	c cleaning 23034 clauses out of 46112 with flag 601983/290000
30.95/28.01	c cleaning 23968 clauses out of 48080 with flag 653850/315002
33.34/30.37	c cleaning 25020 clauses out of 50113 with flag 707741/341003
35.48/32.39	c cleaning 26000 clauses out of 52093 with flag 763403/368003
38.60/35.29	c cleaning 26964 clauses out of 54091 with flag 822170/396001
41.24/37.76	c cleaning 28040 clauses out of 56128 with flag 882049/425002
43.97/40.32	c cleaning 29026 clauses out of 58086 with flag 944735/455000
46.80/43.05	c cleaning 29965 clauses out of 60060 with flag 1009193/486000
49.72/45.83	c cleaning 31006 clauses out of 62096 with flag 1075696/518001
52.44/48.40	c cleaning 32018 clauses out of 64090 with flag 1143164/551001
54.87/50.77	c cleaning 32987 clauses out of 66073 with flag 1213082/585002
58.71/53.75	c cleaning 33986 clauses out of 68084 with flag 1285451/620000
61.81/56.76	c cleaning 35041 clauses out of 70101 with flag 1359842/656003
65.47/60.19	c cleaning 36026 clauses out of 72058 with flag 1436343/693001
68.69/63.26	c cleaning 36963 clauses out of 74031 with flag 1514377/731000
71.95/66.39	c cleaning 37960 clauses out of 76069 with flag 1595300/770001
75.75/70.02	c cleaning 38957 clauses out of 78108 with flag 1678631/810000
79.46/73.61	c cleaning 40012 clauses out of 80152 with flag 1763711/851001
82.86/76.93	c cleaning 41067 clauses out of 82141 with flag 1849915/893002
86.25/80.30	c cleaning 42004 clauses out of 84074 with flag 1937802/936002
90.32/84.24	c cleaning 42983 clauses out of 86069 with flag 2029345/980001
94.41/88.23	c cleaning 44026 clauses out of 88085 with flag 2122868/1025000
98.32/92.05	c cleaning 45010 clauses out of 90059 with flag 2217805/1071000
102.33/95.96	c cleaning 46007 clauses out of 92049 with flag 2314545/1118000
106.95/100.45	c cleaning 46964 clauses out of 94042 with flag 2414629/1166000
111.27/104.60	c cleaning 47994 clauses out of 96079 with flag 2516094/1215001
115.45/108.51	c cleaning 49005 clauses out of 98096 with flag 2618662/1265012
120.52/112.60	c cleaning 50019 clauses out of 100079 with flag 2724514/1316000
125.44/117.10	c cleaning 50967 clauses out of 102061 with flag 2831409/1368001
130.11/121.58	c cleaning 51977 clauses out of 104102 with flag 2940661/1421009
133.50/124.84	c cleaning 53020 clauses out of 106116 with flag 3051582/1475000
138.49/129.54	c cleaning 53989 clauses out of 108097 with flag 3165259/1530001
143.93/134.89	c cleaning 55020 clauses out of 110107 with flag 3282603/1586000
148.94/139.53	c cleaning 55968 clauses out of 112087 with flag 3401119/1643000
154.06/144.54	c cleaning 57056 clauses out of 114120 with flag 3521598/1701001
159.17/149.35	c cleaning 57981 clauses out of 116063 with flag 3643237/1760000
165.51/154.65	c cleaning 58998 clauses out of 118082 with flag 3767359/1820000
171.16/160.09	c cleaning 59976 clauses out of 120085 with flag 3893882/1881001
176.74/165.30	c cleaning 61031 clauses out of 122112 with flag 4021709/1943004
181.87/170.34	c cleaning 61911 clauses out of 124081 with flag 4151582/2006004
187.74/175.95	c cleaning 63052 clauses out of 126169 with flag 4284086/2070003
194.12/182.01	c cleaning 63985 clauses out of 128115 with flag 4419761/2135001
200.22/187.80	c cleaning 64942 clauses out of 130131 with flag 4556954/2201002
205.75/193.28	c cleaning 66046 clauses out of 132187 with flag 4695686/2268000
211.73/198.99	c cleaning 67069 clauses out of 134141 with flag 4836620/2336000
218.52/205.45	c cleaning 67949 clauses out of 136073 with flag 4980748/2405001
224.63/211.23	c cleaning 69014 clauses out of 138125 with flag 5125060/2475002
230.75/217.04	c cleaning 70039 clauses out of 140110 with flag 5269999/2546001
237.35/223.33	c cleaning 70964 clauses out of 142070 with flag 5419199/2618000
244.20/229.92	c cleaning 72035 clauses out of 144114 with flag 5570460/2691008
251.07/236.56	c cleaning 72927 clauses out of 146072 with flag 5723607/2765001
257.77/242.97	c cleaning 74047 clauses out of 148145 with flag 5878826/2840001
265.93/249.78	c cleaning 74999 clauses out of 150109 with flag 6036825/2916012
272.98/256.49	c cleaning 76011 clauses out of 152098 with flag 6196216/2993000
280.08/263.17	c cleaning 77043 clauses out of 154089 with flag 6357213/3071002
287.68/270.34	c cleaning 77998 clauses out of 156045 with flag 6520787/3150001
293.87/276.39	c cleaning 78967 clauses out of 158050 with flag 6685158/3230004
301.45/283.65	c cleaning 79997 clauses out of 160079 with flag 6853449/3311000
309.22/291.15	c cleaning 81013 clauses out of 162083 with flag 7024011/3393001
316.53/298.19	c cleaning 81985 clauses out of 164071 with flag 7195562/3476002
323.94/305.29	c cleaning 82991 clauses out of 166086 with flag 7369181/3560002
331.82/312.89	c cleaning 84036 clauses out of 168095 with flag 7545082/3645002
339.21/319.91	c cleaning 84996 clauses out of 170057 with flag 7722883/3731000
346.83/327.20	c cleaning 85951 clauses out of 172062 with flag 7902248/3818001
354.74/334.83	c cleaning 87015 clauses out of 174111 with flag 8084274/3906001
362.57/342.32	c cleaning 88007 clauses out of 176095 with flag 8267968/3995000
371.48/350.77	c cleaning 88983 clauses out of 178090 with flag 8454272/4085002
380.40/359.27	c cleaning 90030 clauses out of 180124 with flag 8643659/4176019
388.77/367.26	c cleaning 91000 clauses out of 182079 with flag 8834491/4268004
397.52/375.62	c cleaning 91980 clauses out of 184075 with flag 9028044/4361000
405.95/383.79	c cleaning 92937 clauses out of 186095 with flag 9222839/4455000
416.50/392.65	c cleaning 94032 clauses out of 188158 with flag 9419408/4550000
425.71/401.34	c cleaning 95037 clauses out of 190127 with flag 9618220/4646001
436.02/411.38	c cleaning 96031 clauses out of 192090 with flag 9812869/4743001
444.52/419.55	c cleaning 97013 clauses out of 194059 with flag 10015592/4841001
452.99/427.56	c cleaning 97914 clauses out of 196045 with flag 10219040/4940000
460.97/435.39	c cleaning 99031 clauses out of 198131 with flag 10426670/5040000
470.63/444.31	c cleaning 100031 clauses out of 200100 with flag 10635877/5141000
479.41/452.98	c cleaning 100954 clauses out of 202070 with flag 10847431/5243001
488.66/461.82	c cleaning 101988 clauses out of 204115 with flag 11060813/5346000
498.04/470.77	c cleaning 103045 clauses out of 206134 with flag 11275795/5450007
508.27/480.49	c cleaning 103958 clauses out of 208089 with flag 11494117/5555007
516.45/488.33	c cleaning 104977 clauses out of 210124 with flag 11709148/5661000
524.99/496.70	c cleaning 106072 clauses out of 212147 with flag 11928929/5768000
534.37/505.70	c cleaning 106975 clauses out of 214075 with flag 12152737/5876000
543.74/514.94	c cleaning 107962 clauses out of 216100 with flag 12370903/5985000
552.74/523.71	c cleaning 108993 clauses out of 218140 with flag 12592585/6095002
563.56/533.89	c cleaning 109997 clauses out of 220150 with flag 12814591/6206005
573.97/543.83	c cleaning 111002 clauses out of 222148 with flag 13038586/6318000
584.37/553.88	c cleaning 111998 clauses out of 224146 with flag 13264586/6431000
595.56/564.79	c cleaning 113001 clauses out of 226148 with flag 13492586/6545000
606.50/575.42	c cleaning 114002 clauses out of 228148 with flag 13722588/6660001
617.41/585.70	c cleaning 115048 clauses out of 230145 with flag 13962873/6776000
630.96/596.69	c cleaning 116000 clauses out of 232097 with flag 14208786/6893000
642.54/607.74	c cleaning 117011 clauses out of 234099 with flag 14453963/7011002
653.37/618.03	c cleaning 118035 clauses out of 236087 with flag 14698790/7130001
664.99/629.14	c cleaning 119017 clauses out of 238054 with flag 14947752/7250003
676.22/639.89	c cleaning 119965 clauses out of 240036 with flag 15197169/7371002
687.29/650.29	c cleaning 121011 clauses out of 242069 with flag 15449505/7493000
698.90/661.35	c cleaning 121960 clauses out of 244060 with flag 15705274/7616002
708.46/670.67	c cleaning 123027 clauses out of 246104 with flag 15960577/7740006
720.47/682.26	c cleaning 123948 clauses out of 248071 with flag 16219613/7865000
732.47/693.80	c cleaning 125038 clauses out of 250123 with flag 16481679/7991000
743.58/704.57	c cleaning 126032 clauses out of 252085 with flag 16744393/8118000
756.77/717.38	c cleaning 126976 clauses out of 254053 with flag 17007707/8246000
768.31/728.41	c cleaning 127940 clauses out of 256079 with flag 17273935/8375002
780.33/740.08	c cleaning 129054 clauses out of 258138 with flag 17546143/8505001
793.34/752.33	c cleaning 129950 clauses out of 260083 with flag 17818685/8636000
804.89/763.30	c cleaning 131000 clauses out of 262141 with flag 18089233/8768008
817.50/775.40	c cleaning 132012 clauses out of 264136 with flag 18364145/8901003
829.76/787.11	c cleaning 133005 clauses out of 266121 with flag 18642212/9035000
844.92/799.78	c cleaning 134014 clauses out of 268119 with flag 18921604/9170003
858.38/812.55	c cleaning 135035 clauses out of 270107 with flag 19204087/9306005
871.62/825.19	c cleaning 136029 clauses out of 272067 with flag 19487989/9443000
885.20/838.09	c cleaning 136924 clauses out of 274039 with flag 19774604/9581001
899.07/851.21	c cleaning 137960 clauses out of 276117 with flag 20064127/9720003
912.78/864.31	c cleaning 139042 clauses out of 278160 with flag 20355063/9860006
925.84/876.84	c cleaning 139969 clauses out of 280112 with flag 20646601/10001000
937.31/888.07	c cleaning 141012 clauses out of 282144 with flag 20939966/10143001
951.05/901.37	c cleaning 142024 clauses out of 284131 with flag 21237552/10286000
964.57/914.41	c cleaning 143004 clauses out of 286108 with flag 21535978/10430001
977.71/927.14	c cleaning 143936 clauses out of 288110 with flag 21836202/10575007
990.64/939.61	c cleaning 145016 clauses out of 290168 with flag 22137650/10721001
1003.68/952.20	c cleaning 146063 clauses out of 292153 with flag 22441545/10868002
1018.66/966.48	c cleaning 147013 clauses out of 294088 with flag 22750723/11016000
1033.22/980.42	c cleaning 147951 clauses out of 296078 with flag 23060360/11165003
1047.40/994.09	c cleaning 148991 clauses out of 298124 with flag 23372084/11315000
1063.20/1007.05	c cleaning 150021 clauses out of 300134 with flag 23681912/11466001
1077.48/1020.73	c cleaning 151053 clauses out of 302112 with flag 23996194/11618000
1091.27/1033.91	c cleaning 151976 clauses out of 304059 with flag 24313436/11771000
1105.57/1047.64	c cleaning 152963 clauses out of 306083 with flag 24643877/11925000
1120.82/1062.30	c cleaning 154028 clauses out of 308121 with flag 24966046/12080001
1133.97/1075.08	c cleaning 154990 clauses out of 310098 with flag 25287568/12236006
1157.34/1097.92	c cleaning 155957 clauses out of 312102 with flag 25602386/12393000
1178.46/1118.72	c cleaning 157032 clauses out of 314146 with flag 25918388/12551001
1199.47/1139.10	c cleaning 158013 clauses out of 316113 with flag 26236386/12710000
1222.21/1161.49	c cleaning 159011 clauses out of 318102 with flag 26556390/12870002
1243.76/1182.15	c cleaning 160002 clauses out of 320091 with flag 26878390/13031002
1270.33/1208.56	c cleaning 161001 clauses out of 322087 with flag 27202386/13193000
1287.27/1224.87	c cleaning 162022 clauses out of 324086 with flag 27536891/13356000
1303.38/1240.11	c cleaning 162987 clauses out of 326065 with flag 27876788/13520001
1321.55/1255.36	c cleaning 164036 clauses out of 328077 with flag 28219598/13685000
1337.71/1271.04	c cleaning 164912 clauses out of 330046 with flag 28564744/13851005
1354.40/1286.95	c cleaning 166044 clauses out of 332130 with flag 28911609/14018001
1371.16/1303.14	c cleaning 166963 clauses out of 334094 with flag 29262693/14186009
1387.96/1319.37	c cleaning 168055 clauses out of 336132 with flag 29608903/14355010
1404.23/1334.82	c cleaning 168976 clauses out of 338067 with flag 29962190/14525000
1419.27/1349.22	c cleaning 169977 clauses out of 340098 with flag 30316128/14696007
1435.03/1364.46	c cleaning 170982 clauses out of 342114 with flag 30670811/14868000
1451.20/1379.77	c cleaning 172014 clauses out of 344133 with flag 31028928/15041001
1467.58/1395.51	c cleaning 173026 clauses out of 346118 with flag 31388089/15215000
1485.36/1412.49	c cleaning 174007 clauses out of 348092 with flag 31752462/15390000
1502.14/1428.66	c cleaning 175008 clauses out of 350087 with flag 32118500/15566002
1522.14/1444.99	c cleaning 175974 clauses out of 352082 with flag 32485157/15743005
1538.42/1460.67	c cleaning 177033 clauses out of 354103 with flag 32854216/15921000
1556.91/1478.23	c cleaning 178013 clauses out of 356079 with flag 33227116/16100009
1573.52/1494.20	c cleaning 179019 clauses out of 358062 with flag 33598933/16280005
1590.96/1510.76	c cleaning 179995 clauses out of 360039 with flag 33973731/16461001
1607.94/1527.12	c cleaning 181016 clauses out of 362043 with flag 34349562/16643000
1626.00/1544.36	c cleaning 182007 clauses out of 364028 with flag 34735141/16826001
1642.61/1560.39	c cleaning 182975 clauses out of 366027 with flag 35115540/17010007
1660.96/1577.86	c cleaning 183951 clauses out of 368045 with flag 35499889/17195000
1676.31/1592.56	c cleaning 184983 clauses out of 370094 with flag 35876391/17381000
1693.99/1609.68	c cleaning 185952 clauses out of 372111 with flag 36264577/17568000
1713.57/1626.09	c cleaning 187059 clauses out of 374159 with flag 36652009/17756000
1732.14/1643.76	c cleaning 187972 clauses out of 376100 with flag 37043014/17945000
1750.09/1661.01	c cleaning 188995 clauses out of 378129 with flag 37436888/18135001
1768.90/1678.92	c cleaning 190006 clauses out of 380135 with flag 37832893/18326002
1789.88/1699.36	c cleaning 191024 clauses out of 382128 with flag 38223260/18518001
1808.11/1716.64	c cleaning 191961 clauses out of 384106 with flag 38622336/18711003
1827.47/1735.06	c cleaning 193020 clauses out of 386143 with flag 39025923/18905001
1845.70/1752.64	c cleaning 193996 clauses out of 388123 with flag 39430178/19100001
1864.03/1770.19	c cleaning 194970 clauses out of 390126 with flag 39836184/19296000
1882.53/1787.72	c cleaning 196023 clauses out of 392165 with flag 40243182/19493009
1904.31/1805.57	c cleaning 196974 clauses out of 394134 with flag 40652825/19691001
1923.16/1823.32	c cleaning 198058 clauses out of 396166 with flag 41063098/19890007
1941.83/1841.13	c cleaning 199023 clauses out of 398101 with flag 41476144/20090000
1961.95/1860.32	c cleaning 199987 clauses out of 400078 with flag 41893396/20291000
1981.21/1878.65	c cleaning 200957 clauses out of 402093 with flag 42311286/20493002
2000.29/1897.14	c cleaning 202060 clauses out of 404135 with flag 42732560/20696001
2019.67/1915.82	c cleaning 202976 clauses out of 406076 with flag 43156682/20900002
2038.80/1934.17	c cleaning 204009 clauses out of 408102 with flag 43580936/21105004
2059.43/1954.06	c cleaning 204995 clauses out of 410089 with flag 44009015/21311000
2083.42/1973.76	c cleaning 206013 clauses out of 412103 with flag 44442288/21518009
2109.52/1998.73	c cleaning 207041 clauses out of 414083 with flag 44865410/21726002
2129.22/2017.43	c cleaning 207891 clauses out of 416041 with flag 45297565/21935001
2150.55/2038.07	c cleaning 209025 clauses out of 418152 with flag 45734107/22145003
2171.00/2057.76	c cleaning 210000 clauses out of 420124 with flag 46172563/22356000
2189.90/2075.93	c cleaning 210998 clauses out of 422124 with flag 46611370/22568000
2208.91/2094.08	c cleaning 212005 clauses out of 424127 with flag 47049135/22781001
2233.78/2118.46	c cleaning 212937 clauses out of 426121 with flag 47481547/22995000
2253.52/2137.15	c cleaning 214046 clauses out of 428186 with flag 47921688/23210002
2273.62/2156.27	c cleaning 215012 clauses out of 430140 with flag 48379585/23426002
2296.67/2175.36	c cleaning 216021 clauses out of 432128 with flag 48827722/23643002
2327.29/2205.64	c cleaning 217027 clauses out of 434105 with flag 49263718/23861000
2363.00/2240.69	c cleaning 218012 clauses out of 436078 with flag 49701718/24080000
2390.02/2266.97	c cleaning 219007 clauses out of 438068 with flag 50141722/24300002
2412.50/2288.78	c cleaning 220001 clauses out of 440060 with flag 50583720/24521001
2432.71/2308.30	c cleaning 220968 clauses out of 442059 with flag 51032928/24743001
2463.43/2338.45	c cleaning 222007 clauses out of 444090 with flag 51478926/24966000
2485.44/2359.44	c cleaning 222984 clauses out of 446084 with flag 51944667/25190001
2506.16/2379.39	c cleaning 224010 clauses out of 448103 with flag 52409592/25415004
2531.91/2400.13	c cleaning 224953 clauses out of 450089 with flag 52879960/25641000
2554.53/2421.75	c cleaning 226056 clauses out of 452137 with flag 53350539/25868001
2576.60/2442.86	c cleaning 226927 clauses out of 454083 with flag 53822781/26096003
2598.56/2463.88	c cleaning 228009 clauses out of 456153 with flag 54297677/26325000
2651.24/2516.39	c cleaning 229044 clauses out of 458147 with flag 54761887/26555003
2693.88/2557.93	c cleaning 230044 clauses out of 460101 with flag 55223883/26786001
2745.11/2608.64	c cleaning 231018 clauses out of 462056 with flag 55687881/27018000
2788.17/2651.15	c cleaning 232008 clauses out of 464039 with flag 56153883/27251001
2833.12/2691.27	c cleaning 233010 clauses out of 466030 with flag 56621881/27485000
2883.39/2740.94	c cleaning 234001 clauses out of 468021 with flag 57091883/27720001
2915.07/2771.64	c cleaning 234947 clauses out of 470019 with flag 57572679/27956000
2937.83/2793.51	c cleaning 236024 clauses out of 472072 with flag 58064680/28193000
2959.66/2814.42	c cleaning 237010 clauses out of 474049 with flag 58556177/28431001
2982.48/2836.01	c cleaning 237942 clauses out of 476038 with flag 59050392/28670000
3004.41/2856.90	c cleaning 238961 clauses out of 478098 with flag 59548960/28910002
3031.17/2879.06	c cleaning 239998 clauses out of 480136 with flag 60044222/29151001
3055.61/2901.02	c cleaning 241067 clauses out of 482139 with flag 60545366/29393002
3080.43/2924.68	c cleaning 241980 clauses out of 484074 with flag 61050037/29636004
3103.40/2946.64	c cleaning 242987 clauses out of 486091 with flag 61556055/29880001
3126.32/2968.73	c cleaning 243971 clauses out of 488105 with flag 62063267/30125002
3149.56/2990.89	c cleaning 244992 clauses out of 490132 with flag 62571487/30371000
3172.85/3013.18	c cleaning 246003 clauses out of 492142 with flag 63083722/30618002
3199.26/3035.07	c cleaning 246995 clauses out of 494139 with flag 63596213/30866002
3223.26/3058.00	c cleaning 248055 clauses out of 496147 with flag 64116104/31115005
3244.75/3078.36	c cleaning 249019 clauses out of 498088 with flag 64632639/31365001
3269.00/3101.57	c cleaning 250002 clauses out of 500068 with flag 65154308/31616000
3292.95/3124.30	c cleaning 251019 clauses out of 502078 with flag 65674840/31868012
3317.19/3147.57	c cleaning 251925 clauses out of 504048 with flag 66194209/32121001
3341.25/3170.66	c cleaning 253050 clauses out of 506122 with flag 66722104/32375000
3369.63/3194.78	c cleaning 253997 clauses out of 508072 with flag 67251305/32630000
3393.07/3217.31	c cleaning 255023 clauses out of 510079 with flag 67781397/32886004
3418.15/3241.26	c cleaning 255960 clauses out of 512053 with flag 68315138/33143001
3444.04/3265.92	c cleaning 256955 clauses out of 514092 with flag 68850912/33401000
3469.52/3290.56	c cleaning 258045 clauses out of 516139 with flag 69388775/33660002
3495.43/3315.56	c cleaning 259005 clauses out of 518094 with flag 69916982/33920002
3521.22/3340.14	c cleaning 259989 clauses out of 520087 with flag 70458026/34181000
3548.89/3363.54	c cleaning 261010 clauses out of 522099 with flag 70998340/34443001
3592.59/3406.35	c cleaning 262030 clauses out of 524089 with flag 71524340/34706001
3600.01/3413.33	c starts		: 34901
3600.01/3413.33	c conflicts		: 34795675
3600.01/3413.33	c decisions		: 744267215
3600.01/3413.33	c propagations		: 1490718806
3600.01/3413.33	c inspects		: 6689025061
3600.01/3413.33	c shortcuts		: 0
3600.01/3413.33	c learnt literals	: 0
3600.01/3413.33	c learnt binary clauses	: 0
3600.01/3413.33	c learnt ternary clauses	: 0
3600.01/3413.33	c learnt constraints	: 34795675
3600.01/3413.33	c ignored constraints	: 0
3600.01/3413.33	c root simplifications	: 0
3600.01/3413.33	c removed literals (reason simplification)	: 0
3600.01/3413.33	c reason swapping (by a shorter reason)	: 0
3600.01/3413.33	c Calls to reduceDB	: 259
3600.01/3413.33	c Number of update (reduction) of LBD	: 628228
3600.01/3413.33	c Imported unit clauses	: 0
3600.01/3413.33	c No decision after first conflict	: false
3600.01/3413.33	c number of reductions to clauses (during analyze)	: 0
3600.01/3413.33	c number of learned constraints concerned by reduction	: 0
3600.01/3413.33	c number of learning phase by resolution	: 0
3600.01/3413.33	c number of learning phase by cutting planes	: 0
3600.01/3413.33	c number of rounding to 1 operations	: 0
3600.01/3413.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3413.33	c timeout
3600.01/3413.33	c number of reductions of the coefficients by power 2 	: 0
3600.01/3413.33	c number of right shift for reduction by power 2 	: 0
3600.01/3413.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3413.33	c number of ending skipping 	: 0
3600.01/3413.33	c number of internal skipping 	: 0
3600.01/3413.35	c number of derivation steps 	: 0
3600.01/3413.35	c number of skipped derivation steps 	: 0
3600.01/3413.35	c number of remaining unassigned 	: 0
3600.01/3413.35	c number of remaining assigned 	: 0
3600.01/3413.35	c number of falsified literals weakened from reason	: 0
3600.01/3413.35	c number of falsified literals weakened from conflict	: 0
3600.01/3413.35	c time for arithmetic operations	: 0
3600.01/3413.35	c minimum degree of deleted constraints	: null
3600.01/3413.35	c maximum degree of deleted constraints	: null
3600.01/3413.35	c number of deleted constraints	: 0
3600.01/3413.35	c speed (assignments/second)	: 436778.7267681302
3600.01/3413.35	c non guided choices	: 150388222
3600.16/3413.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 351733
3600.16/3413.42	s UNKNOWN
3600.16/3413.42	c Total wall clock time (in seconds): 3413.3

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452514-1721448286/watcher-4452514-1721448286 -o /tmp/evaluation-result-4452514-1721448286/solver-4452514-1721448286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015387 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452514-1721448286.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=1017726, runsolver pid=1017723
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.87 4.76 4.83 5/330 1017744
/proc/meminfo: memFree=105433572/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=18975048 memory=64528 CPUtime=0.13 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 7200 0 0 0 11 2 0 0 20 0 18 0 196989218 19430449152 16132 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4743762 16132 5539 1 0 549342 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 5759 0 0 0 7 1 0 0 20 0 18 0 196989218 19430449152 16132 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196989221 19430449152 16132 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196989221 19430449152 16132 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64528 KiB

[startup+0.205983 s]*
/proc/loadavg: 4.87 4.76 4.83 7/330 1017744
/proc/meminfo: memFree=105408500/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=18975048 memory=90556 CPUtime=0.33 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 8786 0 0 0 31 2 0 0 20 0 18 0 196989218 19430449152 22639 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4743762 22639 5833 1 0 550426 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 5896 0 0 0 17 2 0 0 20 0 18 0 196989218 19430449152 22639 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=18975048 memory=14994 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196989221 19430449152 22639 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196989221 19430449152 22639 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 90556 KiB

[startup+0.306812 s]*
/proc/loadavg: 4.87 4.76 4.83 7/330 1017744
/proc/meminfo: memFree=105372764/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=18975048 memory=128012 CPUtime=0.53 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 9852 0 0 0 49 4 0 0 20 0 18 0 196989218 19430449152 32003 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4743762 32003 5833 1 0 551066 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=18975048 memory=-7308600552828594528 CPUtime=0.29 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 5931 0 0 0 26 3 0 0 20 0 18 0 196989218 19430449152 32003 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196989221 19430449152 32003 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196989221 19430449152 32003 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 128012 KiB

[startup+0.700812 s]
/proc/loadavg: 4.87 4.76 4.83 6/331 1017745
/proc/meminfo: memFree=105348576/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19041612 memory=165860 CPUtime=1.29 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 13235 0 0 0 124 5 0 0 20 0 19 0 196989218 19498610688 41465 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4760403 41465 5864 1 0 553599 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19041612 memory=5560 CPUtime=0.65 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 6009 0 0 0 62 3 0 0 20 0 19 0 196989218 19498610688 41465 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196989221 19498610688 41465 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196989221 19498610688 41465 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 196989255 19498610688 41465 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165860 KiB

[startup+1.50081 s]
/proc/loadavg: 4.87 4.76 4.83 6/332 1017746
/proc/meminfo: memFree=105300804/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=197488 CPUtime=2.8 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 14367 0 0 0 274 6 0 0 20 0 20 0 196989218 19566772224 49372 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 49372 5864 1 0 554473 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=13012 CPUtime=1.4 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 6035 0 0 0 137 3 0 0 20 0 20 0 196989218 19566772224 49372 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 49372 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 49372 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=279895100007696 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 49372 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197488 KiB

[startup+3.10581 s]
/proc/loadavg: 4.88 4.77 4.83 5/332 1017746
/proc/meminfo: memFree=104910792/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=290992 CPUtime=4.72 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 17559 0 0 0 463 9 0 0 20 0 20 0 196989218 19566772224 72748 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 72748 5912 1 0 554562 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=0 CPUtime=2.89 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 6405 0 0 0 286 3 0 0 20 0 20 0 196989218 19566772224 72748 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 72748 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 72748 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 72748 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 290992 KiB

[startup+6.30083 s]
/proc/loadavg: 4.88 4.77 4.83 5/332 1017747
/proc/meminfo: memFree=104180864/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=683624 CPUtime=8.1 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 19703 0 0 0 793 17 0 0 20 0 20 0 196989218 19566772224 170906 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 170906 5912 1 0 786420 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=13012 CPUtime=5.81 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 6958 0 0 0 574 7 0 0 20 0 20 0 196989218 19566772224 170906 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 170906 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=198104 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 170906 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 170906 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 683624 KiB

[startup+12.7003 s]
/proc/loadavg: 4.82 4.76 4.83 5/332 1017747
/proc/meminfo: memFree=103082184/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=1260668 CPUtime=14.83 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 21697 0 0 0 1456 27 0 0 20 0 20 0 196989218 19566772224 315167 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 315167 5912 1 0 1110200 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=0 CPUtime=11.78 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 7146 0 0 0 1168 10 0 0 20 0 20 0 196989218 19566772224 315167 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=-7308600552828594528 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 315167 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 315167 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 315167 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1260668 KiB

[startup+25.5003 s]
/proc/loadavg: 4.69 4.73 4.82 5/332 1017751
/proc/meminfo: memFree=101115860/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=2563096 CPUtime=28.34 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 26189 0 0 0 2781 53 0 0 20 0 20 0 196989218 19566772224 640774 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 640774 5912 1 0 1438157 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=11488 CPUtime=23.7 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 8617 0 0 0 2351 19 0 0 20 0 20 0 196989218 19566772224 640774 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 640774 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=683624 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 640774 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=279895099954480 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 640774 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2563096 KiB

[startup+51.1058 s]
/proc/loadavg: 4.60 4.71 4.81 5/330 1017754
/proc/meminfo: memFree=98433308/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=4600940 CPUtime=55.27 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 31050 0 0 0 5435 92 0 0 20 0 20 0 196989218 19566772224 1150235 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 1150235 5912 1 0 1647049 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=4041836 CPUtime=47.71 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 10316 0 0 0 4741 30 0 0 20 0 20 0 196989218 19566772224 1150235 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 1150235 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0

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

[startup+3102.3 s]
/proc/loadavg: 4.33 4.34 4.30 5/332 1019452
/proc/meminfo: memFree=95456536/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=3269.8 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 635611 0 0 0 326508 472 0 0 20 0 20 0 196989218 19566772224 3775256 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775256 5959 1 0 4088129 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=13012 CPUtime=2938.53 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 184492 0 0 0 293753 100 0 0 20 0 20 0 196989218 19566772224 3775256 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775256 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1313 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775256 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=-7308600552828594528 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775256 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3269.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101024 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.31 4.29 5/331 1019465
/proc/meminfo: memFree=95455536/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101028 CPUtime=3332.61 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 636872 0 0 0 332788 473 0 0 20 0 20 0 196989218 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775257 5959 1 0 4088129 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=13012 CPUtime=2994.95 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 185611 0 0 0 299395 100 0 0 20 0 20 0 196989218 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1313 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101028 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.31 4.29 5/332 1019645
/proc/meminfo: memFree=95052460/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101028 CPUtime=3398.13 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 638730 0 0 0 339335 478 0 0 20 0 20 0 196989218 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775257 5959 1 0 4088132 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=13012 CPUtime=3051.47 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 186463 0 0 0 305047 100 0 0 20 0 20 0 196989218 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=15101028 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=15101024 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1313 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775257 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3398.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.27 4.27 5/332 1019655
/proc/meminfo: memFree=94895680/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101048 CPUtime=3461.01 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 644122 0 0 0 345621 480 0 0 20 0 20 0 196989218 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775262 5959 1 0 4088132 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=15101044 CPUtime=3107.61 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 188344 0 0 0 310661 100 0 0 20 0 20 0 196989218 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=15101028 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1384 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3461.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101048 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.25 4.26 5/333 1019670
/proc/meminfo: memFree=94718880/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101048 CPUtime=3523.39 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 646092 0 0 0 351857 482 0 0 20 0 20 0 196989218 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775262 5959 1 0 4088132 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=5560 CPUtime=3164.36 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 189548 0 0 0 316335 101 0 0 20 0 20 0 196989218 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=6716328 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1392 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=15101048 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775262 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3523.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.26 4.27 5/333 1019692
/proc/meminfo: memFree=94635032/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101336 CPUtime=3588.62 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 668619 0 0 0 358373 489 0 0 20 0 20 0 196989218 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775334 5959 1 0 4088224 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=5560 CPUtime=3221.57 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 195946 0 0 0 322056 101 0 0 20 0 20 0 196989218 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=15101336 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1392 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3413.3 s]
/proc/loadavg: 4.17 4.25 4.26 6/333 1019693
/proc/meminfo: memFree=94487864/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19108176 memory=15101336 CPUtime=3600.01 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 669129 0 0 0 359512 489 0 0 20 0 20 0 196989218 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4777044 3775334 5959 1 0 4088224 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19108176 memory=5560 CPUtime=3231.98 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) R 1017723 1017726 1015377 0 -1 4194368 195947 0 0 0 323097 101 0 0 20 0 20 0 196989218 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19108176 memory=15101336 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19108176 memory=47000 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1392 0 0 0 0 0 0 0 20 0 20 0 196989221 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017745] ppid=1017723 vsize=19108176 memory=15101336 CPUtime=0 cores=0,2
/proc/1017726/task/1017745/stat : 1017745 (Timer-0) S 1017723 1017726 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196989255 19566772224 3775334 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15101336 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.28 s, system=4.94195 s

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

[startup+3413.41 s]
/proc/loadavg: 4.17 4.25 4.26 6/333 1019693
/proc/meminfo: memFree=94487864/131524600 swapFree=131071996/131071996
[pid=1017726] ppid=1017723 vsize=19307868 memory=15101956 CPUtime=3600.16 cores=0,2
/proc/1017726/stat : 1017726 (java) S 1017723 1017726 1015377 0 -1 1077936128 670951 0 0 0 359526 490 0 0 20 0 21 0 196989218 19771256832 3775489 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
/proc/1017726/statm: 4826967 3775489 5958 1 0 4089114 0
[pid=1017726/tid=1017728] ppid=1017723 vsize=19307868 memory=14848 CPUtime=3232 cores=0,2
/proc/1017726/task/1017728/stat : 1017728 (java) S 1017723 1017726 1015377 0 -1 1077936192 195976 0 0 0 323099 101 0 0 20 0 21 0 196989218 19771256832 3775489 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 22 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017737] ppid=1017723 vsize=19307868 memory=18851 CPUtime=0 cores=0,2
/proc/1017726/task/1017737/stat : 1017737 (Finalizer) S 1017723 1017726 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 196989221 19771256832 3775489 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
[pid=1017726/tid=1017744] ppid=1017723 vsize=19307868 memory=4050760472893600596 CPUtime=0 cores=0,2
/proc/1017726/task/1017744/stat : 1017744 (Common-Cleaner) S 1017723 1017726 1015377 0 -1 1077936192 1392 0 0 0 0 0 0 0 20 0 21 0 196989221 19771256832 3775489 134679101440 94153146720256 94153146723952 140732782439408 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153146731768 94153146732560 94153171935232 140732782445573 140732782445663 140732782445663 140732782452680 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 15101956 KiB

Child status: 143

Real time (s): 3413.48
CPU time (s): 3600.22
CPU user time (s): 3595.28
CPU system time (s): 4.94195
CPU usage (%): 105.471
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 15101956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.28
system time used= 4.94195
maximum resident set size= 15102788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125854
involuntary context switches= 40370


# summary of solver processes directly reported to runsolver:
#   pid: 1017726
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3595.28
#   total CPU system time (s): 4.94195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39231 second user time and 17.1657 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 06:04:58
IDJOB=4452514
IDBENCH=164400
IDSOLVER=3058
FILE ID=nodeC016/4452514-1721448286
RUNJOBID= nodeC016-1721444951-1015387
SLURM_JOB_ID= 7545662
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452514-1721448286/watcher-4452514-1721448286 -o /tmp/evaluation-result-4452514-1721448286/solver-4452514-1721448286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015387 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452514-1721448286.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=824627139

nodeC016.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		: 3638.571
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.70
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		: 3685.793
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	: 7006.63
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		: 3642.227
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.70
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		: 3600.122
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	: 7006.63
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		: 3674.250
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.70
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		: 3667.207
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	: 7006.63
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		: 3609.834
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.70
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.007
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	: 7006.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105477544 kB
MemAvailable:   109300172 kB
Buffers:          422644 kB
Cached:          4241604 kB
SwapCached:            0 kB
Active:           699764 kB
Inactive:       24684616 kB
Active(anon):       1544 kB
Inactive(anon): 20764500 kB
Active(file):     698220 kB
Inactive(file):  3920116 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2900 kB
Writeback:             0 kB
AnonPages:      20718632 kB
Mapped:           127740 kB
Shmem:             45912 kB
KReclaimable:      87880 kB
Slab:             200504 kB
SReclaimable:      87880 kB
SUnreclaim:       112624 kB
KernelStack:        5040 kB
PageTables:        50636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   26190676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73600 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20324352 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC016 at 2024-07-20 07:01:52