Trace number 4459583

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 3601.9

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
MD5SUM47228ad0e480d217be544eac70443e44
Bench CategoryDEC-NLC (decision problem, non-linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.099991
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.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-4459583-1721932566.opb
0.12/0.12	c reading problem ... 
0.12/0.12	c  no objective function found
0.32/0.23	c ... done. Wall clock time 0.098s.
0.32/0.23	c declared #vars     200
0.32/0.23	c internal #vars     3238
0.32/0.23	c #constraints  6379
0.32/0.23	c constraints type 
0.32/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.32/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 203
0.32/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3038
0.32/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3038
0.32/0.23	c 6379 constraints processed.
1.28/0.76	c cleaning 2501 clauses out of 5005 with flag 12956/5005
1.81/1.04	c cleaning 4246 clauses out of 8500 with flag 27598/11001
2.14/1.30	c cleaning 5619 clauses out of 11253 with flag 47275/18000
2.46/1.63	c cleaning 6816 clauses out of 13638 with flag 69283/26004
2.92/2.00	c cleaning 7904 clauses out of 15821 with flag 91494/35003
3.46/2.40	c cleaning 8950 clauses out of 17915 with flag 115335/45001
3.86/2.81	c cleaning 9977 clauses out of 19965 with flag 142751/56001
4.27/3.28	c cleaning 10990 clauses out of 21989 with flag 175992/68002
4.92/3.86	c cleaning 11985 clauses out of 23997 with flag 211553/81000
5.52/4.41	c cleaning 12998 clauses out of 26012 with flag 245793/95000
6.47/5.36	c cleaning 14010 clauses out of 28020 with flag 305696/110006
8.04/6.76	c cleaning 15003 clauses out of 30005 with flag 371238/126001
9.49/8.17	c cleaning 15998 clauses out of 32001 with flag 443771/143000
10.92/9.58	c cleaning 17002 clauses out of 34003 with flag 522983/161000
12.65/11.20	c cleaning 17994 clauses out of 36001 with flag 598557/180000
14.65/13.20	c cleaning 19000 clauses out of 38007 with flag 691577/200000
16.50/15.08	c cleaning 20003 clauses out of 40008 with flag 783386/221001
18.39/16.99	c cleaning 20991 clauses out of 42005 with flag 867710/243001
20.90/19.42	c cleaning 22006 clauses out of 44015 with flag 974868/266002
23.78/22.35	c cleaning 23000 clauses out of 46008 with flag 1084050/290001
26.90/25.45	c cleaning 23992 clauses out of 48009 with flag 1208197/315002
30.27/28.86	c cleaning 25001 clauses out of 50015 with flag 1340613/341000
34.48/33.02	c cleaning 25996 clauses out of 52014 with flag 1474662/368000
38.84/37.43	c cleaning 26998 clauses out of 54018 with flag 1613546/396000
43.48/42.05	c cleaning 27992 clauses out of 56020 with flag 1737107/425000
49.20/47.76	c cleaning 29006 clauses out of 58029 with flag 1880757/455001
54.90/53.48	c cleaning 30002 clauses out of 60022 with flag 2051878/486000
60.80/59.37	c cleaning 31004 clauses out of 62024 with flag 2234457/518004
66.07/64.55	c cleaning 32002 clauses out of 64016 with flag 2372314/551000
72.75/71.22	c cleaning 32997 clauses out of 66014 with flag 2540686/585000
79.77/78.22	c cleaning 34000 clauses out of 68018 with flag 2747459/620001
86.60/85.03	c cleaning 34994 clauses out of 70018 with flag 2953510/656001
95.33/93.71	c cleaning 36005 clauses out of 72023 with flag 3129034/693000
104.30/102.74	c cleaning 37005 clauses out of 74019 with flag 3297713/731001
112.02/110.48	c cleaning 37994 clauses out of 76013 with flag 3474957/770000
119.61/118.01	c cleaning 39005 clauses out of 78020 with flag 3661439/810001
128.08/126.32	c cleaning 39994 clauses out of 80014 with flag 3798394/851000
134.39/132.64	c cleaning 41002 clauses out of 82020 with flag 3940117/893000
141.94/140.24	c cleaning 42000 clauses out of 84018 with flag 4103248/936000
150.67/148.98	c cleaning 43001 clauses out of 86020 with flag 4270533/980002
159.65/157.96	c cleaning 43997 clauses out of 88018 with flag 4475895/1025001
169.15/167.46	c cleaning 44997 clauses out of 90023 with flag 4720874/1071003
175.69/173.99	c cleaning 46004 clauses out of 92023 with flag 4905602/1118000
181.27/179.53	c cleaning 46998 clauses out of 94021 with flag 5063091/1166002
187.65/185.99	c cleaning 47998 clauses out of 96022 with flag 5219069/1215001
195.34/193.68	c cleaning 48999 clauses out of 98023 with flag 5445056/1265000
207.80/206.11	c cleaning 50004 clauses out of 100025 with flag 5680643/1316001
225.58/223.80	c cleaning 50994 clauses out of 102020 with flag 5914256/1368000
238.14/236.38	c cleaning 51999 clauses out of 104026 with flag 6107639/1421000
252.75/251.07	c cleaning 53005 clauses out of 106030 with flag 6369784/1475003
261.98/260.24	c cleaning 54006 clauses out of 108023 with flag 6580317/1530001
269.46/267.71	c cleaning 54992 clauses out of 110016 with flag 6832054/1586000
275.07/272.97	c cleaning 56008 clauses out of 112025 with flag 7026862/1643001
280.47/278.37	c cleaning 57004 clauses out of 114016 with flag 7249311/1701000
287.06/284.85	c cleaning 58003 clauses out of 116014 with flag 7481822/1760002
292.84/290.62	c cleaning 59002 clauses out of 118010 with flag 7706519/1820001
302.32/300.13	c cleaning 59996 clauses out of 120007 with flag 7959558/1881000
311.58/309.22	c cleaning 61000 clauses out of 122011 with flag 8219660/1943000
319.65/317.37	c cleaning 61996 clauses out of 124011 with flag 8485696/2006000
328.03/325.77	c cleaning 62998 clauses out of 126015 with flag 8776626/2070000
336.34/333.93	c cleaning 64000 clauses out of 128017 with flag 9056796/2135000
343.72/341.36	c cleaning 65000 clauses out of 130018 with flag 9318132/2201001
352.50/350.19	c cleaning 66000 clauses out of 132018 with flag 9604204/2268001
361.19/358.76	c cleaning 67003 clauses out of 134018 with flag 9891224/2336001
370.00/367.64	c cleaning 67992 clauses out of 136014 with flag 10154706/2405000
379.39/376.96	c cleaning 69004 clauses out of 138024 with flag 10410511/2475002
388.27/385.85	c cleaning 70001 clauses out of 140018 with flag 10666369/2546000
397.79/394.95	c cleaning 70999 clauses out of 142017 with flag 10928135/2618000
407.91/405.02	c cleaning 72003 clauses out of 144019 with flag 11211591/2691001
415.90/413.08	c cleaning 73003 clauses out of 146015 with flag 11492116/2765000
424.88/422.00	c cleaning 73999 clauses out of 148014 with flag 11747597/2840002
434.42/431.58	c cleaning 74998 clauses out of 150014 with flag 12039451/2916001
444.23/441.49	c cleaning 76001 clauses out of 152016 with flag 12313763/2993001
454.77/451.97	c cleaning 77007 clauses out of 154016 with flag 12575231/3071002
464.98/462.21	c cleaning 77999 clauses out of 156012 with flag 12850981/3150005
475.74/472.95	c cleaning 79000 clauses out of 158009 with flag 13142821/3230001
487.50/484.76	c cleaning 79988 clauses out of 160008 with flag 13461641/3311000
499.17/496.47	c cleaning 81001 clauses out of 162020 with flag 13765011/3393000
510.57/507.79	c cleaning 82000 clauses out of 164022 with flag 14065160/3476003
523.84/521.04	c cleaning 83002 clauses out of 166019 with flag 14382486/3560000
538.32/535.46	c cleaning 84003 clauses out of 168017 with flag 14732269/3645000
550.39/547.55	c cleaning 84997 clauses out of 170015 with flag 15073719/3731001
563.78/560.83	c cleaning 85998 clauses out of 172019 with flag 15401877/3818002
578.14/574.70	c cleaning 87003 clauses out of 174019 with flag 15715986/3906000
590.50/587.07	c cleaning 88001 clauses out of 176016 with flag 16010302/3995000
602.96/599.51	c cleaning 88987 clauses out of 178015 with flag 16311268/4085000
614.29/610.73	c cleaning 90000 clauses out of 180028 with flag 16657705/4176000
626.25/622.74	c cleaning 91013 clauses out of 182028 with flag 17010927/4268000
642.55/638.98	c cleaning 91986 clauses out of 184015 with flag 17422496/4361000
655.39/651.68	c cleaning 93013 clauses out of 186030 with flag 17773019/4455001
668.05/664.32	c cleaning 94006 clauses out of 188018 with flag 18114294/4550002
680.37/676.53	c cleaning 94997 clauses out of 190012 with flag 18492726/4646002
694.04/690.22	c cleaning 96000 clauses out of 192015 with flag 18846505/4743002
709.51/705.67	c cleaning 97003 clauses out of 194015 with flag 19225791/4841002
727.03/722.68	c cleaning 98003 clauses out of 196011 with flag 19622884/4940001
744.05/739.80	c cleaning 98999 clauses out of 198007 with flag 20024017/5040000
757.42/753.23	c cleaning 100002 clauses out of 200010 with flag 20372759/5141002
774.66/770.56	c cleaning 100997 clauses out of 202006 with flag 20806749/5243000
792.24/788.13	c cleaning 101994 clauses out of 204009 with flag 21199736/5346000
807.88/803.95	c cleaning 102997 clauses out of 206015 with flag 21577432/5450000
829.14/825.29	c cleaning 104005 clauses out of 208020 with flag 21980752/5555002
849.25/845.57	c cleaning 104989 clauses out of 210014 with flag 22455087/5661001
868.31/864.60	c cleaning 105996 clauses out of 212024 with flag 22883840/5768000
885.46/881.93	c cleaning 107015 clauses out of 214029 with flag 23328068/5876001
901.64/898.08	c cleaning 107998 clauses out of 216013 with flag 23728285/5985000
917.20/913.50	c cleaning 109006 clauses out of 218016 with flag 24101099/6095001
933.03/928.90	c cleaning 110001 clauses out of 220009 with flag 24532081/6206000
948.96/944.98	c cleaning 111001 clauses out of 222009 with flag 24993142/6318001
967.29/963.45	c cleaning 111999 clauses out of 224007 with flag 25452053/6431000
987.06/983.21	c cleaning 113001 clauses out of 226010 with flag 25957839/6545002
1001.54/997.83	c cleaning 114000 clauses out of 228008 with flag 26404499/6660001
1021.42/1017.88	c cleaning 114984 clauses out of 230007 with flag 26897937/6776000
1043.92/1040.54	c cleaning 116008 clauses out of 232025 with flag 27322793/6893002
1064.97/1061.50	c cleaning 117003 clauses out of 234015 with flag 27733573/7011000
1085.72/1082.41	c cleaning 117993 clauses out of 236014 with flag 28179909/7130002
1106.96/1103.55	c cleaning 119006 clauses out of 238019 with flag 28621737/7250000
1126.48/1122.78	c cleaning 120004 clauses out of 240013 with flag 29116191/7371000
1146.89/1142.56	c cleaning 120998 clauses out of 242011 with flag 29564845/7493002
1170.54/1166.33	c cleaning 121999 clauses out of 244011 with flag 29995419/7616000
1193.24/1189.20	c cleaning 122991 clauses out of 246014 with flag 30443781/7740002
1212.43/1208.52	c cleaning 124004 clauses out of 248021 with flag 30947398/7865000
1234.12/1230.23	c cleaning 125005 clauses out of 250017 with flag 31428309/7991000
1254.93/1251.26	c cleaning 125996 clauses out of 252012 with flag 31906182/8118000
1280.53/1276.95	c cleaning 126993 clauses out of 254016 with flag 32385594/8246000
1305.74/1302.24	c cleaning 128007 clauses out of 256023 with flag 32904481/8375000
1328.88/1325.22	c cleaning 129001 clauses out of 258016 with flag 33407504/8505000
1353.94/1350.28	c cleaning 129988 clauses out of 260016 with flag 33851395/8636001
1379.57/1375.98	c cleaning 131007 clauses out of 262027 with flag 34375607/8768000
1403.73/1400.05	c cleaning 132005 clauses out of 264020 with flag 34900565/8901000
1428.60/1424.81	c cleaning 133007 clauses out of 266019 with flag 35451235/9035004
1452.80/1448.61	c cleaning 134000 clauses out of 268010 with flag 36016693/9170002
1478.76/1474.85	c cleaning 134997 clauses out of 270009 with flag 36580738/9306001
1501.55/1497.89	c cleaning 135997 clauses out of 272012 with flag 37127889/9443001
1533.42/1529.85	c cleaning 136999 clauses out of 274014 with flag 37609512/9581000
1562.15/1558.86	c cleaning 138008 clauses out of 276019 with flag 38130082/9720004
1586.93/1583.67	c cleaning 138994 clauses out of 278008 with flag 38660721/9860001
1616.16/1613.13	c cleaning 139999 clauses out of 280013 with flag 39195377/10001000
1650.34/1647.25	c cleaning 141005 clauses out of 282014 with flag 39697488/10143000
1676.62/1673.34	c cleaning 141997 clauses out of 284009 with flag 40198470/10286000
1701.65/1698.41	c cleaning 142996 clauses out of 286012 with flag 40846510/10430000
1729.91/1726.60	c cleaning 144006 clauses out of 288017 with flag 41451888/10575001
1756.18/1752.92	c cleaning 145002 clauses out of 290010 with flag 42073615/10721000
1786.11/1783.16	c cleaning 145992 clauses out of 292008 with flag 42670121/10868000
1810.53/1807.68	c cleaning 146999 clauses out of 294016 with flag 43225365/11016000
1845.19/1842.48	c cleaning 148004 clauses out of 296017 with flag 43802977/11165000
1867.73/1864.14	c cleaning 149001 clauses out of 298013 with flag 44228278/11315000
1891.50/1888.10	c cleaning 149998 clauses out of 300012 with flag 44647473/11466000
1920.62/1917.20	c cleaning 150995 clauses out of 302014 with flag 45261428/11618000
1957.44/1954.31	c cleaning 152001 clauses out of 304020 with flag 45822251/11771001
1988.45/1985.46	c cleaning 152998 clauses out of 306019 with flag 46373941/11925001
2020.43/2017.57	c cleaning 153978 clauses out of 308020 with flag 46953458/12080000
2050.24/2047.45	c cleaning 155016 clauses out of 310042 with flag 47495527/12236000
2080.27/2077.78	c cleaning 156004 clauses out of 312026 with flag 48120892/12393000
2110.81/2108.37	c cleaning 157002 clauses out of 314022 with flag 48769686/12551000
2145.78/2143.26	c cleaning 158007 clauses out of 316021 with flag 49494150/12710001
2178.88/2176.23	c cleaning 158994 clauses out of 318014 with flag 50119336/12870001
2215.27/2211.90	c cleaning 159998 clauses out of 320019 with flag 50683170/13031000
2251.06/2247.97	c cleaning 161008 clauses out of 322021 with flag 51318633/13193000
2281.17/2278.31	c cleaning 162002 clauses out of 324014 with flag 51975252/13356001
2312.53/2309.88	c cleaning 162991 clauses out of 326011 with flag 52627135/13520000
2343.65/2341.28	c cleaning 164003 clauses out of 328021 with flag 53294892/13685001
2377.80/2375.61	c cleaning 164998 clauses out of 330017 with flag 53951756/13851000
2412.16/2410.21	c cleaning 165985 clauses out of 332019 with flag 54615231/14018000
2444.34/2442.31	c cleaning 167012 clauses out of 334034 with flag 55272044/14186000
2479.55/2477.63	c cleaning 168007 clauses out of 336024 with flag 55917780/14355002
2509.98/2508.12	c cleaning 168961 clauses out of 338015 with flag 56543220/14525000
2549.97/2548.24	c cleaning 170021 clauses out of 340054 with flag 57249703/14696000
2587.03/2585.66	c cleaning 171005 clauses out of 342033 with flag 57903076/14868000
2620.57/2619.38	c cleaning 172008 clauses out of 344028 with flag 58553599/15041000
2665.03/2664.10	c cleaning 172986 clauses out of 346020 with flag 59156780/15215000
2722.20/2721.79	c cleaning 174013 clauses out of 348034 with flag 59726180/15390000
2756.29/2755.92	c cleaning 175006 clauses out of 350021 with flag 60372077/15566000
2791.95/2791.86	c cleaning 175998 clauses out of 352015 with flag 61012331/15743000
2829.34/2829.45	c cleaning 176997 clauses out of 354018 with flag 61675182/15921001
2872.14/2871.48	c cleaning 178007 clauses out of 356020 with flag 62294938/16100000
2915.04/2914.43	c cleaning 179001 clauses out of 358014 with flag 62928971/16280001
2963.50/2962.85	c cleaning 180005 clauses out of 360019 with flag 63600106/16461007
3001.36/3000.61	c cleaning 180992 clauses out of 362008 with flag 64316932/16643001
3048.72/3048.01	c cleaning 182000 clauses out of 364015 with flag 65032208/16826000
3088.44/3087.94	c cleaning 182997 clauses out of 366023 with flag 65750027/17010008
3128.31/3128.01	c cleaning 183996 clauses out of 368018 with flag 66455145/17195000
3175.43/3175.44	c cleaning 184998 clauses out of 370022 with flag 67092102/17381000
3216.06/3216.44	c cleaning 186007 clauses out of 372025 with flag 67768437/17568001
3255.97/3256.64	c cleaning 187000 clauses out of 374017 with flag 68454874/17756000
3309.06/3310.07	c cleaning 188000 clauses out of 376017 with flag 69171623/17945000
3363.26/3364.79	c cleaning 189008 clauses out of 378018 with flag 69979106/18135001
3404.93/3406.64	c cleaning 189991 clauses out of 380009 with flag 70743345/18326000
3447.31/3449.25	c cleaning 191005 clauses out of 382019 with flag 71427898/18518001
3489.59/3491.08	c cleaning 192003 clauses out of 384017 with flag 72173496/18711004
3532.70/3534.47	c cleaning 192996 clauses out of 386010 with flag 72950380/18905000
3562.78/3564.43	c cleaning 193993 clauses out of 388014 with flag 73645380/19100000
3600.07/3601.81	c starts		: 24302
3600.07/3601.81	c timeout
3600.07/3601.82	c conflicts		: 19292217
3600.07/3601.82	c decisions		: 57015444
3600.07/3601.82	c propagations		: 472183408
3600.07/3601.82	c inspects		: 28127454948
3600.07/3601.82	c shortcuts		: 0
3600.07/3601.82	c learnt literals	: 0
3600.07/3601.82	c learnt binary clauses	: 0
3600.07/3601.82	c learnt ternary clauses	: 27957
3600.07/3601.82	c learnt constraints	: 19292217
3600.07/3601.82	c ignored constraints	: 0
3600.07/3601.82	c root simplifications	: 0
3600.07/3601.82	c removed literals (reason simplification)	: 0
3600.07/3601.82	c reason swapping (by a shorter reason)	: 0
3600.07/3601.82	c Calls to reduceDB	: 191
3600.07/3601.82	c Number of update (reduction) of LBD	: 6444448
3600.07/3601.82	c Imported unit clauses	: 0
3600.07/3601.82	c No decision after first conflict	: false
3600.07/3601.82	c number of reductions to clauses (during analyze)	: 0
3600.07/3601.82	c number of learned constraints concerned by reduction	: 0
3600.07/3601.82	c number of learning phase by resolution	: 0
3600.07/3601.82	c number of learning phase by cutting planes	: 0
3600.07/3601.82	c number of rounding to 1 operations	: 0
3600.07/3601.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3601.82	c number of reductions of the coefficients by power 2 	: 0
3600.07/3601.82	c number of right shift for reduction by power 2 	: 0
3600.07/3601.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3601.82	c number of ending skipping 	: 0
3600.07/3601.82	c number of internal skipping 	: 0
3600.07/3601.82	c number of derivation steps 	: 0
3600.07/3601.82	c number of skipped derivation steps 	: 0
3600.07/3601.82	c number of remaining unassigned 	: 0
3600.07/3601.82	c number of remaining assigned 	: 0
3600.07/3601.82	c number of falsified literals weakened from reason	: 0
3600.07/3601.82	c number of falsified literals weakened from conflict	: 0
3600.07/3601.82	c time for arithmetic operations	: 0
3600.07/3601.82	c minimum degree of deleted constraints	: null
3600.07/3601.82	c maximum degree of deleted constraints	: null
3600.07/3601.82	c number of deleted constraints	: 0
3600.07/3601.82	c speed (assignments/second)	: 131104.11704160745
3600.07/3601.82	c non guided choices	: 3096
3600.07/3601.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 386238
3600.07/3601.88	s UNKNOWN
3600.07/3601.88	c Total wall clock time (in seconds): 3601.757

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60642 MiB free)
  memory of node 1: 64510 MiB (60506 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=249137, runsolver pid=249134

[startup+0.100078 s]*
/proc/loadavg: 0.08 0.08 0.09 3/258 249155
/proc/meminfo: memFree=124015616/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=18975048 memory=63492 CPUtime=0.12 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 7210 0 0 0 10 2 0 0 20 0 18 0 29779515 19430449152 15873 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4743762 15873 5755 1 0 549318 0
[pid=249137/tid=249139] ppid=249134 vsize=18975048 memory=4026532033 CPUtime=0.08 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) D 249134 249137 249110 0 -1 1078198336 5748 0 0 0 6 2 0 0 20 0 18 0 29779515 19430449152 15873 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=18975048 memory=224227754321 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779518 19430449152 15873 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=18975048 memory=57398900627072 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29779518 19430449152 15873 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63492 KiB

