Trace number 4518787

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.52 3656.09

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
MD5SUM6ddf7cdb8e212e3876ea6adaf4134c19
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.72286
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1404
Total number of constraints351
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)351
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 351
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 351
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 351
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.15	c See www.sat4j.org for details.
0.10/0.16	c version PB25.v20250606
0.10/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.17	c java.vm.version	22.0.1+8-16
0.10/0.17	c java.vm.vendor	Oracle Corporation
0.10/0.17	c sun.arch.data.model	64
0.10/0.17	c java.version		22.0.1
0.10/0.17	c os.name		Linux
0.10/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.17	c os.arch		amd64
0.10/0.17	c Free memory 		2104792832
0.10/0.17	c Max memory 		16282288128
0.10/0.17	c Total memory 		2113929216
0.10/0.18	c Number of processors 	2
0.28/0.23	c Pseudo Boolean Optimization by upper bound
0.28/0.23	c --- Begin Solver configuration ---
0.28/0.23	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.28/0.23	c Learn all clauses as in MiniSAT
0.28/0.23	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.23	c Expensive reason simplification
0.28/0.23	c Glucose 2.1 dynamic restart strategy
0.28/0.23	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.28/0.23	c timeout=2147483s
0.28/0.23	c DB Simplification allowed=false
0.28/0.23	c Listener: none
0.28/0.23	c --- End Solver configuration ---
0.28/0.23	c solving HOME/instance-4518787-1751551258.opb
0.28/0.23	c reading problem ... 
0.28/0.23	c using VERIPB proof format
0.28/0.23	c  objective function found
0.28/0.31	c ... done. Wall clock time 0.074s.
0.28/0.31	c declared #vars     1404
0.28/0.31	c #constraints  702
0.28/0.31	c constraints type 
0.28/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 702
0.28/0.31	c 702 constraints processed.
0.46/0.33	c objective function length is 351 literals
1.36/0.81	c SATISFIABLE
1.36/0.81	c OPTIMIZING...
1.36/0.81	c Got one! Elapsed wall clock time (in seconds):0.585
1.36/0.81	o 1
3.14/1.79	c cleaning 2868 clauses out of 5750 with flag 37108/5750
4.32/2.37	c cleaning 4431 clauses out of 8880 with flag 68801/11748
5.50/2.99	c cleaning 5719 clauses out of 11451 with flag 110872/18750
6.49/3.49	c cleaning 6863 clauses out of 13730 with flag 158483/26748
7.43/3.93	c cleaning 7929 clauses out of 15868 with flag 213865/35749
8.06/4.42	c cleaning 8957 clauses out of 17939 with flag 272220/45749
8.56/4.94	c cleaning 9982 clauses out of 19982 with flag 337423/56749
9.16/5.58	c cleaning 10995 clauses out of 21999 with flag 409485/68748
9.78/6.18	c cleaning 11992 clauses out of 24004 with flag 483664/81748
10.48/6.85	c cleaning 12993 clauses out of 26012 with flag 569824/95748
11.29/7.62	c cleaning 13992 clauses out of 28019 with flag 663520/110748
11.98/8.37	c cleaning 14998 clauses out of 30028 with flag 760655/126749
12.91/9.19	c cleaning 16003 clauses out of 32029 with flag 862724/143748
13.87/10.11	c cleaning 16993 clauses out of 34026 with flag 975299/161748
15.13/11.16	c cleaning 17994 clauses out of 36034 with flag 1088488/180749
16.12/12.18	c cleaning 19011 clauses out of 38040 with flag 1206152/200749
17.21/13.22	c cleaning 19997 clauses out of 40028 with flag 1331549/221748
18.40/14.41	c cleaning 21006 clauses out of 42031 with flag 1462451/243748
19.60/15.61	c cleaning 21991 clauses out of 44027 with flag 1607751/266750
20.80/16.84	c cleaning 22998 clauses out of 46034 with flag 1752912/290748
22.27/18.27	c cleaning 23992 clauses out of 48037 with flag 1908279/315749
23.70/19.67	c cleaning 25003 clauses out of 50044 with flag 2064629/341748
25.10/21.10	c cleaning 26001 clauses out of 52044 with flag 2230198/368751
26.58/22.59	c cleaning 27005 clauses out of 54040 with flag 2397917/396748
28.28/24.20	c cleaning 27990 clauses out of 56036 with flag 2577084/425749
29.86/25.79	c cleaning 29002 clauses out of 58045 with flag 2755123/455748
31.66/27.58	c cleaning 29993 clauses out of 60043 with flag 2954368/486748
33.45/29.31	c cleaning 31010 clauses out of 62051 with flag 3155176/518749
35.26/31.12	c cleaning 31992 clauses out of 64041 with flag 3366913/551749
37.63/33.56	c cleaning 33005 clauses out of 66049 with flag 3584463/585749
39.62/35.55	c cleaning 34007 clauses out of 68045 with flag 3807198/620750
41.61/37.58	c cleaning 34995 clauses out of 70037 with flag 4036328/656749
43.60/39.59	c cleaning 36003 clauses out of 72041 with flag 4266278/693748
45.80/41.75	c cleaning 37005 clauses out of 74039 with flag 4502978/731749
48.00/43.95	c cleaning 37989 clauses out of 76034 with flag 4750001/770749
50.29/46.22	c cleaning 38984 clauses out of 78044 with flag 5011174/810748
52.67/48.62	c cleaning 40007 clauses out of 80060 with flag 5261102/851748
55.08/51.02	c cleaning 40993 clauses out of 82055 with flag 5532253/893750
57.65/53.62	c cleaning 42008 clauses out of 84060 with flag 5809811/936748
60.16/56.18	c cleaning 42990 clauses out of 86052 with flag 6093581/980748
62.82/58.86	c cleaning 44009 clauses out of 88062 with flag 6385941/1025748
65.70/61.60	c cleaning 44999 clauses out of 90055 with flag 6675174/1071750
69.64/65.80	c cleaning 46003 clauses out of 92055 with flag 6969616/1118749
72.63/68.87	c cleaning 46999 clauses out of 94051 with flag 7284070/1166748
76.46/72.68	c cleaning 47994 clauses out of 96052 with flag 7598865/1215748
79.96/76.18	c cleaning 49010 clauses out of 98060 with flag 7930727/1265750
83.06/79.20	c cleaning 49996 clauses out of 100049 with flag 8265590/1316749
86.30/82.42	c cleaning 51005 clauses out of 102053 with flag 8608717/1368749
89.50/85.62	c cleaning 52012 clauses out of 104047 with flag 8959335/1421748
92.81/89.00	c cleaning 52989 clauses out of 106036 with flag 9311665/1475749
96.32/92.45	c cleaning 54001 clauses out of 108047 with flag 9667046/1530749
99.97/96.08	c cleaning 55007 clauses out of 110047 with flag 10025246/1586750
103.72/99.70	c cleaning 55991 clauses out of 112038 with flag 10399065/1643748
107.42/103.40	c cleaning 56993 clauses out of 114048 with flag 10777096/1701749
111.36/107.31	c cleaning 58007 clauses out of 116055 with flag 11161626/1760749
115.77/111.70	c cleaning 58992 clauses out of 118049 with flag 11539972/1820750
119.81/115.77	c cleaning 60020 clauses out of 120055 with flag 11935959/1881748
124.49/120.38	c cleaning 60982 clauses out of 122036 with flag 12337497/1943749
129.34/125.13	c cleaning 62001 clauses out of 124055 with flag 12757838/2006750
133.81/129.52	c cleaning 63007 clauses out of 126052 with flag 13187870/2070748
138.29/133.92	c cleaning 64009 clauses out of 128046 with flag 13614982/2135749
142.86/138.40	c cleaning 64992 clauses out of 130037 with flag 14047778/2201749
147.42/142.95	c cleaning 66006 clauses out of 132045 with flag 14488360/2268749
153.40/148.99	c cleaning 66989 clauses out of 134038 with flag 14938543/2336748
159.56/155.01	c cleaning 67994 clauses out of 136049 with flag 15397305/2405748
164.39/159.85	c cleaning 68996 clauses out of 138055 with flag 15867392/2475748
169.62/165.04	c cleaning 69999 clauses out of 140060 with flag 16342752/2546749
175.17/170.52	c cleaning 70997 clauses out of 142062 with flag 16824572/2618750
180.76/175.99	c cleaning 72000 clauses out of 144064 with flag 17325339/2691749
186.47/181.50	c cleaning 73006 clauses out of 146064 with flag 17829025/2765749
191.94/186.95	c cleaning 74002 clauses out of 148057 with flag 18311739/2840748
197.80/192.76	c cleaning 75002 clauses out of 150057 with flag 18822493/2916750
203.37/198.20	c cleaning 75984 clauses out of 152053 with flag 19343532/2993748
208.74/203.50	c cleaning 77001 clauses out of 154069 with flag 19863210/3071748
214.41/209.14	c cleaning 78014 clauses out of 156069 with flag 20403537/3150749
220.16/214.88	c cleaning 78994 clauses out of 158055 with flag 20955160/3230749
226.02/220.65	c cleaning 79992 clauses out of 160061 with flag 21497890/3311749
234.05/228.58	c cleaning 81000 clauses out of 162069 with flag 22049750/3393749
240.46/234.81	c cleaning 82020 clauses out of 164070 with flag 22605285/3476750
246.59/240.94	c cleaning 82994 clauses out of 166048 with flag 23172697/3560748
254.13/248.41	c cleaning 84006 clauses out of 168054 with flag 23747461/3645748
260.57/254.84	c cleaning 84987 clauses out of 170050 with flag 24351842/3731750
267.89/262.02	c cleaning 86005 clauses out of 172062 with flag 24927069/3818749
275.75/269.89	c cleaning 87005 clauses out of 174056 with flag 25522518/3906748
282.40/276.49	c cleaning 88004 clauses out of 176051 with flag 26133690/3995748
289.16/283.13	c cleaning 89000 clauses out of 178047 with flag 26740452/4085748
296.67/290.59	c cleaning 89980 clauses out of 180047 with flag 27362388/4176748
305.05/298.88	c cleaning 91011 clauses out of 182069 with flag 28002245/4268750
313.47/307.28	c cleaning 92000 clauses out of 184057 with flag 28636819/4361749
321.88/315.58	c cleaning 93005 clauses out of 186057 with flag 29285211/4455749
330.64/324.28	c cleaning 93990 clauses out of 188052 with flag 29939776/4550749
339.54/333.05	c cleaning 95002 clauses out of 190061 with flag 30609172/4646748
346.92/340.39	c cleaning 95997 clauses out of 192059 with flag 31282972/4743748
355.25/348.63	c cleaning 96994 clauses out of 194062 with flag 31974503/4841748
363.97/357.24	c cleaning 98004 clauses out of 196068 with flag 32663357/4940748
373.24/366.40	c cleaning 99014 clauses out of 198064 with flag 33334073/5040748
382.44/375.48	c cleaning 100007 clauses out of 200050 with flag 34039075/5141748
390.50/383.44	c cleaning 101000 clauses out of 202044 with flag 34742931/5243749
398.53/391.45	c cleaning 101986 clauses out of 204043 with flag 35478424/5346748
407.22/400.08	c cleaning 102996 clauses out of 206057 with flag 36194144/5450748
416.95/409.74	c cleaning 104018 clauses out of 208064 with flag 36927130/5555751
426.75/419.44	c cleaning 104996 clauses out of 210047 with flag 37661526/5661752
435.50/428.11	c cleaning 105988 clauses out of 212047 with flag 38396476/5768748
445.36/437.97	c cleaning 107001 clauses out of 214059 with flag 39150762/5876748
454.99/447.49	c cleaning 108005 clauses out of 216061 with flag 39917851/5985751
464.05/456.47	c cleaning 109004 clauses out of 218054 with flag 40671905/6095749
473.12/465.44	c cleaning 109998 clauses out of 220049 with flag 41444005/6206748
484.39/476.61	c cleaning 111003 clauses out of 222052 with flag 42202845/6318749
493.72/485.97	c cleaning 111997 clauses out of 224048 with flag 42981896/6431748
503.10/495.28	c cleaning 112998 clauses out of 226051 with flag 43798209/6545748
513.46/505.54	c cleaning 114001 clauses out of 228055 with flag 44609114/6660750
522.56/514.59	c cleaning 114996 clauses out of 230053 with flag 45409805/6776749
532.57/524.43	c cleaning 116007 clauses out of 232060 with flag 46248512/6893752
544.10/535.98	c cleaning 116976 clauses out of 234049 with flag 47082028/7011748
554.11/545.85	c cleaning 118010 clauses out of 236075 with flag 47907254/7130750
564.44/556.02	c cleaning 119011 clauses out of 238065 with flag 48748593/7250750
575.63/567.12	c cleaning 119988 clauses out of 240052 with flag 49613488/7371748
586.42/577.89	c cleaning 121010 clauses out of 242065 with flag 50469668/7493749
597.30/588.63	c cleaning 121995 clauses out of 244054 with flag 51336507/7616748
608.04/599.34	c cleaning 122982 clauses out of 246059 with flag 52218681/7740748
619.70/610.99	c cleaning 124016 clauses out of 248077 with flag 53106126/7865748
631.86/623.11	c cleaning 125005 clauses out of 250061 with flag 53997032/7991748
643.27/634.14	c cleaning 125996 clauses out of 252057 with flag 54883924/8118749
654.39/645.26	c cleaning 126996 clauses out of 254060 with flag 55789014/8246748
666.11/656.80	c cleaning 128016 clauses out of 256067 with flag 56707278/8375751
677.08/667.76	c cleaning 128999 clauses out of 258049 with flag 57642000/8505749
688.21/678.81	c cleaning 129986 clauses out of 260049 with flag 58565324/8636748
700.04/690.59	c cleaning 131002 clauses out of 262063 with flag 59524315/8768748
712.27/702.75	c cleaning 131965 clauses out of 264061 with flag 60467364/8901748
724.04/714.42	c cleaning 133015 clauses out of 266096 with flag 61415447/9035748
736.36/726.61	c cleaning 133990 clauses out of 268081 with flag 62396260/9170748
748.30/738.58	c cleaning 135020 clauses out of 270092 with flag 63371743/9306749
761.11/751.21	c cleaning 136007 clauses out of 272071 with flag 64361674/9443748
772.97/763.10	c cleaning 137010 clauses out of 274066 with flag 65366575/9581750
785.94/775.98	c cleaning 137996 clauses out of 276054 with flag 66375529/9720748
799.92/789.79	c cleaning 138994 clauses out of 278058 with flag 67388869/9860748
813.25/802.98	c cleaning 140000 clauses out of 280064 with flag 68414828/10001748
827.85/817.59	c cleaning 141006 clauses out of 282065 with flag 69449965/10143749
840.33/829.98	c cleaning 142003 clauses out of 284058 with flag 70481602/10286748
853.86/843.36	c cleaning 142998 clauses out of 286055 with flag 71530054/10430748
866.72/856.13	c cleaning 143987 clauses out of 288057 with flag 72596187/10575748
881.88/871.27	c cleaning 145021 clauses out of 290074 with flag 73660003/10721752
895.83/885.01	c cleaning 145993 clauses out of 292049 with flag 74738534/10868748
909.76/898.98	c cleaning 147008 clauses out of 294057 with flag 75823190/11016749
924.84/913.99	c cleaning 147998 clauses out of 296048 with flag 76896059/11165748
938.93/927.91	c cleaning 149007 clauses out of 298053 with flag 77994938/11315751
953.07/942.00	c cleaning 150002 clauses out of 300043 with flag 79120807/11466748
968.41/957.13	c cleaning 150997 clauses out of 302041 with flag 80241820/11618748
983.74/972.69	c cleaning 151978 clauses out of 304044 with flag 81371498/11771748
999.58/988.46	c cleaning 153003 clauses out of 306066 with flag 82508185/11925748
1014.73/1006.63	c cleaning 153999 clauses out of 308064 with flag 83630802/12080749
1029.64/1021.41	c cleaning 155007 clauses out of 310066 with flag 84779565/12236750
1044.18/1035.81	c cleaning 155989 clauses out of 312060 with flag 85939116/12393751
1061.38/1053.09	c cleaning 157000 clauses out of 314068 with flag 87124270/12551748
1076.21/1067.83	c cleaning 157996 clauses out of 316070 with flag 88291813/12710750
1091.63/1086.97	c cleaning 159004 clauses out of 318072 with flag 89455403/12870748
1107.53/1102.74	c cleaning 159996 clauses out of 320068 with flag 90664642/13031748
1123.34/1118.43	c cleaning 161009 clauses out of 322072 with flag 91859732/13193748
1138.76/1133.72	c cleaning 162012 clauses out of 324064 with flag 93063092/13356749
1155.30/1150.42	c cleaning 163002 clauses out of 326052 with flag 94264921/13520749
1171.19/1166.29	c cleaning 163996 clauses out of 328050 with flag 95477152/13685749
1187.81/1182.97	c cleaning 164987 clauses out of 330054 with flag 96711066/13851749
1204.30/1199.30	c cleaning 166012 clauses out of 332067 with flag 97947251/14018749
1220.68/1215.68	c cleaning 166984 clauses out of 334054 with flag 99204293/14186748
1238.14/1233.21	c cleaning 168009 clauses out of 336072 with flag 100475622/14355750
1254.71/1249.79	c cleaning 169002 clauses out of 338062 with flag 101736576/14525749
1273.15/1268.16	c cleaning 170002 clauses out of 340059 with flag 103007718/14696748
1289.75/1284.69	c cleaning 170994 clauses out of 342058 with flag 104286059/14868749
1309.44/1304.48	c cleaning 172010 clauses out of 344064 with flag 105557717/15041749
1327.27/1322.18	c cleaning 173002 clauses out of 346053 with flag 106839502/15215748
1346.42/1350.29	c cleaning 173987 clauses out of 348052 with flag 108130158/15390749
1365.79/1369.62	c cleaning 175008 clauses out of 350065 with flag 109441577/15566749
1384.97/1388.98	c cleaning 175998 clauses out of 352057 with flag 110774068/15743749
1403.94/1407.72	c cleaning 177005 clauses out of 354058 with flag 112138842/15921748
1422.53/1426.45	c cleaning 177997 clauses out of 356053 with flag 113471506/16100748
1442.29/1446.11	c cleaning 178992 clauses out of 358056 with flag 114811621/16280748
1463.55/1475.16	c cleaning 180003 clauses out of 360064 with flag 116153647/16461748
1482.49/1494.01	c cleaning 181000 clauses out of 362061 with flag 117546616/16643748
1502.33/1513.65	c cleaning 182011 clauses out of 364061 with flag 118927776/16826748
1522.26/1533.06	c cleaning 182984 clauses out of 366050 with flag 120309650/17010748
1542.00/1552.63	c cleaning 184019 clauses out of 368067 with flag 121725385/17195749
1562.35/1572.78	c cleaning 184984 clauses out of 370048 with flag 123125523/17381749
1582.13/1599.17	c cleaning 186011 clauses out of 372063 with flag 124543709/17568748
1601.12/1618.03	c cleaning 187011 clauses out of 374052 with flag 125964725/17756748
1622.42/1639.58	c cleaning 187994 clauses out of 376041 with flag 127371862/17945748
1642.40/1659.35	c cleaning 189006 clauses out of 378048 with flag 128815696/18135749
1662.65/1679.52	c cleaning 189990 clauses out of 380043 with flag 130270562/18326750
1685.20/1702.24	c cleaning 190997 clauses out of 382052 with flag 131730500/18518749
1706.97/1723.84	c cleaning 191980 clauses out of 384054 with flag 133203477/18711748
1726.67/1743.57	c cleaning 193037 clauses out of 386074 with flag 134653007/18905748
1748.65/1765.31	c cleaning 193988 clauses out of 388038 with flag 136113739/19100749
1771.07/1787.57	c cleaning 194993 clauses out of 390049 with flag 137613148/19296748
1792.94/1809.32	c cleaning 196000 clauses out of 392056 with flag 139098066/19493748
1813.88/1830.10	c cleaning 196992 clauses out of 394056 with flag 140606136/19691748
1836.61/1852.62	c cleaning 197996 clauses out of 396065 with flag 142138015/19890749
1858.04/1874.57	c cleaning 199010 clauses out of 398068 with flag 143646795/20090748
1880.64/1896.83	c cleaning 199999 clauses out of 400059 with flag 145194309/20291749
1904.86/1921.10	c cleaning 200995 clauses out of 402060 with flag 146735186/20493749
1927.62/1947.85	c cleaning 201992 clauses out of 404064 with flag 148273927/20696748
1950.73/1970.80	c cleaning 203009 clauses out of 406073 with flag 149835881/20900749
1977.51/2006.37	c cleaning 203997 clauses out of 408063 with flag 151404430/21105748
2002.42/2030.63	c cleaning 205012 clauses out of 410066 with flag 152989572/21311748
2025.47/2054.10	c cleaning 205996 clauses out of 412055 with flag 154589538/21518749
2050.13/2078.78	c cleaning 207002 clauses out of 414058 with flag 156178251/21726748
2076.09/2104.48	c cleaning 207986 clauses out of 416056 with flag 157775996/21935748
2102.94/2135.40	c cleaning 208990 clauses out of 418070 with flag 159404060/22145748
2128.22/2160.01	c cleaning 210019 clauses out of 420080 with flag 161017110/22356748
2154.70/2185.05	c cleaning 211003 clauses out of 422062 with flag 162653372/22568749
2184.42/2214.09	c cleaning 211995 clauses out of 424058 with flag 164288386/22781748
2209.15/2247.06	c cleaning 213003 clauses out of 426063 with flag 165948388/22995748
2233.98/2271.37	c cleaning 214002 clauses out of 428060 with flag 167609728/23210748
2258.57/2295.88	c cleaning 215003 clauses out of 430058 with flag 169270464/23426748
2284.69/2321.83	c cleaning 215987 clauses out of 432055 with flag 170944295/23643748
2309.45/2345.97	c cleaning 217000 clauses out of 434069 with flag 172634515/23861749
2335.44/2371.62	c cleaning 217990 clauses out of 436068 with flag 174337642/24080748
2362.64/2398.82	c cleaning 219014 clauses out of 438078 with flag 176035387/24300748
2389.20/2425.21	c cleaning 219989 clauses out of 440065 with flag 177759434/24521749
2414.11/2449.95	c cleaning 221021 clauses out of 442075 with flag 179501998/24743748
2442.87/2478.46	c cleaning 222016 clauses out of 444054 with flag 181232244/24966748
2470.19/2504.83	c cleaning 222988 clauses out of 446038 with flag 182969832/25190748
2497.18/2531.66	c cleaning 224000 clauses out of 448050 with flag 184726201/25415748
2523.90/2558.07	c cleaning 225000 clauses out of 450051 with flag 186484490/25641749
2549.89/2583.98	c cleaning 225993 clauses out of 452050 with flag 188254195/25868748
2577.69/2611.57	c cleaning 226998 clauses out of 454057 with flag 190016526/26096748
2606.19/2639.72	c cleaning 228005 clauses out of 456059 with flag 191824694/26325748
2632.49/2665.72	c cleaning 229008 clauses out of 458059 with flag 193620987/26555753
2659.21/2692.47	c cleaning 229997 clauses out of 460048 with flag 195445829/26786750
2689.27/2722.55	c cleaning 230975 clauses out of 462049 with flag 197243131/27018748
2716.54/2749.41	c cleaning 232017 clauses out of 464075 with flag 199068915/27251749
2744.70/2777.46	c cleaning 233005 clauses out of 466057 with flag 200889849/27485748
2774.70/2807.35	c cleaning 233998 clauses out of 468053 with flag 202728788/27720749
2805.38/2843.36	c cleaning 235003 clauses out of 470055 with flag 204597736/27956749
2834.85/2872.67	c cleaning 236006 clauses out of 472052 with flag 206463346/28193749
2864.28/2901.98	c cleaning 236991 clauses out of 474045 with flag 208348281/28431748
2893.86/2931.43	c cleaning 238007 clauses out of 476054 with flag 210233908/28670748
2924.60/2961.84	c cleaning 239010 clauses out of 478047 with flag 212117112/28910748
2955.69/2993.02	c cleaning 239988 clauses out of 480037 with flag 214036072/29151748
2985.66/3022.76	c cleaning 240988 clauses out of 482051 with flag 215959067/29393750
3015.32/3052.13	c cleaning 242009 clauses out of 484061 with flag 217887868/29636748
3046.52/3083.35	c cleaning 243002 clauses out of 486053 with flag 219810754/29880749
3076.31/3113.10	c cleaning 244007 clauses out of 488051 with flag 221731348/30125749
3106.95/3142.68	c cleaning 245001 clauses out of 490044 with flag 223674967/30371749
3137.81/3173.33	c cleaning 245987 clauses out of 492043 with flag 225630953/30618749
3167.33/3202.89	c cleaning 246988 clauses out of 494055 with flag 227583427/30866748
3199.34/3234.81	c cleaning 247999 clauses out of 496068 with flag 229557885/31115749
3231.15/3273.67	c cleaning 248998 clauses out of 498068 with flag 231534357/31365748
3262.52/3304.92	c cleaning 249993 clauses out of 500071 with flag 233532120/31616749
3296.82/3339.28	c cleaning 251007 clauses out of 502077 with flag 235541323/31868748
3329.42/3373.75	c cleaning 252016 clauses out of 504072 with flag 237565247/32121750
3362.94/3420.40	c cleaning 253028 clauses out of 506055 with flag 239589018/32375749
3395.73/3452.93	c cleaning 253988 clauses out of 508027 with flag 241635690/32630749
3430.70/3487.86	c cleaning 254987 clauses out of 510038 with flag 243677804/32886748
3465.06/3521.92	c cleaning 256006 clauses out of 512053 with flag 245741221/33143750
3499.51/3556.25	c cleaning 256997 clauses out of 514045 with flag 247793466/33401748
3532.02/3587.91	c cleaning 257990 clauses out of 516048 with flag 249831862/33660748
3564.87/3620.64	c cleaning 258999 clauses out of 518060 with flag 251899825/33920750
3597.86/3653.51	c cleaning 259999 clauses out of 520060 with flag 253976964/34181749
3600.00/3655.84	c starts		: 137703
3600.00/3655.87	c conflicts		: 34204152
3600.00/3655.88	c decisions		: 116492103
3600.00/3655.88	c propagations		: 1296985193
3600.00/3655.89	c inspects		: 34686750824
3600.00/3655.89	c shortcuts		: 0
3600.00/3655.89	c learnt literals	: 0
3600.00/3655.89	c learnt binary clauses	: 0
3600.00/3655.89	c learnt ternary clauses	: 0
3600.00/3655.89	c learnt constraints	: 34204152
3600.00/3655.89	c ignored constraints	: 0
3600.00/3655.89	c root simplifications	: 0
3600.00/3655.89	c removed literals (reason simplification)	: 36088862
3600.00/3655.89	c reason swapping (by a shorter reason)	: 0
3600.00/3655.89	c Calls to reduceDB	: 257
3600.00/3655.89	c Number of update (reduction) of LBD	: 10189018
3600.00/3655.89	c Imported unit clauses	: 0
3600.00/3655.89	c No decision after first conflict	: false
3600.00/3655.90	c number of reductions to clauses (during analyze)	: 0
3600.00/3655.90	c number of learned constraints concerned by reduction	: 0
3600.00/3655.90	c number of learning phase by resolution	: 0
3600.00/3655.90	c number of learning phase by cutting planes	: 0
3600.00/3655.90	c number of rounding to 1 operations	: 0
3600.00/3655.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.19/3655.90	c number of reductions of the coefficients by power 2 	: 0
3600.19/3655.90	c number of right shift for reduction by power 2 	: 0
3600.19/3655.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.19/3655.90	c number of ending skipping 	: 0
3600.19/3655.90	c number of internal skipping 	: 0
3600.19/3655.90	c number of derivation steps 	: 0
3600.19/3655.90	c number of skipped derivation steps 	: 0
3600.19/3655.90	c number of remaining unassigned 	: 0
3600.19/3655.90	c number of remaining assigned 	: 0
3600.19/3655.90	c number of falsified literals weakened from reason	: 0
3600.19/3655.90	c number of falsified literals weakened from conflict	: 0
3600.19/3655.90	c time for arithmetic operations	: 0
3600.19/3655.91	c minimum degree of deleted constraints	: null
3600.19/3655.91	c maximum degree of deleted constraints	: null
3600.19/3655.91	c number of deleted constraints	: 0
3600.19/3655.91	c speed (assignments/second)	: 354797.65852756466
3600.19/3655.91	c non guided choices	: 1623642
3600.40/3656.05	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.40/3656.06		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.40/3656.06		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.40/3656.06		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.40/3656.06		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.40/3656.06		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.40/3656.06		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.40/3656.06		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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: 63794 MiB (62916 MiB free)
  memory of node 1: 64507 MiB (62078 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518787-1751551258/watcher-4518787-1751551258 -o /tmp/evaluation-result-4518787-1751551258/solver-4518787-1751551258 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78254 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518787-1751551258 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518787-1751551258.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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=78828, runsolver pid=78822

[startup+0.100076 s]*
/proc/loadavg: 4.31 4.19 4.11 8/313 78857
/proc/meminfo: memFree=127965212/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=18930384 memory=48620 CPUtime=0.1 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 5828 0 0 0 8 2 0 0 20 0 18 0 70805185 19384713216 12155 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4732596 12155 5334 1 0 547010 0
[pid=78828/tid=78830] ppid=78822 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 4710 0 0 0 5 1 0 0 20 0 18 0 70805187 19384713216 12155 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70805190 19384713216 12155 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70805191 19384713216 12155 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48620 KiB

[startup+0.214671 s]*
/proc/loadavg: 4.31 4.19 4.11 9/324 78868
/proc/meminfo: memFree=127929508/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=18930384 memory=58364 CPUtime=0.28 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 6696 0 0 0 24 4 0 0 20 0 18 0 70805185 19384713216 14591 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4732596 14591 5366 1 0 547746 0
[pid=78828/tid=78830] ppid=78822 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 5216 0 0 0 15 2 0 0 20 0 18 0 70805187 19384713216 14591 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=18930384 memory=12896 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70805190 19384713216 14591 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70805191 19384713216 14591 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58364 KiB

[startup+0.314526 s]*
/proc/loadavg: 4.31 4.19 4.11 10/324 78868
/proc/meminfo: memFree=127887604/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=18930384 memory=69876 CPUtime=0.46 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 6946 0 0 0 41 5 0 0 20 0 18 0 70805185 19384713216 17469 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4732596 17469 5462 1 0 547905 0
[pid=78828/tid=78830] ppid=78822 vsize=18930384 memory=-6000919481329804392 CPUtime=0.27 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 5372 0 0 0 24 3 0 0 20 0 18 0 70805187 19384713216 17469 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70805190 19384713216 17469 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70805191 19384713216 17469 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69876 KiB

[startup+0.700415 s]
/proc/loadavg: 4.31 4.19 4.11 12/326 78870
/proc/meminfo: memFree=127817436/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=18996948 memory=96200 CPUtime=1.17 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 9281 0 0 0 111 6 0 0 20 0 19 0 70805185 19452874752 24050 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4749237 24050 5462 1 0 549454 0
[pid=78828/tid=78830] ppid=78822 vsize=18996948 memory=18432 CPUtime=0.57 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 5467 0 0 0 53 4 0 0 20 0 19 0 70805187 19452874752 24050 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70805190 19452874752 24050 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70805191 19452874752 24050 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=18996948 memory=4752 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70805220 19452874752 24050 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96200 KiB

[startup+1.50026 s]
/proc/loadavg: 4.31 4.19 4.11 10/328 78872
/proc/meminfo: memFree=127645096/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=169664 CPUtime=2.74 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 18757 0 0 0 265 9 0 0 20 0 20 0 70805185 19521036288 42416 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 42416 5526 1 0 552459 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=11136 CPUtime=1.31 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 5912 0 0 0 126 5 0 0 20 0 20 0 70805187 19521036288 42416 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 42416 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 42416 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=4752 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 42416 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169664 KiB

[startup+3.10583 s]
/proc/loadavg: 4.31 4.19 4.11 8/330 78885
/proc/meminfo: memFree=127258772/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=260692 CPUtime=5.91 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 24654 0 0 0 577 14 0 0 20 0 20 0 70805185 19521036288 65173 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 65173 5526 1 0 554498 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=-6000919498526450792 CPUtime=2.84 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 6971 0 0 0 276 8 0 0 20 0 20 0 70805187 19521036288 65173 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 65173 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 65173 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 65173 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 260692 KiB

[startup+6.30042 s]
/proc/loadavg: 4.37 4.21 4.12 5/330 78885
/proc/meminfo: memFree=124349364/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=919060 CPUtime=9.97 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 25616 0 0 0 966 31 0 0 20 0 20 0 70805185 19521036288 229765 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 229765 5526 1 0 554500 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=11136 CPUtime=5.95 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 7655 0 0 0 570 25 0 0 20 0 20 0 70805187 19521036288 229765 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 229765 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 229765 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=172828 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 229765 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 9.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 919060 KiB

[startup+12.7004 s]
/proc/loadavg: 4.34 4.20 4.12 5/330 78885
/proc/meminfo: memFree=121632892/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=1725200 CPUtime=16.71 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 26772 0 0 0 1617 54 0 0 20 0 20 0 70805185 19521036288 431300 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 431300 5558 1 0 661016 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=172828 CPUtime=12.22 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 8489 0 0 0 1176 46 0 0 20 0 20 0 70805187 19521036288 431300 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=1725200 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 431300 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 431300 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 431300 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 16.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1725200 KiB

[startup+25.5005 s]
/proc/loadavg: 4.34 4.21 4.12 5/330 78886
/proc/meminfo: memFree=118244340/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=1731344 CPUtime=29.66 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 31981 0 0 0 2896 70 0 0 20 0 20 0 70805185 19521036288 432836 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 432836 5558 1 0 661026 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=1725200 CPUtime=24.73 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 10555 0 0 0 2412 61 0 0 20 0 20 0 70805187 19521036288 432836 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 432836 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=1731344 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 432836 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=-6000919498526450792 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 432836 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 29.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1731344 KiB

[startup+51.1136 s]
/proc/loadavg: 4.22 4.19 4.11 5/332 78888
/proc/meminfo: memFree=111687720/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=1733500 CPUtime=55.18 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 35483 0 0 0 5421 97 0 0 20 0 20 0 70805185 19521036288 433375 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 433375 5558 1 0 661026 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=1733500 CPUtime=49.82 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 11990 0 0 0 4896 86 0 0 20 0 20 0 70805187 19521036288 433375 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=-6000919498526450792 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 433375 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0

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

/proc/meminfo: memFree=58610876/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3299.93 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 172381 0 0 0 327735 2258 0 0 20 0 20 0 70805185 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 799760 5558 1 0 812416 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3204.21 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 95581 0 0 0 318399 2022 0 0 20 0 20 0 70805187 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1572 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3299.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3199040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.41 4.39 3/335 79146
/proc/meminfo: memFree=55254444/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3348.06 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 181515 0 0 0 332522 2284 0 0 20 0 20 0 70805185 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 799760 5558 1 0 812416 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3250.41 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) D 78822 78828 78242 0 -1 4194368 102793 0 0 0 322997 2044 0 0 20 0 20 0 70805187 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1572 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3348.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3199040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.39 4.38 5/335 79148
/proc/meminfo: memFree=52917356/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3405.15 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 182929 0 0 0 338199 2316 0 0 20 0 20 0 70805185 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 799760 5558 1 0 812416 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3305.99 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 103922 0 0 0 328526 2073 0 0 20 0 20 0 70805187 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1621 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3405.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3199040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.63 4.46 4.40 4/310 79179
/proc/meminfo: memFree=53052540/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3465.46 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 184935 0 0 0 344196 2350 0 0 20 0 20 0 70805185 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 799760 5558 1 0 812416 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=3199040 CPUtime=3364.68 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 104955 0 0 0 334364 2104 0 0 20 0 20 0 70805187 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=3199040 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=14304 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1708 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 799760 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3465.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3199040 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.40 4.38 5/333 79351
/proc/meminfo: memFree=97024752/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3082432 CPUtime=3526.26 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 191172 0 0 0 350245 2381 0 0 20 0 20 0 70805185 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 770608 5558 1 0 783184 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=3082432 CPUtime=3423.63 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 110128 0 0 0 340232 2131 0 0 20 0 20 0 70805187 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=3082432 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1708 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=-6000919498526450792 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3526.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3082432 KiB

