Trace number 4518372

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 2025-06-06SAT (TO)1 3600.46 3602.12

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
MD5SUMed60cb87c21a2ab9c662251f6e4b174f
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 benchmark0.022653
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables284
Total number of constraints71
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)71
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 71
Biggest coefficient in the objective function 71
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 2556
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 2556
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.21	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.43/0.34	c Pseudo Boolean Optimization by upper bound
0.43/0.34	c --- Begin Solver configuration ---
0.43/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.34	c Learn all clauses as in MiniSAT
0.43/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	c Expensive reason simplification
0.43/0.34	c Glucose 2.1 dynamic restart strategy
0.43/0.34	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.43/0.34	c timeout=2147483s
0.43/0.34	c DB Simplification allowed=false
0.43/0.34	c Listener: none
0.43/0.34	c --- End Solver configuration ---
0.43/0.34	c solving HOME/instance-4518372-1751546165.opb
0.43/0.34	c reading problem ... 
0.43/0.34	c  objective function found
0.43/0.39	c ... done. Wall clock time 0.046s.
0.43/0.39	c declared #vars     284
0.43/0.39	c #constraints  142
0.43/0.39	c constraints type 
0.43/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 142
0.43/0.39	c 142 constraints processed.
0.43/0.41	c objective function length is 71 literals
0.64/0.52	c SATISFIABLE
0.64/0.52	c OPTIMIZING...
0.64/0.52	c Got one! Elapsed wall clock time (in seconds):0.178
0.64/0.52	o 20
0.80/0.57	c Got one! Elapsed wall clock time (in seconds):0.229
0.80/0.57	o 5
1.54/0.93	c Got one! Elapsed wall clock time (in seconds):0.594
1.54/0.93	o 2
1.54/0.95	c Got one! Elapsed wall clock time (in seconds):0.613
1.54/0.95	o 1
2.13/1.23	c cleaning 2970 clauses out of 5953 with flag 21270/5953
2.92/1.63	c cleaning 4488 clauses out of 8982 with flag 56805/11952
3.32/1.89	c cleaning 5744 clauses out of 11494 with flag 99381/18952
3.81/2.17	c cleaning 6873 clauses out of 13753 with flag 152541/26955
4.20/2.41	c cleaning 7935 clauses out of 15878 with flag 209924/35953
4.43/2.68	c cleaning 8963 clauses out of 17942 with flag 265554/45952
4.96/3.01	c cleaning 9986 clauses out of 19979 with flag 331516/56952
5.25/3.37	c cleaning 10993 clauses out of 21993 with flag 401059/68952
5.75/3.83	c cleaning 11996 clauses out of 24001 with flag 489232/81953
6.36/4.47	c cleaning 12994 clauses out of 26004 with flag 580913/95952
6.86/4.95	c cleaning 13999 clauses out of 28010 with flag 678317/110952
7.36/5.46	c cleaning 14995 clauses out of 30012 with flag 779398/126953
8.04/6.05	c cleaning 15991 clauses out of 32017 with flag 883461/143953
8.90/6.84	c cleaning 17002 clauses out of 34025 with flag 1004518/161952
9.70/7.62	c cleaning 18000 clauses out of 36024 with flag 1130073/180953
10.50/8.41	c cleaning 19009 clauses out of 38024 with flag 1279666/200953
11.40/9.31	c cleaning 19994 clauses out of 40014 with flag 1439928/221952
12.21/10.16	c cleaning 21008 clauses out of 42024 with flag 1573305/243956
13.11/11.07	c cleaning 21994 clauses out of 44012 with flag 1714836/266952
14.39/12.40	c cleaning 22997 clauses out of 46020 with flag 1866829/290954
15.69/13.69	c cleaning 24005 clauses out of 48022 with flag 2048194/315953
16.88/14.87	c cleaning 25000 clauses out of 50018 with flag 2224660/341954
17.99/16.01	c cleaning 25996 clauses out of 52017 with flag 2406863/368953
19.58/17.56	c cleaning 27004 clauses out of 54020 with flag 2594147/396952
20.88/18.84	c cleaning 27987 clauses out of 56016 with flag 2779204/425952
22.28/20.21	c cleaning 29007 clauses out of 58031 with flag 2971471/455954
23.78/21.73	c cleaning 30000 clauses out of 60024 with flag 3168870/486954
25.37/23.30	c cleaning 31005 clauses out of 62025 with flag 3363303/518955
27.09/25.05	c cleaning 32000 clauses out of 64018 with flag 3585649/551953
29.27/27.25	c cleaning 32996 clauses out of 66017 with flag 3817801/585952
31.80/29.75	c cleaning 34000 clauses out of 68021 with flag 4063632/620952
34.40/32.39	c cleaning 35002 clauses out of 70021 with flag 4302012/656952
36.70/34.69	c cleaning 36002 clauses out of 72019 with flag 4558321/693952
39.59/37.53	c cleaning 37003 clauses out of 74018 with flag 4831748/731953
42.48/40.46	c cleaning 37999 clauses out of 76015 with flag 5134455/770953
45.00/42.96	c cleaning 38989 clauses out of 78015 with flag 5391084/810952
47.41/45.30	c cleaning 40006 clauses out of 80028 with flag 5655159/851954
49.90/47.89	c cleaning 41000 clauses out of 82021 with flag 5955905/893953
53.11/51.09	c cleaning 42000 clauses out of 84020 with flag 6269721/936952
55.99/53.92	c cleaning 43001 clauses out of 86020 with flag 6562222/980952
58.94/56.84	c cleaning 44002 clauses out of 88022 with flag 6857346/1025955
62.34/60.24	c cleaning 44998 clauses out of 90017 with flag 7182019/1071952
65.54/63.44	c cleaning 46002 clauses out of 92019 with flag 7507852/1118952
68.63/66.59	c cleaning 47001 clauses out of 94017 with flag 7823129/1166952
71.98/69.86	c cleaning 47999 clauses out of 96017 with flag 8152323/1215953
75.28/73.11	c cleaning 48999 clauses out of 98017 with flag 8497076/1265952
78.87/76.77	c cleaning 49998 clauses out of 100018 with flag 8864974/1316952
82.46/80.36	c cleaning 51001 clauses out of 102022 with flag 9229927/1368954
86.22/84.08	c cleaning 52001 clauses out of 104021 with flag 9598089/1421954
89.90/87.77	c cleaning 53001 clauses out of 106019 with flag 9975541/1475953
93.79/91.64	c cleaning 53988 clauses out of 108017 with flag 10344664/1530952
97.88/95.79	c cleaning 55011 clauses out of 110031 with flag 10715741/1586954
102.29/100.16	c cleaning 56001 clauses out of 112018 with flag 11109746/1643952
106.37/104.22	c cleaning 56994 clauses out of 114017 with flag 11498989/1701952
110.35/108.24	c cleaning 58004 clauses out of 116026 with flag 11899991/1760955
115.16/113.02	c cleaning 58999 clauses out of 118019 with flag 12303094/1820952
119.34/117.29	c cleaning 60005 clauses out of 120020 with flag 12702380/1881952
123.63/121.57	c cleaning 61002 clauses out of 122016 with flag 13124266/1943953
128.72/126.63	c cleaning 61994 clauses out of 124013 with flag 13573577/2006952
133.32/131.26	c cleaning 62995 clauses out of 126019 with flag 14003582/2070952
138.22/136.11	c cleaning 64006 clauses out of 128024 with flag 14457444/2135952
143.11/141.07	c cleaning 64992 clauses out of 130018 with flag 14903083/2201952
148.32/146.21	c cleaning 66008 clauses out of 132028 with flag 15367564/2268954
153.71/151.67	c cleaning 67000 clauses out of 134019 with flag 15860896/2336953
159.12/157.11	c cleaning 67995 clauses out of 136018 with flag 16336187/2405952
165.40/163.37	c cleaning 69000 clauses out of 138024 with flag 16831016/2475953
170.89/168.85	c cleaning 70002 clauses out of 140026 with flag 17326818/2546955
177.37/175.36	c cleaning 71000 clauses out of 142024 with flag 17826437/2618955
183.08/181.08	c cleaning 72000 clauses out of 144021 with flag 18336330/2691952
189.25/187.20	c cleaning 73004 clauses out of 146021 with flag 18839237/2765952
197.53/195.57	c cleaning 73994 clauses out of 148017 with flag 19422692/2840952
203.73/201.77	c cleaning 75006 clauses out of 150026 with flag 19929343/2916955
210.31/208.30	c cleaning 75995 clauses out of 152017 with flag 20452889/2993952
216.90/215.01	c cleaning 77000 clauses out of 154022 with flag 21008867/3071952
223.69/221.72	c cleaning 78005 clauses out of 156023 with flag 21576934/3150953
231.21/229.29	c cleaning 78993 clauses out of 158018 with flag 22127164/3230953
238.40/236.47	c cleaning 80003 clauses out of 160024 with flag 22707348/3311952
245.48/243.54	c cleaning 81002 clauses out of 162021 with flag 23296993/3393952
253.08/251.13	c cleaning 81999 clauses out of 164020 with flag 23900389/3476953
261.16/259.28	c cleaning 83006 clauses out of 166021 with flag 24537984/3560953
269.14/267.27	c cleaning 83998 clauses out of 168014 with flag 25187907/3645952
279.26/277.34	c cleaning 85000 clauses out of 170016 with flag 25811676/3731952
286.96/285.05	c cleaning 86001 clauses out of 172016 with flag 26407428/3818952
294.84/292.94	c cleaning 86991 clauses out of 174015 with flag 27011825/3906952
303.22/301.35	c cleaning 88008 clauses out of 176026 with flag 27630527/3995954
311.51/309.69	c cleaning 89001 clauses out of 178017 with flag 28271788/4085953
320.10/318.21	c cleaning 90000 clauses out of 180016 with flag 28916858/4176953
328.58/326.75	c cleaning 90993 clauses out of 182016 with flag 29571228/4268953
337.46/335.69	c cleaning 92005 clauses out of 184025 with flag 30236358/4361955
346.75/344.99	c cleaning 92990 clauses out of 186017 with flag 30883392/4455952
355.84/354.02	c cleaning 94002 clauses out of 188027 with flag 31546376/4550952
365.37/363.54	c cleaning 95000 clauses out of 190026 with flag 32219467/4646953
374.76/373.00	c cleaning 96006 clauses out of 192026 with flag 32882498/4743953
384.54/382.70	c cleaning 96993 clauses out of 194019 with flag 33598962/4841952
394.33/392.52	c cleaning 98001 clauses out of 196027 with flag 34305387/4940953
404.50/402.72	c cleaning 99000 clauses out of 198026 with flag 35035249/5040953
414.90/413.18	c cleaning 100001 clauses out of 200025 with flag 35753639/5141952
425.27/423.50	c cleaning 101006 clauses out of 202025 with flag 36461767/5243953
435.55/433.82	c cleaning 102000 clauses out of 204019 with flag 37192521/5346953
447.79/446.05	c cleaning 102997 clauses out of 206018 with flag 37950835/5450952
458.95/457.23	c cleaning 104003 clauses out of 208021 with flag 38705659/5555952
470.43/468.70	c cleaning 104995 clauses out of 210018 with flag 39447443/5661952
482.21/480.54	c cleaning 106000 clauses out of 212023 with flag 40231758/5768952
493.84/492.16	c cleaning 107008 clauses out of 214024 with flag 41026222/5876953
505.41/503.76	c cleaning 107995 clauses out of 216015 with flag 41811235/5985952
517.08/515.40	c cleaning 108997 clauses out of 218020 with flag 42616670/6095952
529.06/527.44	c cleaning 110003 clauses out of 220026 with flag 43416593/6206955
542.71/541.04	c cleaning 111000 clauses out of 222022 with flag 44226667/6318954
555.17/553.50	c cleaning 112000 clauses out of 224020 with flag 45047813/6431952
567.77/566.18	c cleaning 112992 clauses out of 226020 with flag 45908337/6545952
580.33/578.79	c cleaning 113998 clauses out of 228028 with flag 46744133/6660952
593.80/592.23	c cleaning 115000 clauses out of 230032 with flag 47621043/6776954
606.75/605.16	c cleaning 115996 clauses out of 232032 with flag 48460893/6893954
620.11/618.57	c cleaning 117002 clauses out of 234035 with flag 49337304/7011953
635.09/633.53	c cleaning 117990 clauses out of 236034 with flag 50229928/7130954
648.96/647.48	c cleaning 119002 clauses out of 238043 with flag 51104288/7250953
662.83/661.33	c cleaning 120011 clauses out of 240041 with flag 51969570/7371953
678.19/676.63	c cleaning 121011 clauses out of 242029 with flag 52882973/7493952
693.26/691.78	c cleaning 121990 clauses out of 244018 with flag 53778696/7616952
709.13/707.65	c cleaning 123005 clauses out of 246029 with flag 54707312/7740953
724.39/722.90	c cleaning 123999 clauses out of 248023 with flag 55644595/7865952
739.66/738.20	c cleaning 125001 clauses out of 250024 with flag 56543765/7991952
755.53/754.16	c cleaning 126005 clauses out of 252026 with flag 57484341/8118955
771.63/770.16	c cleaning 126999 clauses out of 254018 with flag 58413014/8246952
788.89/787.43	c cleaning 127996 clauses out of 256019 with flag 59432164/8375952
804.86/803.44	c cleaning 129006 clauses out of 258024 with flag 60367540/8505953
821.33/819.94	c cleaning 130000 clauses out of 260020 with flag 61303800/8636955
837.69/836.39	c cleaning 131006 clauses out of 262017 with flag 62253589/8768952
854.96/853.61	c cleaning 132002 clauses out of 264015 with flag 63221130/8901956
873.26/871.68	c cleaning 132996 clauses out of 266011 with flag 64186712/9035954
891.12/889.59	c cleaning 133999 clauses out of 268014 with flag 65213646/9170953
908.60/907.06	c cleaning 135000 clauses out of 270016 with flag 66230737/9306954
927.35/925.88	c cleaning 136003 clauses out of 272015 with flag 67214047/9443953
945.02/943.51	c cleaning 136996 clauses out of 274011 with flag 68212595/9581952
965.52/964.09	c cleaning 137991 clauses out of 276015 with flag 69243514/9720952
984.49/983.02	c cleaning 139003 clauses out of 278024 with flag 70280735/9860952
1003.04/1001.61	c cleaning 140005 clauses out of 280022 with flag 71300364/10001953
1022.30/1021.00	c cleaning 140999 clauses out of 282017 with flag 72357086/10143953
1042.43/1041.06	c cleaning 142000 clauses out of 284017 with flag 73408687/10286952
1062.78/1061.42	c cleaning 143001 clauses out of 286017 with flag 74443232/10430952
1083.23/1081.96	c cleaning 144007 clauses out of 288019 with flag 75527784/10575955
1106.69/1105.45	c cleaning 144996 clauses out of 290010 with flag 76671344/10721953
1128.06/1126.78	c cleaning 145997 clauses out of 292015 with flag 77742518/10868954
1149.81/1148.54	c cleaning 147001 clauses out of 294016 with flag 78847701/11016952
1170.17/1168.94	c cleaning 148000 clauses out of 296015 with flag 79967097/11165952
1192.54/1191.38	c cleaning 148997 clauses out of 298015 with flag 81130909/11315952
1214.50/1213.35	c cleaning 150009 clauses out of 300018 with flag 82261676/11466952
1236.17/1235.05	c cleaning 150989 clauses out of 302010 with flag 83400071/11618953
1257.96/1256.85	c cleaning 152006 clauses out of 304022 with flag 84542395/11771954
1280.02/1278.91	c cleaning 152999 clauses out of 306014 with flag 85682944/11925952
1301.09/1300.07	c cleaning 153995 clauses out of 308015 with flag 86859861/12080952
1324.60/1323.57	c cleaning 155005 clauses out of 310020 with flag 88036669/12236952
1347.56/1346.54	c cleaning 155981 clauses out of 312016 with flag 89197743/12393953
1370.71/1369.74	c cleaning 157012 clauses out of 314034 with flag 90357450/12551952
1394.17/1393.27	c cleaning 158005 clauses out of 316024 with flag 91558930/12710954
1418.26/1417.33	c cleaning 159000 clauses out of 318018 with flag 92768353/12870953
1442.41/1441.52	c cleaning 159994 clauses out of 320017 with flag 93967190/13031952
1466.57/1465.79	c cleaning 161007 clauses out of 322023 with flag 95246036/13193952
1490.53/1489.76	c cleaning 162002 clauses out of 324018 with flag 96444638/13356954
1515.58/1514.84	c cleaning 162993 clauses out of 326016 with flag 97674551/13520954
1542.13/1541.46	c cleaning 163998 clauses out of 328022 with flag 98945783/13685953
1578.45/1577.85	c cleaning 165007 clauses out of 330023 with flag 100568367/13851952
1603.71/1603.18	c cleaning 165994 clauses out of 332016 with flag 101843771/14018952
1631.93/1631.37	c cleaning 167008 clauses out of 334023 with flag 103114425/14186953
1657.70/1657.14	c cleaning 168002 clauses out of 336014 with flag 104370685/14355952
1684.23/1683.72	c cleaning 168997 clauses out of 338013 with flag 105636097/14525953
1711.44/1710.91	c cleaning 170001 clauses out of 340016 with flag 106917431/14696953
1739.39/1738.95	c cleaning 170999 clauses out of 342014 with flag 108215168/14868952
1767.23/1766.89	c cleaning 171999 clauses out of 344015 with flag 109526526/15041952
1795.85/1795.43	c cleaning 173002 clauses out of 346018 with flag 110817110/15215954
1825.30/1825.00	c cleaning 174000 clauses out of 348015 with flag 112140973/15390953
1855.36/1855.02	c cleaning 175001 clauses out of 350014 with flag 113483555/15566952
1885.19/1884.96	c cleaning 175996 clauses out of 352013 with flag 114882514/15743952
1915.88/1915.64	c cleaning 176999 clauses out of 354018 with flag 116203338/15921953
1946.24/1946.05	c cleaning 177992 clauses out of 356018 with flag 117546900/16100952
1975.87/1975.75	c cleaning 178999 clauses out of 358026 with flag 118869370/16280952
2007.12/2007.01	c cleaning 180006 clauses out of 360027 with flag 120266444/16461952
2038.46/2038.46	c cleaning 181002 clauses out of 362021 with flag 121671922/16643952
2070.06/2070.04	c cleaning 182002 clauses out of 364019 with flag 123055295/16826952
2101.79/2101.80	c cleaning 182997 clauses out of 366018 with flag 124484661/17010953
2133.84/2133.95	c cleaning 184001 clauses out of 368020 with flag 125906237/17195952
2167.27/2167.44	c cleaning 185004 clauses out of 370021 with flag 127393758/17381954
2198.70/2198.96	c cleaning 185996 clauses out of 372016 with flag 128809254/17568953
2231.23/2231.57	c cleaning 187001 clauses out of 374020 with flag 130251718/17756953
2263.68/2264.10	c cleaning 187996 clauses out of 376018 with flag 131684755/17945952
2297.10/2297.52	c cleaning 189001 clauses out of 378023 with flag 133154925/18135953
2330.43/2330.97	c cleaning 190003 clauses out of 380022 with flag 134603676/18326953
2364.88/2365.50	c cleaning 191001 clauses out of 382018 with flag 136072583/18518952
2400.21/2400.83	c cleaning 192004 clauses out of 384019 with flag 137567956/18711954
2435.36/2436.11	c cleaning 192999 clauses out of 386013 with flag 139044497/18905952
2471.86/2472.66	c cleaning 193998 clauses out of 388015 with flag 140602080/19100953
2507.61/2508.39	c cleaning 195002 clauses out of 390016 with flag 142074054/19296952
2543.25/2544.08	c cleaning 195995 clauses out of 392014 with flag 143582810/19493952
2579.58/2580.43	c cleaning 196996 clauses out of 394019 with flag 145126928/19691952
2618.50/2619.40	c cleaning 198012 clauses out of 396024 with flag 146698743/19890953
2655.53/2656.52	c cleaning 198995 clauses out of 398012 with flag 148228699/20090953
2691.57/2692.66	c cleaning 200001 clauses out of 400018 with flag 149781783/20291954
2727.20/2728.32	c cleaning 201003 clauses out of 402018 with flag 151393176/20493955
2765.24/2766.42	c cleaning 201996 clauses out of 404012 with flag 152998711/20696952
2804.87/2806.19	c cleaning 203001 clauses out of 406016 with flag 154581520/20900952
2845.78/2846.98	c cleaning 204002 clauses out of 408017 with flag 156249924/21105954
2886.62/2887.88	c cleaning 204998 clauses out of 410014 with flag 157941766/21311953
2924.76/2926.07	c cleaning 205991 clauses out of 412016 with flag 159563941/21518953
2965.27/2966.64	c cleaning 206999 clauses out of 414026 with flag 161205491/21726954
3005.01/3006.07	c cleaning 208000 clauses out of 416026 with flag 162868729/21935953
3045.82/3046.93	c cleaning 209002 clauses out of 418027 with flag 164529202/22145954
3089.24/3090.48	c cleaning 210000 clauses out of 420023 with flag 166189628/22356952
3140.34/3141.61	c cleaning 210999 clauses out of 422023 with flag 167979725/22568952
3180.57/3181.95	c cleaning 212005 clauses out of 424025 with flag 169650323/22781953
3223.71/3225.17	c cleaning 213000 clauses out of 426019 with flag 171359219/22995952
3266.98/3268.36	c cleaning 214004 clauses out of 428021 with flag 173030412/23210954
3309.51/3311.01	c cleaning 214999 clauses out of 430015 with flag 174778199/23426952
3354.72/3356.29	c cleaning 215996 clauses out of 432016 with flag 176510143/23643952
3398.63/3400.21	c cleaning 217004 clauses out of 434020 with flag 178256890/23861952
3443.28/3444.98	c cleaning 218000 clauses out of 436017 with flag 179989063/24080953
3486.80/3488.59	c cleaning 218997 clauses out of 438016 with flag 181734129/24300952
3552.37/3554.20	c cleaning 220005 clauses out of 440021 with flag 183741778/24521954
3598.46/3600.31	c cleaning 220997 clauses out of 442014 with flag 185539238/24743952
3600.05/3601.99	c starts		: 27963
3600.05/3602.01	c conflicts		: 24754003
3600.05/3602.01	c decisions		: 30533406
3600.05/3602.01	c propagations		: 453883973
3600.05/3602.01	c inspects		: 58440427556
3600.05/3602.01	c shortcuts		: 0
3600.05/3602.01	c learnt literals	: 0
3600.05/3602.01	c learnt binary clauses	: 0
3600.05/3602.01	c learnt ternary clauses	: 0
3600.05/3602.01	c learnt constraints	: 24754003
3600.05/3602.01	c ignored constraints	: 0
3600.05/3602.01	c root simplifications	: 0
3600.05/3602.01	c removed literals (reason simplification)	: 44107382
3600.05/3602.01	c reason swapping (by a shorter reason)	: 0
3600.05/3602.01	c Calls to reduceDB	: 218
3600.05/3602.01	c Number of update (reduction) of LBD	: 6903948
3600.26/3602.01	c Imported unit clauses	: 0
3600.26/3602.01	c No decision after first conflict	: false
3600.26/3602.01	c number of reductions to clauses (during analyze)	: 0
3600.26/3602.01	c number of learned constraints concerned by reduction	: 0
3600.26/3602.01	c number of learning phase by resolution	: 0
3600.26/3602.01	c number of learning phase by cutting planes	: 0
3600.26/3602.01	c number of rounding to 1 operations	: 0
3600.26/3602.01	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.26/3602.01	c number of reductions of the coefficients by power 2 	: 0
3600.26/3602.01	c number of right shift for reduction by power 2 	: 0
3600.26/3602.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.26/3602.02	c number of ending skipping 	: 0
3600.26/3602.02	c number of internal skipping 	: 0
3600.26/3602.02	c number of derivation steps 	: 0
3600.26/3602.02	c number of skipped derivation steps 	: 0
3600.26/3602.02	c number of remaining unassigned 	: 0
3600.26/3602.02	c number of remaining assigned 	: 0
3600.26/3602.02	c number of falsified literals weakened from reason	: 0
3600.26/3602.02	c number of falsified literals weakened from conflict	: 0
3600.26/3602.02	c time for arithmetic operations	: 0
3600.26/3602.03	c minimum degree of deleted constraints	: null
3600.26/3602.03	c maximum degree of deleted constraints	: null
3600.26/3602.03	c number of deleted constraints	: 0
3600.26/3602.03	c speed (assignments/second)	: 126022.626288765
3600.26/3602.03	c non guided choices	: 33114
3600.26/3602.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 231068
3600.26/3602.10	s SATISFIABLE
3600.26/3602.10	c Found 4 solution(s)
3600.26/3602.10	v -x1 -x2 -x3 -x4 x5 x6 -x7 x8 x9 -x10 -x11 x12 -x13 -x14 x15 -x16 x17 x18 x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 x28 x29 x30 x31 -x32 -x33 x34 x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 x47 x48 x49 -x50 x51 -x52 x53 -x54 -x55 x56 -x57 x58 x59 -x60 -x61 x62 x63 x64 -x65 -x66 x67 x68 -x69 x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 x79 x80 x81 -x82 x83 x84 x85 -x86 -x87 x88 -x89 x90 -x91 -x92 x93 x94 x95 -x96 x97 -x98 x99 -x100 x101 x102 x103 x104 -x105 x106 -x107 x108 x109 x110 -x111 -x112 x113 -x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 -x146 x147 x148 x149 -x150 x151 x152 x153 x154 -x155 -x156 x157 x158 x159 x160 x161 -x162 -x163 x164 x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 x174 x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 
3600.26/3602.10	c objective function=1
3600.26/3602.10	c Total wall clock time (in seconds): 3601.766