[startup+0.206538 s]*
/proc/loadavg: 0.08 0.08 0.09 3/260 249159
/proc/meminfo: memFree=124003204/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=18975048 memory=75944 CPUtime=0.32 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 7709 0 0 0 29 3 0 0 20 0 18 0 29779515 19430449152 18986 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4743762 18986 5842 1 0 549637 0
[pid=249137/tid=249139] ppid=249134 vsize=18975048 memory=4027742194 CPUtime=0.17 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 1077936192 5934 0 0 0 15 2 0 0 20 0 18 0 29779515 19430449152 18986 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=18975048 memory=228523842826 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779518 19430449152 18986 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=18975048 memory=1121137 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29779518 19430449152 18986 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75944 KiB

[startup+0.307059 s]*
/proc/loadavg: 0.08 0.08 0.09 5/273 249179
/proc/meminfo: memFree=123961648/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19041612 memory=86376 CPUtime=0.51 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 9972 0 0 0 48 3 0 0 20 0 19 0 29779515 19498610688 21594 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4760403 21594 5842 1 0 551413 0
[pid=249137/tid=249139] ppid=249134 vsize=19041612 memory=-8671515483232248508 CPUtime=0.25 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 6008 0 0 0 23 2 0 0 20 0 19 0 29779515 19498610688 21594 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779518 19498610688 21594 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29779518 19498610688 21594 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779538 19498610688 21594 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86376 KiB

