Trace number 4451152

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.26 3622.38

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
MD5SUM66220fca8952fbecf83bd47731654b15
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.022356
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333
Total number of constraints111
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)111
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.17	c Free memory 		2113181440
0.12/0.17	c Max memory 		16282288128
0.12/0.17	c Total memory 		2122317824
0.12/0.19	c Number of processors 	2
0.25/0.28	--- Begin Solver configuration ---
0.25/0.28	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.25/0.28	Learn all clauses as in MiniSAT
0.25/0.28	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.28	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.28	Expensive reason simplification
0.25/0.28	Glucose 2.1 dynamic restart strategy
0.25/0.28	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.25/0.28	timeout=2147483s
0.25/0.28	DB Simplification allowed=false
0.25/0.28	Listener: none
0.25/0.28	--- End Solver configuration ---
0.25/0.28	c Pseudo Boolean Optimization by upper bound
0.25/0.28	c --- Begin Solver configuration ---
0.25/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.25/0.28	c Learn all clauses as in MiniSAT
0.25/0.28	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.28	c Expensive reason simplification
0.25/0.28	c Glucose 2.1 dynamic restart strategy
0.25/0.28	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.25/0.28	c timeout=2147483s
0.25/0.28	c DB Simplification allowed=false
0.25/0.28	c Listener: none
0.25/0.28	c --- End Solver configuration ---
0.25/0.28	c solving HOME/instance-4451152-1721830003.opb
0.25/0.29	c reading problem ... 
0.25/0.29	c using VERIPB proof format
0.25/0.29	c  no objective function found
0.40/0.35	c ... done. Wall clock time 0.057s.
0.40/0.35	c declared #vars     333
0.40/0.35	c #constraints  222
0.40/0.35	c constraints type 
0.40/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 222
0.40/0.35	c 222 constraints processed.
2.09/1.22	c cleaning 2498 clauses out of 5000 with flag 24368/5000
2.87/1.61	c cleaning 4249 clauses out of 8504 with flag 56251/11002
3.48/1.95	c cleaning 5622 clauses out of 11253 with flag 97373/18000
4.26/2.34	c cleaning 6810 clauses out of 13631 with flag 144832/26000
5.06/2.77	c cleaning 7903 clauses out of 15821 with flag 202988/35000
5.71/3.13	c cleaning 8951 clauses out of 17918 with flag 271108/45000
6.20/3.55	c cleaning 9978 clauses out of 19967 with flag 337472/56000
6.86/4.02	c cleaning 10980 clauses out of 21989 with flag 410573/68000
7.36/4.58	c cleaning 11989 clauses out of 24009 with flag 513822/81000
7.87/5.11	c cleaning 13003 clauses out of 26020 with flag 614819/95000
8.57/5.73	c cleaning 13995 clauses out of 28018 with flag 722489/110001
9.16/6.40	c cleaning 15004 clauses out of 30022 with flag 823930/126000
10.12/7.19	c cleaning 15990 clauses out of 32018 with flag 941318/143000
11.13/8.05	c cleaning 17005 clauses out of 34028 with flag 1064124/161000
11.91/8.80	c cleaning 17996 clauses out of 36024 with flag 1189301/180001
12.92/9.81	c cleaning 19005 clauses out of 38027 with flag 1360944/200000
13.81/10.71	c cleaning 19998 clauses out of 40022 with flag 1491074/221000
14.71/11.65	c cleaning 21008 clauses out of 42028 with flag 1626564/243004
15.81/12.75	c cleaning 21982 clauses out of 44016 with flag 1780163/266000
16.91/13.82	c cleaning 23004 clauses out of 46034 with flag 1943398/290000
18.44/14.99	c cleaning 24003 clauses out of 48030 with flag 2102523/315000
19.65/16.19	c cleaning 25002 clauses out of 50028 with flag 2274984/341001
21.03/17.53	c cleaning 26001 clauses out of 52025 with flag 2445739/368000
22.43/19.00	c cleaning 27002 clauses out of 54025 with flag 2641088/396001
23.82/20.39	c cleaning 28004 clauses out of 56022 with flag 2833046/425000
25.32/21.88	c cleaning 28984 clauses out of 58019 with flag 3035629/455001
26.92/23.44	c cleaning 30007 clauses out of 60034 with flag 3242211/486000
28.53/25.03	c cleaning 31001 clauses out of 62029 with flag 3451838/518002
30.31/26.80	c cleaning 32001 clauses out of 64026 with flag 3672175/551000
32.02/28.60	c cleaning 32996 clauses out of 66025 with flag 3896779/585000
34.02/30.59	c cleaning 34007 clauses out of 68032 with flag 4140984/620003
36.36/33.07	c cleaning 34991 clauses out of 70023 with flag 4417167/656001
38.86/35.54	c cleaning 36007 clauses out of 72031 with flag 4710072/693000
41.06/37.76	c cleaning 37004 clauses out of 74024 with flag 4970381/731000
43.36/40.05	c cleaning 37996 clauses out of 76020 with flag 5252724/770000
45.73/42.42	c cleaning 38995 clauses out of 78027 with flag 5519996/810003
48.13/44.84	c cleaning 39995 clauses out of 80031 with flag 5808011/851002
50.62/47.32	c cleaning 41009 clauses out of 82036 with flag 6094098/893002
53.22/49.94	c cleaning 42004 clauses out of 84027 with flag 6410455/936002
55.91/52.68	c cleaning 42998 clauses out of 86021 with flag 6712259/980000
58.60/55.32	c cleaning 44002 clauses out of 88025 with flag 7026934/1025002
61.59/58.32	c cleaning 44999 clauses out of 90021 with flag 7364265/1071000
64.49/61.20	c cleaning 46005 clauses out of 92024 with flag 7710178/1118002
68.77/65.72	c cleaning 47004 clauses out of 94019 with flag 8057437/1166002
71.87/68.84	c cleaning 47998 clauses out of 96013 with flag 8405067/1215000
75.17/72.15	c cleaning 48991 clauses out of 98015 with flag 8765262/1265000
78.65/75.61	c cleaning 50001 clauses out of 100025 with flag 9141129/1316001
82.34/79.30	c cleaning 50999 clauses out of 102023 with flag 9537902/1368000
86.05/83.05	c cleaning 52000 clauses out of 104025 with flag 9911759/1421001
89.62/86.65	c cleaning 53000 clauses out of 106024 with flag 10301059/1475000
93.62/90.60	c cleaning 53993 clauses out of 108024 with flag 10703888/1530000
97.79/94.90	c cleaning 54998 clauses out of 110032 with flag 11125042/1586001
101.58/98.77	c cleaning 56004 clauses out of 112033 with flag 11528084/1643000
105.68/102.86	c cleaning 57004 clauses out of 114029 with flag 11946976/1701000
110.01/107.17	c cleaning 58006 clauses out of 116027 with flag 12387840/1760002
114.38/111.57	c cleaning 58999 clauses out of 118020 with flag 12832598/1820001
118.99/116.17	c cleaning 59994 clauses out of 120021 with flag 13276276/1881001
123.70/120.84	c cleaning 61002 clauses out of 122029 with flag 13727410/1943003
128.38/125.68	c cleaning 62004 clauses out of 124024 with flag 14181691/2006000
133.38/130.55	c cleaning 63004 clauses out of 126021 with flag 14652780/2070001
138.57/135.78	c cleaning 63983 clauses out of 128016 with flag 15165966/2135000
143.92/141.03	c cleaning 65008 clauses out of 130034 with flag 15645468/2201001
149.40/146.41	c cleaning 66003 clauses out of 132028 with flag 16167020/2268003
154.69/151.78	c cleaning 67003 clauses out of 134023 with flag 16678080/2336001
160.47/157.60	c cleaning 67997 clauses out of 136019 with flag 17184534/2405000
166.17/163.31	c cleaning 68999 clauses out of 138023 with flag 17706255/2475001
171.89/169.02	c cleaning 69990 clauses out of 140024 with flag 18248449/2546001
178.01/175.13	c cleaning 71002 clauses out of 142036 with flag 18783343/2618003
184.30/181.49	c cleaning 71999 clauses out of 144031 with flag 19381353/2691000
190.85/188.19	c cleaning 73000 clauses out of 146032 with flag 19959101/2765000
197.45/194.75	c cleaning 73999 clauses out of 148032 with flag 20527174/2840000
203.89/201.18	c cleaning 75008 clauses out of 150033 with flag 21101662/2916000
210.66/208.00	c cleaning 76000 clauses out of 152027 with flag 21694576/2993002
217.77/215.08	c cleaning 77001 clauses out of 154025 with flag 22322219/3071000
224.90/222.16	c cleaning 77998 clauses out of 156024 with flag 22913466/3150000
232.33/229.59	c cleaning 79000 clauses out of 158027 with flag 23543613/3230001
239.55/236.73	c cleaning 79994 clauses out of 160026 with flag 24165161/3311000
247.02/244.11	c cleaning 80997 clauses out of 162032 with flag 24791853/3393000
254.49/251.87	c cleaning 82006 clauses out of 164035 with flag 25427823/3476000
262.07/259.41	c cleaning 82992 clauses out of 166029 with flag 26070072/3560000
269.58/267.01	c cleaning 84003 clauses out of 168038 with flag 26749647/3645001
277.68/275.08	c cleaning 85000 clauses out of 170034 with flag 27426080/3731000
285.55/283.06	c cleaning 86007 clauses out of 172035 with flag 28091439/3818001
293.96/291.49	c cleaning 86998 clauses out of 174028 with flag 28780735/3906001
302.50/299.90	c cleaning 87992 clauses out of 176030 with flag 29476281/3995001
310.97/308.75	c cleaning 89010 clauses out of 178039 with flag 30171952/4085002
319.74/317.41	c cleaning 90001 clauses out of 180029 with flag 30879663/4176002
328.30/325.99	c cleaning 91001 clauses out of 182026 with flag 31603626/4268000
337.10/334.74	c cleaning 92002 clauses out of 184025 with flag 32340231/4361000
346.51/344.31	c cleaning 92999 clauses out of 186023 with flag 33091710/4455000
355.50/353.36	c cleaning 93992 clauses out of 188025 with flag 33832119/4550001
364.70/362.59	c cleaning 95003 clauses out of 190033 with flag 34589065/4646001
374.35/372.71	c cleaning 96007 clauses out of 192029 with flag 35362943/4743000
384.35/382.70	c cleaning 96992 clauses out of 194022 with flag 36165861/4841000
394.30/392.62	c cleaning 98007 clauses out of 196031 with flag 36924017/4940001
414.59/413.35	c cleaning 99003 clauses out of 198025 with flag 37910866/5040002
432.58/431.64	c cleaning 99994 clauses out of 200020 with flag 39052543/5141000
443.54/442.52	c cleaning 100995 clauses out of 202027 with flag 39971648/5243001
454.72/453.70	c cleaning 101997 clauses out of 204033 with flag 40816244/5346002
465.81/465.51	c cleaning 103006 clauses out of 206036 with flag 41628633/5450002
477.10/476.81	c cleaning 104006 clauses out of 208029 with flag 42456117/5555001
487.88/487.66	c cleaning 104990 clauses out of 210022 with flag 43274517/5661000
498.98/499.16	c cleaning 106009 clauses out of 212033 with flag 44150932/5768001
510.67/510.75	c cleaning 107002 clauses out of 214024 with flag 45062788/5876001
521.89/522.00	c cleaning 107997 clauses out of 216021 with flag 45931613/5985000
534.74/535.35	c cleaning 108999 clauses out of 218027 with flag 46854799/6095003
547.25/547.84	c cleaning 109992 clauses out of 220026 with flag 47814851/6206001
559.87/561.04	c cleaning 111014 clauses out of 222034 with flag 48737372/6318001
571.72/572.84	c cleaning 112005 clauses out of 224019 with flag 49673128/6431000
583.99/585.23	c cleaning 112987 clauses out of 226014 with flag 50582605/6545000
597.22/598.42	c cleaning 114004 clauses out of 228027 with flag 51539662/6660000
609.54/610.78	c cleaning 114997 clauses out of 230024 with flag 52498439/6776001
624.09/625.36	c cleaning 115995 clauses out of 232026 with flag 53496617/6893000
637.67/638.87	c cleaning 117000 clauses out of 234031 with flag 54431594/7011000
650.44/651.69	c cleaning 118001 clauses out of 236032 with flag 55393927/7130001
663.89/665.08	c cleaning 119001 clauses out of 238032 with flag 56372524/7250002
678.44/680.35	c cleaning 120011 clauses out of 240032 with flag 57346026/7371003
692.01/693.85	c cleaning 120993 clauses out of 242018 with flag 58326690/7493000
706.09/708.48	c cleaning 121992 clauses out of 244027 with flag 59353649/7616002
731.65/733.91	c cleaning 123001 clauses out of 246033 with flag 60670822/7740000
746.54/749.15	c cleaning 124002 clauses out of 248032 with flag 61740403/7865000
760.50/763.09	c cleaning 125004 clauses out of 250030 with flag 62779259/7991000
775.09/777.87	c cleaning 125997 clauses out of 252026 with flag 63801852/8118000
789.36/792.07	c cleaning 127004 clauses out of 254031 with flag 64875538/8246002
804.81/808.06	c cleaning 128002 clauses out of 256026 with flag 65918311/8375001
820.46/823.61	c cleaning 129004 clauses out of 258023 with flag 66969565/8505000
835.80/839.46	c cleaning 129999 clauses out of 260020 with flag 68042532/8636001
851.42/855.05	c cleaning 131001 clauses out of 262021 with flag 69092018/8768001
867.19/871.36	c cleaning 132000 clauses out of 264021 with flag 70176616/8901002
882.85/886.90	c cleaning 132997 clauses out of 266019 with flag 71273512/9035000
900.10/904.37	c cleaning 134000 clauses out of 268024 with flag 72373469/9170002
917.32/921.59	c cleaning 135003 clauses out of 270022 with flag 73504503/9306000
932.76/937.10	c cleaning 135996 clauses out of 272019 with flag 74613776/9443000
948.74/953.00	c cleaning 137006 clauses out of 274025 with flag 75773281/9581002
964.93/969.21	c cleaning 137996 clauses out of 276017 with flag 76907862/9720000
981.21/985.75	c cleaning 138995 clauses out of 278022 with flag 78069251/9860001
997.55/1002.06	c cleaning 140007 clauses out of 280028 with flag 79217280/10001002
1013.92/1018.70	c cleaning 140998 clauses out of 282020 with flag 80419664/10143001
1031.05/1035.75	c cleaning 142005 clauses out of 284023 with flag 81579838/10286002
1048.66/1053.68	c cleaning 142989 clauses out of 286016 with flag 82762797/10430000
1065.59/1070.56	c cleaning 143999 clauses out of 288027 with flag 83962664/10575000
1082.98/1087.99	c cleaning 145003 clauses out of 290028 with flag 85199169/10721000
1101.11/1106.06	c cleaning 145989 clauses out of 292027 with flag 86377462/10868002
1118.93/1124.16	c cleaning 146998 clauses out of 294036 with flag 87605259/11016000
1138.36/1143.72	c cleaning 147999 clauses out of 296038 with flag 88947941/11165000
1157.00/1162.25	c cleaning 149005 clauses out of 298039 with flag 90177501/11315000
1176.48/1182.24	c cleaning 150003 clauses out of 300034 with flag 91440199/11466000
1194.50/1200.75	c cleaning 151001 clauses out of 302031 with flag 92716308/11618000
1213.26/1219.46	c cleaning 152011 clauses out of 304033 with flag 93972500/11771003
1233.75/1240.26	c cleaning 153002 clauses out of 306020 with flag 95368345/11925001
1253.45/1259.82	c cleaning 154002 clauses out of 308017 with flag 96675376/12080000
1273.26/1279.66	c cleaning 154997 clauses out of 310016 with flag 97979946/12236001
1293.46/1299.97	c cleaning 155995 clauses out of 312019 with flag 99270439/12393001
1313.22/1319.66	c cleaning 157007 clauses out of 314025 with flag 100617555/12551002
1333.10/1339.75	c cleaning 157999 clauses out of 316018 with flag 101954126/12710002
1353.60/1360.48	c cleaning 159004 clauses out of 318017 with flag 103318653/12870000
1374.06/1380.85	c cleaning 159992 clauses out of 320013 with flag 104716310/13031000
1394.87/1401.99	c cleaning 160994 clauses out of 322022 with flag 106068972/13193001
1418.18/1424.88	c cleaning 162001 clauses out of 324027 with flag 107423833/13356000
1439.11/1445.93	c cleaning 163004 clauses out of 326028 with flag 108796004/13520002
1460.23/1467.09	c cleaning 163997 clauses out of 328022 with flag 110197212/13685000
1481.83/1488.65	c cleaning 165002 clauses out of 330027 with flag 111582619/13851002
1503.42/1510.59	c cleaning 166000 clauses out of 332023 with flag 113018157/14018000
1525.33/1532.49	c cleaning 166990 clauses out of 334027 with flag 114491738/14186004
1548.22/1555.34	c cleaning 168006 clauses out of 336034 with flag 115900526/14355001
1570.61/1577.60	c cleaning 168995 clauses out of 338028 with flag 117304391/14525001
1593.50/1600.67	c cleaning 169998 clauses out of 340032 with flag 118714290/14696000
1616.05/1623.28	c cleaning 171010 clauses out of 342035 with flag 120145759/14868001
1639.23/1646.44	c cleaning 171992 clauses out of 344026 with flag 121652594/15041002
1664.61/1671.86	c cleaning 173007 clauses out of 346034 with flag 123311731/15215002
1688.48/1695.91	c cleaning 174005 clauses out of 348026 with flag 124770921/15390001
1712.25/1720.07	c cleaning 174998 clauses out of 350021 with flag 126266357/15566001
1737.49/1745.67	c cleaning 176001 clauses out of 352025 with flag 127753111/15743003
1762.74/1771.03	c cleaning 177004 clauses out of 354021 with flag 129263756/15921000
1787.27/1795.88	c cleaning 178000 clauses out of 356019 with flag 130805901/16100002
1813.15/1823.83	c cleaning 178991 clauses out of 358019 with flag 132311964/16280002
1837.76/1848.64	c cleaning 179998 clauses out of 360026 with flag 133904573/16461000
1863.39/1874.78	c cleaning 181005 clauses out of 362029 with flag 135477337/16643001
1889.02/1900.56	c cleaning 181998 clauses out of 364023 with flag 137063241/16826000
1914.87/1926.88	c cleaning 183000 clauses out of 366025 with flag 138580993/17010000
1940.90/1953.18	c cleaning 183994 clauses out of 368025 with flag 140173640/17195000
1967.07/1979.34	c cleaning 185001 clauses out of 370031 with flag 141758987/17381000
1992.35/2004.76	c cleaning 186009 clauses out of 372030 with flag 143381119/17568000
2018.25/2031.08	c cleaning 186999 clauses out of 374021 with flag 145034833/17756000
2044.76/2057.57	c cleaning 188005 clauses out of 376023 with flag 146657590/17945001
2071.95/2084.70	c cleaning 188997 clauses out of 378017 with flag 148257813/18135000
2101.15/2114.97	c cleaning 189994 clauses out of 380020 with flag 149866897/18326000
2128.86/2143.41	c cleaning 190997 clauses out of 382026 with flag 151512711/18518000
2156.41/2171.44	c cleaning 192009 clauses out of 384031 with flag 153145366/18711002
2184.07/2199.14	c cleaning 192998 clauses out of 386020 with flag 154845396/18905000
2211.55/2226.62	c cleaning 194006 clauses out of 388023 with flag 156483215/19100001
2239.96/2255.07	c cleaning 194993 clauses out of 390017 with flag 158132505/19296001
2268.55/2283.73	c cleaning 195998 clauses out of 392024 with flag 159858950/19493001
2297.85/2313.16	c cleaning 196999 clauses out of 394028 with flag 161558235/19691003
2326.97/2342.27	c cleaning 197998 clauses out of 396026 with flag 163266514/19890000
2358.23/2373.55	c cleaning 199003 clauses out of 398028 with flag 164963034/20090000
2387.49/2403.17	c cleaning 200002 clauses out of 400026 with flag 166706893/20291001
2417.88/2435.76	c cleaning 200998 clauses out of 402024 with flag 168442024/20493001
2448.40/2466.31	c cleaning 201989 clauses out of 404027 with flag 170203142/20696002
2478.67/2496.60	c cleaning 203008 clauses out of 406037 with flag 171971241/20900001
2509.94/2527.87	c cleaning 203996 clauses out of 408028 with flag 173718951/21105000
2540.65/2558.53	c cleaning 205007 clauses out of 410033 with flag 175495839/21311001
2571.13/2589.18	c cleaning 206004 clauses out of 412027 with flag 177295881/21518002
2602.49/2620.64	c cleaning 206994 clauses out of 414021 with flag 179166216/21726000
2633.62/2651.93	c cleaning 208005 clauses out of 416028 with flag 180923348/21935001
2666.29/2684.86	c cleaning 208999 clauses out of 418023 with flag 182711111/22145001
2699.58/2718.41	c cleaning 209998 clauses out of 420023 with flag 184556917/22356000
2732.83/2751.69	c cleaning 210991 clauses out of 422026 with flag 186377219/22568001
2765.48/2784.37	c cleaning 212007 clauses out of 424035 with flag 188203400/22781001
2798.15/2817.32	c cleaning 213009 clauses out of 426028 with flag 190027136/22995001
2831.44/2850.84	c cleaning 213994 clauses out of 428018 with flag 191854795/23210000
2866.11/2885.63	c cleaning 214999 clauses out of 430025 with flag 193725789/23426001
2906.22/2925.85	c cleaning 215999 clauses out of 432026 with flag 195741313/23643001
2940.64/2960.36	c cleaning 217003 clauses out of 434029 with flag 197683487/23861003
2975.42/2995.31	c cleaning 218007 clauses out of 436024 with flag 199548063/24080001
3010.90/3032.17	c cleaning 218983 clauses out of 438016 with flag 201410822/24300000
3045.12/3066.38	c cleaning 220007 clauses out of 440033 with flag 203345801/24521000
3080.56/3102.08	c cleaning 221005 clauses out of 442026 with flag 205306877/24743000
3117.21/3138.70	c cleaning 221996 clauses out of 444021 with flag 207276846/24966000
3152.45/3173.96	c cleaning 223001 clauses out of 446025 with flag 209288595/25190000
3188.08/3209.65	c cleaning 223999 clauses out of 448025 with flag 211297877/25415001
3223.23/3244.82	c cleaning 224997 clauses out of 450025 with flag 213322944/25641000
3259.28/3280.80	c cleaning 226002 clauses out of 452028 with flag 215364108/25868000
3296.36/3317.91	c cleaning 226991 clauses out of 454027 with flag 217349898/26096001
3331.40/3352.93	c cleaning 228003 clauses out of 456037 with flag 219385985/26325002
3368.56/3390.15	c cleaning 229010 clauses out of 458033 with flag 221463433/26555001
3406.26/3427.80	c cleaning 230001 clauses out of 460022 with flag 223498797/26786000
3443.02/3464.76	c cleaning 231005 clauses out of 462021 with flag 225559238/27018000
3480.69/3502.49	c cleaning 231996 clauses out of 464017 with flag 227758464/27251001
3518.30/3539.97	c cleaning 232998 clauses out of 466021 with flag 229808883/27485001
3556.16/3577.85	c cleaning 233997 clauses out of 468023 with flag 231925312/27720001
3595.02/3616.90	c cleaning 234991 clauses out of 470026 with flag 234038072/27956001
3600.01/3622.24	c timeout
3600.01/3622.24	c starts		: 64610
3600.01/3622.25	c conflicts		: 27990904
3600.01/3622.25	c decisions		: 42564120
3600.01/3622.25	c propagations		: 668616787
3600.01/3622.25	c inspects		: 54802875967
3600.01/3622.25	c shortcuts		: 0
3600.01/3622.25	c learnt literals	: 0
3600.01/3622.25	c learnt binary clauses	: 0
3600.01/3622.25	c learnt ternary clauses	: 0
3600.01/3622.25	c learnt constraints	: 27990904
3600.01/3622.25	c ignored constraints	: 0
3600.01/3622.25	c root simplifications	: 0
3600.01/3622.25	c removed literals (reason simplification)	: 49838387
3600.01/3622.25	c reason swapping (by a shorter reason)	: 0
3600.01/3622.25	c Calls to reduceDB	: 232
3600.01/3622.25	c Number of update (reduction) of LBD	: 8137219
3600.01/3622.25	c Imported unit clauses	: 0
3600.01/3622.25	c No decision after first conflict	: false
3600.01/3622.25	c number of reductions to clauses (during analyze)	: 0
3600.01/3622.25	c number of learned constraints concerned by reduction	: 0
3600.01/3622.25	c number of learning phase by resolution	: 0
3600.01/3622.25	c number of learning phase by cutting planes	: 0
3600.01/3622.25	c number of rounding to 1 operations	: 0
3600.01/3622.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3622.25	c number of reductions of the coefficients by power 2 	: 0
3600.01/3622.25	c number of right shift for reduction by power 2 	: 0
3600.01/3622.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3622.25	c number of ending skipping 	: 0
3600.01/3622.25	c number of internal skipping 	: 0
3600.01/3622.25	c number of derivation steps 	: 0
3600.01/3622.25	c number of skipped derivation steps 	: 0
3600.01/3622.25	c number of remaining unassigned 	: 0
3600.01/3622.25	c number of remaining assigned 	: 0
3600.01/3622.25	c number of falsified literals weakened from reason	: 0
3600.01/3622.25	c number of falsified literals weakened from conflict	: 0
3600.01/3622.25	c time for arithmetic operations	: 0
3600.01/3622.25	c minimum degree of deleted constraints	: null
3600.01/3622.25	c maximum degree of deleted constraints	: null
3600.01/3622.25	c number of deleted constraints	: 0
3600.01/3622.25	c speed (assignments/second)	: 184604.1331954681
3600.01/3622.25	c non guided choices	: 102575
3600.18/3622.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 269938
3600.18/3622.36	s UNKNOWN
3600.18/3622.37	c Total wall clock time (in seconds): 3622.081

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451152-1721830003/watcher-4451152-1721830003 -o /tmp/evaluation-result-4451152-1721830003/solver-4451152-1721830003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721820326-179523 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451152-1721830003 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451152-1721830003.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=186577, runsolver pid=186574

