Trace number 4518603

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-06SAT (TO)1 3498.88 3700.17

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb
MD5SUMc461ae7705f705842c6a0ab2eb8c850d
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.054755
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables444
Total number of constraints111
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)111
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 111
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 111
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 111
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4518603-1751549427.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.13/0.16	c ... done. Wall clock time 0.026s.
0.13/0.16	c declared #vars     444
0.13/0.16	c #constraints  222
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 222
0.13/0.16	c 222 constraints processed.
0.13/0.17	c objective function length is 111 literals
0.32/0.24	c SATISFIABLE
0.32/0.24	c OPTIMIZING...
0.32/0.24	c Got one! Elapsed wall clock time (in seconds):0.107
0.32/0.24	o 1
1.47/0.81	c cleaning 2582 clauses out of 5174 with flag 26879/5174
2.27/1.23	c cleaning 4289 clauses out of 8592 with flag 62319/11174
3.26/1.75	c cleaning 5644 clauses out of 11302 with flag 111650/18173
4.06/2.16	c cleaning 6827 clauses out of 13662 with flag 169114/26177
4.79/2.53	c cleaning 7896 clauses out of 15832 with flag 232285/35174
5.43/2.97	c cleaning 8963 clauses out of 17935 with flag 304474/45173
6.00/3.45	c cleaning 9981 clauses out of 19973 with flag 386237/56174
6.59/3.90	c cleaning 10982 clauses out of 21992 with flag 466813/68174
7.00/4.37	c cleaning 11992 clauses out of 24009 with flag 546044/81173
7.60/4.96	c cleaning 12990 clauses out of 26017 with flag 639709/95173
8.40/5.70	c cleaning 13997 clauses out of 28027 with flag 761289/110173
9.09/6.48	c cleaning 15003 clauses out of 30030 with flag 882348/126173
9.93/7.21	c cleaning 16004 clauses out of 32027 with flag 1000013/143173
11.05/8.31	c cleaning 16994 clauses out of 34024 with flag 1120099/161174
12.25/9.59	c cleaning 17998 clauses out of 36029 with flag 1259650/180173
13.44/10.75	c cleaning 19000 clauses out of 38031 with flag 1399841/200173
14.44/11.70	c cleaning 20004 clauses out of 40032 with flag 1541689/221174
15.34/12.69	c cleaning 21006 clauses out of 42028 with flag 1697037/243174
16.84/14.19	c cleaning 22005 clauses out of 44022 with flag 1873102/266174
18.53/15.80	c cleaning 22998 clauses out of 46017 with flag 2059082/290174
19.74/17.01	c cleaning 24000 clauses out of 48020 with flag 2225938/315175
21.23/18.39	c cleaning 25001 clauses out of 50018 with flag 2432028/341173
22.84/19.98	c cleaning 25991 clauses out of 52017 with flag 2654056/368173
24.53/21.65	c cleaning 27000 clauses out of 54027 with flag 2843618/396174
25.93/23.09	c cleaning 28004 clauses out of 56026 with flag 3031594/425173
27.53/24.66	c cleaning 29007 clauses out of 58023 with flag 3227621/455174
29.13/26.27	c cleaning 30002 clauses out of 60016 with flag 3446566/486174
30.95/28.05	c cleaning 30992 clauses out of 62014 with flag 3674141/518174
32.74/29.81	c cleaning 32001 clauses out of 64021 with flag 3887800/551173
34.64/31.77	c cleaning 33001 clauses out of 66020 with flag 4109402/585173
36.64/33.73	c cleaning 33999 clauses out of 68019 with flag 4355164/620173
38.63/35.93	c cleaning 34991 clauses out of 70020 with flag 4594342/656173
40.75/38.04	c cleaning 35997 clauses out of 72029 with flag 4834830/693173
42.85/40.19	c cleaning 37008 clauses out of 74033 with flag 5080429/731174
45.13/42.41	c cleaning 38000 clauses out of 76024 with flag 5345522/770173
47.43/44.71	c cleaning 39000 clauses out of 78024 with flag 5616852/810173
49.92/47.23	c cleaning 39995 clauses out of 80025 with flag 5898039/851174
52.42/49.76	c cleaning 41003 clauses out of 82029 with flag 6193801/893173
55.12/52.42	c cleaning 42006 clauses out of 84026 with flag 6489060/936173
57.84/55.17	c cleaning 42990 clauses out of 86020 with flag 6794175/980173
60.72/58.09	c cleaning 43999 clauses out of 88031 with flag 7120000/1025174
63.83/61.14	c cleaning 45012 clauses out of 90031 with flag 7446542/1071173
66.97/64.13	c cleaning 46004 clauses out of 92019 with flag 7789893/1118173
70.13/69.86	c cleaning 46993 clauses out of 94015 with flag 8119202/1166173
73.42/73.13	c cleaning 47998 clauses out of 96022 with flag 8458999/1215173
76.82/76.52	c cleaning 49002 clauses out of 98026 with flag 8817737/1265175
80.92/80.62	c cleaning 50000 clauses out of 100023 with flag 9221390/1316174
84.91/84.65	c cleaning 51004 clauses out of 102022 with flag 9599230/1368173
88.92/88.61	c cleaning 51997 clauses out of 104018 with flag 9986416/1421173
92.93/92.64	c cleaning 53002 clauses out of 106021 with flag 10382496/1475173
97.00/96.87	c cleaning 53991 clauses out of 108019 with flag 10787357/1530173
101.00/100.83	c cleaning 55005 clauses out of 110029 with flag 11197399/1586174
104.82/104.69	c cleaning 55997 clauses out of 112023 with flag 11623740/1643173
109.00/108.80	c cleaning 57001 clauses out of 114027 with flag 12051021/1701174
113.40/113.23	c cleaning 58003 clauses out of 116027 with flag 12490068/1760175
118.02/117.85	c cleaning 59003 clauses out of 118023 with flag 12927674/1820174
122.51/122.36	c cleaning 59991 clauses out of 120019 with flag 13399255/1881173
127.39/127.39	c cleaning 61003 clauses out of 122029 with flag 13861753/1943174
132.40/132.34	c cleaning 61993 clauses out of 124025 with flag 14322839/2006173
137.52/137.49	c cleaning 62984 clauses out of 126032 with flag 14780815/2070173
143.40/143.34	c cleaning 64004 clauses out of 128049 with flag 15280278/2135174
148.71/148.65	c cleaning 65005 clauses out of 130044 with flag 15803518/2201173
154.14/154.05	c cleaning 66007 clauses out of 132040 with flag 16307143/2268174
159.94/159.95	c cleaning 67009 clauses out of 134032 with flag 16826022/2336173
165.77/165.78	c cleaning 67998 clauses out of 136023 with flag 17361364/2405173
172.21/172.11	c cleaning 68996 clauses out of 138025 with flag 17901411/2475173
178.44/178.31	c cleaning 70000 clauses out of 140030 with flag 18449734/2546174
184.10/184.08	c cleaning 71001 clauses out of 142029 with flag 18998471/2618173
189.97/190.14	c cleaning 72001 clauses out of 144029 with flag 19535997/2691174
196.37/196.56	c cleaning 73005 clauses out of 146028 with flag 20082957/2765174
202.68/202.87	c cleaning 73997 clauses out of 148022 with flag 20644290/2840173
209.11/209.23	c cleaning 75005 clauses out of 150025 with flag 21219332/2916173
215.84/215.96	c cleaning 75994 clauses out of 152020 with flag 21791418/2993173
222.45/222.69	c cleaning 76995 clauses out of 154027 with flag 22389728/3071174
229.48/229.62	c cleaning 77979 clauses out of 156031 with flag 23024905/3150173
236.31/236.47	c cleaning 78996 clauses out of 158053 with flag 23634198/3230174
243.54/243.66	c cleaning 80016 clauses out of 160058 with flag 24237997/3311175
250.75/250.97	c cleaning 80998 clauses out of 162040 with flag 24870155/3393173
257.99/258.17	c cleaning 82007 clauses out of 164044 with flag 25481481/3476175
265.31/265.43	c cleaning 83000 clauses out of 166035 with flag 26144630/3560173
273.74/273.80	c cleaning 84010 clauses out of 168037 with flag 26846984/3645175
281.51/281.78	c cleaning 84994 clauses out of 170026 with flag 27521156/3731174
294.51/294.70	c cleaning 86003 clauses out of 172031 with flag 28198002/3818173
302.73/302.81	c cleaning 86994 clauses out of 174028 with flag 28877540/3906173
311.17/311.32	c cleaning 88007 clauses out of 176036 with flag 29562518/3995175
319.10/319.26	c cleaning 88999 clauses out of 178027 with flag 30270046/4085173
327.50/327.65	c cleaning 90002 clauses out of 180028 with flag 30998239/4176173
336.29/336.48	c cleaning 91001 clauses out of 182027 with flag 31718421/4268174
344.98/345.23	c cleaning 92001 clauses out of 184026 with flag 32448817/4361174
353.90/354.12	c cleaning 93001 clauses out of 186024 with flag 33203322/4455173
362.85/363.09	c cleaning 93997 clauses out of 188023 with flag 33957729/4550173
371.85/372.11	c cleaning 95000 clauses out of 190028 with flag 34692235/4646175
381.46/381.73	c cleaning 95999 clauses out of 192027 with flag 35464743/4743174
390.88/391.13	c cleaning 97000 clauses out of 194027 with flag 36222131/4841173
400.49/400.70	c cleaning 98003 clauses out of 196027 with flag 36995530/4940173
410.22/410.54	c cleaning 99000 clauses out of 198024 with flag 37781880/5040173
420.26/420.56	c cleaning 99996 clauses out of 200024 with flag 38581302/5141173
429.59/429.89	c cleaning 101007 clauses out of 202028 with flag 39362314/5243173
439.80/440.81	c cleaning 102005 clauses out of 204021 with flag 40154138/5346173
449.93/450.99	c cleaning 103001 clauses out of 206017 with flag 40971670/5450174
460.44/461.49	c cleaning 103988 clauses out of 208015 with flag 41787884/5555173
471.01/472.12	c cleaning 104996 clauses out of 210028 with flag 42642789/5661174
481.92/483.06	c cleaning 106006 clauses out of 212032 with flag 43504544/5768174
492.74/493.87	c cleaning 106998 clauses out of 214025 with flag 44354139/5876173
503.94/505.11	c cleaning 108002 clauses out of 216027 with flag 45204854/5985173
515.29/516.40	c cleaning 108999 clauses out of 218027 with flag 46129053/6095175
526.71/527.93	c cleaning 110008 clauses out of 220028 with flag 47018580/6206175
538.21/539.41	c cleaning 110994 clauses out of 222019 with flag 47903459/6318174
550.17/551.32	c cleaning 112005 clauses out of 224025 with flag 48803182/6431174
562.07/563.33	c cleaning 112997 clauses out of 226019 with flag 49738807/6545173
574.51/575.79	c cleaning 114002 clauses out of 228022 with flag 50659357/6660173
586.97/589.96	c cleaning 114999 clauses out of 230021 with flag 51596419/6776174
599.17/602.16	c cleaning 115993 clauses out of 232021 with flag 52532377/6893173
611.90/614.88	c cleaning 116992 clauses out of 234029 with flag 53503981/7011174
624.78/634.38	c cleaning 118007 clauses out of 236036 with flag 54462167/7130173
638.03/647.50	c cleaning 118999 clauses out of 238029 with flag 55458061/7250173
651.30/660.94	c cleaning 119999 clauses out of 240031 with flag 56395153/7371174
664.74/674.30	c cleaning 121009 clauses out of 242031 with flag 57358468/7493173
678.37/688.17	c cleaning 122000 clauses out of 244022 with flag 58371118/7616173
692.41/702.16	c cleaning 122987 clauses out of 246023 with flag 59386251/7740174
706.04/715.96	c cleaning 124002 clauses out of 248035 with flag 60390148/7865173
719.55/729.40	c cleaning 125010 clauses out of 250033 with flag 61420068/7991173
734.05/743.91	c cleaning 126001 clauses out of 252024 with flag 62442966/8118174
748.22/758.21	c cleaning 127000 clauses out of 254022 with flag 63528931/8246173
762.78/772.73	c cleaning 127994 clauses out of 256022 with flag 64586339/8375173
779.46/789.58	c cleaning 129005 clauses out of 258028 with flag 65710424/8505173
794.31/804.39	c cleaning 130002 clauses out of 260023 with flag 66755774/8636173
809.73/819.81	c cleaning 131000 clauses out of 262021 with flag 67829697/8768173
825.03/835.16	c cleaning 131998 clauses out of 264024 with flag 68890967/8901176
840.53/865.67	c cleaning 133002 clauses out of 266024 with flag 69970279/9035174
856.72/882.31	c cleaning 133987 clauses out of 268021 with flag 71061736/9170173
872.36/897.93	c cleaning 135003 clauses out of 270034 with flag 72175720/9306173
887.85/915.72	c cleaning 136000 clauses out of 272031 with flag 73306499/9443173
903.86/931.74	c cleaning 137004 clauses out of 274031 with flag 74459632/9581173
920.04/948.00	c cleaning 138004 clauses out of 276028 with flag 75660153/9720174
936.76/964.75	c cleaning 138995 clauses out of 278023 with flag 76778988/9860173
953.46/981.55	c cleaning 140003 clauses out of 280030 with flag 77965142/10001175
971.15/999.35	c cleaning 141001 clauses out of 282025 with flag 79218081/10143173
989.39/1017.50	c cleaning 142003 clauses out of 284025 with flag 80388949/10286174
1006.94/1035.29	c cleaning 142994 clauses out of 286021 with flag 81581854/10430173
1024.88/1053.19	c cleaning 144007 clauses out of 288028 with flag 82764383/10575174
1042.95/1071.38	c cleaning 144998 clauses out of 290021 with flag 83960831/10721174
1061.48/1090.00	c cleaning 145993 clauses out of 292025 with flag 85161385/10868176
1079.89/1108.34	c cleaning 147004 clauses out of 294029 with flag 86428539/11016173
1098.39/1126.90	c cleaning 148005 clauses out of 296025 with flag 87652052/11165173
1117.31/1145.79	c cleaning 148988 clauses out of 298020 with flag 88875223/11315173
1136.33/1164.87	c cleaning 150002 clauses out of 300032 with flag 90102641/11466173
1154.96/1183.50	c cleaning 150995 clauses out of 302032 with flag 91333161/11618175
1174.43/1202.95	c cleaning 152005 clauses out of 304035 with flag 92599464/11771173
1194.36/1222.71	c cleaning 152998 clauses out of 306031 with flag 93881504/11925174
1214.67/1247.72	c cleaning 153995 clauses out of 308032 with flag 95160144/12080173
1234.20/1267.25	c cleaning 155009 clauses out of 310038 with flag 96420164/12236174
1254.93/1288.01	c cleaning 156000 clauses out of 312028 with flag 97730454/12393173
1275.27/1308.32	c cleaning 157011 clauses out of 314029 with flag 99032769/12551174
1296.63/1329.72	c cleaning 157993 clauses out of 316018 with flag 100383871/12710174
1317.27/1350.40	c cleaning 158988 clauses out of 318024 with flag 101722653/12870173
1338.06/1382.20	c cleaning 160000 clauses out of 320036 with flag 103132360/13031173
1359.09/1403.28	c cleaning 161002 clauses out of 322036 with flag 104493249/13193173
1380.94/1425.17	c cleaning 162007 clauses out of 324037 with flag 105839512/13356176
1403.07/1447.31	c cleaning 162993 clauses out of 326028 with flag 107209315/13520174
1425.18/1469.40	c cleaning 164000 clauses out of 328034 with flag 108589963/13685173
1447.67/1492.09	c cleaning 165012 clauses out of 330035 with flag 110048179/13851174
1470.68/1515.24	c cleaning 165994 clauses out of 332022 with flag 111462962/14018173
1493.22/1537.95	c cleaning 166997 clauses out of 334029 with flag 112843615/14186174
1515.44/1560.19	c cleaning 167996 clauses out of 336031 with flag 114293685/14355173
1538.73/1583.64	c cleaning 169014 clauses out of 338035 with flag 115735910/14525173
1562.16/1613.33	c cleaning 169997 clauses out of 340021 with flag 117162317/14696173
1585.53/1636.84	c cleaning 171000 clauses out of 342024 with flag 118625397/14868173
1610.04/1661.53	c cleaning 171998 clauses out of 344024 with flag 120071517/15041173
1633.97/1685.41	c cleaning 172987 clauses out of 346026 with flag 121543370/15215173
1658.64/1715.39	c cleaning 174016 clauses out of 348041 with flag 123000409/15390175
1683.84/1740.64	c cleaning 175000 clauses out of 350024 with flag 124472209/15566174
1708.81/1765.67	c cleaning 176002 clauses out of 352024 with flag 125983026/15743174
1734.00/1790.90	c cleaning 176995 clauses out of 354023 with flag 127508594/15921175
1759.05/1824.61	c cleaning 178003 clauses out of 356028 with flag 128999381/16100175
1783.92/1849.61	c cleaning 179000 clauses out of 358023 with flag 130552725/16280173
1809.59/1875.26	c cleaning 179997 clauses out of 360023 with flag 132141971/16461173
1835.15/1901.41	c cleaning 181000 clauses out of 362027 with flag 133668044/16643174
1860.88/1927.39	c cleaning 182002 clauses out of 364029 with flag 135206544/16826176
1887.97/1954.51	c cleaning 183002 clauses out of 366026 with flag 136765292/17010175
1914.60/1981.23	c cleaning 184002 clauses out of 368022 with flag 138303411/17195173
1941.40/2008.19	c cleaning 184998 clauses out of 370023 with flag 139904964/17381176
1968.07/2034.93	c cleaning 186005 clauses out of 372025 with flag 141527162/17568176
1994.71/2078.98	c cleaning 186997 clauses out of 374018 with flag 143160260/17756174
2022.61/2106.89	c cleaning 187990 clauses out of 376020 with flag 144759529/17945173
2050.38/2134.78	c cleaning 189007 clauses out of 378031 with flag 146362019/18135174
2078.27/2162.79	c cleaning 190000 clauses out of 380024 with flag 147965377/18326174
2106.97/2191.42	c cleaning 191001 clauses out of 382027 with flag 149594110/18518177
2135.47/2220.12	c cleaning 192004 clauses out of 384023 with flag 151253858/18711174
2164.70/2249.49	c cleaning 193004 clauses out of 386019 with flag 152912067/18905174
2194.66/2287.19	c cleaning 193998 clauses out of 388015 with flag 154547605/19100174
2223.89/2316.52	c cleaning 194996 clauses out of 390016 with flag 156207193/19296173
2252.74/2345.57	c cleaning 196000 clauses out of 392021 with flag 157913700/19493174
2282.01/2377.50	c cleaning 197000 clauses out of 394022 with flag 159633851/19691175
2312.09/2407.75	c cleaning 197994 clauses out of 396020 with flag 161405523/19890173
2352.35/2448.15	c cleaning 199005 clauses out of 398026 with flag 163395419/20090173
2383.34/2482.09	c cleaning 200001 clauses out of 400021 with flag 165179841/20291173
2413.95/2512.76	c cleaning 200996 clauses out of 402021 with flag 166956528/20493174
2444.24/2543.12	c cleaning 202005 clauses out of 404024 with flag 168681136/20696173
2476.94/2581.57	c cleaning 203003 clauses out of 406021 with flag 170503713/20900175
2508.37/2612.91	c cleaning 204001 clauses out of 408017 with flag 172267047/21105174
2539.93/2644.30	c cleaning 204994 clauses out of 410016 with flag 174099368/21311174
2571.54/2678.87	c cleaning 205993 clauses out of 412021 with flag 175901941/21518173
2604.00/2720.42	c cleaning 206998 clauses out of 414029 with flag 177695589/21726174
2637.34/2753.82	c cleaning 208003 clauses out of 416030 with flag 179495716/21935173
2669.76/2787.77	c cleaning 209005 clauses out of 418028 with flag 181318266/22145174
2707.14/2836.38	c cleaning 209995 clauses out of 420023 with flag 183228423/22356174
2740.87/2870.07	c cleaning 211000 clauses out of 422027 with flag 185126850/22568173
2774.63/2903.99	c cleaning 212004 clauses out of 424027 with flag 187020636/22781173
2809.02/2944.95	c cleaning 213004 clauses out of 426023 with flag 188879574/22995173
2843.05/2987.23	c cleaning 214003 clauses out of 428020 with flag 190773661/23210174
2877.41/3030.96	c cleaning 215000 clauses out of 430016 with flag 192626255/23426173
2911.51/3065.28	c cleaning 216000 clauses out of 432017 with flag 194505600/23643174
2947.19/3101.08	c cleaning 217001 clauses out of 434017 with flag 196440098/23861174
2982.34/3136.37	c cleaning 217992 clauses out of 436017 with flag 198416039/24080175
3019.11/3173.23	c cleaning 218998 clauses out of 438023 with flag 200369712/24300173
3054.60/3208.85	c cleaning 219981 clauses out of 440026 with flag 202310328/24521174
3090.30/3244.90	c cleaning 220999 clauses out of 442044 with flag 204262116/24743173
3127.62/3282.46	c cleaning 222013 clauses out of 444046 with flag 206218559/24966174
3164.05/3319.06	c cleaning 223003 clauses out of 446032 with flag 208250773/25190173
3201.38/3356.55	c cleaning 224008 clauses out of 448031 with flag 210243888/25415175
3240.10/3395.36	c cleaning 224990 clauses out of 450021 with flag 212235617/25641173
3278.62/3466.43	c cleaning 226001 clauses out of 452031 with flag 214200746/25868173
3315.58/3503.44	c cleaning 227004 clauses out of 454030 with flag 216233339/26096173
3354.04/3541.90	c cleaning 228007 clauses out of 456028 with flag 218260570/26325175
3391.73/3588.69	c cleaning 229004 clauses out of 458019 with flag 220298567/26555173
3430.10/3627.19	c cleaning 229999 clauses out of 460016 with flag 222335529/26786174
3467.54/3664.60	c cleaning 230999 clauses out of 462016 with flag 224445140/27018173
3498.64/3700.02	c starts		: 59469
3498.64/3700.03	c conflicts		: 27212297
3498.64/3700.03	c decisions		: 40801212
3498.64/3700.03	c propagations		: 648993639
3498.64/3700.03	c inspects		: 52270000155
3498.64/3700.03	c shortcuts		: 0
3498.64/3700.03	c learnt literals	: 0
3498.64/3700.03	c learnt binary clauses	: 0
3498.64/3700.03	c learnt ternary clauses	: 0
3498.64/3700.03	c learnt constraints	: 27212297
3498.64/3700.03	c ignored constraints	: 0
3498.64/3700.03	c root simplifications	: 0
3498.64/3700.03	c removed literals (reason simplification)	: 48260684
3498.64/3700.03	c reason swapping (by a shorter reason)	: 0
3498.64/3700.03	c Calls to reduceDB	: 228
3498.64/3700.03	c Number of update (reduction) of LBD	: 7900969
3498.64/3700.03	c Imported unit clauses	: 0
3498.64/3700.03	c No decision after first conflict	: false
3498.64/3700.03	c number of reductions to clauses (during analyze)	: 0
3498.64/3700.03	c number of learned constraints concerned by reduction	: 0
3498.64/3700.03	c number of learning phase by resolution	: 0
3498.64/3700.03	c number of learning phase by cutting planes	: 0
3498.64/3700.03	c number of rounding to 1 operations	: 0
3498.64/3700.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3498.64/3700.04	c number of reductions of the coefficients by power 2 	: 0
3498.64/3700.04	c number of right shift for reduction by power 2 	: 0
3498.64/3700.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3498.64/3700.04	c number of ending skipping 	: 0
3498.64/3700.04	c number of internal skipping 	: 0
3498.64/3700.04	c number of derivation steps 	: 0
3498.64/3700.04	c number of skipped derivation steps 	: 0
3498.64/3700.04	c number of remaining unassigned 	: 0
3498.64/3700.04	c number of remaining assigned 	: 0
3498.64/3700.04	c number of falsified literals weakened from reason	: 0
3498.64/3700.04	c number of falsified literals weakened from conflict	: 0
3498.64/3700.04	c time for arithmetic operations	: 0
3498.64/3700.04	c minimum degree of deleted constraints	: null
3498.64/3700.04	c maximum degree of deleted constraints	: null
3498.64/3700.04	c number of deleted constraints	: 0
3498.64/3700.04	c speed (assignments/second)	: 175410.0863139601
3498.64/3700.04	c non guided choices	: 101212
3498.84/3700.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 425141
3498.84/3700.11	s SATISFIABLE
3498.84/3700.11	c Found 1 solution(s)
3498.84/3700.11	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 x285 x286 x287 x288 x289 x290 -x291 -x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 
3498.84/3700.11	c objective function=1
3498.84/3700.11	c Total wall clock time (in seconds): 3699.981

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518603-1751549427/watcher-4518603-1751549427 -o /tmp/evaluation-result-4518603-1751549427/solver-4518603-1751549427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751542865-77321 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518603-1751549427 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518603-1751549427.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 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
solver pid=78129, runsolver pid=78126
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 3.23 3.61 3.71 4/323 78147
/proc/meminfo: memFree=81091680/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=18930384 memory=57708 CPUtime=0.13 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 6577 0 0 0 10 3 0 0 20 0 18 0 70617232 19384713216 14427 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4732596 14427 5324 1 0 547619 0
[pid=78129/tid=78131] ppid=78126 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 5084 0 0 0 6 1 0 0 20 0 18 0 70617233 19384713216 14427 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=18930384 memory=224227767622 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70617235 19384713216 14427 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=18930384 memory=28919 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70617235 19384713216 14427 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57708 KiB