[startup+0.701061 s]
/proc/loadavg: 0.08 0.08 0.09 10/328 249252
/proc/meminfo: memFree=123845136/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19041612 memory=99256 CPUtime=1.28 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 10660 0 0 0 124 4 0 0 20 0 19 0 29779515 19498610688 24814 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4760403 24814 5842 1 0 552001 0
[pid=249137/tid=249139] ppid=249134 vsize=19041612 memory=68952 CPUtime=0.62 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 6021 0 0 0 60 2 0 0 20 0 19 0 29779515 19498610688 24814 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19041612 memory=13524 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779518 19498610688 24814 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29779518 19498610688 24814 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19041612 memory=1896 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779538 19498610688 24814 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99256 KiB

[startup+1.50023 s]
/proc/loadavg: 0.08 0.08 0.09 9/332 249256
/proc/meminfo: memFree=123672248/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19041612 memory=138872 CPUtime=2.36 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 12109 0 0 0 231 5 0 0 20 0 19 0 29779515 19498610688 34718 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4760403 34718 5842 1 0 552047 0
[pid=249137/tid=249139] ppid=249134 vsize=19041612 memory=13524 CPUtime=1.41 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 6429 0 0 0 138 3 0 0 20 0 19 0 29779515 19498610688 34718 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19041612 memory=7812993736096765285 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29779518 19498610688 34718 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19041612 memory=2212 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 29779518 19498610688 34718 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29779538 19498610688 34718 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138872 KiB

