Trace number 4454092

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.29 3612.63

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb
MD5SUMad731be7af81a11cebcddac40b738f1a
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.61995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2688
Total number of constraints1408
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1408
Minimum length of a constraint2
Maximum length of a constraint84
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 2199023255552
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 8796093022207
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.19	c version CUSTOM.v20240707
0.13/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.22	c java.vm.version	22.0.1+8-16
0.13/0.22	c java.vm.vendor	Oracle Corporation
0.13/0.22	c sun.arch.data.model	64
0.13/0.22	c java.version		22.0.1
0.13/0.22	c os.name		Linux
0.13/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.22	c os.arch		amd64
0.13/0.23	c Free memory 		2113181440
0.13/0.23	c Max memory 		16282288128
0.13/0.23	c Total memory 		2122317824
0.31/0.24	c Number of processors 	2
0.46/0.34	--- Begin Solver configuration ---
0.46/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.46/0.34	Learn all clauses as in MiniSAT
0.46/0.34	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.34	Expensive reason simplification
0.46/0.34	Glucose 2.1 dynamic restart strategy
0.46/0.34	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.46/0.34	timeout=2147483s
0.46/0.34	DB Simplification allowed=false
0.46/0.34	Listener: none
0.46/0.34	--- End Solver configuration ---
0.46/0.34	c Pseudo Boolean Optimization by upper bound
0.46/0.34	c --- Begin Solver configuration ---
0.46/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.46/0.34	c Learn all clauses as in MiniSAT
0.46/0.34	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.34	c Expensive reason simplification
0.46/0.34	c Glucose 2.1 dynamic restart strategy
0.46/0.34	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.46/0.34	c timeout=2147483s
0.46/0.34	c DB Simplification allowed=false
0.46/0.34	c Listener: none
0.46/0.34	c --- End Solver configuration ---
0.46/0.34	c solving HOME/instance-4454092-1721843823.opb
0.46/0.34	c reading problem ... 
0.50/0.71	c using VERIPB proof format
0.50/0.72	c  no objective function found
0.66/0.86	c ... done. Wall clock time 0.513s.
0.66/0.86	c declared #vars     2688
0.66/0.86	c #constraints  2815
0.66/0.86	c constraints type 
0.66/0.86	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1134
0.66/0.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1681
0.66/0.86	c 2815 constraints processed.
3.22/2.12	c cleaning 2490 clauses out of 5000 with flag 29908/5000
4.19/2.63	c cleaning 4248 clauses out of 8511 with flag 72829/11001
4.99/3.05	c cleaning 5623 clauses out of 11262 with flag 119798/18000
5.58/3.36	c cleaning 6811 clauses out of 13640 with flag 166465/26001
6.11/3.65	c cleaning 7886 clauses out of 15830 with flag 217092/35002
6.68/3.94	c cleaning 8944 clauses out of 17942 with flag 274490/45000
7.43/4.31	c cleaning 9984 clauses out of 19998 with flag 339044/56000
8.05/4.70	c cleaning 10973 clauses out of 22016 with flag 410650/68002
8.46/5.11	c cleaning 12011 clauses out of 24041 with flag 482865/81000
8.86/5.54	c cleaning 13000 clauses out of 26032 with flag 560441/95002
9.37/6.05	c cleaning 13987 clauses out of 28031 with flag 645963/110001
9.97/6.63	c cleaning 14995 clauses out of 30043 with flag 760082/126000
10.75/7.22	c cleaning 16011 clauses out of 32050 with flag 866166/143002
12.72/8.21	c cleaning 17003 clauses out of 34041 with flag 988015/161004
13.75/9.27	c cleaning 17993 clauses out of 36038 with flag 1122040/180004
15.04/10.54	c cleaning 18992 clauses out of 38042 with flag 1259122/200001
15.74/11.28	c cleaning 19956 clauses out of 40049 with flag 1381489/221000
16.74/12.22	c cleaning 20996 clauses out of 42093 with flag 1512429/243000
18.82/14.30	c cleaning 22020 clauses out of 44098 with flag 1704734/266001
19.71/15.23	c cleaning 23005 clauses out of 46078 with flag 1831267/290001
20.62/16.11	c cleaning 24018 clauses out of 48072 with flag 1972702/315000
21.52/17.06	c cleaning 25003 clauses out of 50056 with flag 2116356/341002
22.62/18.15	c cleaning 25976 clauses out of 52052 with flag 2289795/368001
23.70/19.28	c cleaning 27019 clauses out of 54076 with flag 2459406/396001
24.90/20.47	c cleaning 28000 clauses out of 56061 with flag 2632253/425005
26.09/21.66	c cleaning 28996 clauses out of 58056 with flag 2817185/455000
27.29/22.87	c cleaning 30012 clauses out of 60060 with flag 2997526/486000
28.51/24.07	c cleaning 31001 clauses out of 62048 with flag 3178204/518000
29.99/25.52	c cleaning 31961 clauses out of 64048 with flag 3377179/551001
31.28/26.80	c cleaning 33017 clauses out of 66088 with flag 3561531/585002
32.68/28.28	c cleaning 34019 clauses out of 68069 with flag 3771842/620000
34.08/29.70	c cleaning 34976 clauses out of 70050 with flag 3989741/656000
35.77/31.37	c cleaning 36008 clauses out of 72078 with flag 4197879/693004
38.43/34.38	c cleaning 37005 clauses out of 74067 with flag 4418274/731001
40.62/36.58	c cleaning 38013 clauses out of 76061 with flag 4642061/770000
42.53/38.43	c cleaning 38963 clauses out of 78049 with flag 4886896/810001
44.41/40.30	c cleaning 40015 clauses out of 80085 with flag 5123926/851000
46.32/42.25	c cleaning 41001 clauses out of 82070 with flag 5351838/893000
48.61/44.55	c cleaning 42001 clauses out of 84069 with flag 5604686/936000
50.50/46.42	c cleaning 43009 clauses out of 86069 with flag 5840405/980001
52.50/48.44	c cleaning 44008 clauses out of 88060 with flag 6097497/1025001
54.89/50.81	c cleaning 45002 clauses out of 90051 with flag 6370047/1071000
56.99/52.90	c cleaning 45994 clauses out of 92049 with flag 6636796/1118000
59.38/55.37	c cleaning 46983 clauses out of 94056 with flag 6911010/1166001
62.10/58.06	c cleaning 48023 clauses out of 96073 with flag 7213050/1215001
64.67/60.70	c cleaning 48988 clauses out of 98049 with flag 7497919/1265000
67.20/63.11	c cleaning 49999 clauses out of 100061 with flag 7756952/1316000
69.64/65.79	c cleaning 51004 clauses out of 102063 with flag 8048635/1368001
72.13/68.24	c cleaning 52006 clauses out of 104060 with flag 8330603/1421002
74.63/70.70	c cleaning 52988 clauses out of 106052 with flag 8617521/1475000
78.42/74.52	c cleaning 54004 clauses out of 108065 with flag 8937170/1530001
81.61/77.78	c cleaning 55003 clauses out of 110061 with flag 9259683/1586001
84.41/80.56	c cleaning 55979 clauses out of 112058 with flag 9581614/1643001
87.08/83.28	c cleaning 57027 clauses out of 114080 with flag 9881569/1701002
90.27/86.46	c cleaning 58010 clauses out of 116051 with flag 10217315/1760000
93.07/89.25	c cleaning 58968 clauses out of 118041 with flag 10530171/1820000
96.36/92.52	c cleaning 59986 clauses out of 120073 with flag 10865939/1881000
99.40/95.74	c cleaning 61030 clauses out of 122088 with flag 11202041/1943001
102.40/98.74	c cleaning 61995 clauses out of 124058 with flag 11518848/2006001
105.48/101.84	c cleaning 62993 clauses out of 126065 with flag 11841290/2070003
108.80/105.13	c cleaning 64011 clauses out of 128070 with flag 12170788/2135001
112.28/108.61	c cleaning 65014 clauses out of 130059 with flag 12511430/2201001
116.07/112.40	c cleaning 65995 clauses out of 132044 with flag 12848000/2268000
119.46/115.85	c cleaning 66996 clauses out of 134051 with flag 13188939/2336002
123.26/119.68	c cleaning 68013 clauses out of 136055 with flag 13547628/2405002
127.67/124.03	c cleaning 68995 clauses out of 138040 with flag 13945351/2475000
132.03/128.44	c cleaning 69993 clauses out of 140046 with flag 14325181/2546001
135.85/132.49	c cleaning 70957 clauses out of 142052 with flag 14714740/2618000
140.55/137.17	c cleaning 72031 clauses out of 144097 with flag 15088105/2691002
144.63/141.25	c cleaning 72970 clauses out of 146066 with flag 15479243/2765002
148.73/145.34	c cleaning 74028 clauses out of 148096 with flag 15865208/2840002
153.01/149.62	c cleaning 74995 clauses out of 150066 with flag 16262292/2916000
157.53/154.14	c cleaning 75961 clauses out of 152072 with flag 16633224/2993001
162.09/158.73	c cleaning 76970 clauses out of 154111 with flag 17010233/3071001
167.34/164.14	c cleaning 78013 clauses out of 156140 with flag 17452698/3150000
172.11/168.99	c cleaning 79042 clauses out of 158128 with flag 17855749/3230001
176.91/173.78	c cleaning 80029 clauses out of 160086 with flag 18254791/3311001
181.50/178.37	c cleaning 81002 clauses out of 162056 with flag 18673420/3393000
186.80/183.60	c cleaning 82001 clauses out of 164059 with flag 19112185/3476005
192.19/189.06	c cleaning 83007 clauses out of 166054 with flag 19531579/3560001
197.44/194.48	c cleaning 83982 clauses out of 168046 with flag 19983157/3645000
205.33/202.37	c cleaning 85015 clauses out of 170064 with flag 20490924/3731000
211.04/208.03	c cleaning 85993 clauses out of 172050 with flag 20925593/3818001
217.19/214.18	c cleaning 86981 clauses out of 174056 with flag 21382988/3906000
223.76/220.79	c cleaning 87995 clauses out of 176075 with flag 21860441/3995000
229.37/226.45	c cleaning 89008 clauses out of 178080 with flag 22291379/4085000
235.35/232.48	c cleaning 90017 clauses out of 180073 with flag 22725368/4176001
243.00/240.07	c cleaning 91008 clauses out of 182055 with flag 23162378/4268000
249.51/246.56	c cleaning 91991 clauses out of 184048 with flag 23614075/4361001
255.80/252.88	c cleaning 92996 clauses out of 186056 with flag 24076317/4455000
262.18/259.39	c cleaning 93993 clauses out of 188061 with flag 24518523/4550001
268.57/265.71	c cleaning 95019 clauses out of 190069 with flag 24997890/4646002
274.89/272.11	c cleaning 95984 clauses out of 192049 with flag 25453953/4743001
281.81/278.96	c cleaning 97012 clauses out of 194064 with flag 25905470/4841000
289.02/286.20	c cleaning 98011 clauses out of 196052 with flag 26410547/4940000
295.51/292.77	c cleaning 98977 clauses out of 198042 with flag 26893981/5040001
303.70/300.99	c cleaning 99999 clauses out of 200064 with flag 27466688/5141000
311.39/308.51	c cleaning 100978 clauses out of 202065 with flag 27941079/5243000
319.93/317.20	c cleaning 102016 clauses out of 204093 with flag 28472905/5346006
326.88/324.13	c cleaning 103013 clauses out of 206071 with flag 28988515/5450000
334.15/331.40	c cleaning 103980 clauses out of 208059 with flag 29497144/5555001
342.62/339.90	c cleaning 105027 clauses out of 210079 with flag 30031385/5661001
349.94/347.32	c cleaning 105991 clauses out of 212051 with flag 30541214/5768000
358.12/355.59	c cleaning 107016 clauses out of 214060 with flag 31070884/5876000
366.22/363.62	c cleaning 107991 clauses out of 216045 with flag 31583276/5985001
374.14/371.56	c cleaning 108982 clauses out of 218053 with flag 32111814/6095000
382.48/379.99	c cleaning 110009 clauses out of 220071 with flag 32624551/6206000
390.19/387.68	c cleaning 110992 clauses out of 222062 with flag 33145710/6318000
397.88/395.30	c cleaning 112025 clauses out of 224070 with flag 33671007/6431000
405.77/403.28	c cleaning 112995 clauses out of 226045 with flag 34215583/6545000
413.65/411.23	c cleaning 113977 clauses out of 228050 with flag 34733113/6660000
421.91/419.48	c cleaning 115001 clauses out of 230074 with flag 35265679/6776001
430.20/427.73	c cleaning 115973 clauses out of 232074 with flag 35815411/6893002
438.49/436.05	c cleaning 117025 clauses out of 234101 with flag 36398953/7011002
447.61/445.20	c cleaning 118014 clauses out of 236074 with flag 36978483/7130000
456.11/453.77	c cleaning 119006 clauses out of 238061 with flag 37523023/7250001
465.78/463.43	c cleaning 120009 clauses out of 240055 with flag 38099507/7371001
475.62/473.30	c cleaning 120981 clauses out of 242045 with flag 38678437/7493000
485.72/483.43	c cleaning 122007 clauses out of 244068 with flag 39268003/7616004
497.49/495.16	c cleaning 123017 clauses out of 246058 with flag 39879259/7740001
507.59/505.50	c cleaning 123966 clauses out of 248040 with flag 40466063/7865000
516.97/514.81	c cleaning 124972 clauses out of 250074 with flag 41052925/7991000
525.82/523.68	c cleaning 126027 clauses out of 252103 with flag 41612559/8118001
535.73/533.60	c cleaning 127019 clauses out of 254077 with flag 42220315/8246002
545.19/543.11	c cleaning 128020 clauses out of 256056 with flag 42800540/8375000
555.41/553.23	c cleaning 128981 clauses out of 258036 with flag 43405896/8505000
566.58/564.55	c cleaning 129998 clauses out of 260055 with flag 44080103/8636000
576.67/574.64	c cleaning 131016 clauses out of 262058 with flag 44710554/8768001
588.71/586.66	c cleaning 131993 clauses out of 264041 with flag 45325168/8901000
599.70/597.66	c cleaning 133014 clauses out of 266048 with flag 45977816/9035000
610.64/608.59	c cleaning 133983 clauses out of 268034 with flag 46652357/9170000
622.41/620.22	c cleaning 135005 clauses out of 270052 with flag 47266626/9306001
634.34/632.14	c cleaning 135991 clauses out of 272047 with flag 47955089/9443001
645.71/643.47	c cleaning 136972 clauses out of 274055 with flag 48622012/9581000
657.81/655.65	c cleaning 138011 clauses out of 276085 with flag 49266625/9720002
670.75/668.59	c cleaning 139014 clauses out of 278072 with flag 49940890/9860000
682.25/680.03	c cleaning 139989 clauses out of 280059 with flag 50606579/10001001
694.24/692.03	c cleaning 141007 clauses out of 282072 with flag 51280553/10143003
705.49/703.22	c cleaning 141913 clauses out of 284064 with flag 51934225/10286002
717.87/715.67	c cleaning 142891 clauses out of 286150 with flag 52585531/10430001
729.60/727.36	c cleaning 143872 clauses out of 288259 with flag 53245175/10575001
741.38/739.04	c cleaning 144520 clauses out of 290386 with flag 53921798/10721000
753.84/751.57	c cleaning 146071 clauses out of 292866 with flag 54604278/10868000
766.01/763.50	c cleaning 146973 clauses out of 294795 with flag 55246848/11016000
779.61/777.10	c cleaning 147937 clauses out of 296826 with flag 55908067/11165004
791.75/789.18	c cleaning 148781 clauses out of 298886 with flag 56560228/11315001
805.71/803.05	c cleaning 149950 clauses out of 301104 with flag 57243112/11466000
818.57/815.93	c cleaning 150827 clauses out of 303155 with flag 57947416/11618001
834.18/831.58	c cleaning 152113 clauses out of 305327 with flag 58689328/11771000
847.06/844.43	c cleaning 152906 clauses out of 307214 with flag 59363619/11925000
861.31/858.68	c cleaning 153938 clauses out of 309308 with flag 60065460/12080000
875.00/872.32	c cleaning 154951 clauses out of 311371 with flag 60777564/12236001
889.14/886.41	c cleaning 155977 clauses out of 313420 with flag 61518264/12393001
901.84/899.18	c cleaning 156772 clauses out of 315442 with flag 62241309/12551000
914.90/912.17	c cleaning 157657 clauses out of 317671 with flag 62944282/12710001
930.17/927.47	c cleaning 159018 clauses out of 320018 with flag 63729820/12870005
944.28/941.67	c cleaning 159829 clauses out of 321995 with flag 64425719/13031000
958.02/955.39	c cleaning 160965 clauses out of 324166 with flag 65156968/13193000
972.65/970.01	c cleaning 161835 clauses out of 326201 with flag 65871274/13356000
986.85/984.13	c cleaning 162712 clauses out of 328366 with flag 66599882/13520000
1002.29/999.63	c cleaning 164048 clauses out of 330654 with flag 67359237/13685000
1016.31/1013.64	c cleaning 164782 clauses out of 332608 with flag 68086607/13851002
1031.21/1032.17	c cleaning 165790 clauses out of 334825 with flag 68861300/14018001
1047.12/1048.11	c cleaning 166921 clauses out of 337035 with flag 69646274/14186001
1064.43/1066.03	c cleaning 167784 clauses out of 339114 with flag 70466073/14355001
1080.34/1081.92	c cleaning 168834 clauses out of 341329 with flag 71228291/14525000
1096.14/1098.17	c cleaning 169909 clauses out of 343495 with flag 71962947/14696000
1111.16/1113.17	c cleaning 170819 clauses out of 345586 with flag 72716162/14868000
1126.65/1129.06	c cleaning 171718 clauses out of 347767 with flag 73470640/15041000
1141.70/1144.06	c cleaning 172826 clauses out of 350049 with flag 74243416/15215000
1160.69/1163.60	c cleaning 173832 clauses out of 352223 with flag 75058335/15390000
1176.18/1179.16	c cleaning 174858 clauses out of 354392 with flag 75825517/15566001
1192.48/1195.93	c cleaning 176035 clauses out of 356533 with flag 76602390/15743000
1209.99/1213.92	c cleaning 176863 clauses out of 358498 with flag 77394999/15921000
1227.04/1230.96	c cleaning 177821 clauses out of 360635 with flag 78186799/16100000
1244.33/1248.60	c cleaning 178885 clauses out of 362815 with flag 78954800/16280001
1262.78/1266.72	c cleaning 179936 clauses out of 364930 with flag 79802143/16461001
1278.64/1283.07	c cleaning 180718 clauses out of 366993 with flag 80653271/16643000
1295.21/1299.60	c cleaning 181718 clauses out of 369275 with flag 81472135/16826000
1312.58/1317.46	c cleaning 182868 clauses out of 371557 with flag 82285778/17010000
1330.30/1336.25	c cleaning 183575 clauses out of 373692 with flag 83101266/17195003
1348.46/1354.35	c cleaning 184912 clauses out of 376115 with flag 83906320/17381001
1365.56/1371.51	c cleaning 185774 clauses out of 378202 with flag 84698535/17568000
1382.99/1388.92	c cleaning 186626 clauses out of 380430 with flag 85501212/17756002
1402.55/1408.69	c cleaning 187656 clauses out of 382805 with flag 86361930/17945003
1421.02/1427.25	c cleaning 188933 clauses out of 385147 with flag 87227212/18135001
1439.15/1445.41	c cleaning 190058 clauses out of 387214 with flag 88096317/18326001
1471.16/1477.76	c cleaning 191173 clauses out of 389155 with flag 89177808/18518000
1494.86/1501.60	c cleaning 191952 clauses out of 390983 with flag 90040575/18711001
1513.24/1520.12	c cleaning 192662 clauses out of 393034 with flag 90881595/18905004
1532.87/1539.83	c cleaning 193933 clauses out of 395368 with flag 91736206/19100000
1553.26/1560.38	c cleaning 194810 clauses out of 397435 with flag 92660350/19296000
1571.90/1579.00	c cleaning 195602 clauses out of 399626 with flag 93508209/19493001
1593.89/1600.93	c cleaning 196681 clauses out of 402024 with flag 94393338/19691001
1613.43/1620.55	c cleaning 197768 clauses out of 404343 with flag 95274092/19890001
1632.62/1639.71	c cleaning 198530 clauses out of 406574 with flag 96156512/20090000
1652.29/1659.48	c cleaning 199661 clauses out of 409045 with flag 97077134/20291001
1673.33/1680.50	c cleaning 201236 clauses out of 411383 with flag 97998458/20493000
1694.27/1701.40	c cleaning 201624 clauses out of 413147 with flag 98917697/20696000
1714.52/1721.77	c cleaning 202723 clauses out of 415524 with flag 99810954/20900001
1734.86/1742.11	c cleaning 203657 clauses out of 417800 with flag 100723939/21105000
1755.76/1763.05	c cleaning 204683 clauses out of 420143 with flag 101653288/21311000
1776.82/1784.23	c cleaning 205693 clauses out of 422462 with flag 102601470/21518002
1798.62/1806.02	c cleaning 206889 clauses out of 424769 with flag 103522895/21726002
1821.16/1828.55	c cleaning 207944 clauses out of 426881 with flag 104488429/21935003
1847.77/1855.85	c cleaning 209046 clauses out of 428937 with flag 105531201/22145003
1872.71/1880.86	c cleaning 209895 clauses out of 430890 with flag 106477525/22356002
1898.21/1906.30	c cleaning 210942 clauses out of 432995 with flag 107442742/22568002
1920.12/1928.31	c cleaning 211657 clauses out of 435054 with flag 108426616/22781003
1943.99/1952.26	c cleaning 212727 clauses out of 437394 with flag 109372947/22995000
1966.65/1974.84	c cleaning 213770 clauses out of 439669 with flag 110384038/23210002
1992.71/2001.00	c cleaning 214742 clauses out of 441897 with flag 111352659/23426000
2014.85/2023.16	c cleaning 215770 clauses out of 444155 with flag 112301533/23643000
2037.28/2045.50	c cleaning 216270 clauses out of 446387 with flag 113314621/23861002
2061.06/2069.37	c cleaning 217880 clauses out of 449116 with flag 114297921/24080001
2086.59/2094.90	c cleaning 218673 clauses out of 451235 with flag 115293045/24300000
2115.45/2124.05	c cleaning 219467 clauses out of 453562 with flag 116347113/24521000
2141.38/2150.07	c cleaning 221017 clauses out of 456095 with flag 117407243/24743000
2166.21/2175.02	c cleaning 221961 clauses out of 458079 with flag 118371371/24966001
2191.16/2200.08	c cleaning 222839 clauses out of 460118 with flag 119336232/25190001
2216.17/2225.09	c cleaning 223718 clauses out of 462280 with flag 120339844/25415002
2241.98/2250.97	c cleaning 224782 clauses out of 464560 with flag 121391053/25641000
2267.98/2277.00	c cleaning 225920 clauses out of 466780 with flag 122408522/25868002
2292.54/2301.52	c cleaning 226775 clauses out of 468858 with flag 123381767/26096000
2320.78/2329.87	c cleaning 227852 clauses out of 471083 with flag 124433324/26325000
2347.10/2356.02	c cleaning 228563 clauses out of 473233 with flag 125419130/26555002
2375.00/2385.08	c cleaning 229725 clauses out of 475669 with flag 126439008/26786001
2404.91/2414.98	c cleaning 230777 clauses out of 477943 with flag 127477860/27018000
2431.61/2441.63	c cleaning 231905 clauses out of 480166 with flag 128524097/27251000
2462.96/2473.05	c cleaning 232986 clauses out of 482261 with flag 129656668/27485000
2489.95/2500.09	c cleaning 233660 clauses out of 484277 with flag 130700810/27720002
2520.68/2530.86	c cleaning 234925 clauses out of 486620 with flag 131777844/27956005
2547.68/2557.86	c cleaning 235834 clauses out of 488691 with flag 132813018/28193001
2577.97/2588.18	c cleaning 236700 clauses out of 490857 with flag 133885617/28431001
2605.50/2615.72	c cleaning 237658 clauses out of 493158 with flag 134958964/28670002
2633.91/2644.20	c cleaning 238755 clauses out of 495498 with flag 136041355/28910000
2667.09/2677.44	c cleaning 239482 clauses out of 497744 with flag 137180772/29151001
2694.61/2705.08	c cleaning 240615 clauses out of 500261 with flag 138172045/29393000
2724.20/2734.66	c cleaning 241643 clauses out of 502647 with flag 139211578/29636001
2754.19/2764.61	c cleaning 242929 clauses out of 505003 with flag 140317686/29880000
2783.63/2794.14	c cleaning 243691 clauses out of 507074 with flag 141388113/30125000
2812.06/2822.79	c cleaning 244462 clauses out of 509385 with flag 142512946/30371002
2841.25/2852.01	c cleaning 245530 clauses out of 511922 with flag 143621453/30618001
2872.85/2883.76	c cleaning 246695 clauses out of 514391 with flag 144710027/30866000
2902.89/2913.78	c cleaning 247501 clauses out of 516696 with flag 145790061/31115000
2935.18/2946.12	c cleaning 248902 clauses out of 519196 with flag 146943392/31365001
2965.73/2976.63	c cleaning 249836 clauses out of 521293 with flag 148043486/31616000
2998.33/3009.30	c cleaning 250732 clauses out of 523457 with flag 149151786/31868000
3030.85/3041.99	c cleaning 252031 clauses out of 525725 with flag 150319238/32121000
3065.44/3076.56	c cleaning 252893 clauses out of 527697 with flag 151468831/32375003
3098.25/3109.39	c cleaning 253510 clauses out of 529801 with flag 152599141/32630000
3129.78/3140.99	c cleaning 254639 clauses out of 532293 with flag 153659112/32886002
3161.56/3172.73	c cleaning 256016 clauses out of 534655 with flag 154787071/33143003
3194.94/3206.19	c cleaning 256869 clauses out of 536638 with flag 155896281/33401002
3236.12/3248.21	c cleaning 258022 clauses out of 538767 with flag 157200508/33660000
3268.25/3280.48	c cleaning 258881 clauses out of 540746 with flag 158304419/33920001
3299.92/3312.08	c cleaning 259752 clauses out of 542864 with flag 159431132/34181000
3334.35/3346.56	c cleaning 260623 clauses out of 545113 with flag 160578374/34443001
3371.84/3384.31	c cleaning 261344 clauses out of 547489 with flag 161820025/34706000
3404.24/3416.78	c cleaning 262599 clauses out of 550145 with flag 162959149/34970000
3438.68/3450.93	c cleaning 263930 clauses out of 552546 with flag 164113878/35235000
3476.63/3488.93	c cleaning 264775 clauses out of 554618 with flag 165377866/35501002
3519.94/3532.30	c cleaning 266003 clauses out of 556841 with flag 166727976/35768000
3553.37/3565.81	c cleaning 266581 clauses out of 558838 with flag 167867553/36036000
3584.67/3597.18	c cleaning 267783 clauses out of 561260 with flag 169021774/36305003
3600.06/3612.52	c starts		: 20906
3600.06/3612.52	c timeout
3600.06/3612.55	c conflicts		: 36445938
3600.06/3612.55	c decisions		: 56087231
3600.06/3612.55	c propagations		: 1281573045
3600.06/3612.55	c inspects		: 53468927758
3600.06/3612.55	c shortcuts		: 0
3600.06/3612.55	c learnt literals	: 0
3600.06/3612.55	c learnt binary clauses	: 20
3600.06/3612.55	c learnt ternary clauses	: 91
3600.06/3612.55	c learnt constraints	: 36445938
3600.06/3612.55	c ignored constraints	: 0
3600.06/3612.55	c root simplifications	: 0
3600.06/3612.55	c removed literals (reason simplification)	: 35677992
3600.06/3612.55	c reason swapping (by a shorter reason)	: 0
3600.06/3612.55	c Calls to reduceDB	: 265
3600.06/3612.55	c Number of update (reduction) of LBD	: 13473537
3600.06/3612.55	c Imported unit clauses	: 0
3600.06/3612.55	c No decision after first conflict	: false
3600.06/3612.55	c number of reductions to clauses (during analyze)	: 0
3600.06/3612.55	c number of learned constraints concerned by reduction	: 0
3600.06/3612.55	c number of learning phase by resolution	: 0
3600.06/3612.55	c number of learning phase by cutting planes	: 0
3600.06/3612.55	c number of rounding to 1 operations	: 0
3600.06/3612.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3612.55	c number of reductions of the coefficients by power 2 	: 0
3600.06/3612.55	c number of right shift for reduction by power 2 	: 0
3600.06/3612.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3612.55	c number of ending skipping 	: 0
3600.06/3612.55	c number of internal skipping 	: 0
3600.06/3612.55	c number of derivation steps 	: 0
3600.06/3612.55	c number of skipped derivation steps 	: 0
3600.06/3612.55	c number of remaining unassigned 	: 0
3600.06/3612.55	c number of remaining assigned 	: 0
3600.06/3612.55	c number of falsified literals weakened from reason	: 0
3600.06/3612.55	c number of falsified literals weakened from conflict	: 0
3600.06/3612.55	c time for arithmetic operations	: 0
3600.06/3612.55	c minimum degree of deleted constraints	: null
3600.06/3612.55	c maximum degree of deleted constraints	: null
3600.06/3612.55	c number of deleted constraints	: 0
3600.06/3612.55	c speed (assignments/second)	: 354842.03576626006
3600.06/3612.55	c non guided choices	: 3491290
3600.25/3612.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 434392
3600.25/3612.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 20
3600.25/3612.61	s UNKNOWN
3600.25/3612.61	c Total wall clock time (in seconds): 3612.271

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454092-1721843823/watcher-4454092-1721843823 -o /tmp/evaluation-result-4454092-1721843823/solver-4454092-1721843823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721843823-202549 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4454092-1721843823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454092-1721843823.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=202593, runsolver pid=202589