[startup+0.108693 s]*
/proc/loadavg: 4.53 4.67 4.48 7/324 186595
/proc/meminfo: memFree=76946516/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=18975048 memory=58436 CPUtime=0.12 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 6528 0 0 0 10 2 0 0 20 0 18 0 18989983 19430449152 14609 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4743762 14609 5684 1 0 550934 0
[pid=186577/tid=186579] ppid=186574 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 5466 0 0 0 6 2 0 0 20 0 18 0 18989983 19430449152 14609 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18989986 19430449152 14609 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18989987 19430449152 14609 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58436 KiB

[startup+0.214917 s]*
/proc/loadavg: 4.53 4.67 4.48 5/324 186595
/proc/meminfo: memFree=76936244/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=18975048 memory=67012 CPUtime=0.25 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 7117 0 0 0 22 3 0 0 20 0 18 0 18989983 19430449152 16753 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4743762 16753 5689 1 0 551427 0
[pid=186577/tid=186579] ppid=186574 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 1077936192 5678 0 0 0 15 2 0 0 20 0 18 0 18989983 19430449152 16753 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=18975048 memory=804964 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18989986 19430449152 16753 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18989987 19430449152 16753 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67012 KiB

[startup+0.320371 s]*
/proc/loadavg: 4.53 4.67 4.48 8/324 186595
/proc/meminfo: memFree=76932760/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=18975048 memory=67944 CPUtime=0.4 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 7409 0 0 0 37 3 0 0 20 0 18 0 18989983 19430449152 16986 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4743762 16986 5714 1 0 551604 0
[pid=186577/tid=186579] ppid=186574 vsize=18975048 memory=-8887402405140669116 CPUtime=0.26 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 1077936192 5826 0 0 0 24 2 0 0 20 0 18 0 18989983 19430449152 16986 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18989986 19430449152 16986 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18989987 19430449152 16986 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67944 KiB