[startup+3.10574 s]
/proc/loadavg: 0.08 0.08 0.09 7/333 249257
/proc/meminfo: memFree=123448288/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=188912 CPUtime=4.18 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 16065 0 0 0 412 6 0 0 20 0 20 0 29779515 19566772224 47228 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 47228 5867 1 0 552936 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=2212 CPUtime=2.99 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 6807 0 0 0 296 3 0 0 20 0 20 0 29779515 19566772224 47228 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=103464 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 47228 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 47228 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=13524 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 47228 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188912 KiB

[startup+6.30021 s]
/proc/loadavg: 0.48 0.16 0.11 5/332 249262
/proc/meminfo: memFree=123239168/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=325100 CPUtime=7.63 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 18377 0 0 0 754 9 0 0 20 0 20 0 29779515 19566772224 81275 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 81275 5883 1 0 553113 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=0 CPUtime=6.08 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 6948 0 0 0 605 3 0 0 20 0 20 0 29779515 19566772224 81275 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=13524 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 81275 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=238292 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 81275 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=-8888532690276164284 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 81275 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 325100 KiB

[startup+12.7002 s]
/proc/loadavg: 0.76 0.23 0.14 5/332 249329
/proc/meminfo: memFree=122453720/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=378756 CPUtime=14.15 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 22852 0 0 0 1403 12 0 0 20 0 20 0 29779515 19566772224 94689 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 94689 5883 1 0 553113 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=378752 CPUtime=12.4 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 7821 0 0 0 1237 3 0 0 20 0 20 0 29779515 19566772224 94689 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=13524 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 94689 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 94689 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=248704 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 94689 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 378756 KiB