[startup+0.102556 s]*
/proc/loadavg: 1.13 1.31 2.23 16/319 202677
/proc/meminfo: memFree=126683548/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=18975048 memory=55420 CPUtime=0.13 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 6520 0 0 0 9 4 0 0 20 0 18 0 20371128 19430449152 13855 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4743762 13855 5546 1 0 550825 0
[pid=202593/tid=202599] ppid=202589 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 5412 0 0 0 6 3 0 0 20 0 18 0 20371129 19430449152 13855 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=18975048 memory=1361999 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 13855 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 13855 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55420 KiB

[startup+0.223265 s]*
/proc/loadavg: 1.13 1.31 2.23 14/320 202678
/proc/meminfo: memFree=126659404/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=18975048 memory=60052 CPUtime=0.31 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 7165 0 0 0 26 5 0 0 20 0 18 0 20371128 19430449152 15013 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4743762 15013 5555 1 0 551333 0
[pid=202593/tid=202599] ppid=202589 vsize=18975048 memory=664970851429515395 CPUtime=0.2 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 5724 0 0 0 17 3 0 0 20 0 18 0 20371129 19430449152 15013 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=18975048 memory=1361999 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 15013 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 15013 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60052 KiB

[startup+0.315594 s]*
/proc/loadavg: 1.13 1.31 2.23 12/320 202678
/proc/meminfo: memFree=126635560/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=18975048 memory=65988 CPUtime=0.46 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 7438 0 0 0 41 5 0 0 20 0 18 0 20371128 19430449152 16497 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4743762 16497 5701 1 0 551548 0
[pid=202593/tid=202599] ppid=202589 vsize=18975048 memory=-8889371647780037308 CPUtime=0.3 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 5902 0 0 0 26 4 0 0 20 0 18 0 20371129 19430449152 16497 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 16497 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 16497 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65988 KiB