[startup+0.701306 s]
/proc/loadavg: 4.53 4.67 4.48 7/325 186596
/proc/meminfo: memFree=76918904/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19041612 memory=92864 CPUtime=1.1 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 9734 0 0 0 105 5 0 0 20 0 19 0 18989983 19498610688 23216 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4760403 23216 5856 1 0 553155 0
[pid=186577/tid=186579] ppid=186574 vsize=19041612 memory=5572 CPUtime=0.53 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 5921 0 0 0 50 3 0 0 20 0 19 0 18989983 19498610688 23216 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19041612 memory=12412 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18989986 19498610688 23216 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19041612 memory=164 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18989987 19498610688 23216 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18990018 19498610688 23216 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92864 KiB

[startup+1.50068 s]
/proc/loadavg: 4.53 4.67 4.48 6/325 186596
/proc/meminfo: memFree=76862300/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=180344 CPUtime=2.67 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 18994 0 0 0 258 9 0 0 20 0 20 0 18989983 19566772224 45086 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 45086 5907 1 0 556538 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=12412 CPUtime=1.29 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 6832 0 0 0 123 6 0 0 20 0 20 0 18989983 19566772224 45086 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 45086 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 45086 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=281425450542352 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 45086 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180344 KiB

[startup+3.10585 s]
/proc/loadavg: 4.53 4.67 4.48 7/326 186597
/proc/meminfo: memFree=76679492/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=270664 CPUtime=5.71 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 23749 0 0 0 558 13 0 0 20 0 20 0 18989983 19566772224 67666 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 67666 5923 1 0 557374 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=0 CPUtime=2.87 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 7554 0 0 0 278 9 0 0 20 0 20 0 18989983 19566772224 67666 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=12412 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 67666 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 67666 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=11932 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 67666 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 270664 KiB