[startup+25.5011 s]
/proc/loadavg: 1.79 0.48 0.22 5/332 249330
/proc/meminfo: memFree=120835352/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=567296 CPUtime=27 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 25513 0 0 0 2683 17 0 0 20 0 20 0 29779515 19566772224 141824 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 141824 5883 1 0 553113 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=378752 CPUtime=24.94 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 8852 0 0 0 2491 3 0 0 20 0 20 0 29779515 19566772224 141824 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=-8888532690276164284 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 141824 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=325100 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 141824 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 141824 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 567296 KiB

[startup+51.1061 s]
/proc/loadavg: 2.86 0.84 0.35 7/332 249336
/proc/meminfo: memFree=118094692/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=770088 CPUtime=52.61 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 29380 0 0 0 5239 22 0 0 20 0 20 0 29779515 19566772224 192522 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 192522 5883 1 0 553113 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=0 CPUtime=50.19 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 9988 0 0 0 5015 4 0 0 20 0 20 0 29779515 19566772224 192522 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0

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

/proc/meminfo: memFree=89957404/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3221.98 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 215899 0 0 0 322008 190 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 967631 5883 1 0 979499 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=12156 CPUtime=3185.9 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 74929 0 0 0 318543 47 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=13524 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1896 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3221.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3870524 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.27 4.17 5/337 251199
/proc/meminfo: memFree=89953616/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3281.43 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 216228 0 0 0 327951 192 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 967631 5883 1 0 979499 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3245.31 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 75254 0 0 0 324484 47 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=5480 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1896 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3281.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3870524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.28 4.18 6/335 251210
/proc/meminfo: memFree=89953404/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3341.06 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 218233 0 0 0 333913 193 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 967631 5883 1 0 979499 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3304.54 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 76120 0 0 0 330407 47 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=2212 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1969 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3341.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3870524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.17 5/335 251221
/proc/meminfo: memFree=89952516/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3400.66 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 218571 0 0 0 339871 195 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 967631 5883 1 0 979499 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=2212 CPUtime=3363.79 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 76345 0 0 0 336332 47 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1969 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3400.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3870524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.22 4.17 5/335 251233
/proc/meminfo: memFree=89951772/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3460.28 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 219870 0 0 0 345832 196 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 967631 5883 1 0 979499 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=2212 CPUtime=3423.02 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 77387 0 0 0 342255 47 0 0 20 0 20 0 29779515 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1969 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=3870524 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 967631 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3460.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3870524 KiB