[startup+0.205841 s]*
/proc/loadavg: 3.23 3.61 3.71 6/324 78148
/proc/meminfo: memFree=81079708/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=18996948 memory=64668 CPUtime=0.32 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 7182 0 0 0 29 3 0 0 20 0 19 0 70617232 19452874752 16167 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4749237 16167 5452 1 0 548257 0
[pid=78129/tid=78131] ppid=78126 vsize=18996948 memory=4026789403 CPUtime=0.18 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 5409 0 0 0 16 2 0 0 20 0 19 0 70617233 19452874752 16167 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=18996948 memory=219932787024 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70617235 19452874752 16167 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=18996948 memory=54087446195522 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70617235 19452874752 16167 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=18996948 memory=3978701813804511777 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70617250 19452874752 16167 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64668 KiB

[startup+0.305807 s]*
/proc/loadavg: 3.23 3.61 3.71 6/324 78148
/proc/meminfo: memFree=81066476/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=18996948 memory=77780 CPUtime=0.52 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 9319 0 0 0 48 4 0 0 20 0 19 0 70617232 19452874752 19445 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4749237 19445 5484 1 0 549350 0
[pid=78129/tid=78131] ppid=78126 vsize=18996948 memory=-6000919481347040360 CPUtime=0.24 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 5434 0 0 0 22 2 0 0 20 0 19 0 70617233 19452874752 19445 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70617235 19452874752 19445 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70617235 19452874752 19445 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70617250 19452874752 19445 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77780 KiB