Verifier Data 

OK	1

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: 63837 MiB (49072 MiB free)
  memory of node 1: 64465 MiB (49431 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518372-1751546165/watcher-4518372-1751546165 -o /tmp/evaluation-result-4518372-1751546165/solver-4518372-1751546165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73502 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518372-1751546165.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=74536, runsolver pid=74533
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 3.51 3.28 3.28 8/300 74554
/proc/meminfo: memFree=100856512/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18930384 memory=50360 CPUtime=0.12 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 5727 0 0 0 8 4 0 0 20 0 18 0 70295322 19384713216 12590 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4732596 12590 5337 1 0 546955 0
[pid=74536/tid=74538] ppid=74533 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 4637 0 0 0 4 3 0 0 20 0 18 0 70295324 19384713216 12590 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18930384 memory=215637821677 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70295329 19384713216 12590 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18930384 memory=19982 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70295330 19384713216 12590 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50360 KiB

[startup+0.213718 s]*
/proc/loadavg: 3.51 3.28 3.28 7/300 74554
/proc/meminfo: memFree=100853992/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18930384 memory=55044 CPUtime=0.27 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 6379 0 0 0 23 4 0 0 20 0 18 0 70295322 19384713216 13761 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4732596 13761 5369 1 0 547532 0
[pid=74536/tid=74538] ppid=74533 vsize=18930384 memory=4026775817 CPUtime=0.17 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) S 74533 74536 73492 0 -1 4194368 4976 0 0 0 14 3 0 0 20 0 18 0 70295324 19384713216 13761 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18930384 memory=211342852430 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70295329 19384713216 13761 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18930384 memory=59589299292739 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70295330 19384713216 13761 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55044 KiB