[startup+3522.3 s]
/proc/loadavg: 3.66 4.09 4.13 4/307 251276
/proc/meminfo: memFree=104366140/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=4121640 CPUtime=3520.7 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 224886 0 0 0 351867 203 0 0 20 0 20 0 29779515 19566772224 1030410 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 1030410 5883 1 0 1167655 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3482.17 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 78637 0 0 0 348167 50 0 0 20 0 20 0 29779515 19566772224 1030410 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=4121640 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 1030410 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=1936 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1994 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 1030410 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=4121640 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 1030410 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3520.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4121640 KiB

[startup+3582.3 s]
/proc/loadavg: 2.85 3.79 4.02 3/279 251320
/proc/meminfo: memFree=119157880/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=4490280 CPUtime=3580.63 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 225585 0 0 0 357851 212 0 0 20 0 20 0 29779515 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 1122570 5883 1 0 1167655 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=3870524 CPUtime=3541.59 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 79104 0 0 0 354103 56 0 0 20 0 20 0 29779515 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=4490280 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=4490280 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1995 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=2212 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3580.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4490280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.8 s]
/proc/loadavg: 2.69 3.69 3.99 3/279 251323
/proc/meminfo: memFree=119157712/131524600 swapFree=131061428/131071996
[pid=249137] ppid=249134 vsize=19108176 memory=4490280 CPUtime=3600.07 cores=0,2
/proc/249137/stat : 249137 (java) S 249134 249137 249110 0 -1 1077936128 225621 0 0 0 359794 213 0 0 20 0 20 0 29779515 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
/proc/249137/statm: 4777044 1122570 5883 1 0 1167655 0
[pid=249137/tid=249139] ppid=249134 vsize=19108176 memory=5516 CPUtime=3561.02 cores=0,2
/proc/249137/task/249139/stat : 249139 (java) R 249134 249137 249110 0 -1 4194368 79137 0 0 0 356046 56 0 0 20 0 20 0 29779515 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249148] ppid=249134 vsize=19108176 memory=16100 CPUtime=0 cores=0,2
/proc/249137/task/249148/stat : 249148 (Finalizer) S 249134 249137 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249155] ppid=249134 vsize=19108176 memory=2212 CPUtime=0 cores=0,2
/proc/249137/task/249155/stat : 249155 (Common-Cleaner) S 249134 249137 249110 0 -1 1077936192 1995 0 0 0 0 0 0 0 20 0 20 0 29779518 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
[pid=249137/tid=249160] ppid=249134 vsize=19108176 memory=-8888532690276164284 CPUtime=0 cores=0,2
/proc/249137/task/249160/stat : 249160 (Timer-0) S 249134 249137 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779538 19566772224 1122570 134679101440 94542893277184 94542893280880 140722859660480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94542893288696 94542893289488 94542897700864 140722859664390 140722859664480 140722859664480 140722859671496 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4490280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.07 s, system=2.14816 s

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