[startup+0.700218 s]
/proc/loadavg: 3.23 3.61 3.71 5/324 78148
/proc/meminfo: memFree=81018776/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=18996948 memory=158404 CPUtime=1.28 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 13542 0 0 0 121 7 0 0 20 0 19 0 70617232 19452874752 39601 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4749237 39601 5484 1 0 551997 0
[pid=78129/tid=78131] ppid=78126 vsize=18996948 memory=18176 CPUtime=0.6 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 5473 0 0 0 56 4 0 0 20 0 19 0 70617233 19452874752 39601 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70617235 19452874752 39601 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70617235 19452874752 39601 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70617250 19452874752 39601 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158404 KiB

[startup+1.50022 s]
/proc/loadavg: 3.23 3.61 3.71 5/325 78149
/proc/meminfo: memFree=80964144/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=178564 CPUtime=2.86 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 24259 0 0 0 278 8 0 0 20 0 20 0 70617232 19521036288 44641 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 44641 5516 1 0 554559 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=10752 CPUtime=1.36 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 5964 0 0 0 132 4 0 0 20 0 20 0 70617233 19521036288 44641 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 44641 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 44641 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=224194199869 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 44641 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178564 KiB

[startup+3.10565 s]
/proc/loadavg: 3.23 3.61 3.71 5/325 78149
/proc/meminfo: memFree=80723320/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=387112 CPUtime=5.7 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 27091 0 0 0 555 15 0 0 20 0 20 0 70617232 19521036288 96778 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 96778 5516 1 0 555283 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=10752 CPUtime=2.94 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 6687 0 0 0 284 10 0 0 20 0 20 0 70617233 19521036288 96778 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=-6000919481347040360 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 96778 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 96778 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=33 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 96778 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 387112 KiB