[startup+0.700365 s]
/proc/loadavg: 1.13 1.31 2.23 1/320 202678
/proc/meminfo: memFree=126631904/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=18975048 memory=66072 CPUtime=0.5 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 7481 0 0 0 44 6 0 0 20 0 18 0 20371128 19430449152 16518 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4743762 16518 5701 1 0 551574 0
[pid=202593/tid=202599] ppid=202589 vsize=18975048 memory=5500 CPUtime=0.31 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) D 202589 202593 202537 0 -1 1078198336 5931 0 0 0 27 4 0 0 20 0 18 0 20371129 19430449152 16518 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=18975048 memory=11880 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20371135 19430449152 16518 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=18975048 memory=24172 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20371136 19430449152 16518 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66072 KiB

[startup+1.5076 s]
/proc/loadavg: 1.13 1.31 2.23 14/324 202682
/proc/meminfo: memFree=126594308/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19041612 memory=109684 CPUtime=2.03 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 12084 0 0 0 193 10 0 0 20 0 19 0 20371128 19498610688 27421 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4760403 27421 5805 1 0 554228 0
[pid=202593/tid=202599] ppid=202589 vsize=19041612 memory=11880 CPUtime=0.99 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 6109 0 0 0 93 6 0 0 20 0 19 0 20371129 19498610688 27421 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19041612 memory=24172 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20371135 19498610688 27421 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20371136 19498610688 27421 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19041612 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20371215 19498610688 27421 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109684 KiB