[startup+6.30046 s]
/proc/loadavg: 4.57 4.67 4.49 6/326 186599
/proc/meminfo: memFree=76208988/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=772548 CPUtime=9.16 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 24377 0 0 0 890 26 0 0 20 0 20 0 18989983 19566772224 193137 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 193137 5923 1 0 557375 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=12412 CPUtime=6.04 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 8116 0 0 0 582 22 0 0 20 0 20 0 18989983 19566772224 193137 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 193137 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=180552 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 193137 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 193137 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 772548 KiB

[startup+12.7004 s]
/proc/loadavg: 4.52 4.66 4.48 5/325 186599
/proc/meminfo: memFree=75438336/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=1327676 CPUtime=15.81 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 27263 0 0 0 1536 45 0 0 20 0 20 0 18989983 19566772224 331919 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 331919 5923 1 0 557375 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=0 CPUtime=12.36 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 9406 0 0 0 1196 40 0 0 20 0 20 0 18989983 19566772224 331919 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=-8887402405140669116 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 331919 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 331919 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=11932 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 331919 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 15.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327676 KiB

[startup+25.5005 s]
/proc/loadavg: 4.41 4.63 4.47 5/325 186602
/proc/meminfo: memFree=74658544/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=1331300 CPUtime=29.01 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 34572 0 0 0 2843 58 0 0 20 0 20 0 18989983 19566772224 332825 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 332825 5923 1 0 557448 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=11932 CPUtime=25.01 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 10835 0 0 0 2449 52 0 0 20 0 20 0 18989983 19566772224 332825 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=11932 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 332825 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=807364 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 332825 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=281425450489136 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 332825 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 29.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1331300 KiB

