Trace number 4454074

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.22 3603.49

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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	--- Begin Solver configuration ---
0.12/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	Learn all clauses as in MiniSAT
0.12/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	No reason simplification
0.12/0.12	Glucose 2.1 dynamic restart strategy
0.12/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	timeout=2147483s
0.12/0.12	DB Simplification allowed=false
0.12/0.12	Listener: none
0.12/0.12	--- End Solver configuration ---
0.12/0.12	c Pseudo Boolean Optimization by upper bound
0.12/0.12	c --- Begin Solver configuration ---
0.12/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	c Learn all clauses as in MiniSAT
0.12/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	c No reason simplification
0.12/0.12	c Glucose 2.1 dynamic restart strategy
0.12/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	c timeout=2147483s
0.12/0.12	c DB Simplification allowed=false
0.12/0.12	c Listener: none
0.12/0.12	c --- End Solver configuration ---
0.12/0.12	c solving HOME/instance-4454074-1721494156.opb
0.12/0.12	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.20	c ... done. Wall clock time 0.07s.
0.12/0.20	c declared #vars     2688
0.12/0.20	c #constraints  2815
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1134
0.12/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1681
0.12/0.20	c 2815 constraints processed.
0.90/0.53	c cleaning 2492 clauses out of 5002 with flag 24614/5002
1.27/0.72	c cleaning 4234 clauses out of 8509 with flag 54440/11001
1.45/0.88	c cleaning 5628 clauses out of 11274 with flag 93421/18000
1.80/1.04	c cleaning 6808 clauses out of 13647 with flag 135132/26001
2.05/1.26	c cleaning 7886 clauses out of 15839 with flag 184269/35001
2.42/1.46	c cleaning 8936 clauses out of 17953 with flag 234009/45001
3.01/1.72	c cleaning 9998 clauses out of 20017 with flag 305522/56001
3.22/2.00	c cleaning 10974 clauses out of 22018 with flag 375912/68000
3.62/2.33	c cleaning 11967 clauses out of 24044 with flag 455403/81000
3.92/2.69	c cleaning 13013 clauses out of 26078 with flag 538160/95001
4.42/3.18	c cleaning 14012 clauses out of 28065 with flag 635203/110001
5.15/3.71	c cleaning 15003 clauses out of 30052 with flag 740304/126000
5.48/4.09	c cleaning 15981 clauses out of 32049 with flag 834025/143000
6.30/4.85	c cleaning 16996 clauses out of 34068 with flag 971643/161000
7.00/5.56	c cleaning 18004 clauses out of 36073 with flag 1111482/180001
7.60/6.16	c cleaning 19005 clauses out of 38069 with flag 1236566/200001
8.19/6.73	c cleaning 20012 clauses out of 40064 with flag 1374714/221001
8.79/7.36	c cleaning 21008 clauses out of 42053 with flag 1508170/243002
9.50/8.02	c cleaning 21995 clauses out of 44045 with flag 1642191/266002
10.40/8.94	c cleaning 23001 clauses out of 46049 with flag 1790898/290001
11.10/9.60	c cleaning 24000 clauses out of 48047 with flag 1922740/315000
11.80/10.33	c cleaning 24971 clauses out of 50047 with flag 2064034/341000
12.60/11.16	c cleaning 26012 clauses out of 52077 with flag 2214514/368001
13.50/12.09	c cleaning 27017 clauses out of 54065 with flag 2376335/396001
14.65/13.02	c cleaning 27990 clauses out of 56048 with flag 2551029/425001
15.54/13.90	c cleaning 29002 clauses out of 58058 with flag 2720053/455001
16.44/14.86	c cleaning 29995 clauses out of 60056 with flag 2892733/486001
17.34/15.77	c cleaning 30995 clauses out of 62060 with flag 3070237/518000
18.44/16.89	c cleaning 32027 clauses out of 64065 with flag 3262178/551000
19.74/18.15	c cleaning 32993 clauses out of 66039 with flag 3480200/585001
20.83/19.28	c cleaning 33957 clauses out of 68045 with flag 3677862/620000
22.13/20.58	c cleaning 35017 clauses out of 70088 with flag 3879821/656000
23.33/21.76	c cleaning 36013 clauses out of 72073 with flag 4092123/693002
24.63/23.07	c cleaning 36991 clauses out of 74060 with flag 4316363/731002
26.42/24.88	c cleaning 38016 clauses out of 76068 with flag 4534634/770001
27.81/26.29	c cleaning 38974 clauses out of 78052 with flag 4762194/810001
29.31/27.76	c cleaning 40015 clauses out of 80079 with flag 4986959/851002
31.30/29.78	c cleaning 41022 clauses out of 82062 with flag 5242531/893000
33.00/31.41	c cleaning 41999 clauses out of 84040 with flag 5465087/936000
34.91/33.38	c cleaning 42980 clauses out of 86042 with flag 5714859/980001
36.80/35.27	c cleaning 43985 clauses out of 88061 with flag 5968917/1025000
38.70/37.13	c cleaning 45012 clauses out of 90076 with flag 6224442/1071000
40.70/39.11	c cleaning 46005 clauses out of 92064 with flag 6486396/1118000
42.40/40.88	c cleaning 47005 clauses out of 94061 with flag 6741003/1166002
44.30/42.80	c cleaning 47966 clauses out of 96054 with flag 7008208/1215000
46.19/44.68	c cleaning 49017 clauses out of 98088 with flag 7273185/1265000
48.39/46.82	c cleaning 50008 clauses out of 100071 with flag 7549522/1316000
50.64/49.01	c cleaning 50970 clauses out of 102063 with flag 7839326/1368000
52.93/51.20	c cleaning 52001 clauses out of 104093 with flag 8124840/1421000
55.53/53.89	c cleaning 52986 clauses out of 106093 with flag 8417335/1475001
58.12/56.41	c cleaning 54045 clauses out of 108107 with flag 8713102/1530001
61.22/59.56	c cleaning 55003 clauses out of 110061 with flag 9012835/1586000
63.61/61.97	c cleaning 55983 clauses out of 112059 with flag 9317067/1643001
66.25/64.56	c cleaning 56981 clauses out of 114078 with flag 9631391/1701003
68.64/66.96	c cleaning 58002 clauses out of 116094 with flag 9958589/1760000
71.23/69.59	c cleaning 59025 clauses out of 118092 with flag 10302142/1820000
73.73/72.10	c cleaning 60024 clauses out of 120067 with flag 10615284/1881000
77.12/75.44	c cleaning 60991 clauses out of 122043 with flag 10967568/1943000
79.76/78.06	c cleaning 62021 clauses out of 124053 with flag 11294177/2006001
82.85/81.19	c cleaning 62973 clauses out of 126033 with flag 11630700/2070002
85.74/84.09	c cleaning 63980 clauses out of 128059 with flag 11961531/2135001
88.92/87.24	c cleaning 65016 clauses out of 130078 with flag 12302935/2201000
91.86/90.11	c cleaning 66006 clauses out of 132063 with flag 12647055/2268001
94.75/93.07	c cleaning 67019 clauses out of 134057 with flag 12980354/2336001
97.94/96.25	c cleaning 67998 clauses out of 136037 with flag 13337991/2405000
101.74/100.00	c cleaning 68975 clauses out of 138039 with flag 13693532/2475000
105.33/103.60	c cleaning 69999 clauses out of 140065 with flag 14041157/2546001
108.42/106.70	c cleaning 70978 clauses out of 142065 with flag 14374982/2618000
111.82/110.14	c cleaning 72002 clauses out of 144087 with flag 14747677/2691000
116.20/114.51	c cleaning 73033 clauses out of 146086 with flag 15163720/2765001
120.32/118.67	c cleaning 74003 clauses out of 148052 with flag 15559779/2840000
124.02/122.33	c cleaning 74982 clauses out of 150050 with flag 15928589/2916001
128.22/126.51	c cleaning 75991 clauses out of 152067 with flag 16317692/2993000
132.63/130.97	c cleaning 77005 clauses out of 154078 with flag 16715148/3071002
136.62/134.94	c cleaning 78007 clauses out of 156071 with flag 17106216/3150000
140.71/139.07	c cleaning 79011 clauses out of 158065 with flag 17501449/3230001
144.50/142.86	c cleaning 79968 clauses out of 160054 with flag 17899680/3311001
148.92/147.25	c cleaning 81028 clauses out of 162085 with flag 18309071/3393000
153.91/152.28	c cleaning 82001 clauses out of 164057 with flag 18728752/3476000
158.20/156.59	c cleaning 83002 clauses out of 166057 with flag 19140846/3560001
162.74/161.06	c cleaning 83997 clauses out of 168055 with flag 19577722/3645001
167.53/165.88	c cleaning 84999 clauses out of 170057 with flag 20012894/3731000
171.82/170.11	c cleaning 86019 clauses out of 172058 with flag 20419293/3818000
176.41/174.73	c cleaning 87010 clauses out of 174041 with flag 20836383/3906002
181.81/180.19	c cleaning 87989 clauses out of 176029 with flag 21259049/3995000
187.32/185.61	c cleaning 89001 clauses out of 178040 with flag 21705094/4085000
192.91/191.23	c cleaning 90000 clauses out of 180039 with flag 22165869/4176000
197.99/196.35	c cleaning 91005 clauses out of 182039 with flag 22636114/4268000
203.08/201.46	c cleaning 92000 clauses out of 184034 with flag 23078756/4361000
208.41/206.73	c cleaning 92992 clauses out of 186035 with flag 23523736/4455001
213.20/211.55	c cleaning 93978 clauses out of 188043 with flag 23982124/4550001
218.99/217.35	c cleaning 95013 clauses out of 190065 with flag 24466598/4646001
224.78/223.18	c cleaning 96013 clauses out of 192053 with flag 24948486/4743002
231.32/229.67	c cleaning 96994 clauses out of 194040 with flag 25430369/4841002
237.00/235.35	c cleaning 97967 clauses out of 196044 with flag 25900638/4940000
242.99/241.30	c cleaning 98989 clauses out of 198079 with flag 26387105/5040002
248.28/246.69	c cleaning 100009 clauses out of 200089 with flag 26858541/5141001
254.18/252.59	c cleaning 101028 clauses out of 202081 with flag 27340019/5243002
260.15/258.59	c cleaning 102015 clauses out of 204052 with flag 27842961/5346001
266.21/264.57	c cleaning 103002 clauses out of 206038 with flag 28342044/5450002
272.40/270.73	c cleaning 103986 clauses out of 208035 with flag 28838809/5555001
279.18/277.55	c cleaning 105000 clauses out of 210049 with flag 29355419/5661001
285.88/284.21	c cleaning 105991 clauses out of 212049 with flag 29864810/5768001
291.96/290.38	c cleaning 107022 clauses out of 214057 with flag 30374252/5876000
298.82/297.13	c cleaning 107983 clauses out of 216036 with flag 30878953/5985001
305.10/303.44	c cleaning 109006 clauses out of 218052 with flag 31378891/6095000
311.50/309.87	c cleaning 110009 clauses out of 220046 with flag 31898083/6206000
318.69/317.10	c cleaning 110976 clauses out of 222038 with flag 32399839/6318001
325.77/324.18	c cleaning 112005 clauses out of 224061 with flag 32935438/6431000
332.75/331.14	c cleaning 112984 clauses out of 226056 with flag 33464958/6545000
339.88/338.20	c cleaning 114018 clauses out of 228073 with flag 33993588/6660001
346.58/344.93	c cleaning 115008 clauses out of 230057 with flag 34539041/6776003
354.26/352.68	c cleaning 115956 clauses out of 232046 with flag 35127437/6893000
361.64/360.10	c cleaning 117026 clauses out of 234092 with flag 35662815/7011002
369.33/367.73	c cleaning 118012 clauses out of 236066 with flag 36239672/7130002
377.02/375.41	c cleaning 119005 clauses out of 238052 with flag 36801558/7250000
384.60/383.02	c cleaning 119998 clauses out of 240049 with flag 37351672/7371002
392.93/391.32	c cleaning 120980 clauses out of 242049 with flag 37929726/7493000
400.72/399.18	c cleaning 122008 clauses out of 244069 with flag 38493428/7616000
409.19/407.69	c cleaning 122986 clauses out of 246063 with flag 39071874/7740002
417.66/416.15	c cleaning 124010 clauses out of 248077 with flag 39651535/7865002
426.84/425.38	c cleaning 124996 clauses out of 250066 with flag 40233679/7991001
435.32/433.80	c cleaning 125983 clauses out of 252069 with flag 40813793/8118000
443.40/441.98	c cleaning 127026 clauses out of 254090 with flag 41450476/8246004
452.98/451.51	c cleaning 127990 clauses out of 256063 with flag 42061535/8375003
463.07/461.68	c cleaning 129005 clauses out of 258070 with flag 42669220/8505000
473.84/472.47	c cleaning 130020 clauses out of 260066 with flag 43287115/8636001
484.71/483.36	c cleaning 131005 clauses out of 262046 with flag 43913059/8768001
493.79/492.49	c cleaning 132012 clauses out of 264040 with flag 44539259/8901000
503.66/502.39	c cleaning 132999 clauses out of 266028 with flag 45189555/9035000
512.67/511.20	c cleaning 134002 clauses out of 268029 with flag 45805087/9170000
522.14/520.78	c cleaning 134971 clauses out of 270028 with flag 46479220/9306001
531.31/529.95	c cleaning 136013 clauses out of 272056 with flag 47103196/9443000
541.00/539.68	c cleaning 136987 clauses out of 274045 with flag 47743906/9581002
549.78/548.42	c cleaning 137978 clauses out of 276057 with flag 48354737/9720001
559.85/558.53	c cleaning 139019 clauses out of 278078 with flag 49007220/9860000
570.22/568.90	c cleaning 140000 clauses out of 280061 with flag 49649449/10001002
580.50/579.26	c cleaning 140997 clauses out of 282060 with flag 50287374/10143001
592.19/590.97	c cleaning 142023 clauses out of 284062 with flag 51015649/10286000
603.08/601.96	c cleaning 142977 clauses out of 286040 with flag 51700656/10430001
614.86/613.73	c cleaning 144000 clauses out of 288063 with flag 52354687/10575001
624.84/623.72	c cleaning 144998 clauses out of 290062 with flag 53011478/10721000
635.42/634.30	c cleaning 145992 clauses out of 292064 with flag 53732324/10868000
647.00/645.94	c cleaning 146987 clauses out of 294072 with flag 54422435/11016000
658.08/657.04	c cleaning 147919 clauses out of 296086 with flag 55091655/11165001
669.97/668.90	c cleaning 149018 clauses out of 298166 with flag 55764718/11315000
681.67/680.35	c cleaning 149876 clauses out of 300149 with flag 56473278/11466001
693.65/692.33	c cleaning 150380 clauses out of 302272 with flag 57208944/11618000
705.12/703.87	c cleaning 151956 clauses out of 304892 with flag 57883086/11771000
717.53/716.22	c cleaning 153053 clauses out of 306936 with flag 58614625/11925000
732.69/731.46	c cleaning 153711 clauses out of 308883 with flag 59332088/12080000
744.58/743.38	c cleaning 154958 clauses out of 311173 with flag 60058659/12236001
756.56/755.36	c cleaning 156021 clauses out of 313214 with flag 60774238/12393000
774.72/773.52	c cleaning 157083 clauses out of 315195 with flag 61565106/12551002
789.47/788.27	c cleaning 157785 clauses out of 317111 with flag 62339650/12710001
801.55/800.33	c cleaning 158839 clauses out of 319326 with flag 63048999/12870001
813.62/812.41	c cleaning 159677 clauses out of 321487 with flag 63769913/13031001
826.90/825.73	c cleaning 161065 clauses out of 323809 with flag 64515246/13193000
840.18/839.04	c cleaning 161806 clauses out of 325747 with flag 65280013/13356003
857.64/856.53	c cleaning 162699 clauses out of 327939 with flag 66087727/13520001
870.91/869.85	c cleaning 164062 clauses out of 330241 with flag 66846807/13685002
884.38/883.38	c cleaning 164685 clauses out of 332177 with flag 67598000/13851000
897.86/896.80	c cleaning 165768 clauses out of 334495 with flag 68390274/14018003
910.32/909.26	c cleaning 166771 clauses out of 336725 with flag 69153424/14186001
926.18/925.13	c cleaning 168156 clauses out of 338954 with flag 69935689/14355001
942.33/941.30	c cleaning 169187 clauses out of 340797 with flag 70748445/14525000
956.59/955.66	c cleaning 169978 clauses out of 342610 with flag 71552900/14696000
971.65/970.75	c cleaning 170909 clauses out of 344632 with flag 72326908/14868000
987.81/986.97	c cleaning 171823 clauses out of 346723 with flag 73145042/15041000
1002.17/1001.39	c cleaning 172972 clauses out of 348900 with flag 73894092/15215000
1021.61/1020.89	c cleaning 174271 clauses out of 350930 with flag 74743624/15390002
1038.91/1038.04	c cleaning 175238 clauses out of 352657 with flag 75629702/15566000
1053.69/1052.88	c cleaning 175989 clauses out of 354421 with flag 76414274/15743002
1068.05/1067.29	c cleaning 176863 clauses out of 356432 with flag 77200378/15921002
1084.42/1083.68	c cleaning 177837 clauses out of 358569 with flag 78018625/16100002
1100.79/1100.08	c cleaning 178872 clauses out of 360732 with flag 78803682/16280002
1117.44/1116.73	c cleaning 179687 clauses out of 362859 with flag 79647042/16461001
1132.60/1131.91	c cleaning 180882 clauses out of 365171 with flag 80435427/16643000
1149.64/1148.97	c cleaning 181871 clauses out of 367292 with flag 81268023/16826003
1165.31/1164.60	c cleaning 182971 clauses out of 369419 with flag 82112417/17010001
1181.98/1181.31	c cleaning 184210 clauses out of 371448 with flag 82967393/17195001
1200.84/1200.22	c cleaning 184846 clauses out of 373238 with flag 83791839/17381001
1217.81/1217.29	c cleaning 186182 clauses out of 375393 with flag 84652996/17568002
1245.45/1244.97	c cleaning 187419 clauses out of 377209 with flag 85599934/17756000
1261.41/1260.96	c cleaning 187782 clauses out of 378793 with flag 86467731/17945003
1277.57/1277.08	c cleaning 188923 clauses out of 381008 with flag 87293430/18135000
1296.53/1296.07	c cleaning 189959 clauses out of 383086 with flag 88173800/18326001
1313.00/1312.50	c cleaning 190851 clauses out of 385126 with flag 89039632/18518000
1329.37/1328.97	c cleaning 191592 clauses out of 387275 with flag 89891263/18711000
1345.64/1345.23	c cleaning 192813 clauses out of 389683 with flag 90721300/18905000
1363.80/1363.45	c cleaning 193943 clauses out of 391870 with flag 91620758/19100000
1382.85/1382.57	c cleaning 194981 clauses out of 393928 with flag 92518205/19296001
1400.01/1399.73	c cleaning 195813 clauses out of 395946 with flag 93381039/19493000
1417.56/1417.37	c cleaning 197001 clauses out of 398133 with flag 94283287/19691000
1435.24/1434.98	c cleaning 197835 clauses out of 400133 with flag 95194818/19890001
1452.11/1451.85	c cleaning 198893 clauses out of 402297 with flag 96093930/20090000
1469.18/1468.96	c cleaning 199993 clauses out of 404404 with flag 96953010/20291000
1489.24/1489.02	c cleaning 200739 clauses out of 406413 with flag 97917641/20493002
1507.11/1506.96	c cleaning 201941 clauses out of 408672 with flag 98831440/20696000
1525.08/1524.99	c cleaning 202692 clauses out of 410733 with flag 99746323/20900002
1543.84/1543.73	c cleaning 204000 clauses out of 413039 with flag 100772381/21105000
1560.70/1560.69	c cleaning 204872 clauses out of 415040 with flag 101675948/21311001
1579.35/1579.31	c cleaning 205705 clauses out of 417169 with flag 102651414/21518002
1597.51/1597.56	c cleaning 206845 clauses out of 419462 with flag 103586089/21726000
1615.20/1615.17	c cleaning 208056 clauses out of 421618 with flag 104512753/21935001
1635.16/1635.19	c cleaning 208652 clauses out of 423562 with flag 105480192/22145001
1655.50/1655.54	c cleaning 209872 clauses out of 425909 with flag 106451996/22356000
1675.96/1676.03	c cleaning 210807 clauses out of 428037 with flag 107404887/22568000
1697.31/1697.48	c cleaning 211736 clauses out of 430234 with flag 108360343/22781004
1718.85/1719.06	c cleaning 212599 clauses out of 432494 with flag 109309329/22995000
1743.42/1743.51	c cleaning 214029 clauses out of 434895 with flag 110453232/23210000
1763.18/1763.32	c cleaning 214854 clauses out of 436869 with flag 111398604/23426003
1782.85/1783.04	c cleaning 215816 clauses out of 439014 with flag 112348526/23643002
1803.59/1803.85	c cleaning 216858 clauses out of 441196 with flag 113359159/23861000
1825.24/1825.52	c cleaning 217828 clauses out of 443338 with flag 114361352/24080000
1846.19/1846.50	c cleaning 218727 clauses out of 445511 with flag 115278946/24300001
1865.64/1866.10	c cleaning 219773 clauses out of 447783 with flag 116248158/24521000
1886.24/1886.21	c cleaning 220803 clauses out of 450013 with flag 117233262/24743003
1908.51/1908.50	c cleaning 221951 clauses out of 452207 with flag 118214945/24966000
1927.87/1927.99	c cleaning 222829 clauses out of 454258 with flag 119193229/25190002
1947.83/1947.99	c cleaning 223752 clauses out of 456428 with flag 120177738/25415001
1970.19/1970.37	c cleaning 224648 clauses out of 458675 with flag 121177581/25641000
1991.33/1991.55	c cleaning 225941 clauses out of 461027 with flag 122166952/25868000
2013.48/2013.74	c cleaning 226681 clauses out of 463086 with flag 123145092/26096000
2033.51/2033.75	c cleaning 227635 clauses out of 465407 with flag 124137434/26325002
2055.96/2056.21	c cleaning 228749 clauses out of 467770 with flag 125099433/26555000
2078.53/2078.88	c cleaning 229728 clauses out of 470022 with flag 126099129/26786001
2100.79/2101.19	c cleaning 230841 clauses out of 472293 with flag 127198206/27018000
2122.54/2122.90	c cleaning 231859 clauses out of 474452 with flag 128204685/27251000
2144.90/2145.38	c cleaning 232605 clauses out of 476596 with flag 129220954/27485003
2169.85/2170.34	c cleaning 233785 clauses out of 478988 with flag 130272852/27720000
2193.30/2193.85	c cleaning 234867 clauses out of 481204 with flag 131317976/27956001
2220.82/2221.47	c cleaning 235727 clauses out of 483336 with flag 132440419/28193000
2243.00/2243.55	c cleaning 236502 clauses out of 485609 with flag 133467553/28431000
2269.96/2270.57	c cleaning 237918 clauses out of 488107 with flag 134526256/28670000
2294.71/2295.31	c cleaning 238761 clauses out of 490189 with flag 135609407/28910000
2318.86/2319.51	c cleaning 239657 clauses out of 492431 with flag 136692361/29151003
2342.12/2342.88	c cleaning 240743 clauses out of 494772 with flag 137748442/29393001
2365.28/2366.06	c cleaning 241741 clauses out of 497028 with flag 138786968/29636000
2392.51/2393.31	c cleaning 242397 clauses out of 499287 with flag 139918656/29880000
2427.61/2428.50	c cleaning 243995 clauses out of 501891 with flag 141104720/30125001
2452.55/2453.53	c cleaning 244472 clauses out of 503895 with flag 142178022/30371000
2478.78/2479.87	c cleaning 245816 clauses out of 506423 with flag 143309040/30618000
2508.56/2509.50	c cleaning 246601 clauses out of 508607 with flag 144441986/30866000
2533.81/2534.86	c cleaning 247736 clauses out of 511006 with flag 145495138/31115000
2561.54/2562.69	c cleaning 248800 clauses out of 513271 with flag 146596685/31365001
2585.58/2586.78	c cleaning 249600 clauses out of 515473 with flag 147695960/31616003
2612.01/2613.23	c cleaning 250238 clauses out of 517872 with flag 148774063/31868002
2637.35/2638.68	c cleaning 251681 clauses out of 520633 with flag 149856511/32121001
2661.59/2662.96	c cleaning 252833 clauses out of 522951 with flag 150977506/32375000
2687.92/2689.31	c cleaning 253746 clauses out of 525118 with flag 152030158/32630000
2714.07/2715.55	c cleaning 254666 clauses out of 527373 with flag 153118479/32886001
2741.32/2742.79	c cleaning 255723 clauses out of 529706 with flag 154243093/33143000
2767.97/2769.59	c cleaning 256643 clauses out of 531984 with flag 155385152/33401001
2796.81/2798.45	c cleaning 257834 clauses out of 534342 with flag 156500599/33660002
2829.36/2831.04	c cleaning 259001 clauses out of 536506 with flag 157723982/33920000
2857.21/2858.97	c cleaning 259417 clauses out of 538505 with flag 158857423/34181000
2884.56/2886.39	c cleaning 260682 clauses out of 541090 with flag 160002099/34443002
2914.10/2915.98	c cleaning 261481 clauses out of 543406 with flag 161227083/34706000
2942.45/2944.22	c cleaning 262720 clauses out of 545925 with flag 162407621/34970000
2971.68/2973.56	c cleaning 263659 clauses out of 548207 with flag 163528438/35235002
2999.81/3001.71	c cleaning 264753 clauses out of 550546 with flag 164746562/35501000
3029.84/3031.85	c cleaning 265796 clauses out of 552794 with flag 165952247/35768001
3057.97/3060.06	c cleaning 266480 clauses out of 554997 with flag 167087243/36036000
3087.19/3089.37	c cleaning 267785 clauses out of 557519 with flag 168220275/36305002
3118.60/3120.88	c cleaning 268641 clauses out of 559732 with flag 169366279/36575000
3149.73/3152.03	c cleaning 269620 clauses out of 562092 with flag 170537723/36846001
3178.85/3181.21	c cleaning 270687 clauses out of 564471 with flag 171655312/37118000
3207.71/3210.09	c cleaning 271689 clauses out of 566784 with flag 172856167/37391000
3238.33/3240.78	c cleaning 272713 clauses out of 569096 with flag 174026442/37665001
3268.45/3270.98	c cleaning 273702 clauses out of 571383 with flag 175219239/37940001
3298.88/3301.45	c cleaning 274721 clauses out of 573680 with flag 176379105/38216000
3330.09/3332.71	c cleaning 275721 clauses out of 575959 with flag 177607012/38493000
3360.82/3363.58	c cleaning 276742 clauses out of 578238 with flag 178781487/38771000
3391.95/3394.71	c cleaning 277705 clauses out of 580497 with flag 179993861/39050001
3423.27/3426.12	c cleaning 278616 clauses out of 582791 with flag 181193983/39330000
3454.46/3457.34	c cleaning 279515 clauses out of 585177 with flag 182345009/39611002
3487.06/3490.12	c cleaning 280740 clauses out of 587660 with flag 183542242/39893000
3518.69/3521.88	c cleaning 281537 clauses out of 589920 with flag 184757976/40176000
3552.91/3556.16	c cleaning 282632 clauses out of 592383 with flag 186040123/40460000
3585.62/3589.00	c cleaning 283667 clauses out of 594753 with flag 187284415/40745002
3600.08/3603.41	c starts		: 22339
3600.08/3603.41	c timeout
3600.08/3603.41	c conflicts		: 40886503
3600.08/3603.41	c decisions		: 62717837
3600.08/3603.41	c propagations		: 1436136345
3600.08/3603.41	c inspects		: 61546659767
3600.08/3603.41	c shortcuts		: 0
3600.08/3603.41	c learnt literals	: 0
3600.08/3603.41	c learnt binary clauses	: 20
3600.08/3603.41	c learnt ternary clauses	: 79
3600.08/3603.41	c learnt constraints	: 40886503
3600.08/3603.41	c ignored constraints	: 0
3600.08/3603.41	c root simplifications	: 0
3600.08/3603.41	c removed literals (reason simplification)	: 0
3600.08/3603.41	c reason swapping (by a shorter reason)	: 0
3600.08/3603.41	c Calls to reduceDB	: 281
3600.08/3603.41	c Number of update (reduction) of LBD	: 14824485
3600.08/3603.41	c Imported unit clauses	: 0
3600.08/3603.41	c No decision after first conflict	: false
3600.08/3603.41	c number of reductions to clauses (during analyze)	: 0
3600.08/3603.42	c number of learned constraints concerned by reduction	: 0
3600.08/3603.42	c number of learning phase by resolution	: 0
3600.08/3603.42	c number of learning phase by cutting planes	: 0
3600.08/3603.42	c number of rounding to 1 operations	: 0
3600.08/3603.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3603.42	c number of reductions of the coefficients by power 2 	: 0
3600.08/3603.42	c number of right shift for reduction by power 2 	: 0
3600.08/3603.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3603.42	c number of ending skipping 	: 0
3600.08/3603.42	c number of internal skipping 	: 0
3600.08/3603.42	c number of derivation steps 	: 0
3600.08/3603.42	c number of skipped derivation steps 	: 0
3600.08/3603.42	c number of remaining unassigned 	: 0
3600.08/3603.42	c number of remaining assigned 	: 0
3600.08/3603.42	c number of falsified literals weakened from reason	: 0
3600.08/3603.42	c number of falsified literals weakened from conflict	: 0
3600.08/3603.42	c time for arithmetic operations	: 0
3600.08/3603.42	c minimum degree of deleted constraints	: null
3600.08/3603.42	c maximum degree of deleted constraints	: null
3600.08/3603.42	c number of deleted constraints	: 0
3600.08/3603.42	c speed (assignments/second)	: 398570.7060026376
3600.08/3603.42	c non guided choices	: 3767253
3600.08/3603.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 452567
3600.08/3603.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 20
3600.08/3603.48	s UNKNOWN
3600.08/3603.48	c Total wall clock time (in seconds): 3603.353

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61488 MiB free)
  memory of node 1: 64473 MiB (63358 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454074-1721494156/watcher-4454074-1721494156 -o /tmp/evaluation-result-4454074-1721494156/solver-4454074-1721494156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721494169-1077065 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4454074-1721494156.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1077114, runsolver pid=1077104

[startup+0.100459 s]*
/proc/loadavg: 3.87 4.10 4.09 6/323 1077193
/proc/meminfo: memFree=127669344/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=18975048 memory=64620 CPUtime=0.12 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 7056 0 0 0 11 1 0 0 20 0 18 0 201581758 19430449152 16155 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4743762 16155 5681 1 0 549319 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 1078198336 5634 0 0 0 7 1 0 0 20 0 18 0 201581759 19430449152 16155 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=18975048 memory=1676398 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201581761 19430449152 16155 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 201581762 19430449152 16155 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64620 KiB

[startup+0.215309 s]*
/proc/loadavg: 3.87 4.10 4.09 15/327 1077197
/proc/meminfo: memFree=127638832/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19041612 memory=73040 CPUtime=0.33 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 7507 0 0 0 31 2 0 0 20 0 19 0 201581758 19498610688 18260 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4760403 18260 5830 1 0 549892 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19041612 memory=8603368907145347203 CPUtime=0.17 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 1077936192 5846 0 0 0 16 1 0 0 20 0 19 0 201581759 19498610688 18260 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19041612 memory=1676398 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 18260 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 18260 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (java) R 1077104 1077114 1077052 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 201581779 19498610688 18260 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73040 KiB

[startup+0.305503 s]*
/proc/loadavg: 3.87 4.10 4.09 14/327 1077197
/proc/meminfo: memFree=127617852/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19041612 memory=79036 CPUtime=0.5 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 10853 0 0 0 48 2 0 0 20 0 19 0 201581758 19498610688 19759 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4760403 19759 5846 1 0 551436 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19041612 memory=-7306911702968068710 CPUtime=0.25 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 5860 0 0 0 24 1 0 0 20 0 19 0 201581759 19498610688 19759 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 19759 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 19759 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581779 19498610688 19759 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79036 KiB

[startup+0.701226 s]
/proc/loadavg: 4.44 4.21 4.13 14/327 1077197
/proc/meminfo: memFree=127583404/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19041612 memory=92052 CPUtime=1.27 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 13722 0 0 0 124 3 0 0 20 0 19 0 201581758 19498610688 23013 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4760403 23013 5862 1 0 553451 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19041612 memory=49836 CPUtime=0.64 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 6016 0 0 0 62 2 0 0 20 0 19 0 201581759 19498610688 23013 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 23013 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 23013 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19041612 memory=39476 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581779 19498610688 23013 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92052 KiB

[startup+1.50124 s]
/proc/loadavg: 4.44 4.21 4.13 7/327 1077197
/proc/meminfo: memFree=127529240/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19041612 memory=110620 CPUtime=2.62 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 21717 0 0 0 258 4 0 0 20 0 19 0 201581758 19498610688 27655 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4760403 27655 5878 1 0 554878 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19041612 memory=12420 CPUtime=1.44 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 6339 0 0 0 142 2 0 0 20 0 19 0 201581759 19498610688 27655 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 27655 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 27655 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19041612 memory=39476 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581779 19498610688 27655 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110620 KiB

[startup+3.1058 s]
/proc/loadavg: 4.44 4.21 4.13 7/328 1077198
/proc/meminfo: memFree=127327900/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19041612 memory=132292 CPUtime=4.42 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 23660 0 0 0 437 5 0 0 20 0 19 0 201581758 19498610688 33073 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4760403 33073 5883 1 0 555639 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19041612 memory=0 CPUtime=3.04 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 6589 0 0 0 301 3 0 0 20 0 19 0 201581759 19498610688 33073 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 33073 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19041612 memory=2020 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 33073 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581779 19498610688 33073 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132292 KiB

[startup+6.30025 s]
/proc/loadavg: 4.40 4.21 4.13 6/329 1077199
/proc/meminfo: memFree=127181792/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19041612 memory=157320 CPUtime=7.8 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 24488 0 0 0 774 6 0 0 20 0 19 0 201581758 19498610688 39330 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4760403 39330 5899 1 0 555640 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19041612 memory=12420 CPUtime=6.22 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 6959 0 0 0 619 3 0 0 20 0 19 0 201581759 19498610688 39330 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19041612 memory=2248 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 39330 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 39330 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581779 19498610688 39330 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157320 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 4.21 4.13 6/331 1077203
/proc/meminfo: memFree=126954936/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=192632 CPUtime=14.35 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 31674 0 0 0 1428 7 0 0 20 0 20 0 201581758 19566772224 48158 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 48158 5947 1 0 555929 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=190640 CPUtime=12.6 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 7852 0 0 0 1256 4 0 0 20 0 20 0 201581759 19566772224 48158 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 48158 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 48158 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 48158 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192632 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 4.20 4.13 6/331 1077204
/proc/meminfo: memFree=126622436/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=200948 CPUtime=27.11 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 34494 0 0 0 2703 8 0 0 20 0 20 0 201581758 19566772224 50237 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 50237 5947 1 0 555929 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=190640 CPUtime=25.33 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 8950 0 0 0 2529 4 0 0 20 0 20 0 201581759 19566772224 50237 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 50237 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=3509 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 50237 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 50237 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 200948 KiB

[startup+51.1059 s]
/proc/loadavg: 4.64 4.29 4.16 6/333 1077214
/proc/meminfo: memFree=125658920/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=318200 CPUtime=52.84 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 41861 0 0 0 5273 11 0 0 20 0 20 0 201581758 19566772224 79550 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 79550 5947 1 0 555929 0

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

/proc/meminfo: memFree=113947760/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=3219.98 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 156421 0 0 0 321877 121 0 0 20 0 20 0 201581758 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 545756 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=2182984 CPUtime=3210.51 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 73036 0 0 0 321035 16 0 0 20 0 20 0 201581759 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=2182984 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=2182984 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 3580 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=2182984 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3219.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183024 KiB

[startup+3282.3 s]
/proc/loadavg: 3.20 3.18 3.30 5/306 1079010
/proc/meminfo: memFree=113946948/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=3279.82 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 158063 0 0 0 327860 122 0 0 20 0 20 0 201581758 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 545756 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=11664 CPUtime=3270.34 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 74482 0 0 0 327018 16 0 0 20 0 20 0 201581759 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=49836 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 3664 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=19704 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3279.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183024 KiB

[startup+3342.3 s]
/proc/loadavg: 3.19 3.18 3.29 5/306 1079022
/proc/meminfo: memFree=113942244/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=3339.68 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 159475 0 0 0 333844 124 0 0 20 0 20 0 201581758 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 545756 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=49836 CPUtime=3330.17 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 75716 0 0 0 333001 16 0 0 20 0 20 0 201581759 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 3746 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3339.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183024 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.16 3.27 5/304 1079032
/proc/meminfo: memFree=113941684/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=3399.52 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 160741 0 0 0 339827 125 0 0 20 0 20 0 201581758 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 545756 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=2248 CPUtime=3390 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 76845 0 0 0 338984 16 0 0 20 0 20 0 201581759 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 3822 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 545756 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3399.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183024 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.14 3.26 6/304 1079043
/proc/meminfo: memFree=113938916/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=3459.41 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 162631 0 0 0 345815 126 0 0 20 0 20 0 201581758 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 546268 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=2248 CPUtime=3449.6 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 77992 0 0 0 344944 16 0 0 20 0 20 0 201581759 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 3903 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3459.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2185072 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.13 3.25 5/304 1079054
/proc/meminfo: memFree=113937788/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=3519.19 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 163637 0 0 0 351792 127 0 0 20 0 20 0 201581758 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 546268 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=2248 CPUtime=3509.36 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 78896 0 0 0 350920 16 0 0 20 0 20 0 201581759 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=2183024 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 3945 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=49836 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3519.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2185072 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.15 3.25 4/278 1079098
/proc/meminfo: memFree=123671776/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=3579.04 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 164860 0 0 0 357776 128 0 0 20 0 20 0 201581758 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 546268 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=3569.19 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 79976 0 0 0 356903 16 0 0 20 0 20 0 201581759 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 4026 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=-7306911702968265574 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3579.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2185072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.4 s]
/proc/loadavg: 2.98 3.11 3.23 5/278 1079101
/proc/meminfo: memFree=123671972/131524600 swapFree=131071996/131071996
[pid=1077114] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=3600.08 cores=5,7
/proc/1077114/stat : 1077114 (java) S 1077104 1077114 1077052 0 -1 1077936128 165158 0 0 0 359880 128 0 0 20 0 20 0 201581758 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
/proc/1077114/statm: 4777044 546268 5962 1 0 560201 0
[pid=1077114/tid=1077124] ppid=1077104 vsize=19108176 memory=3692 CPUtime=3590.23 cores=5,7
/proc/1077114/task/1077124/stat : 1077124 (java) R 1077104 1077114 1077052 0 -1 4194368 80268 0 0 0 359007 16 0 0 20 0 20 0 201581759 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077166] ppid=1077104 vsize=19108176 memory=49836 CPUtime=0 cores=5,7
/proc/1077114/task/1077166/stat : 1077166 (Finalizer) S 1077104 1077114 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077191] ppid=1077104 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/1077114/task/1077191/stat : 1077191 (Common-Cleaner) S 1077104 1077114 1077052 0 -1 1077936192 4026 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
[pid=1077114/tid=1077197] ppid=1077104 vsize=19108176 memory=2185072 CPUtime=0 cores=5,7
/proc/1077114/task/1077197/stat : 1077197 (Timer-0) S 1077104 1077114 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581779 19566772224 546268 134679101440 94052461248512 94052461252208 140727378838176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94052461260024 94052461260816 94052474253312 140727378846725 140727378846815 140727378846815 140727378853832 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2185072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.92 s, system=1.29967 s

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

