Trace number 4542978

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 2025-06-06? (TO) 3600.19 3604.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
MD5SUMf232403836dcde587a139eecc4d77a9a
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.086058
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables337
Total number of constraints170
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4542978-1753219626.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.17	c ... done. Wall clock time 0.028s.
0.12/0.17	c declared #vars     337
0.12/0.17	c #constraints  170
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 168
0.12/0.17	c 170 constraints processed.
0.69/0.44	c cleaning 2490 clauses out of 5002 with flag 15445/5002
1.25/0.74	c cleaning 4250 clauses out of 8510 with flag 37128/11000
1.66/0.95	c cleaning 5621 clauses out of 11260 with flag 56623/18000
1.86/1.08	c cleaning 6813 clauses out of 13639 with flag 80781/26000
2.19/1.23	c cleaning 7908 clauses out of 15826 with flag 112817/35000
2.30/1.38	c cleaning 8950 clauses out of 17920 with flag 144214/45002
2.60/1.57	c cleaning 9977 clauses out of 19968 with flag 182270/56000
2.90/1.80	c cleaning 10986 clauses out of 21992 with flag 224977/68001
3.10/2.09	c cleaning 11984 clauses out of 24006 with flag 271318/81001
3.50/2.42	c cleaning 12998 clauses out of 26021 with flag 317108/95000
3.90/2.82	c cleaning 13988 clauses out of 28023 with flag 370188/110000
4.20/3.12	c cleaning 15002 clauses out of 30035 with flag 422982/126000
4.53/3.43	c cleaning 16001 clauses out of 32037 with flag 479913/143004
4.95/3.83	c cleaning 16995 clauses out of 34033 with flag 548378/161001
5.27/4.19	c cleaning 18004 clauses out of 36038 with flag 613623/180001
5.66/4.56	c cleaning 19009 clauses out of 38033 with flag 679079/200000
6.17/5.06	c cleaning 19999 clauses out of 40024 with flag 751918/221000
6.67/5.54	c cleaning 20993 clauses out of 42025 with flag 825107/243000
7.36/6.20	c cleaning 22004 clauses out of 44034 with flag 906406/266002
7.97/6.87	c cleaning 22995 clauses out of 46028 with flag 990733/290000
8.57/7.42	c cleaning 24002 clauses out of 48033 with flag 1079373/315000
9.76/8.69	c cleaning 25002 clauses out of 50031 with flag 1187919/341000
10.86/9.72	c cleaning 25996 clauses out of 52029 with flag 1298998/368000
11.46/10.35	c cleaning 27003 clauses out of 54033 with flag 1404965/396000
12.66/11.58	c cleaning 28001 clauses out of 56032 with flag 1537775/425002
14.05/12.93	c cleaning 29003 clauses out of 58029 with flag 1679944/455000
15.05/13.97	c cleaning 29989 clauses out of 60026 with flag 1809435/486000
15.95/14.89	c cleaning 30996 clauses out of 62037 with flag 1927444/518000
17.55/16.48	c cleaning 32006 clauses out of 64041 with flag 2071313/551000
18.85/17.73	c cleaning 33001 clauses out of 66037 with flag 2213852/585002
20.05/18.96	c cleaning 34000 clauses out of 68034 with flag 2344366/620000
21.55/20.49	c cleaning 35008 clauses out of 70036 with flag 2474099/656002
22.84/21.73	c cleaning 36001 clauses out of 72029 with flag 2614613/693003
24.04/22.91	c cleaning 37000 clauses out of 74027 with flag 2763230/731002
25.94/24.89	c cleaning 37993 clauses out of 76025 with flag 2935376/770000
26.93/25.84	c cleaning 39000 clauses out of 78034 with flag 3065202/810002
28.06/26.94	c cleaning 39999 clauses out of 80032 with flag 3193052/851000
29.17/28.07	c cleaning 41000 clauses out of 82034 with flag 3333716/893001
30.96/29.81	c cleaning 42010 clauses out of 84034 with flag 3490269/936001
32.45/31.39	c cleaning 42991 clauses out of 86023 with flag 3658399/980000
33.75/32.68	c cleaning 44001 clauses out of 88035 with flag 3803414/1025003
37.54/36.45	c cleaning 45003 clauses out of 90032 with flag 4003584/1071001
40.57/39.46	c cleaning 46004 clauses out of 92028 with flag 4205173/1118000
42.07/41.00	c cleaning 46995 clauses out of 94025 with flag 4368083/1166001
43.57/42.48	c cleaning 48002 clauses out of 96029 with flag 4527133/1215000
45.06/43.93	c cleaning 49008 clauses out of 98029 with flag 4681828/1265002
46.66/45.50	c cleaning 49976 clauses out of 100019 with flag 4858655/1316000
48.96/47.80	c cleaning 51006 clauses out of 102044 with flag 5063420/1368001
50.59/49.43	c cleaning 52007 clauses out of 104038 with flag 5240348/1421001
52.30/51.12	c cleaning 53007 clauses out of 106030 with flag 5410512/1475000
53.99/52.86	c cleaning 54004 clauses out of 108026 with flag 5585878/1530003
56.08/54.92	c cleaning 54992 clauses out of 110019 with flag 5781942/1586000
58.18/57.09	c cleaning 55985 clauses out of 112028 with flag 5977206/1643001
60.61/59.44	c cleaning 57009 clauses out of 114042 with flag 6192760/1701000
62.90/61.74	c cleaning 58006 clauses out of 116035 with flag 6407354/1760002
65.50/64.34	c cleaning 58996 clauses out of 118027 with flag 6622803/1820000
67.79/66.68	c cleaning 60001 clauses out of 120033 with flag 6852931/1881002
69.99/68.86	c cleaning 61007 clauses out of 122031 with flag 7056336/1943001
72.92/71.72	c cleaning 62003 clauses out of 124025 with flag 7293252/2006002
75.22/74.00	c cleaning 62997 clauses out of 126020 with flag 7501915/2070000
77.51/76.35	c cleaning 63999 clauses out of 128024 with flag 7710778/2135001
80.20/79.08	c cleaning 64999 clauses out of 130024 with flag 7940354/2201000
82.69/81.57	c cleaning 66002 clauses out of 132026 with flag 8154597/2268001
85.32/84.17	c cleaning 66990 clauses out of 134023 with flag 8370402/2336000
88.91/87.75	c cleaning 67985 clauses out of 136034 with flag 8629410/2405001
91.80/90.68	c cleaning 69009 clauses out of 138049 with flag 8877694/2475001
94.49/93.39	c cleaning 70016 clauses out of 140040 with flag 9102003/2546001
98.01/96.87	c cleaning 71001 clauses out of 142024 with flag 9354275/2618001
100.90/99.74	c cleaning 71994 clauses out of 144022 with flag 9588849/2691000
104.30/103.14	c cleaning 72998 clauses out of 146030 with flag 9860530/2765002
107.19/106.01	c cleaning 73994 clauses out of 148032 with flag 10105257/2840002
110.42/109.24	c cleaning 75004 clauses out of 150038 with flag 10362028/2916002
113.41/112.22	c cleaning 76005 clauses out of 152033 with flag 10613881/2993001
117.70/116.50	c cleaning 76998 clauses out of 154028 with flag 10926316/3071001
122.19/121.02	c cleaning 78001 clauses out of 156030 with flag 11240418/3150001
127.11/125.97	c cleaning 79003 clauses out of 158029 with flag 11531986/3230001
130.40/129.24	c cleaning 80007 clauses out of 160027 with flag 11798471/3311002
134.59/133.48	c cleaning 80999 clauses out of 162018 with flag 12090969/3393000
138.12/136.98	c cleaning 81995 clauses out of 164019 with flag 12357085/3476000
142.41/141.21	c cleaning 82999 clauses out of 166024 with flag 12683047/3560000
145.90/144.79	c cleaning 83999 clauses out of 168027 with flag 12965203/3645002
149.69/148.54	c cleaning 84990 clauses out of 170027 with flag 13260200/3731001
153.89/152.73	c cleaning 86004 clauses out of 172036 with flag 13587181/3818000
158.08/156.90	c cleaning 87008 clauses out of 174032 with flag 13882422/3906000
162.18/161.04	c cleaning 87999 clauses out of 176025 with flag 14184923/3995001
166.56/165.44	c cleaning 88999 clauses out of 178025 with flag 14503263/4085000
170.85/169.71	c cleaning 89999 clauses out of 180027 with flag 14802910/4176001
175.78/174.60	c cleaning 90998 clauses out of 182028 with flag 15131380/4268001
180.18/179.06	c cleaning 91990 clauses out of 184031 with flag 15470196/4361002
184.57/183.49	c cleaning 93005 clauses out of 186041 with flag 15795631/4455002
189.16/188.10	c cleaning 94007 clauses out of 188034 with flag 16122415/4550000
193.95/192.85	c cleaning 94991 clauses out of 190027 with flag 16470228/4646000
200.54/199.44	c cleaning 96001 clauses out of 192036 with flag 16827090/4743000
205.85/204.76	c cleaning 96996 clauses out of 194035 with flag 17164796/4841000
211.84/210.77	c cleaning 98002 clauses out of 196039 with flag 17549712/4940000
218.72/217.63	c cleaning 99010 clauses out of 198039 with flag 17966141/5040002
224.13/223.06	c cleaning 100001 clauses out of 200027 with flag 18309166/5141000
229.22/228.11	c cleaning 101000 clauses out of 202028 with flag 18645648/5243002
234.66/233.54	c cleaning 102001 clauses out of 204026 with flag 18996812/5346000
243.16/242.08	c cleaning 103005 clauses out of 206026 with flag 19390837/5450001
248.64/247.59	c cleaning 103995 clauses out of 208022 with flag 19744247/5555002
254.03/252.95	c cleaning 104997 clauses out of 210027 with flag 20085804/5661002
259.92/258.89	c cleaning 105997 clauses out of 212029 with flag 20466896/5768001
266.21/265.12	c cleaning 106997 clauses out of 214031 with flag 20854462/5876000
272.45/271.35	c cleaning 107997 clauses out of 216034 with flag 21231889/5985000
278.15/277.08	c cleaning 109006 clauses out of 218039 with flag 21638430/6095002
284.83/283.72	c cleaning 110007 clauses out of 220033 with flag 22096766/6206002
290.61/289.51	c cleaning 110985 clauses out of 222024 with flag 22455871/6318000
296.90/295.88	c cleaning 112006 clauses out of 224039 with flag 22873931/6431000
304.88/303.81	c cleaning 112999 clauses out of 226034 with flag 23278783/6545001
317.11/316.02	c cleaning 113994 clauses out of 228034 with flag 23767678/6660000
323.39/322.33	c cleaning 115000 clauses out of 230043 with flag 24171539/6776003
332.18/331.17	c cleaning 116006 clauses out of 232041 with flag 24659501/6893001
339.55/338.50	c cleaning 116996 clauses out of 234034 with flag 25104203/7011000
346.94/345.92	c cleaning 118010 clauses out of 236038 with flag 25571219/7130000
354.04/353.04	c cleaning 119005 clauses out of 238029 with flag 26007788/7250001
362.00/360.91	c cleaning 119988 clauses out of 240023 with flag 26436437/7371000
372.08/371.07	c cleaning 121002 clauses out of 242035 with flag 26972737/7493000
379.66/378.67	c cleaning 121990 clauses out of 244033 with flag 27431328/7616000
387.05/386.05	c cleaning 123013 clauses out of 246043 with flag 27829610/7740000
395.42/394.43	c cleaning 123995 clauses out of 248032 with flag 28289858/7865002
403.41/402.43	c cleaning 125010 clauses out of 250035 with flag 28763636/7991000
411.36/410.33	c cleaning 126012 clauses out of 252025 with flag 29239435/8118000
419.34/418.36	c cleaning 127000 clauses out of 254015 with flag 29705094/8246002
427.42/426.43	c cleaning 127983 clauses out of 256013 with flag 30167363/8375000
439.69/438.70	c cleaning 128993 clauses out of 258033 with flag 30816515/8505003
447.77/446.82	c cleaning 130002 clauses out of 260038 with flag 31289853/8636001
455.65/454.74	c cleaning 130999 clauses out of 262035 with flag 31734389/8768000
464.11/463.15	c cleaning 131997 clauses out of 264036 with flag 32211910/8901000
473.58/472.60	c cleaning 133000 clauses out of 266039 with flag 32692632/9035000
483.26/482.38	c cleaning 134000 clauses out of 268041 with flag 33164552/9170002
493.15/492.26	c cleaning 135008 clauses out of 270041 with flag 33670450/9306002
502.13/501.21	c cleaning 135994 clauses out of 272031 with flag 34151086/9443000
511.02/510.18	c cleaning 137010 clauses out of 274037 with flag 34638494/9581000
521.08/520.27	c cleaning 137998 clauses out of 276027 with flag 35152101/9720000
530.87/530.07	c cleaning 139010 clauses out of 278029 with flag 35666331/9860000
541.93/541.18	c cleaning 139994 clauses out of 280019 with flag 36203185/10001000
552.00/551.21	c cleaning 140994 clauses out of 282027 with flag 36751429/10143002
561.58/560.83	c cleaning 142005 clauses out of 284031 with flag 37251942/10286000
572.76/572.06	c cleaning 142998 clauses out of 286026 with flag 37785207/10430000
598.22/597.45	c cleaning 144001 clauses out of 288028 with flag 38504757/10575000
615.28/614.54	c cleaning 144994 clauses out of 290028 with flag 39246740/10721001
625.25/624.58	c cleaning 146011 clauses out of 292035 with flag 39767994/10868002
636.63/635.99	c cleaning 146992 clauses out of 294024 with flag 40323570/11016002
646.60/645.99	c cleaning 147993 clauses out of 296030 with flag 40848130/11165000
657.18/656.53	c cleaning 149008 clauses out of 298038 with flag 41400596/11315001
668.15/667.58	c cleaning 149998 clauses out of 300029 with flag 41916123/11466000
678.92/678.35	c cleaning 150995 clauses out of 302031 with flag 42496565/11618000
690.83/689.82	c cleaning 152008 clauses out of 304036 with flag 43059325/11771000
701.30/700.39	c cleaning 152994 clauses out of 306029 with flag 43582135/11925001
713.46/712.53	c cleaning 154007 clauses out of 308035 with flag 44189015/12080001
724.94/724.09	c cleaning 154991 clauses out of 310027 with flag 44745883/12236000
736.21/735.39	c cleaning 156010 clauses out of 312037 with flag 45313821/12393001
747.48/746.61	c cleaning 156998 clauses out of 314026 with flag 45847255/12551000
760.60/759.70	c cleaning 157993 clauses out of 316028 with flag 46470233/12710000
773.98/773.16	c cleaning 159008 clauses out of 318035 with flag 47091238/12870000
786.75/785.98	c cleaning 160000 clauses out of 320027 with flag 47661279/13031000
805.40/804.63	c cleaning 160996 clauses out of 322028 with flag 48313565/13193001
816.66/815.95	c cleaning 161998 clauses out of 324032 with flag 48880451/13356001
829.43/828.74	c cleaning 163008 clauses out of 326033 with flag 49529249/13520000
842.40/841.79	c cleaning 163999 clauses out of 328025 with flag 50156709/13685000
854.37/853.74	c cleaning 164998 clauses out of 330027 with flag 50761294/13851001
870.41/869.73	c cleaning 165999 clauses out of 332028 with flag 51411098/14018000
884.58/883.95	c cleaning 167008 clauses out of 334030 with flag 52026474/14186001
897.05/896.49	c cleaning 167999 clauses out of 336022 with flag 52627091/14355001
916.42/915.84	c cleaning 168997 clauses out of 338022 with flag 53335673/14525000
930.28/929.77	c cleaning 170005 clauses out of 340026 with flag 53980632/14696001
943.74/943.27	c cleaning 170996 clauses out of 342021 with flag 54568928/14868001
958.01/957.52	c cleaning 172008 clauses out of 344027 with flag 55200025/15041003
971.47/970.92	c cleaning 173002 clauses out of 346017 with flag 55801737/15215001
985.04/984.57	c cleaning 173983 clauses out of 348016 with flag 56464080/15390002
998.92/998.48	c cleaning 175003 clauses out of 350031 with flag 57088307/15566000
1015.38/1014.96	c cleaning 175985 clauses out of 352028 with flag 57798379/15743000
1029.14/1028.71	c cleaning 177010 clauses out of 354043 with flag 58406854/15921000
1043.12/1042.76	c cleaning 177995 clauses out of 356033 with flag 59007123/16100000
1058.18/1057.82	c cleaning 179008 clauses out of 358040 with flag 59653998/16280002
1073.84/1073.46	c cleaning 180006 clauses out of 360031 with flag 60316766/16461001
1090.70/1090.34	c cleaning 181002 clauses out of 362024 with flag 61036937/16643000
1106.37/1106.06	c cleaning 181986 clauses out of 364024 with flag 61704640/16826002
1121.73/1121.44	c cleaning 183008 clauses out of 366037 with flag 62378450/17010001
1139.40/1139.12	c cleaning 184001 clauses out of 368028 with flag 63094047/17195000
1155.66/1155.40	c cleaning 185007 clauses out of 370027 with flag 63769980/17381000
1181.01/1180.87	c cleaning 186001 clauses out of 372023 with flag 64549105/17568003
1197.47/1197.29	c cleaning 187001 clauses out of 374021 with flag 65273934/17756002
1213.35/1213.12	c cleaning 187997 clauses out of 376018 with flag 65927390/17945000
1231.40/1231.23	c cleaning 188999 clauses out of 378021 with flag 66653412/18135000
1247.97/1247.87	c cleaning 189987 clauses out of 380022 with flag 67311911/18326000
1265.43/1265.31	c cleaning 191002 clauses out of 382035 with flag 68002724/18518000
1282.39/1282.38	c cleaning 192002 clauses out of 384034 with flag 68698317/18711001
1300.46/1300.46	c cleaning 193008 clauses out of 386033 with flag 69412528/18905002
1318.34/1318.23	c cleaning 194000 clauses out of 388024 with flag 70154007/19100001
1336.20/1336.12	c cleaning 195001 clauses out of 390025 with flag 70942004/19296002
1353.76/1353.72	c cleaning 195998 clauses out of 392023 with flag 71664594/19493001
1370.33/1370.39	c cleaning 196999 clauses out of 394024 with flag 72361527/19691000
1388.29/1388.33	c cleaning 198004 clauses out of 396028 with flag 73129598/19890003
1405.66/1405.78	c cleaning 198991 clauses out of 398024 with flag 73865523/20090003
1422.93/1423.04	c cleaning 200007 clauses out of 400031 with flag 74621038/20291001
1441.58/1441.73	c cleaning 200994 clauses out of 402023 with flag 75372016/20493000
1461.85/1462.02	c cleaning 201991 clauses out of 404029 with flag 76148195/20696000
1480.14/1480.21	c cleaning 203003 clauses out of 406038 with flag 76907352/20900000
1497.80/1497.94	c cleaning 204000 clauses out of 408037 with flag 77622114/21105002
1516.36/1516.54	c cleaning 205006 clauses out of 410037 with flag 78346589/21311002
1536.30/1536.55	c cleaning 206002 clauses out of 412031 with flag 79112671/21518002
1555.45/1555.76	c cleaning 206997 clauses out of 414027 with flag 79868536/21726000
1574.51/1574.88	c cleaning 208003 clauses out of 416030 with flag 80624147/21935000
1594.13/1594.41	c cleaning 208998 clauses out of 418028 with flag 81361235/22145001
1613.88/1614.26	c cleaning 209995 clauses out of 420032 with flag 82146398/22356003
1633.92/1634.31	c cleaning 211005 clauses out of 422034 with flag 82996443/22568000
1652.47/1652.93	c cleaning 212000 clauses out of 424030 with flag 83770727/22781001
1673.32/1673.85	c cleaning 212985 clauses out of 426029 with flag 84573187/22995000
1693.67/1694.25	c cleaning 214011 clauses out of 428044 with flag 85366160/23210000
1716.81/1717.41	c cleaning 215004 clauses out of 430033 with flag 86233377/23426000
1738.75/1739.45	c cleaning 216000 clauses out of 432032 with flag 87054841/23643003
1761.57/1762.28	c cleaning 217000 clauses out of 434029 with flag 87878947/23861000
1781.44/1782.19	c cleaning 218004 clauses out of 436031 with flag 88617252/24080002
1801.99/1802.76	c cleaning 218998 clauses out of 438026 with flag 89429430/24300001
1823.55/1824.30	c cleaning 219982 clauses out of 440028 with flag 90262624/24521001
1845.89/1846.73	c cleaning 221011 clauses out of 442046 with flag 91111700/24743001
1866.83/1867.76	c cleaning 222003 clauses out of 444035 with flag 91951294/24966001
1888.78/1889.75	c cleaning 223002 clauses out of 446033 with flag 92737409/25190002
1910.92/1911.99	c cleaning 224005 clauses out of 448029 with flag 93568818/25415000
1932.20/1932.78	c cleaning 225002 clauses out of 450024 with flag 94368636/25641000
1957.95/1958.54	c cleaning 225999 clauses out of 452022 with flag 95214212/25868000
1981.40/1982.10	c cleaning 227002 clauses out of 454024 with flag 96091595/26096001
2003.95/2004.68	c cleaning 228007 clauses out of 456021 with flag 96947347/26325000
2026.31/2027.03	c cleaning 228993 clauses out of 458014 with flag 97776687/26555000
2048.55/2049.38	c cleaning 230000 clauses out of 460021 with flag 98585413/26786000
2070.81/2071.67	c cleaning 230990 clauses out of 462021 with flag 99430353/27018000
2093.46/2094.31	c cleaning 231996 clauses out of 464032 with flag 100294512/27251001
2116.00/2116.84	c cleaning 232999 clauses out of 466035 with flag 101125907/27485000
2140.64/2141.55	c cleaning 234001 clauses out of 468037 with flag 101967382/27720001
2165.69/2166.65	c cleaning 235004 clauses out of 470036 with flag 102828685/27956001
2188.74/2189.75	c cleaning 235998 clauses out of 472033 with flag 103649958/28193002
2213.69/2214.79	c cleaning 237009 clauses out of 474034 with flag 104502717/28431001
2238.33/2239.45	c cleaning 237992 clauses out of 476024 with flag 105346297/28670000
2262.58/2263.72	c cleaning 239000 clauses out of 478033 with flag 106189124/28910001
2286.33/2287.55	c cleaning 239999 clauses out of 480032 with flag 107043863/29151000
2310.88/2312.19	c cleaning 240997 clauses out of 482033 with flag 107881611/29393000
2334.88/2336.15	c cleaning 242005 clauses out of 484036 with flag 108738451/29636000
2360.91/2362.22	c cleaning 243005 clauses out of 486032 with flag 109664576/29880001
2385.17/2386.53	c cleaning 244003 clauses out of 488026 with flag 110533974/30125000
2410.51/2411.96	c cleaning 245000 clauses out of 490023 with flag 111454781/30371000
2436.75/2438.21	c cleaning 245995 clauses out of 492024 with flag 112323354/30618001
2463.08/2464.65	c cleaning 247005 clauses out of 494028 with flag 113214094/30866000
2493.40/2495.08	c cleaning 247999 clauses out of 496023 with flag 114176486/31115000
2518.93/2520.60	c cleaning 248999 clauses out of 498026 with flag 115082037/31365002
2545.66/2547.40	c cleaning 250000 clauses out of 500025 with flag 115968245/31616000
2573.09/2574.92	c cleaning 251003 clauses out of 502025 with flag 116912348/31868000
2599.12/2601.04	c cleaning 251997 clauses out of 504022 with flag 117813635/32121000
2625.84/2627.88	c cleaning 253005 clauses out of 506026 with flag 118720649/32375001
2652.56/2654.50	c cleaning 253981 clauses out of 508020 with flag 119634560/32630000
2679.30/2681.34	c cleaning 255010 clauses out of 510039 with flag 120578340/32886000
2707.35/2709.42	c cleaning 256005 clauses out of 512032 with flag 121585859/33143003
2734.19/2736.37	c cleaning 257000 clauses out of 514029 with flag 122471700/33401005
2761.61/2763.89	c cleaning 257996 clauses out of 516025 with flag 123404836/33660001
2790.34/2792.61	c cleaning 258995 clauses out of 518028 with flag 124387083/33920000
2818.26/2820.63	c cleaning 260000 clauses out of 520033 with flag 125306916/34181000
2846.98/2849.48	c cleaning 261005 clauses out of 522035 with flag 126261386/34443002
2877.29/2879.80	c cleaning 261997 clauses out of 524029 with flag 127247589/34706001
2907.62/2910.21	c cleaning 263000 clauses out of 526031 with flag 128242620/34970000
2938.83/2941.52	c cleaning 263996 clauses out of 528031 with flag 129236785/35235000
2968.46/2971.26	c cleaning 265007 clauses out of 530036 with flag 130210361/35501001
2997.41/3000.19	c cleaning 265999 clauses out of 532030 with flag 131162551/35768002
3028.54/3031.37	c cleaning 267004 clauses out of 534029 with flag 132144945/36036000
3059.47/3062.39	c cleaning 267992 clauses out of 536025 with flag 133142761/36305000
3091.40/3094.39	c cleaning 269008 clauses out of 538034 with flag 134125462/36575001
3121.44/3124.46	c cleaning 269995 clauses out of 540027 with flag 135117411/36846002
3151.88/3154.96	c cleaning 271001 clauses out of 542030 with flag 136126877/37118000
3185.10/3188.27	c cleaning 271999 clauses out of 544030 with flag 137162829/37391001
3215.44/3218.63	c cleaning 273005 clauses out of 546031 with flag 138141871/37665001
3247.78/3251.05	c cleaning 274004 clauses out of 548027 with flag 139189883/37940002
3279.11/3282.46	c cleaning 274995 clauses out of 550021 with flag 140263276/38216000
3310.35/3313.75	c cleaning 275989 clauses out of 552026 with flag 141270289/38493000
3343.68/3347.17	c cleaning 277008 clauses out of 554038 with flag 142241015/38771001
3378.00/3381.54	c cleaning 277994 clauses out of 556029 with flag 143313088/39050000
3412.02/3415.60	c cleaning 278998 clauses out of 558036 with flag 144369680/39330001
3443.48/3447.01	c cleaning 280013 clauses out of 560038 with flag 145390198/39611001
3478.79/3482.47	c cleaning 280998 clauses out of 562024 with flag 146458039/39893000
3516.32/3520.05	c cleaning 281987 clauses out of 564026 with flag 147616338/40176000
3557.92/3561.70	c cleaning 283010 clauses out of 566039 with flag 148836923/40460000
3590.26/3594.19	c cleaning 284006 clauses out of 568031 with flag 149892369/40745002
3600.03/3603.91	c starts		: 43058
3600.03/3603.91	c timeout
3600.03/3603.91	c conflicts		: 40844715
3600.03/3603.91	c decisions		: 54323322
3600.03/3603.91	c propagations		: 447886181
3600.03/3603.91	c inspects		: 62710231264
3600.03/3603.91	c shortcuts		: 0
3600.03/3603.91	c learnt literals	: 0
3600.03/3603.91	c learnt binary clauses	: 0
3600.03/3603.92	c learnt ternary clauses	: 0
3600.03/3603.92	c learnt constraints	: 40844715
3600.03/3603.92	c ignored constraints	: 0
3600.03/3603.92	c root simplifications	: 0
3600.03/3603.92	c removed literals (reason simplification)	: 21689198
3600.03/3603.92	c reason swapping (by a shorter reason)	: 0
3600.03/3603.92	c Calls to reduceDB	: 281
3600.03/3603.92	c Number of update (reduction) of LBD	: 9664117
3600.03/3603.92	c Imported unit clauses	: 0
3600.03/3603.92	c No decision after first conflict	: false
3600.03/3603.92	c number of reductions to clauses (during analyze)	: 0
3600.03/3603.92	c number of learned constraints concerned by reduction	: 0
3600.03/3603.92	c number of learning phase by resolution	: 0
3600.03/3603.92	c number of learning phase by cutting planes	: 0
3600.03/3603.92	c number of rounding to 1 operations	: 0
3600.03/3603.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3603.92	c number of reductions of the coefficients by power 2 	: 0
3600.03/3603.92	c number of right shift for reduction by power 2 	: 0
3600.03/3603.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3603.92	c number of ending skipping 	: 0
3600.03/3603.92	c number of internal skipping 	: 0
3600.03/3603.92	c number of derivation steps 	: 0
3600.03/3603.92	c number of skipped derivation steps 	: 0
3600.03/3603.92	c number of remaining unassigned 	: 0
3600.03/3603.92	c number of remaining assigned 	: 0
3600.03/3603.92	c number of falsified literals weakened from reason	: 0
3600.03/3603.92	c number of falsified literals weakened from conflict	: 0
3600.03/3603.92	c time for arithmetic operations	: 0
3600.03/3603.92	c minimum degree of deleted constraints	: null
3600.03/3603.92	c maximum degree of deleted constraints	: null
3600.03/3603.92	c number of deleted constraints	: 0
3600.03/3603.92	c speed (assignments/second)	: 124283.57313949049
3600.03/3603.92	c non guided choices	: 1202860
3600.03/3603.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 383738
3600.03/3603.99	s UNKNOWN
3600.03/3603.99	c Total wall clock time (in seconds): 3603.844

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: 63708 MiB (61481 MiB free)
  memory of node 1: 64465 MiB (59975 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542978-1753219626/watcher-4542978-1753219626 -o /tmp/evaluation-result-4542978-1753219626/solver-4542978-1753219626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151459 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542978-1753219626.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=152541, runsolver pid=152538

[startup+0.10006 s]*
/proc/loadavg: 4.07 4.09 4.10 6/337 152559
/proc/meminfo: memFree=124340436/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18930384 memory=55456 CPUtime=0.12 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 6495 0 0 0 10 2 0 0 20 0 18 0 237641256 19384713216 13864 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4732596 13864 5359 1 0 547569 0
[pid=152541/tid=152543] ppid=152538 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 5001 0 0 0 6 1 0 0 20 0 18 0 237641257 19384713216 13864 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237641259 19384713216 13864 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18930384 memory=60684515961493 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237641259 19384713216 13864 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55456 KiB

[startup+0.205745 s]*
/proc/loadavg: 4.07 4.09 4.10 7/338 152560
/proc/meminfo: memFree=124334324/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18996948 memory=62196 CPUtime=0.3 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 7085 0 0 0 28 2 0 0 20 0 19 0 237641256 19452874752 15549 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4749237 15549 5455 1 0 548264 0
[pid=152541/tid=152543] ppid=152538 vsize=18996948 memory=4026925340 CPUtime=0.15 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 5303 0 0 0 14 1 0 0 20 0 19 0 237641257 19452874752 15549 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18996948 memory=2573 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 15549 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18996948 memory=59585004307431 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 15549 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237641274 19452874752 15549 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62196 KiB

[startup+0.305718 s]*
/proc/loadavg: 4.07 4.09 4.10 6/338 152560
/proc/meminfo: memFree=124330304/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18996948 memory=66328 CPUtime=0.49 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 8865 0 0 0 47 2 0 0 20 0 19 0 237641256 19452874752 16582 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4749237 16582 5455 1 0 549214 0
[pid=152541/tid=152543] ppid=152538 vsize=18996948 memory=-8600297946126000828 CPUtime=0.25 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 5317 0 0 0 24 1 0 0 20 0 19 0 237641257 19452874752 16582 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 16582 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 16582 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237641274 19452874752 16582 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66328 KiB

[startup+0.700212 s]
/proc/loadavg: 4.07 4.09 4.10 6/338 152560
/proc/meminfo: memFree=124315876/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18996948 memory=86192 CPUtime=1.25 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 15141 0 0 0 122 3 0 0 20 0 19 0 237641256 19452874752 21548 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4749237 21548 5455 1 0 552541 0
[pid=152541/tid=152543] ppid=152538 vsize=18996948 memory=27392 CPUtime=0.63 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 5374 0 0 0 62 1 0 0 20 0 19 0 237641257 19452874752 21548 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 21548 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 21548 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237641274 19452874752 21548 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86192 KiB

[startup+1.50022 s]
/proc/loadavg: 4.07 4.09 4.10 6/338 152560
/proc/meminfo: memFree=124315120/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18996948 memory=98876 CPUtime=2.6 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 18293 0 0 0 256 4 0 0 20 0 19 0 237641256 19452874752 24719 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4749237 24719 5455 1 0 552545 0
[pid=152541/tid=152543] ppid=152538 vsize=18996948 memory=0 CPUtime=1.43 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 5694 0 0 0 141 2 0 0 20 0 19 0 237641257 19452874752 24719 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 24719 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 24719 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237641274 19452874752 24719 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98876 KiB

[startup+3.10551 s]
/proc/loadavg: 4.06 4.08 4.10 5/338 152560
/proc/meminfo: memFree=124269860/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18996948 memory=121532 CPUtime=4.2 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 18946 0 0 0 416 4 0 0 20 0 19 0 237641256 19452874752 30383 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4749237 30383 5455 1 0 552547 0
[pid=152541/tid=152543] ppid=152538 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 5973 0 0 0 300 2 0 0 20 0 19 0 237641257 19452874752 30383 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18996948 memory=-8600297946126000828 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 30383 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 30383 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237641274 19452874752 30383 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121532 KiB

[startup+6.30021 s]
/proc/loadavg: 4.06 4.08 4.10 4/315 152570
/proc/meminfo: memFree=124369672/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=18996948 memory=160112 CPUtime=7.47 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 19793 0 0 0 741 6 0 0 20 0 19 0 237641256 19452874752 40028 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4749237 40028 5455 1 0 552547 0
[pid=152541/tid=152543] ppid=152538 vsize=18996948 memory=0 CPUtime=6.21 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 6311 0 0 0 618 3 0 0 20 0 19 0 237641257 19452874752 40028 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 40028 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237641259 19452874752 40028 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=18996948 memory=100924 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237641274 19452874752 40028 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.10 5/339 152627
/proc/meminfo: memFree=124147932/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=176944 CPUtime=13.85 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 21325 0 0 0 1379 6 0 0 20 0 20 0 237641256 19521036288 44236 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 44236 5487 1 0 552836 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=100924 CPUtime=12.58 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 6747 0 0 0 1255 3 0 0 20 0 20 0 237641257 19521036288 44236 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 44236 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 44236 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=-8600297946126000828 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 44236 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176944 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.10 5/339 152627
/proc/meminfo: memFree=123987952/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=185320 CPUtime=26.64 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 23676 0 0 0 2657 7 0 0 20 0 20 0 237641256 19521036288 46330 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 46330 5519 1 0 552836 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=0 CPUtime=25.32 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 7494 0 0 0 2529 3 0 0 20 0 20 0 237641257 19521036288 46330 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 46330 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=-8600297946126000828 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 46330 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 46330 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 26.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185320 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.09 4.10 5/339 152628
/proc/meminfo: memFree=123666232/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=300540 CPUtime=52.3 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 25402 0 0 0 5220 10 0 0 20 0 20 0 237641256 19521036288 75135 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 75135 5519 1 0 552852 0

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

/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1764 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3219.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172348 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 152812
/proc/meminfo: memFree=111188332/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2172348 CPUtime=3279.01 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 86295 0 0 0 327798 103 0 0 20 0 20 0 237641256 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 543087 5519 1 0 557789 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=12544 CPUtime=3271.16 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 40555 0 0 0 327099 17 0 0 20 0 20 0 237641257 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=-8600297946126000828 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1765 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3279.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172348 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/340 152814
/proc/meminfo: memFree=111183896/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2172348 CPUtime=3338.88 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 86990 0 0 0 333784 104 0 0 20 0 20 0 237641256 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 543087 5519 1 0 557791 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=2172348 CPUtime=3331.01 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 41223 0 0 0 333084 17 0 0 20 0 20 0 237641257 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1765 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3338.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/339 152816
/proc/meminfo: memFree=111175388/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2172348 CPUtime=3398.75 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 88180 0 0 0 339770 105 0 0 20 0 20 0 237641256 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 543087 5519 1 0 557796 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=2172348 CPUtime=3390.86 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 42101 0 0 0 339069 17 0 0 20 0 20 0 237641257 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=27392 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1879 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 543087 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3398.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/339 152818
/proc/meminfo: memFree=111171396/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2176516 CPUtime=3458.74 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 90294 0 0 0 345768 106 0 0 20 0 20 0 237641256 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 544129 5519 1 0 557801 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=2172348 CPUtime=3450.6 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 42823 0 0 0 345043 17 0 0 20 0 20 0 237641257 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=2172348 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1946 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3458.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/339 152820
/proc/meminfo: memFree=111168236/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2176516 CPUtime=3518.61 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 90345 0 0 0 351754 107 0 0 20 0 20 0 237641256 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 544129 5519 1 0 557801 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=2176516 CPUtime=3510.45 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 42840 0 0 0 351028 17 0 0 20 0 20 0 237641257 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=2176516 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1949 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=2176516 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3518.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176516 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/340 152825
/proc/meminfo: memFree=111101972/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2176516 CPUtime=3578.48 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 90752 0 0 0 357740 108 0 0 20 0 20 0 237641256 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 544129 5519 1 0 557801 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=2176516 CPUtime=3570.3 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 43216 0 0 0 357013 17 0 0 20 0 20 0 237641257 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=2176516 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1949 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3578.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.9 s]
/proc/loadavg: 3.67 4.01 4.06 2/265 152928
/proc/meminfo: memFree=122641196/131250000 swapFree=33010672/33010684
[pid=152541] ppid=152538 vsize=19063512 memory=2176516 CPUtime=3600.03 cores=1,3
/proc/152541/stat : 152541 (java) S 152538 152541 151447 0 -1 4194304 91263 0 0 0 359895 108 0 0 20 0 20 0 237641256 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
/proc/152541/statm: 4765878 544129 5519 1 0 557801 0
[pid=152541/tid=152543] ppid=152538 vsize=19063512 memory=5148 CPUtime=3591.85 cores=1,3
/proc/152541/task/152543/stat : 152543 (java) R 152538 152541 151447 0 -1 4194368 43619 0 0 0 359168 17 0 0 20 0 20 0 237641257 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152552] ppid=152538 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/152541/task/152552/stat : 152552 (Finalizer) S 152538 152541 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152559] ppid=152538 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/152541/task/152559/stat : 152559 (Common-Cleaner) S 152538 152541 151447 0 -1 4194368 1949 0 0 0 0 0 0 0 20 0 20 0 237641259 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
[pid=152541/tid=152560] ppid=152538 vsize=19063512 memory=-8600297946126000828 CPUtime=0 cores=1,3
/proc/152541/task/152560/stat : 152560 (Timer-0) S 152538 152541 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237641274 19521036288 544129 18446744073709551615 93931059560448 93931059564144 140720443233200 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93931059571960 93931059572752 93931080036352 140720443238783 140720443238884 140720443238884 140720443244488 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=1.10486 s

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