[startup+6.30022 s]
/proc/loadavg: 3.21 3.60 3.71 4/325 78149
/proc/meminfo: memFree=80176492/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=899588 CPUtime=8.99 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 28343 0 0 0 872 27 0 0 20 0 20 0 70617232 19521036288 224897 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 224897 5516 1 0 555301 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=0 CPUtime=6.11 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 7224 0 0 0 589 22 0 0 20 0 20 0 70617233 19521036288 224897 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 224897 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=7235124547868520546 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 224897 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=178608 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 224897 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 899588 KiB

[startup+12.7002 s]
/proc/loadavg: 3.19 3.59 3.70 4/325 78149
/proc/meminfo: memFree=79693516/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=1270324 CPUtime=15.43 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 29677 0 0 0 1502 41 0 0 20 0 20 0 70617232 19521036288 317581 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 317581 5516 1 0 555301 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=178608 CPUtime=12.48 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 8293 0 0 0 1213 35 0 0 20 0 20 0 70617233 19521036288 317581 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=-6000919481347040360 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 317581 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=1223220 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 317581 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=258083 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 317581 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 15.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1270324 KiB

[startup+25.5002 s]
/proc/loadavg: 3.22 3.58 3.70 4/325 78150
/proc/meminfo: memFree=79355220/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=1319616 CPUtime=28.43 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 38944 0 0 0 2791 52 0 0 20 0 20 0 70617232 19521036288 329904 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 329904 5548 1 0 555301 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=258083 CPUtime=25.2 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 9886 0 0 0 2476 44 0 0 20 0 20 0 70617233 19521036288 329904 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=1319488 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 329904 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 329904 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=1315392 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 329904 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 28.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1319616 KiB