[startup+3.1062 s]
/proc/loadavg: 1.13 1.31 2.23 11/328 202686
/proc/meminfo: memFree=126147504/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=182260 CPUtime=5.19 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 22937 0 0 0 503 16 0 0 20 0 20 0 20371128 19566772224 45565 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 45565 5842 1 0 557325 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=0 CPUtime=2.54 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 7687 0 0 0 245 9 0 0 20 0 20 0 20371129 19566772224 45565 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=11880 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 45565 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=24172 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 45565 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=68552 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 45565 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182260 KiB

[startup+6.30058 s]
/proc/loadavg: 1.52 1.38 2.25 5/328 202686
/proc/meminfo: memFree=125242156/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=424476 CPUtime=9.67 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 25067 0 0 0 944 23 0 0 20 0 20 0 20371128 19566772224 106119 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 106119 5843 1 0 558131 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=11880 CPUtime=5.68 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 7915 0 0 0 552 16 0 0 20 0 20 0 20371129 19566772224 106119 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=-8526832977288340156 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 106119 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=7740677752464630098 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 106119 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 106119 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 424476 KiB

[startup+12.7003 s]
/proc/loadavg: 1.72 1.43 2.26 5/328 202688
/proc/meminfo: memFree=123960088/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=786736 CPUtime=17.23 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 34582 0 0 0 1687 36 0 0 20 0 20 0 20371128 19566772224 196684 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 196684 5859 1 0 558763 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=11412 CPUtime=11.98 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 9232 0 0 0 1171 27 0 0 20 0 20 0 20371129 19566772224 196684 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=786736 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 196684 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 196684 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=11880 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 196684 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 17.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 786736 KiB