[startup+51.1136 s]
/proc/loadavg: 4.27 4.58 4.46 5/325 186605
/proc/meminfo: memFree=73807464/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=1343672 CPUtime=54.42 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 40068 0 0 0 5360 82 0 0 20 0 20 0 18989983 19566772224 335918 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 335918 5939 1 0 557448 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=1343664 CPUtime=50.12 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 12677 0 0 0 4939 73 0 0 20 0 20 0 18989983 19566772224 335918 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=281425451238784 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 335918 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0

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

[startup+3282.3 s]
/proc/loadavg: 1.08 1.11 1.47 2/247 188483
/proc/meminfo: memFree=108373916/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644044 CPUtime=3260.77 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 204018 0 0 0 324352 1725 0 0 20 0 20 0 18989983 19566772224 661011 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661011 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=2643988 CPUtime=3216.35 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 99959 0 0 0 320101 1534 0 0 20 0 20 0 18989983 19566772224 661011 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3326 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=11932 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661011 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=2644044 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3146 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661011 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=40128 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661011 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3260.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644044 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.12 1.45 2/247 188494
/proc/meminfo: memFree=108220664/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644092 CPUtime=3320.77 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 206404 0 0 0 330327 1750 0 0 20 0 20 0 18989983 19566772224 661023 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661023 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=11932 CPUtime=3275.85 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 101491 0 0 0 326029 1556 0 0 20 0 20 0 18989983 19566772224 661023 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3336 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=2644092 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661023 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=2643988 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3219 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661023 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=-8887402405140669116 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661023 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3320.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644092 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.11 1.42 2/247 188504
/proc/meminfo: memFree=108068540/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644172 CPUtime=3380.73 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 209374 0 0 0 336299 1774 0 0 20 0 20 0 18989983 19566772224 661043 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661043 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=2644092 CPUtime=3335.22 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 102939 0 0 0 331945 1577 0 0 20 0 20 0 18989983 19566772224 661043 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3355 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=2644092 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661043 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=2644168 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3267 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661043 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=2644168 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661043 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3380.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644172 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 1.12 1.40 2/246 188514
/proc/meminfo: memFree=107921824/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644184 CPUtime=3440.61 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 212072 0 0 0 342262 1799 0 0 20 0 20 0 18989983 19566772224 661046 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661046 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=2644092 CPUtime=3394.42 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 104219 0 0 0 337843 1599 0 0 20 0 20 0 18989983 19566772224 661046 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3384 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=2644184 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661046 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=2644184 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3353 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661046 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=-8887402405140669116 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661046 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3440.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644184 KiB