Child status: 143

Real time (s): 3601.9
CPU time (s): 3600.22
CPU user time (s): 3598.07
CPU system time (s): 2.14816
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4490280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.07
system time used= 2.14816
maximum resident set size= 4492204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110254
involuntary context switches= 37624


# summary of solver processes directly reported to runsolver:
#   pid: 249137
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.07
#   total CPU system time (s): 2.14816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6805 second user time and 18.1198 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 20:36:06
IDJOB=4459583
IDBENCH=148212
IDSOLVER=3058
FILE ID=nodeC022/4459583-1721932566
RUNJOBID= nodeC022-1721932566-249120
SLURM_JOB_ID= 8247070
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459583-1721932566/watcher-4459583-1721932566 -o /tmp/evaluation-result-4459583-1721932566/solver-4459583-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721932566-249120 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459583-1721932566.opb

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

MD5SUM BENCH= 47228ad0e480d217be544eac70443e44
RANDOM SEED=672496796

nodeC022.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		: 3456.777
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.87
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		: 1200.262
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3595.303
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.87
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		: 1200.431
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3600.135
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.87
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		: 1200.589
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3017.286
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.87
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		: 3250.122
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124057692 kB
MemAvailable:   129639180 kB
Buffers:          333700 kB
Cached:          5997260 kB
SwapCached:         1424 kB
Active:          2623320 kB
Inactive:        4075584 kB
Active(anon):       1808 kB
Inactive(anon):   419900 kB
Active(file):    2621512 kB
Inactive(file):  3655684 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              1100 kB
Writeback:             0 kB
AnonPages:        366296 kB
Mapped:           114716 kB
Shmem:             53732 kB
KReclaimable:     291972 kB
Slab:             415632 kB
SReclaimable:     291972 kB
SUnreclaim:       123660 kB
KernelStack:        3796 kB
PageTables:         9700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     659780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC022 at 2024-07-25 21:36:08