[startup+51.1056 s]
/proc/loadavg: 3.29 3.57 3.69 5/325 78151
/proc/meminfo: memFree=78858432/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=1338168 CPUtime=53.83 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 41576 0 0 0 5313 70 0 0 20 0 20 0 70617232 19521036288 334542 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 334542 5548 1 0 555301 0

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

[startup+3342.3 s]
/proc/loadavg: 3.16 3.18 3.17 4/320 78413
/proc/meminfo: memFree=81429344/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3187.17 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 95410 0 0 0 317606 1111 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556792 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=18176 CPUtime=3157.38 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 38184 0 0 0 314731 1007 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1458 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3187.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.16 3.17 2/320 78416
/proc/meminfo: memFree=80852768/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3242.58 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 95585 0 0 0 323135 1123 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556792 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3212.37 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) D 78126 78129 77286 0 -1 4194368 38234 0 0 0 320219 1018 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1461 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3242.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.14 3.16 2/320 78418
/proc/meminfo: memFree=80368204/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3276.99 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 95627 0 0 0 326565 1134 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556792 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3246.47 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) D 78126 78129 77286 0 -1 4194368 38240 0 0 0 323619 1028 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1461 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=-6000919481347040360 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3276.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB

[startup+3522.3 s]
/proc/loadavg: 2.58 2.99 3.11 3/295 78453
/proc/meminfo: memFree=90981484/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3334.38 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 95851 0 0 0 332290 1148 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556792 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3303.48 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 38259 0 0 0 329307 1041 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1461 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=18176 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB

[startup+3582.3 s]
/proc/loadavg: 2.21 2.81 3.04 3/295 78456
/proc/meminfo: memFree=90531776/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3385.44 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 96557 0 0 0 337381 1163 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556804 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=4352 CPUtime=3354.09 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 38871 0 0 0 334355 1054 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1461 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3385.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB

[startup+3642.3 s]
/proc/loadavg: 2.22 2.70 2.98 3/295 78460
/proc/meminfo: memFree=90117372/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3445.3 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 98048 0 0 0 343349 1181 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556804 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3413.53 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 39644 0 0 0 340282 1071 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1530 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3445.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 2.18 2.60 2.93 3/294 78462
/proc/meminfo: memFree=89676760/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19063512 memory=2175380 CPUtime=3498.64 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 99464 0 0 0 348664 1200 0 0 20 0 20 0 70617232 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4765878 543845 5580 1 0 556804 0
[pid=78129/tid=78131] ppid=78126 vsize=19063512 memory=-6000919494265431144 CPUtime=3466.51 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 40486 0 0 0 345563 1088 0 0 20 0 20 0 70617233 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19063512 memory=7512078527790882324 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1530 0 0 0 0 0 0 0 20 0 20 0 70617235 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78148] ppid=78126 vsize=19063512 memory=3456 CPUtime=0 cores=0,2
/proc/78129/task/78148/stat : 78148 (Timer-0) S 78126 78129 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70617250 19521036288 543845 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3498.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2175380 KiB

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

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