[startup+0.313228 s]*
/proc/loadavg: 3.51 3.28 3.28 7/300 74554
/proc/meminfo: memFree=100849896/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18930384 memory=60176 CPUtime=0.43 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 6636 0 0 0 38 5 0 0 20 0 18 0 70295322 19384713216 15012 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4732596 15012 5369 1 0 547754 0
[pid=74536/tid=74538] ppid=74533 vsize=18930384 memory=-6000919494214903912 CPUtime=0.26 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 5180 0 0 0 23 3 0 0 20 0 18 0 70295324 19384713216 15044 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70295329 19384713216 15044 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70295330 19384713216 15044 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60176 KiB

[startup+0.700356 s]
/proc/loadavg: 3.51 3.28 3.28 7/301 74555
/proc/meminfo: memFree=100847376/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18996948 memory=66928 CPUtime=1.14 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 8478 0 0 0 108 6 0 0 20 0 19 0 70295322 19452874752 16732 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4749237 16732 5465 1 0 549147 0
[pid=74536/tid=74538] ppid=74533 vsize=18996948 memory=17920 CPUtime=0.63 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 5407 0 0 0 60 3 0 0 20 0 19 0 70295324 19452874752 16732 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70295329 19452874752 16732 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70295330 19452874752 16732 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=18996948 memory=4896 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70295365 19452874752 16732 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66928 KiB