Child status: 143

Real time (s): 3603.49
CPU time (s): 3600.22
CPU user time (s): 3598.92
CPU system time (s): 1.29967
CPU usage (%): 99.9093
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2185072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.92
system time used= 1.29967
maximum resident set size= 2185836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103107
involuntary context switches= 2972


# summary of solver processes directly reported to runsolver:
#   pid: 1077114
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.92
#   total CPU system time (s): 1.29967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44341 second user time and 17.1707 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 18:49:29
IDJOB=4454074
IDBENCH=176041
IDSOLVER=3058
FILE ID=nodeC026/4454074-1721494156
RUNJOBID= nodeC026-1721494169-1077065
SLURM_JOB_ID= 7545802
Free space on /tmp= 890084 MiB

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

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

MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a
RANDOM SEED=139930465

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3437.414
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3206.813
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3625.953
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3641.702
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3363.636
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3294.434
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3533.711
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.355
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127847148 kB
MemAvailable:   129714188 kB
Buffers:          617248 kB
Cached:          2079664 kB
SwapCached:            0 kB
Active:          1142560 kB
Inactive:        1890352 kB
Active(anon):       1448 kB
Inactive(anon):   380464 kB
Active(file):    1141112 kB
Inactive(file):  1509888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2196 kB
Writeback:             0 kB
AnonPages:        332776 kB
Mapped:           107516 kB
Shmem:             45912 kB
KReclaimable:     111728 kB
Slab:             226064 kB
SReclaimable:     111728 kB
SUnreclaim:       114336 kB
KernelStack:        3872 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     805804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC026 at 2024-07-20 19:49:32