[startup+3522.3 s]
/proc/loadavg: 1.05 1.10 1.37 2/245 188524
/proc/meminfo: memFree=107763288/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644236 CPUtime=3500.6 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 214521 0 0 0 348235 1825 0 0 20 0 20 0 18989983 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661059 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=2644236 CPUtime=3453.82 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 105487 0 0 0 343761 1621 0 0 20 0 20 0 18989983 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3397 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=2644184 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=68104 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=11932 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3500.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644236 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.09 1.35 2/244 188536
/proc/meminfo: memFree=107615544/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644236 CPUtime=3560.68 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 216799 0 0 0 354215 1853 0 0 20 0 20 0 18989983 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661059 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=-8887402405140669116 CPUtime=3513.08 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 107114 0 0 0 349662 1646 0 0 20 0 20 0 18989983 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3414 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=25948 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3504 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=11932 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3560.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.2 s]
/proc/loadavg: 1.07 1.09 1.34 2/244 188543
/proc/meminfo: memFree=107520684/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19108176 memory=2644236 CPUtime=3600.01 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 218600 0 0 0 358134 1867 0 0 20 0 20 0 18989983 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4777044 661059 5939 1 0 672706 0
[pid=186577/tid=186579] ppid=186574 vsize=19108176 memory=2644236 CPUtime=3552.08 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) R 186574 186577 179511 0 -1 4194368 108062 0 0 0 353549 1659 0 0 20 0 20 0 18989983 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3477 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19108176 memory=2160 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18989986 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19108176 memory=32640 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3593 0 0 0 0 0 0 0 20 0 20 0 18989987 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186596] ppid=186574 vsize=19108176 memory=1712 CPUtime=0 cores=1,3
/proc/186577/task/186596/stat : 186596 (Timer-0) S 186574 186577 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18990018 19566772224 661059 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2644236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.56 s, system=18.6991 s

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