[startup+1.50031 s]
/proc/loadavg: 3.51 3.28 3.28 6/301 74555
/proc/meminfo: memFree=100836916/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18996948 memory=89472 CPUtime=2.72 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 19194 0 0 0 264 8 0 0 20 0 19 0 70295322 19452874752 22368 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4749237 22368 5497 1 0 552547 0
[pid=74536/tid=74538] ppid=74533 vsize=18996948 memory=11264 CPUtime=1.42 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 6384 0 0 0 139 3 0 0 20 0 19 0 70295324 19452874752 22368 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70295329 19452874752 22368 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70295330 19452874752 22368 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=18996948 memory=211309297979 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70295365 19452874752 22368 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89472 KiB

[startup+3.10924 s]
/proc/loadavg: 3.55 3.29 3.29 4/301 74555
/proc/meminfo: memFree=100798244/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18996948 memory=113748 CPUtime=5.06 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 20724 0 0 0 497 9 0 0 20 0 19 0 70295322 19452874752 28437 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4749237 28437 5497 1 0 553409 0
[pid=74536/tid=74538] ppid=74533 vsize=18996948 memory=11264 CPUtime=3.03 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 6655 0 0 0 299 4 0 0 20 0 19 0 70295324 19452874752 28437 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18996948 memory=-6000919494214903912 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70295329 19452874752 28437 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70295330 19452874752 28437 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=18996948 memory=164 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70295365 19452874752 28437 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 5.06 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113748 KiB