[startup+25.5005 s]
/proc/loadavg: 2.30 1.57 2.29 5/328 202689
/proc/meminfo: memFree=121988296/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=1304932 CPUtime=29.99 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 38721 0 0 0 2947 52 0 0 20 0 20 0 20371128 19566772224 326233 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 326233 5859 1 0 558763 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=11880 CPUtime=24.62 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 11667 0 0 0 2420 42 0 0 20 0 20 0 20371129 19566772224 326233 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=-8526832977288340156 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 326233 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=790868 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 326233 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 326233 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 29.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1304932 KiB

[startup+51.1137 s]
/proc/loadavg: 2.96 1.78 2.35 5/328 202694
/proc/meminfo: memFree=120683996/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=1345912 CPUtime=55.2 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 43399 0 0 0 5455 65 0 0 20 0 20 0 20371128 19566772224 336478 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 336478 5859 1 0 558763 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=75588 CPUtime=49.62 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 13983 0 0 0 4908 54 0 0 20 0 20 0 20371129 19566772224 336478 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=1345912 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 336478 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 336478 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0

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

[startup+3282.3 s]
/proc/loadavg: 3.11 3.30 3.44 4/299 204117
/proc/meminfo: memFree=94748888/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2191308 CPUtime=3270.14 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 177297 0 0 0 325950 1064 0 0 20 0 20 0 20371128 19566772224 547827 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 547827 5859 1 0 561371 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=2191308 CPUtime=3222.3 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 75207 0 0 0 321352 878 0 0 20 0 20 0 20371129 19566772224 547827 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1992 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=2191308 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 547827 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=2191260 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 2677 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 547827 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=27004 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 547827 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3270.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2191308 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.27 3.42 4/299 204127
/proc/meminfo: memFree=94413976/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2191320 CPUtime=3330.16 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 181299 0 0 0 331937 1079 0 0 20 0 20 0 20371128 19566772224 547830 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 547830 5859 1 0 561371 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=2191320 CPUtime=3281.63 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 76541 0 0 0 327274 889 0 0 20 0 20 0 20371129 19566772224 547830 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2007 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=3470532 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 547830 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 2713 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 547830 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=2191320 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 547830 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3330.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2191320 KiB