# cumulated CPU time of all completed processes:  user=3486.86 s, system=12.0167 s

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

[startup+3700.11 s]
/proc/loadavg: 2.18 2.60 2.93 3/294 78462
/proc/meminfo: memFree=89676760/131249992 swapFree=33009392/33010684
[pid=78129] ppid=78126 vsize=19263204 memory=2176148 CPUtime=3498.84 cores=0,2
/proc/78129/stat : 78129 (java) S 78126 78129 77286 0 -1 4194304 101764 0 0 0 348684 1200 0 0 20 0 21 0 70617232 19725520896 544037 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
/proc/78129/statm: 4815801 544037 5580 1 0 557739 0
[pid=78129/tid=78131] ppid=78126 vsize=19263204 memory=2175380 CPUtime=3466.6 cores=0,2
/proc/78129/task/78131/stat : 78131 (java) R 78126 78129 77286 0 -1 4194368 40612 0 0 0 345572 1088 0 0 20 0 21 0 70617233 19725520896 544037 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78140] ppid=78126 vsize=19263204 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78140/stat : 78140 (Finalizer) S 78126 78129 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70617235 19725520896 544037 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
[pid=78129/tid=78147] ppid=78126 vsize=19263204 memory=2175380 CPUtime=0 cores=0,2
/proc/78129/task/78147/stat : 78147 (Common-Cleaner) S 78126 78129 77286 0 -1 4194368 1530 0 0 0 0 0 0 0 20 0 21 0 70617235 19725520896 544037 18446744073709551615 94720720125952 94720720129648 140731937004096 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94720720137464 94720720138256 94720744288256 140731937007920 140731937008102 140731937008102 140731937013704 0
Current children cumulated CPU time: 3498.84 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2176148 KiB