[startup+6.30046 s]
/proc/loadavg: 3.55 3.29 3.29 4/301 74555
/proc/meminfo: memFree=100761380/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=18996948 memory=148064 CPUtime=8.4 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 23557 0 0 0 829 11 0 0 20 0 19 0 70295322 19452874752 37016 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4749237 37016 5497 1 0 553411 0
[pid=74536/tid=74538] ppid=74533 vsize=18996948 memory=0 CPUtime=6.21 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 7232 0 0 0 616 5 0 0 20 0 19 0 70295324 19452874752 37016 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70295329 19452874752 37016 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=18996948 memory=92800 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70295330 19452874752 37016 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70295365 19452874752 37016 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 8.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148064 KiB

[startup+12.7005 s]
/proc/loadavg: 3.50 3.29 3.29 4/302 74557
/proc/meminfo: memFree=100725220/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=181168 CPUtime=14.79 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 25355 0 0 0 1467 12 0 0 20 0 20 0 70295322 19521036288 45292 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 45292 5497 1 0 553700 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=0 CPUtime=12.54 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 7684 0 0 0 1249 5 0 0 20 0 20 0 70295324 19521036288 45292 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 45292 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 45292 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 45292 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 14.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181168 KiB

[startup+25.5005 s]
/proc/loadavg: 3.47 3.29 3.29 5/301 74557
/proc/meminfo: memFree=100721880/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=187348 CPUtime=27.57 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 26898 0 0 0 2743 14 0 0 20 0 20 0 70295322 19521036288 46837 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 46837 5497 1 0 553700 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=0 CPUtime=25.25 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 8106 0 0 0 2520 5 0 0 20 0 20 0 70295324 19521036288 46837 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 46837 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=211309297979 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 46837 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=-6000919494214903912 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 46837 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 27.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187348 KiB