[startup+3402.3 s]
/proc/loadavg: 3.10 3.24 3.40 4/299 204138
/proc/meminfo: memFree=94046676/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2191332 CPUtime=3389.76 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 182976 0 0 0 337880 1096 0 0 20 0 20 0 20371128 19566772224 547833 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 547833 5859 1 0 561371 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=16132 CPUtime=3340.7 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 77706 0 0 0 333166 904 0 0 20 0 20 0 20371129 19566772224 547833 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2046 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=2191320 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 547833 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 2761 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 547833 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=2191332 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 547833 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3389.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2191332 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.21 3.37 4/299 204148
/proc/meminfo: memFree=93670372/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2192680 CPUtime=3450.09 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 192030 0 0 0 343899 1110 0 0 20 0 20 0 20371128 19566772224 548170 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 548170 5859 1 0 561423 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=11412 CPUtime=3399.88 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 80408 0 0 0 339074 914 0 0 20 0 20 0 20371129 19566772224 548170 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2054 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=-4421386483262646119 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 548170 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=2191480 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 2828 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 548170 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=2191480 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 548170 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3450.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192680 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.20 3.36 4/298 204545
/proc/meminfo: memFree=93435440/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2193512 CPUtime=3510.01 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 194182 0 0 0 349877 1124 0 0 20 0 20 0 20371128 19566772224 548378 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 548378 5859 1 0 561423 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=2191480 CPUtime=3459.25 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 81632 0 0 0 345001 924 0 0 20 0 20 0 20371129 19566772224 548378 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2069 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=2191480 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 548378 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=2192680 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 2946 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 548378 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=2193512 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 548378 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3510.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193512 KiB