[startup+3622.33 s]
/proc/loadavg: 1.07 1.09 1.34 2/244 188543
/proc/meminfo: memFree=107520684/131655788 swapFree=131070448/131071996
[pid=186577] ppid=186574 vsize=19307868 memory=2645060 CPUtime=3600.18 cores=1,3
/proc/186577/stat : 186577 (java) S 186574 186577 179511 0 -1 1077936128 221161 0 0 0 358150 1868 0 0 20 0 21 0 18989983 19771256832 661265 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
/proc/186577/statm: 4826967 661265 5938 1 0 673637 0
[pid=186577/tid=186579] ppid=186574 vsize=19307868 memory=68104 CPUtime=3552.12 cores=1,3
/proc/186577/task/186579/stat : 186579 (java) S 186574 186577 179511 0 -1 1077936192 108499 0 0 0 353553 1659 0 0 20 0 21 0 18989983 19771256832 661265 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3478 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186588] ppid=186574 vsize=19307868 memory=0 CPUtime=0 cores=1,3
/proc/186577/task/186588/stat : 186588 (Finalizer) S 186574 186577 179511 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18989986 19771256832 661265 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
[pid=186577/tid=186595] ppid=186574 vsize=19307868 memory=16224 CPUtime=0 cores=1,3
/proc/186577/task/186595/stat : 186595 (Common-Cleaner) S 186574 186577 179511 0 -1 1077936192 3593 0 0 0 0 0 0 0 20 0 21 0 18989987 19771256832 661265 134679101440 93891777794048 93891777797744 140729726784160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93891777805560 93891777806352 93891795660800 140729726792619 140729726792801 140729726792801 140729726799816 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2645060 KiB