[startup+51.1133 s]
/proc/loadavg: 3.31 3.27 3.28 4/301 74557
/proc/meminfo: memFree=100644812/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=265680 CPUtime=53.21 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 27387 0 0 0 5303 18 0 0 20 0 20 0 70295322 19521036288 66420 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 66420 5529 1 0 553700 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=11264 CPUtime=50.6 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 8134 0 0 0 5055 5 0 0 20 0 20 0 70295324 19521036288 66420 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=212216 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 66420 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=14464 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=124068364/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160420 CPUtime=3280.97 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 68286 0 0 0 327875 222 0 0 20 0 20 0 70295322 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540105 5529 1 0 555541 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=14464 CPUtime=3268.54 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 28689 0 0 0 326830 24 0 0 20 0 20 0 70295324 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1092 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3280.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160420 KiB

[startup+3342.3 s]
/proc/loadavg: 3.64 3.38 3.24 4/301 74865
/proc/meminfo: memFree=124027976/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160420 CPUtime=3340.84 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 68617 0 0 0 333859 225 0 0 20 0 20 0 70295322 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540105 5529 1 0 555541 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=4896 CPUtime=3328.37 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 29016 0 0 0 332813 24 0 0 20 0 20 0 70295324 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1092 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3340.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160420 KiB