[startup+3642.3 s]
/proc/loadavg: 4.34 4.39 4.38 6/335 79366
/proc/meminfo: memFree=94584908/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3082432 CPUtime=3586.52 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 193724 0 0 0 356241 2411 0 0 20 0 20 0 70805185 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 770608 5558 1 0 783184 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=3082432 CPUtime=3482.45 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 111949 0 0 0 346087 2158 0 0 20 0 20 0 70805187 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=3082432 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3082432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3655.8 s]
/proc/loadavg: 4.29 4.38 4.37 5/335 79366
/proc/meminfo: memFree=93960356/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19063512 memory=3082432 CPUtime=3600 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 193887 0 0 0 357583 2417 0 0 20 0 20 0 70805185 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4765878 770608 5558 1 0 783184 0
[pid=78828/tid=78830] ppid=78822 vsize=19063512 memory=12416 CPUtime=3495.59 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 112087 0 0 0 347395 2164 0 0 20 0 20 0 70805187 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19063512 memory=2724 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805190 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19063512 memory=17400 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 20 0 70805191 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78869] ppid=78822 vsize=19063512 memory=9344 CPUtime=0 cores=1,3
/proc/78828/task/78869/stat : 78869 (Timer-0) S 78822 78828 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805220 19521036288 770608 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3082432 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.32 s, system=24.1957 s

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