Child status: 143

Real time (s): 3700.17
CPU time (s): 3498.88
CPU user time (s): 3486.86
CPU system time (s): 12.0167
CPU usage (%): 94.5599
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2176148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3486.86
system time used= 12.0167
maximum resident set size= 2176148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21543744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128101
involuntary context switches= 13697


# summary of solver processes directly reported to runsolver:
#   pid: 78129
#   total CPU time (s): 3498.88
#   total CPU user time (s): 3486.86
#   total CPU system time (s): 12.0167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54705 second user time and 15.2183 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 15:30:27
IDJOB=4518603
IDBENCH=177063
IDSOLVER=3364
FILE ID=nodeC035/4518603-1751549427
RUNJOBID= nodeC035-1751542865-77321
SLURM_JOB_ID= 9598708
Free space on /tmp= 432816 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_111.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518603-1751549427/watcher-4518603-1751549427 -o /tmp/evaluation-result-4518603-1751549427/solver-4518603-1751549427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751542865-77321 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518603-1751549427 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518603-1751549427.opb

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

MD5SUM BENCH= c461ae7705f705842c6a0ab2eb8c850d
RANDOM SEED=684154105

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        81127652 kB
MemAvailable:   111978752 kB
Buffers:             664 kB
Cached:         31587400 kB
SwapCached:          332 kB
Active:         18072244 kB
Inactive:       31289200 kB
Active(anon):   17770100 kB
Inactive(anon):    21060 kB
Active(file):     302144 kB
Inactive(file): 31268140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            264448 kB
Writeback:             0 kB
AnonPages:      17776208 kB
Mapped:           123804 kB
Shmem:             17700 kB
KReclaimable:     240112 kB
Slab:             340300 kB
SReclaimable:     240112 kB
SUnreclaim:       100188 kB
KernelStack:        4928 kB
PageTables:        38084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   18941612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151192 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  17463296 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC035 at 2025-07-03 16:32:07