[startup+3402.3 s]
/proc/loadavg: 3.29 3.33 3.22 4/301 74868
/proc/meminfo: memFree=124028228/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160420 CPUtime=3400.72 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 69264 0 0 0 339843 229 0 0 20 0 20 0 70295322 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540105 5529 1 0 555541 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=4896 CPUtime=3388.19 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 29539 0 0 0 338795 24 0 0 20 0 20 0 70295324 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1129 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3400.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160420 KiB

[startup+3462.3 s]
/proc/loadavg: 3.16 3.28 3.21 4/302 74873
/proc/meminfo: memFree=124030208/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160420 CPUtime=3460.65 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 69851 0 0 0 345834 231 0 0 20 0 20 0 70295322 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540105 5529 1 0 555541 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=4896 CPUtime=3447.99 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 29804 0 0 0 344775 24 0 0 20 0 20 0 70295324 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3460.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160420 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.24 3.20 4/303 74876
/proc/meminfo: memFree=124001028/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160420 CPUtime=3520.54 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 69925 0 0 0 351820 234 0 0 20 0 20 0 70295322 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540105 5529 1 0 555546 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=2160420 CPUtime=3507.83 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 29872 0 0 0 350759 24 0 0 20 0 20 0 70295324 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=2160420 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=-6000919494214903912 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540105 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3520.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160420 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.21 3.19 4/303 74878
/proc/meminfo: memFree=124002420/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160548 CPUtime=3580.49 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 70609 0 0 0 357812 237 0 0 20 0 20 0 70295322 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540137 5529 1 0 555563 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=14464 CPUtime=3567.45 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 30263 0 0 0 356721 24 0 0 20 0 20 0 70295324 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=2160548 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.9 s]
/proc/loadavg: 3.15 3.21 3.19 4/303 74878
/proc/meminfo: memFree=124002424/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19063512 memory=2160548 CPUtime=3600.05 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 70715 0 0 0 359767 238 0 0 20 0 20 0 70295322 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4765878 540137 5529 1 0 555563 0
[pid=74536/tid=74538] ppid=74533 vsize=19063512 memory=0 CPUtime=3586.99 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 30345 0 0 0 358675 24 0 0 20 0 20 0 70295324 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19063512 memory=2160548 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70295329 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 70295330 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74555] ppid=74533 vsize=19063512 memory=-6000919494214903912 CPUtime=0 cores=0,2
/proc/74536/task/74555/stat : 74555 (Timer-0) S 74533 74536 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70295365 19521036288 540137 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160548 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.06 s, system=2.39924 s

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