[startup+3656 s]*
/proc/loadavg: 4.26 4.37 4.37 8/336 79369
/proc/meminfo: memFree=93914928/131382120 swapFree=33010416/33010684
[pid=78828] ppid=78822 vsize=19263204 memory=3083200 CPUtime=3600.4 cores=1,3
/proc/78828/stat : 78828 (java) S 78822 78828 78242 0 -1 4194304 195874 0 0 0 357622 2418 0 0 20 0 21 0 70805185 19725520896 770800 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
/proc/78828/statm: 4815801 770800 5590 1 0 784105 0
[pid=78828/tid=78830] ppid=78822 vsize=19263204 memory=-6000919477051941736 CPUtime=3495.8 cores=1,3
/proc/78828/task/78830/stat : 78830 (java) R 78822 78828 78242 0 -1 4194368 112327 0 0 0 347416 2164 0 0 20 0 21 0 70805187 19725520896 770800 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78840] ppid=78822 vsize=19263204 memory=-4050210904893735315 CPUtime=0 cores=1,3
/proc/78828/task/78840/stat : 78840 (Finalizer) S 78822 78828 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70805190 19725520896 770800 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=78851] ppid=78822 vsize=19263204 memory=6640 CPUtime=0 cores=1,3
/proc/78828/task/78851/stat : 78851 (Common-Cleaner) S 78822 78828 78242 0 -1 4194368 1709 0 0 0 0 0 0 0 20 0 21 0 70805191 19725520896 770800 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
[pid=78828/tid=79369] ppid=78822 vsize=19263204 memory=2063836 CPUtime=0.06 cores=1,3
/proc/78828/task/79369/stat : 79369 (Thread-0) R 78822 78828 78242 0 -1 4194368 183 0 0 0 6 0 0 0 20 0 21 0 71170767 19725520896 770800 18446744073709551615 93967307382784 93967307386480 140736856547088 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93967307394296 93967307395088 93967324139520 140736856553776 140736856553958 140736856553958 140736856559560 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3083200 KiB