[startup+3582.3 s]
/proc/loadavg: 3.24 3.21 3.35 4/298 204557
/proc/meminfo: memFree=93049684/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2193516 CPUtime=3569.89 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 196002 0 0 0 355851 1138 0 0 20 0 20 0 20371128 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 548379 5859 1 0 561423 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=2193516 CPUtime=3518.6 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 82511 0 0 0 350924 936 0 0 20 0 20 0 20371129 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2088 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 2946 0 0 0 0 0 0 0 20 0 20 0 20371136 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3569.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 3.14 3.19 3.34 3/273 204590
/proc/meminfo: memFree=96321844/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19108176 memory=2193516 CPUtime=3600.06 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 196233 0 0 0 358860 1146 0 0 20 0 20 0 20371128 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4777044 548379 5859 1 0 561423 0
[pid=202593/tid=202599] ppid=202589 vsize=19108176 memory=11880 CPUtime=3548.52 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 82667 0 0 0 353909 943 0 0 20 0 20 0 20371129 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2095 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19108176 memory=2193516 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20371135 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19108176 memory=2193516 CPUtime=0.01 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 3008 0 0 0 0 1 0 0 20 0 20 0 20371136 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202681] ppid=202589 vsize=19108176 memory=32824 CPUtime=0 cores=1,3
/proc/202593/task/202681/stat : 202681 (Timer-0) S 202589 202593 202537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20371215 19566772224 548379 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.8 s, system=11.4885 s

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