Child status: 143

Real time (s): 3622.38
CPU time (s): 3600.26
CPU user time (s): 3581.56
CPU system time (s): 18.6991
CPU usage (%): 99.3893
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2645060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.56
system time used= 18.6991
maximum resident set size= 2645520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22045176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121034
involuntary context switches= 7779


# summary of solver processes directly reported to runsolver:
#   pid: 186577
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3581.56
#   total CPU system time (s): 18.6991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0114 second user time and 37.0353 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-24 16:06:43
IDJOB=4451152
IDBENCH=162377
IDSOLVER=3079
FILE ID=nodeC012/4451152-1721830003
RUNJOBID= nodeC012-1721820326-179523
SLURM_JOB_ID= 7891468
Free space on /tmp= 723772 MiB

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

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

MD5SUM BENCH= 66220fca8952fbecf83bd47731654b15
RANDOM SEED=1003522433

nodeC012.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	: 0xb00001f
cpu MHz		: 3668.772
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 2793.393
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.319
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3629.141
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 3586.271
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.415
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.347
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        76986708 kB
MemAvailable:   121235276 kB
Buffers:          272540 kB
Cached:         44724076 kB
SwapCached:           72 kB
Active:          2550712 kB
Inactive:       51375820 kB
Active(anon):       1452 kB
Inactive(anon):  8981904 kB
Active(file):    2549260 kB
Inactive(file): 42393916 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            209516 kB
Writeback:             0 kB
AnonPages:       8922592 kB
Mapped:           136308 kB
Shmem:             53368 kB
KReclaimable:     290848 kB
Slab:             411388 kB
SReclaimable:     290848 kB
SUnreclaim:       120540 kB
KernelStack:        4976 kB
PageTables:        27804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9458252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7557120 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:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC012 at 2024-07-24 17:07:05