[startup+3602 s]*
/proc/loadavg: 3.15 3.21 3.19 6/304 74881
/proc/meminfo: memFree=124002424/131382120 swapFree=33010416/33010684
[pid=74536] ppid=74533 vsize=19263204 memory=2161572 CPUtime=3600.26 cores=0,2
/proc/74536/stat : 74536 (java) S 74533 74536 73492 0 -1 4194304 72336 0 0 0 359788 238 0 0 20 0 21 0 70295322 19725520896 540393 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
/proc/74536/statm: 4815801 540393 5561 1 0 556541 0
[pid=74536/tid=74538] ppid=74533 vsize=19263204 memory=-6000919507015854184 CPUtime=3587.03 cores=0,2
/proc/74536/task/74538/stat : 74538 (java) R 74533 74536 73492 0 -1 4194368 30501 0 0 0 358679 24 0 0 20 0 21 0 70295324 19725520896 540393 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74547] ppid=74533 vsize=19263204 memory=-4050210904893669262 CPUtime=0 cores=0,2
/proc/74536/task/74547/stat : 74547 (Finalizer) S 74533 74536 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70295329 19725520896 540393 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74554] ppid=74533 vsize=19263204 memory=198340509722 CPUtime=0 cores=0,2
/proc/74536/task/74554/stat : 74554 (Common-Cleaner) S 74533 74536 73492 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 21 0 70295330 19725520896 540393 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
[pid=74536/tid=74881] ppid=74533 vsize=19263204 memory=245635481903 CPUtime=0 cores=0,2
/proc/74536/task/74881/stat : 74881 (Thread-0) R 74533 74536 73492 0 -1 4194368 150 0 0 0 0 0 0 0 20 0 21 0 70655520 19725520896 540393 18446744073709551615 94178448650240 94178448653936 140733170022688 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94178448661752 94178448662544 94178471784448 140733170026881 140733170026982 140733170026982 140733170032584 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2161572 KiB

Child status: 143

Real time (s): 3602.12
CPU time (s): 3600.46
CPU user time (s): 3598.06
CPU system time (s): 2.39924
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2161572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.06
system time used= 2.39924
maximum resident set size= 2161828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72669
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104931
involuntary context switches= 9463


# summary of solver processes directly reported to runsolver:
#   pid: 74536
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3598.06
#   total CPU system time (s): 2.39924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0306 second user time and 37.493 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-03 14:36:05
IDJOB=4518372
IDBENCH=177029
IDSOLVER=3363
FILE ID=nodeC002/4518372-1751546165
RUNJOBID= nodeC002-1751539206-73502
SLURM_JOB_ID= 9598696
Free space on /tmp= 432692 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518372-1751546165/watcher-4518372-1751546165 -o /tmp/evaluation-result-4518372-1751546165/solver-4518372-1751546165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73502 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518372-1751546165.opb

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

MD5SUM BENCH= ed60cb87c21a2ab9c662251f6e4b174f
RANDOM SEED=1920164947

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        100867088 kB
MemAvailable:   101439596 kB
Buffers:            2128 kB
Cached:          1378164 kB
SwapCached:           28 kB
Active:         28827264 kB
Inactive:        1075076 kB
Active(anon):   28533576 kB
Inactive(anon):     6404 kB
Active(file):     293688 kB
Inactive(file):  1068672 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               748 kB
Writeback:             0 kB
AnonPages:      28517928 kB
Mapped:           123132 kB
Shmem:             17932 kB
KReclaimable:      99552 kB
Slab:             183876 kB
SReclaimable:      99552 kB
SUnreclaim:        84324 kB
KernelStack:        4592 kB
PageTables:        59100 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   33051932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149992 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  28178432 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432692 MiB
End job on nodeC002 at 2025-07-03 15:36:07