[startup+3612.61 s]
/proc/loadavg: 3.14 3.19 3.34 3/273 204590
/proc/meminfo: memFree=96321844/131655788 swapFree=131070192/131071996
[pid=202593] ppid=202589 vsize=19307868 memory=2194160 CPUtime=3600.25 cores=1,3
/proc/202593/stat : 202593 (java) S 202589 202593 202537 0 -1 1077936128 198546 0 0 0 358878 1147 0 0 20 0 21 0 20371128 19771256832 548540 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
/proc/202593/statm: 4826967 548540 5859 1 0 562342 0
[pid=202593/tid=202599] ppid=202589 vsize=19307868 memory=-8526832977288340156 CPUtime=3548.56 cores=1,3
/proc/202593/task/202599/stat : 202599 (java) R 202589 202593 202537 0 -1 4194368 83007 0 0 0 353912 944 0 0 20 0 21 0 20371129 19771256832 548540 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2098 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202641] ppid=202589 vsize=19307868 memory=16132 CPUtime=0 cores=1,3
/proc/202593/task/202641/stat : 202641 (Finalizer) S 202589 202593 202537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 20371135 19771256832 548540 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
[pid=202593/tid=202660] ppid=202589 vsize=19307868 memory=2296 CPUtime=0.01 cores=1,3
/proc/202593/task/202660/stat : 202660 (Common-Cleaner) S 202589 202593 202537 0 -1 1077936192 3008 0 0 0 0 1 0 0 20 0 21 0 20371136 19771256832 548540 134679101440 94490979196928 94490979200624 140734992319616 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94490979208440 94490979209232 94490983395328 140734992327595 140734992327777 140734992327777 140734992334792 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2194160 KiB

Child status: 143

Real time (s): 3612.63
CPU time (s): 3600.29
CPU user time (s): 3588.8
CPU system time (s): 11.4885
CPU usage (%): 99.6583
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2194160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.8
system time used= 11.4885
maximum resident set size= 2195064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18452112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118979
involuntary context switches= 10975


# summary of solver processes directly reported to runsolver:
#   pid: 202593
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3588.8
#   total CPU system time (s): 11.4885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.6327 second user time and 31.2453 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 19:57:03
IDJOB=4454092
IDBENCH=176041
IDSOLVER=3079
FILE ID=nodeC002/4454092-1721843823
RUNJOBID= nodeC002-1721843823-202549
SLURM_JOB_ID= 7891590
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.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-4454092-1721843823/watcher-4454092-1721843823 -o /tmp/evaluation-result-4454092-1721843823/solver-4454092-1721843823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721843823-202549 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4454092-1721843823 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4454092-1721843823.opb

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

MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a
RANDOM SEED=1329748524

nodeC002.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		: 1197.171
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.43
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		: 1197.160
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.221
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.43
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.166
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.180
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.43
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		: 1197.163
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.174
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.43
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.171
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126817556 kB
MemAvailable:   129938312 kB
Buffers:          281304 kB
Cached:          3652556 kB
SwapCached:           72 kB
Active:          2248932 kB
Inactive:        2002916 kB
Active(anon):       1420 kB
Inactive(anon):   370456 kB
Active(file):    2247512 kB
Inactive(file):  1632460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:              1848 kB
Writeback:             0 kB
AnonPages:        316676 kB
Mapped:           103020 kB
Shmem:             53844 kB
KReclaimable:     161968 kB
Slab:             273860 kB
SReclaimable:     161968 kB
SUnreclaim:       111892 kB
KernelStack:        3652 kB
PageTables:         9016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     746868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC002 at 2024-07-24 20:57:16