Child status: 143

Real time (s): 3656.09
CPU time (s): 3600.52
CPU user time (s): 3576.32
CPU system time (s): 24.1957
CPU usage (%): 98.4799
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3199040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.32
system time used= 24.1957
maximum resident set size= 3199040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196153
page faults= 0
swaps= 0
block input operations= 8
block output operations= 41443504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133402
involuntary context switches= 17203


# summary of solver processes directly reported to runsolver:
#   pid: 78828
#   total CPU time (s): 3600.52
#   total CPU user time (s): 3576.32
#   total CPU system time (s): 24.1957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8141 second user time and 39.3328 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 16:00:58
IDJOB=4518787
IDBENCH=177075
IDSOLVER=3364
FILE ID=nodeC006/4518787-1751551258
RUNJOBID= nodeC006-1751547548-78254
SLURM_JOB_ID= 9598718
Free space on /tmp= 432160 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518787-1751551258/watcher-4518787-1751551258 -o /tmp/evaluation-result-4518787-1751551258/solver-4518787-1751551258 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78254 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518787-1751551258 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518787-1751551258.opb

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

MD5SUM BENCH= 6ddf7cdb8e212e3876ea6adaf4134c19
RANDOM SEED=1976496284

nodeC006 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	: 0xb00001f
cpu MHz		: 1296.904
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3092.644
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.807
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.188
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1496.624
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.231
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1496.426
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128003512 kB
MemAvailable:   129741672 kB
Buffers:            2128 kB
Cached:          2503772 kB
SwapCached:           12 kB
Active:           681940 kB
Inactive:        2038956 kB
Active(anon):     221872 kB
Inactive(anon):    11076 kB
Active(file):     460068 kB
Inactive(file):  2027880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3172 kB
Writeback:             0 kB
AnonPages:        218284 kB
Mapped:           123740 kB
Shmem:             17948 kB
KReclaimable:     179296 kB
Slab:             265488 kB
SReclaimable:     179296 kB
SUnreclaim:        86192 kB
KernelStack:        4576 kB
PageTables:         3392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4788084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149960 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432160 MiB
End job on nodeC006 at 2025-07-03 17:01:54