[startup+3604.01 s]*
/proc/loadavg: 3.46 3.96 4.04 1/246 152931
/proc/meminfo: memFree=124787708/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3604.01
CPU time (s): 3600.19
CPU user time (s): 3599.09
CPU system time (s): 1.10486
CPU usage (%): 99.894
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2176516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.10486
maximum resident set size= 2177412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103771
involuntary context switches= 2602


# summary of solver processes directly reported to runsolver:
#   pid: 152541
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 1.10486

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53367 second user time and 16.76 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-22 23:27:06
IDJOB=4542978
IDBENCH=165199
IDSOLVER=3363
FILE ID=nodeC026/4542978-1753219626
RUNJOBID= nodeC026-1753212428-151459
SLURM_JOB_ID= 9687803
Free space on /tmp= 433024 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542978-1753219626/watcher-4542978-1753219626 -o /tmp/evaluation-result-4542978-1753219626/solver-4542978-1753219626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151459 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542978-1753219626.opb

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

MD5SUM BENCH= f232403836dcde587a139eecc4d77a9a
RANDOM SEED=1277868480

nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.786
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3600.713
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3601.605
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.782
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.790
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.797
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3600.346
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
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		: 3599.835
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124372372 kB
MemAvailable:   129117148 kB
Buffers:            2128 kB
Cached:          5370180 kB
SwapCached:            4 kB
Active:          1672824 kB
Inactive:        4228036 kB
Active(anon):     549484 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4222692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3988 kB
Writeback:             0 kB
AnonPages:        531688 kB
Mapped:           129240 kB
Shmem:             26268 kB
KReclaimable:     459544 kB
Slab:             564216 kB
SReclaimable:     459544 kB
SUnreclaim:       104672 kB
KernelStack:        5212 kB
PageTables:         4860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7062876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC026 at 2025-07-23 00:27:10