Trace number 4518602

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.4 3602.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.08/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.20	c See www.sat4j.org for details.
0.08/0.22	c version PB25.v20250606
0.24/0.25	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.25	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.25	c java.vm.version	22.0.1+8-16
0.24/0.25	c java.vm.vendor	Oracle Corporation
0.24/0.25	c sun.arch.data.model	64
0.24/0.25	c java.version		22.0.1
0.24/0.25	c os.name		Linux
0.24/0.25	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.25	c os.arch		amd64
0.24/0.26	c Free memory 		2104792832
0.24/0.26	c Max memory 		16282288128
0.24/0.26	c Total memory 		2113929216
0.24/0.27	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4518602-1751552048.opb
0.41/0.37	c reading problem ... 
0.41/0.38	c  objective function found
0.58/0.45	c ... done. Wall clock time 0.068s.
0.58/0.45	c declared #vars     444
0.58/0.45	c #constraints  222
0.58/0.45	c constraints type 
0.58/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 222
0.58/0.45	c 222 constraints processed.
0.58/0.48	c objective function length is 111 literals
0.77/0.57	c SATISFIABLE
0.77/0.58	c OPTIMIZING...
0.77/0.58	c Got one! Elapsed wall clock time (in seconds):0.203
0.77/0.58	o 1
2.08/1.20	c cleaning 2582 clauses out of 5174 with flag 26879/5174
2.67/1.56	c cleaning 4289 clauses out of 8592 with flag 62319/11174
3.28/1.87	c cleaning 5644 clauses out of 11302 with flag 111650/18173
3.77/2.12	c cleaning 6827 clauses out of 13662 with flag 169114/26177
4.07/2.38	c cleaning 7896 clauses out of 15832 with flag 232285/35174
4.48/2.69	c cleaning 8963 clauses out of 17935 with flag 304474/45173
4.89/3.02	c cleaning 9981 clauses out of 19973 with flag 386237/56174
5.57/3.73	c cleaning 10982 clauses out of 21992 with flag 466813/68174
6.07/4.27	c cleaning 11992 clauses out of 24009 with flag 546044/81173
6.67/4.83	c cleaning 12990 clauses out of 26017 with flag 639709/95173
7.18/5.38	c cleaning 13997 clauses out of 28027 with flag 761289/110173
7.78/5.94	c cleaning 15003 clauses out of 30030 with flag 882348/126173
8.36/6.42	c cleaning 16004 clauses out of 32027 with flag 1000013/143173
9.22/7.27	c cleaning 16994 clauses out of 34024 with flag 1120099/161174
10.31/8.33	c cleaning 17998 clauses out of 36029 with flag 1259650/180173
11.22/9.22	c cleaning 19000 clauses out of 38031 with flag 1399841/200173
11.91/9.91	c cleaning 20004 clauses out of 40032 with flag 1541689/221174
12.61/10.61	c cleaning 21006 clauses out of 42028 with flag 1697037/243174
13.71/11.76	c cleaning 22005 clauses out of 44022 with flag 1873102/266174
15.02/13.02	c cleaning 22998 clauses out of 46017 with flag 2059082/290174
15.90/13.91	c cleaning 24000 clauses out of 48020 with flag 2225938/315175
16.90/14.97	c cleaning 25001 clauses out of 50018 with flag 2432028/341173
18.19/16.27	c cleaning 25991 clauses out of 52017 with flag 2654056/368173
19.59/17.64	c cleaning 27000 clauses out of 54027 with flag 2843618/396174
20.70/18.76	c cleaning 28004 clauses out of 56026 with flag 3031594/425173
21.90/19.97	c cleaning 29007 clauses out of 58023 with flag 3227621/455174
23.20/21.23	c cleaning 30002 clauses out of 60016 with flag 3446566/486174
24.70/22.75	c cleaning 30992 clauses out of 62014 with flag 3674141/518174
26.11/24.16	c cleaning 32001 clauses out of 64021 with flag 3887800/551173
27.69/25.78	c cleaning 33001 clauses out of 66020 with flag 4109402/585173
29.29/27.36	c cleaning 33999 clauses out of 68019 with flag 4355164/620173
30.88/29.00	c cleaning 34991 clauses out of 70020 with flag 4594342/656173
32.72/30.74	c cleaning 35997 clauses out of 72029 with flag 4834830/693173
34.51/32.50	c cleaning 37008 clauses out of 74033 with flag 5080429/731174
36.31/34.32	c cleaning 38000 clauses out of 76024 with flag 5345522/770173
38.20/36.20	c cleaning 39000 clauses out of 78024 with flag 5616852/810173
40.44/38.49	c cleaning 39995 clauses out of 80025 with flag 5898039/851174
42.53/40.57	c cleaning 41003 clauses out of 82029 with flag 6193801/893173
44.73/42.73	c cleaning 42006 clauses out of 84026 with flag 6489060/936173
46.92/45.00	c cleaning 42990 clauses out of 86020 with flag 6794175/980173
49.52/47.56	c cleaning 43999 clauses out of 88031 with flag 7120000/1025174
52.13/50.15	c cleaning 45012 clauses out of 90031 with flag 7446542/1071173
54.61/52.65	c cleaning 46004 clauses out of 92019 with flag 7789893/1118173
57.30/55.34	c cleaning 46993 clauses out of 94015 with flag 8119202/1166173
60.13/58.14	c cleaning 47998 clauses out of 96022 with flag 8458999/1215173
62.91/60.98	c cleaning 49002 clauses out of 98026 with flag 8817737/1265175
66.40/64.44	c cleaning 50000 clauses out of 100023 with flag 9221390/1316174
69.91/68.01	c cleaning 51004 clauses out of 102022 with flag 9599230/1368173
73.30/71.34	c cleaning 51997 clauses out of 104018 with flag 9986416/1421173
76.69/74.72	c cleaning 53002 clauses out of 106021 with flag 10382496/1475173
80.23/78.25	c cleaning 53991 clauses out of 108019 with flag 10787357/1530173
83.53/81.59	c cleaning 55005 clauses out of 110029 with flag 11197399/1586174
87.03/85.10	c cleaning 55997 clauses out of 112023 with flag 11623740/1643173
90.83/88.84	c cleaning 57001 clauses out of 114027 with flag 12051021/1701174
94.42/92.47	c cleaning 58003 clauses out of 116027 with flag 12490068/1760175
98.21/96.28	c cleaning 59003 clauses out of 118023 with flag 12927674/1820174
102.12/100.17	c cleaning 59991 clauses out of 120019 with flag 13399255/1881173
106.11/104.18	c cleaning 61003 clauses out of 122029 with flag 13861753/1943174
110.39/108.40	c cleaning 61993 clauses out of 124025 with flag 14322839/2006173
114.58/112.65	c cleaning 62984 clauses out of 126032 with flag 14780815/2070173
119.37/117.48	c cleaning 64004 clauses out of 128049 with flag 15280278/2135174
125.06/123.16	c cleaning 65005 clauses out of 130044 with flag 15803518/2201173
129.55/127.60	c cleaning 66007 clauses out of 132040 with flag 16307143/2268174
134.34/132.49	c cleaning 67009 clauses out of 134032 with flag 16826022/2336173
139.12/137.28	c cleaning 67998 clauses out of 136023 with flag 17361364/2405173
144.32/142.42	c cleaning 68996 clauses out of 138025 with flag 17901411/2475173
149.40/147.57	c cleaning 70000 clauses out of 140030 with flag 18449734/2546174
154.60/152.71	c cleaning 71001 clauses out of 142029 with flag 18998471/2618173
159.72/157.87	c cleaning 72001 clauses out of 144029 with flag 19535997/2691174
165.30/163.46	c cleaning 73005 clauses out of 146028 with flag 20082957/2765174
170.79/168.99	c cleaning 73997 clauses out of 148022 with flag 20644290/2840173
176.43/174.59	c cleaning 75005 clauses out of 150025 with flag 21219332/2916173
182.41/180.51	c cleaning 75994 clauses out of 152020 with flag 21791418/2993173
188.20/186.32	c cleaning 76995 clauses out of 154027 with flag 22389728/3071174
194.41/192.54	c cleaning 77979 clauses out of 156031 with flag 23024905/3150173
200.40/198.51	c cleaning 78996 clauses out of 158053 with flag 23634198/3230174
206.78/204.91	c cleaning 80016 clauses out of 160058 with flag 24237997/3311175
213.21/211.34	c cleaning 80998 clauses out of 162040 with flag 24870155/3393173
219.49/217.67	c cleaning 82007 clauses out of 164044 with flag 25481481/3476175
225.90/224.06	c cleaning 83000 clauses out of 166035 with flag 26144630/3560173
233.27/231.48	c cleaning 84010 clauses out of 168037 with flag 26846984/3645175
240.39/238.58	c cleaning 84994 clauses out of 170026 with flag 27521156/3731174
252.26/250.45	c cleaning 86003 clauses out of 172031 with flag 28198002/3818173
259.44/257.63	c cleaning 86994 clauses out of 174028 with flag 28877540/3906173
266.94/265.15	c cleaning 88007 clauses out of 176036 with flag 29562518/3995175
274.10/272.27	c cleaning 88999 clauses out of 178027 with flag 30270046/4085173
281.58/279.75	c cleaning 90002 clauses out of 180028 with flag 30998239/4176173
289.46/287.67	c cleaning 91001 clauses out of 182027 with flag 31718421/4268174
297.25/295.45	c cleaning 92001 clauses out of 184026 with flag 32448817/4361174
306.49/304.64	c cleaning 93001 clauses out of 186024 with flag 33203322/4455173
314.57/312.71	c cleaning 93997 clauses out of 188023 with flag 33957729/4550173
322.46/320.69	c cleaning 95000 clauses out of 190028 with flag 34692235/4646175
331.14/329.39	c cleaning 95999 clauses out of 192027 with flag 35464743/4743174
339.73/337.92	c cleaning 97000 clauses out of 194027 with flag 36222131/4841173
348.30/346.58	c cleaning 98003 clauses out of 196027 with flag 36995530/4940173
357.45/355.61	c cleaning 99000 clauses out of 198024 with flag 37781880/5040173
366.43/364.68	c cleaning 99996 clauses out of 200024 with flag 38581302/5141173
374.82/373.04	c cleaning 101007 clauses out of 202028 with flag 39362314/5243173
384.08/382.39	c cleaning 102005 clauses out of 204021 with flag 40154138/5346173
393.46/391.71	c cleaning 103001 clauses out of 206017 with flag 40971670/5450174
403.04/401.31	c cleaning 103988 clauses out of 208015 with flag 41787884/5555173
412.51/410.89	c cleaning 104996 clauses out of 210028 with flag 42642789/5661174
423.85/422.14	c cleaning 106006 clauses out of 212032 with flag 43504544/5768174
433.61/431.99	c cleaning 106998 clauses out of 214025 with flag 44354139/5876173
443.80/442.13	c cleaning 108002 clauses out of 216027 with flag 45204854/5985173
453.96/452.35	c cleaning 108999 clauses out of 218027 with flag 46129053/6095175
464.44/462.84	c cleaning 110008 clauses out of 220028 with flag 47018580/6206175
475.11/473.44	c cleaning 110994 clauses out of 222019 with flag 47903459/6318174
485.99/484.38	c cleaning 112005 clauses out of 224025 with flag 48803182/6431174
496.87/495.28	c cleaning 112997 clauses out of 226019 with flag 49738807/6545173
508.34/506.73	c cleaning 114002 clauses out of 228022 with flag 50659357/6660173
519.73/518.18	c cleaning 114999 clauses out of 230021 with flag 51596419/6776174
530.88/529.37	c cleaning 115993 clauses out of 232021 with flag 52532377/6893173
543.60/541.55	c cleaning 116992 clauses out of 234029 with flag 53503981/7011174
555.48/553.40	c cleaning 118007 clauses out of 236036 with flag 54462167/7130173
567.45/565.49	c cleaning 118999 clauses out of 238029 with flag 55458061/7250173
579.82/577.84	c cleaning 119999 clauses out of 240031 with flag 56395153/7371174
592.19/590.23	c cleaning 121009 clauses out of 242031 with flag 57358468/7493173
604.87/602.94	c cleaning 122000 clauses out of 244022 with flag 58371118/7616173
617.96/616.03	c cleaning 122987 clauses out of 246023 with flag 59386251/7740174
630.41/628.58	c cleaning 124002 clauses out of 248035 with flag 60390148/7865173
642.79/640.95	c cleaning 125010 clauses out of 250033 with flag 61420068/7991173
656.36/654.50	c cleaning 126001 clauses out of 252024 with flag 62442966/8118174
669.36/667.57	c cleaning 127000 clauses out of 254022 with flag 63528931/8246173
682.73/680.99	c cleaning 127994 clauses out of 256022 with flag 64586339/8375173
698.18/696.46	c cleaning 129005 clauses out of 258028 with flag 65710424/8505173
711.95/710.23	c cleaning 130002 clauses out of 260023 with flag 66755774/8636173
726.42/724.68	c cleaning 131000 clauses out of 262021 with flag 67829697/8768173
740.91/739.13	c cleaning 131998 clauses out of 264024 with flag 68890967/8901176
755.37/753.67	c cleaning 133002 clauses out of 266024 with flag 69970279/9035174
770.58/768.87	c cleaning 133987 clauses out of 268021 with flag 71061736/9170173
785.15/783.40	c cleaning 135003 clauses out of 270034 with flag 72175720/9306173
799.48/797.79	c cleaning 136000 clauses out of 272031 with flag 73306499/9443173
814.35/812.67	c cleaning 137004 clauses out of 274031 with flag 74459632/9581173
829.31/827.61	c cleaning 138004 clauses out of 276028 with flag 75660153/9720174
844.88/843.26	c cleaning 138995 clauses out of 278023 with flag 76778988/9860173
860.45/858.82	c cleaning 140003 clauses out of 280030 with flag 77965142/10001175
876.99/875.36	c cleaning 141001 clauses out of 282025 with flag 79218081/10143173
894.05/892.46	c cleaning 142003 clauses out of 284025 with flag 80388949/10286174
910.51/908.91	c cleaning 142994 clauses out of 286021 with flag 81581854/10430173
927.37/925.84	c cleaning 144007 clauses out of 288028 with flag 82764383/10575174
944.32/942.90	c cleaning 144998 clauses out of 290021 with flag 83960831/10721174
962.24/960.70	c cleaning 145993 clauses out of 292025 with flag 85161385/10868176
979.40/977.96	c cleaning 147004 clauses out of 294029 with flag 86428539/11016173
996.87/995.45	c cleaning 148005 clauses out of 296025 with flag 87652052/11165173
1014.63/1013.29	c cleaning 148988 clauses out of 298020 with flag 88875223/11315173
1032.80/1031.33	c cleaning 150002 clauses out of 300032 with flag 90102641/11466173
1050.06/1048.61	c cleaning 150995 clauses out of 302032 with flag 91333161/11618175
1068.21/1066.85	c cleaning 152005 clauses out of 304035 with flag 92599464/11771173
1086.75/1085.39	c cleaning 152998 clauses out of 306031 with flag 93881504/11925174
1106.31/1104.93	c cleaning 153995 clauses out of 308032 with flag 95160144/12080173
1124.56/1123.29	c cleaning 155009 clauses out of 310038 with flag 96420164/12236174
1144.00/1142.71	c cleaning 156000 clauses out of 312028 with flag 97730454/12393173
1163.23/1161.91	c cleaning 157011 clauses out of 314029 with flag 99032769/12551174
1183.30/1182.08	c cleaning 157993 clauses out of 316018 with flag 100383871/12710174
1203.05/1201.81	c cleaning 158988 clauses out of 318024 with flag 101722653/12870173
1222.41/1221.22	c cleaning 160000 clauses out of 320036 with flag 103132360/13031173
1242.37/1241.20	c cleaning 161002 clauses out of 322036 with flag 104493249/13193173
1263.01/1261.84	c cleaning 162007 clauses out of 324037 with flag 105839512/13356176
1283.84/1282.76	c cleaning 162993 clauses out of 326028 with flag 107209315/13520174
1304.99/1303.98	c cleaning 164000 clauses out of 328034 with flag 108589963/13685173
1326.24/1325.27	c cleaning 165012 clauses out of 330035 with flag 110048179/13851174
1348.15/1347.12	c cleaning 165994 clauses out of 332022 with flag 111462962/14018173
1369.47/1368.51	c cleaning 166997 clauses out of 334029 with flag 112843615/14186174
1390.43/1389.51	c cleaning 167996 clauses out of 336031 with flag 114293685/14355173
1412.37/1411.59	c cleaning 169014 clauses out of 338035 with flag 115735910/14525173
1434.69/1433.85	c cleaning 169997 clauses out of 340021 with flag 117162317/14696173
1456.74/1455.91	c cleaning 171000 clauses out of 342024 with flag 118625397/14868173
1480.19/1479.44	c cleaning 171998 clauses out of 344024 with flag 120071517/15041173
1502.84/1502.17	c cleaning 172987 clauses out of 346026 with flag 121543370/15215173
1526.68/1525.97	c cleaning 174016 clauses out of 348041 with flag 123000409/15390175
1550.52/1549.88	c cleaning 175000 clauses out of 350024 with flag 124472209/15566174
1574.08/1573.47	c cleaning 176002 clauses out of 352024 with flag 125983026/15743174
1597.92/1597.30	c cleaning 176995 clauses out of 354023 with flag 127508594/15921175
1621.69/1621.17	c cleaning 178003 clauses out of 356028 with flag 128999381/16100175
1645.21/1644.71	c cleaning 179000 clauses out of 358023 with flag 130552725/16280173
1671.02/1670.29	c cleaning 179997 clauses out of 360023 with flag 132141971/16461173
1695.17/1694.42	c cleaning 181000 clauses out of 362027 with flag 133668044/16643174
1719.62/1719.01	c cleaning 182002 clauses out of 364029 with flag 135206544/16826176
1745.54/1744.91	c cleaning 183002 clauses out of 366026 with flag 136765292/17010175
1770.78/1770.28	c cleaning 184002 clauses out of 368022 with flag 138303411/17195173
1796.12/1795.61	c cleaning 184998 clauses out of 370023 with flag 139904964/17381176
1821.63/1821.12	c cleaning 186005 clauses out of 372025 with flag 141527162/17568176
1846.85/1846.41	c cleaning 186997 clauses out of 374018 with flag 143160260/17756174
1873.51/1873.12	c cleaning 187990 clauses out of 376020 with flag 144759529/17945173
1900.23/1900.01	c cleaning 189007 clauses out of 378031 with flag 146362019/18135174
1927.02/1926.72	c cleaning 190000 clauses out of 380024 with flag 147965377/18326174
1955.06/1954.89	c cleaning 191001 clauses out of 382027 with flag 149594110/18518177
1982.32/1982.13	c cleaning 192004 clauses out of 384023 with flag 151253858/18711174
2010.74/2010.50	c cleaning 193004 clauses out of 386019 with flag 152912067/18905174
2039.38/2039.20	c cleaning 193998 clauses out of 388015 with flag 154547605/19100174
2067.24/2067.18	c cleaning 194996 clauses out of 390016 with flag 156207193/19296173
2094.85/2094.85	c cleaning 196000 clauses out of 392021 with flag 157913700/19493174
2122.38/2122.49	c cleaning 197000 clauses out of 394022 with flag 159633851/19691175
2151.06/2151.05	c cleaning 197994 clauses out of 396020 with flag 161405523/19890173
2190.17/2190.28	c cleaning 199005 clauses out of 398026 with flag 163395419/20090173
2221.18/2221.19	c cleaning 200001 clauses out of 400021 with flag 165179841/20291173
2250.21/2250.20	c cleaning 200996 clauses out of 402021 with flag 166956528/20493174
2279.08/2279.04	c cleaning 202005 clauses out of 404024 with flag 168681136/20696173
2309.89/2309.94	c cleaning 203003 clauses out of 406021 with flag 170503713/20900175
2339.52/2339.67	c cleaning 204001 clauses out of 408017 with flag 172267047/21105174
2369.30/2369.43	c cleaning 204994 clauses out of 410016 with flag 174099368/21311174
2399.33/2399.54	c cleaning 205993 clauses out of 412021 with flag 175901941/21518173
2430.35/2430.62	c cleaning 206998 clauses out of 414029 with flag 177695589/21726174
2462.40/2462.69	c cleaning 208003 clauses out of 416030 with flag 179495716/21935173
2493.33/2493.66	c cleaning 209005 clauses out of 418028 with flag 181318266/22145174
2528.96/2529.31	c cleaning 209995 clauses out of 420023 with flag 183228423/22356174
2560.71/2561.18	c cleaning 211000 clauses out of 422027 with flag 185126850/22568173
2593.43/2593.83	c cleaning 212004 clauses out of 424027 with flag 187020636/22781173
2626.17/2626.64	c cleaning 213004 clauses out of 426023 with flag 188879574/22995173
2658.56/2659.02	c cleaning 214003 clauses out of 428020 with flag 190773661/23210174
2691.07/2691.62	c cleaning 215000 clauses out of 430016 with flag 192626255/23426173
2723.78/2724.43	c cleaning 216000 clauses out of 432017 with flag 194505600/23643174
2758.55/2758.88	c cleaning 217001 clauses out of 434017 with flag 196440098/23861174
2791.88/2792.20	c cleaning 217992 clauses out of 436017 with flag 198416039/24080175
2827.14/2827.58	c cleaning 218998 clauses out of 438023 with flag 200369712/24300173
2861.17/2861.67	c cleaning 219981 clauses out of 440026 with flag 202310328/24521174
2895.09/2895.64	c cleaning 220999 clauses out of 442044 with flag 204262116/24743173
2930.93/2931.53	c cleaning 222013 clauses out of 444046 with flag 206218559/24966174
2965.36/2966.07	c cleaning 223003 clauses out of 446032 with flag 208250773/25190173
3001.07/3001.85	c cleaning 224008 clauses out of 448031 with flag 210243888/25415175
3038.31/3039.11	c cleaning 224990 clauses out of 450021 with flag 212235617/25641173
3075.38/3076.13	c cleaning 226001 clauses out of 452031 with flag 214200746/25868173
3110.30/3111.16	c cleaning 227004 clauses out of 454030 with flag 216233339/26096173
3147.39/3148.39	c cleaning 228007 clauses out of 456028 with flag 218260570/26325175
3183.40/3184.43	c cleaning 229004 clauses out of 458019 with flag 220298567/26555173
3220.31/3221.44	c cleaning 229999 clauses out of 460016 with flag 222335529/26786174
3256.32/3257.53	c cleaning 230999 clauses out of 462016 with flag 224445140/27018173
3294.33/3295.62	c cleaning 231998 clauses out of 464018 with flag 226519790/27251174
3332.44/3333.83	c cleaning 233003 clauses out of 466019 with flag 228600610/27485173
3370.29/3371.69	c cleaning 234000 clauses out of 468017 with flag 230649427/27720174
3408.49/3409.95	c cleaning 234991 clauses out of 470016 with flag 232735856/27956173
3448.09/3449.70	c cleaning 235996 clauses out of 472027 with flag 234785417/28193175
3486.41/3488.07	c cleaning 237004 clauses out of 474029 with flag 236928214/28431173
3527.99/3529.73	c cleaning 238002 clauses out of 476025 with flag 239078694/28670173
3567.08/3569.01	c cleaning 239008 clauses out of 478023 with flag 241243415/28910173
3600.10/3602.05	c starts		: 63059
3600.10/3602.06	c conflicts		: 29121831
3600.10/3602.06	c decisions		: 43532340
3600.10/3602.06	c propagations		: 693498243
3600.10/3602.06	c inspects		: 57329695318
3600.10/3602.06	c shortcuts		: 0
3600.10/3602.06	c learnt literals	: 0
3600.10/3602.06	c learnt binary clauses	: 0
3600.10/3602.06	c learnt ternary clauses	: 0
3600.10/3602.06	c learnt constraints	: 29121831
3600.10/3602.06	c ignored constraints	: 0
3600.10/3602.06	c root simplifications	: 0
3600.10/3602.06	c removed literals (reason simplification)	: 52239676
3600.10/3602.06	c reason swapping (by a shorter reason)	: 0
3600.10/3602.06	c Calls to reduceDB	: 236
3600.10/3602.06	c Number of update (reduction) of LBD	: 8437719
3600.10/3602.06	c Imported unit clauses	: 0
3600.10/3602.06	c No decision after first conflict	: false
3600.10/3602.06	c number of reductions to clauses (during analyze)	: 0
3600.10/3602.06	c number of learned constraints concerned by reduction	: 0
3600.10/3602.06	c number of learning phase by resolution	: 0
3600.10/3602.06	c number of learning phase by cutting planes	: 0
3600.10/3602.06	c number of rounding to 1 operations	: 0
3600.10/3602.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.10/3602.06	c number of reductions of the coefficients by power 2 	: 0
3600.10/3602.06	c number of right shift for reduction by power 2 	: 0
3600.10/3602.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.10/3602.06	c number of ending skipping 	: 0
3600.10/3602.06	c number of internal skipping 	: 0
3600.10/3602.06	c number of derivation steps 	: 0
3600.10/3602.06	c number of skipped derivation steps 	: 0
3600.10/3602.06	c number of remaining unassigned 	: 0
3600.10/3602.06	c number of remaining assigned 	: 0
3600.10/3602.06	c number of falsified literals weakened from reason	: 0
3600.10/3602.06	c number of falsified literals weakened from conflict	: 0
3600.10/3602.06	c time for arithmetic operations	: 0
3600.10/3602.07	c minimum degree of deleted constraints	: null
3600.10/3602.07	c maximum degree of deleted constraints	: null
3600.10/3602.07	c number of deleted constraints	: 0
3600.10/3602.07	c speed (assignments/second)	: 192553.62375176486
3600.10/3602.07	c non guided choices	: 107821
3600.31/3602.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 450673
3600.31/3602.14	s SATISFIABLE
3600.31/3602.14	c Found 1 solution(s)
3600.31/3602.15	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 
3600.31/3602.15	c objective function=1
3600.31/3602.15	c Total wall clock time (in seconds): 3601.774

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518602-1751552048/watcher-4518602-1751552048 -o /tmp/evaluation-result-4518602-1751552048/solver-4518602-1751552048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751552048-79298 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4518602-1751552048.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=79346, runsolver pid=79338
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 3.07 3.95 4.10 13/311 79417
/proc/meminfo: memFree=128753440/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18930288 memory=43036 CPUtime=0.08 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 5464 0 15 0 5 3 0 0 20 0 18 0 70883692 19384614912 10759 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4732572 10759 4831 1 0 546687 0
[pid=79346/tid=79359] ppid=79338 vsize=18930288 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4456512 4578 0 14 0 3 2 0 0 20 0 18 0 70883696 19384614912 10759 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18930288 memory=1593 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883701 19384614912 10759 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18930288 memory=60693105869820 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) R 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883702 19384614912 10759 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 43036 KiB

[startup+0.214948 s]*
/proc/loadavg: 3.07 3.95 4.10 9/319 79425
/proc/meminfo: memFree=128734868/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18930384 memory=49608 CPUtime=0.24 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 6159 0 15 0 20 4 0 0 20 0 18 0 70883692 19384713216 12402 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4732596 12402 5311 1 0 547230 0
[pid=79346/tid=79359] ppid=79338 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 4990 0 14 0 13 3 0 0 20 0 18 0 70883696 19384713216 12928 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883701 19384713216 12960 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883702 19384713216 12960 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49608 KiB

[startup+0.318481 s]*
/proc/loadavg: 3.07 3.95 4.10 12/319 79425
/proc/meminfo: memFree=128715208/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18930384 memory=57860 CPUtime=0.41 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 6688 0 15 0 35 6 0 0 20 0 18 0 70883692 19384713216 14465 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4732596 14465 5311 1 0 547687 0
[pid=79346/tid=79359] ppid=79338 vsize=18930384 memory=-6000919502788191080 CPUtime=0.25 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 5151 0 14 0 21 4 0 0 20 0 18 0 70883696 19384713216 14465 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70883701 19384713216 14465 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70883702 19384713216 14465 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57860 KiB

[startup+0.700401 s]
/proc/loadavg: 3.07 3.95 4.10 15/320 79426
/proc/meminfo: memFree=128656920/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18996948 memory=65948 CPUtime=1.1 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 8886 0 15 0 102 8 0 0 20 0 19 0 70883692 19452874752 16487 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4749237 16487 5439 1 0 549109 0
[pid=79346/tid=79359] ppid=79338 vsize=18996948 memory=18560 CPUtime=0.55 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 5423 0 14 0 51 4 0 0 20 0 19 0 70883696 19452874752 16487 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 16487 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 16487 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=18996948 memory=4892 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70883741 19452874752 16487 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65948 KiB

[startup+1.50029 s]
/proc/loadavg: 3.07 3.95 4.10 10/323 79429
/proc/meminfo: memFree=128616976/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18996948 memory=89072 CPUtime=2.67 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 18959 0 15 0 257 10 0 0 20 0 19 0 70883692 19452874752 22268 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4749237 22268 5471 1 0 552678 0
[pid=79346/tid=79359] ppid=79338 vsize=18996948 memory=0 CPUtime=1.32 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 6472 0 14 0 127 5 0 0 20 0 19 0 70883696 19452874752 22268 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 22268 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 22268 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=18996948 memory=4892 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70883741 19452874752 22268 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89072 KiB

[startup+3.10571 s]
/proc/loadavg: 3.07 3.95 4.10 6/323 79429
/proc/meminfo: memFree=128393272/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18996948 memory=114808 CPUtime=4.99 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 19909 0 15 0 487 12 0 0 20 0 19 0 70883692 19452874752 28702 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4749237 28702 5471 1 0 552883 0
[pid=79346/tid=79359] ppid=79338 vsize=18996948 memory=11264 CPUtime=2.9 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 6713 0 14 0 285 5 0 0 20 0 19 0 70883696 19452874752 28702 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18996948 memory=-6000919472740197224 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 28702 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 28702 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70883741 19452874752 28702 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114808 KiB

[startup+6.30046 s]
/proc/loadavg: 3.14 3.96 4.10 9/326 79432
/proc/meminfo: memFree=128249560/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=18996948 memory=152308 CPUtime=8.26 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 22908 0 15 0 812 14 0 0 20 0 19 0 70883692 19452874752 38077 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4749237 38077 5471 1 0 552901 0
[pid=79346/tid=79359] ppid=79338 vsize=18996948 memory=0 CPUtime=6.09 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 7399 0 14 0 602 7 0 0 20 0 19 0 70883696 19452874752 38077 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70883701 19452874752 38077 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70883702 19452874752 38077 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=18996948 memory=89072 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70883741 19452874752 38077 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152308 KiB

[startup+12.7004 s]
/proc/loadavg: 3.21 3.96 4.10 6/327 79433
/proc/meminfo: memFree=128058256/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=171076 CPUtime=14.71 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 24958 0 15 0 1456 15 0 0 20 0 20 0 70883692 19521036288 42769 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 42769 5471 1 0 553190 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=89072 CPUtime=12.44 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 7967 0 14 0 1237 7 0 0 20 0 20 0 70883696 19521036288 42769 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=171076 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 42769 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=171076 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 42769 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 42769 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 14.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171076 KiB

[startup+25.5005 s]
/proc/loadavg: 3.47 3.98 4.10 6/327 79434
/proc/meminfo: memFree=127361220/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=208248 CPUtime=27.49 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 27481 0 15 0 2733 16 0 0 20 0 20 0 70883692 19521036288 52062 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 52062 5503 1 0 553190 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=171076 CPUtime=25.02 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 8400 0 14 0 2495 7 0 0 20 0 20 0 70883696 19521036288 52062 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=183544 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 52062 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 52062 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=208248 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 52062 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 27.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208248 KiB

[startup+51.1126 s]
/proc/loadavg: 3.65 3.98 4.10 6/327 79434
/proc/meminfo: memFree=126159968/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=308848 CPUtime=53.12 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 27765 0 15 0 5293 19 0 0 20 0 20 0 70883692 19521036288 77212 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 77212 5503 1 0 553190 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=308848 CPUtime=50.34 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 8448 0 14 0 5027 7 0 0 20 0 20 0 70883696 19521036288 77212 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=275980 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 77212 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=2764 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.17 6/326 79599
/proc/meminfo: memFree=114088192/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2180060 CPUtime=3281.06 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 90713 0 15 0 327873 233 0 0 20 0 20 0 70883692 19521036288 545015 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 545015 5503 1 0 561802 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=2180060 CPUtime=3266.58 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 41082 0 14 0 326638 20 0 0 20 0 20 0 70883696 19521036288 545015 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=2178652 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 545015 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=2180060 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 545015 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=2180060 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 545015 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3281.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2180060 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 6/326 79601
/proc/meminfo: memFree=113448544/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2188252 CPUtime=3340.91 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 91689 0 15 0 333856 235 0 0 20 0 20 0 70883692 19521036288 547063 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 547063 5503 1 0 561802 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=2180060 CPUtime=3326.39 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 42052 0 14 0 332619 20 0 0 20 0 20 0 70883696 19521036288 547063 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=2180060 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 547063 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=4892 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1487 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 547063 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 547063 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3340.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/326 79603
/proc/meminfo: memFree=113346024/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3400.91 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 93237 0 15 0 339852 239 0 0 20 0 20 0 70883692 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 548127 5503 1 0 561847 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3386.1 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 42469 0 14 0 338590 20 0 0 20 0 20 0 70883696 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=2188252 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1549 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3400.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2192508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.15 6/325 79606
/proc/meminfo: memFree=113347080/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3460.76 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 94314 0 15 0 345833 243 0 0 20 0 20 0 70883692 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 548127 5503 1 0 561847 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=14720 CPUtime=3445.91 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 43074 0 14 0 344571 20 0 0 20 0 20 0 70883696 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3460.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2192508 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.15 6/325 79608
/proc/meminfo: memFree=113346784/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3520.6 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 94513 0 15 0 351815 245 0 0 20 0 20 0 70883692 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 548127 5503 1 0 561847 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=18560 CPUtime=3505.72 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 43257 0 14 0 350551 21 0 0 20 0 20 0 70883696 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3520.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2192508 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.15 4.16 6/325 79610
/proc/meminfo: memFree=113346152/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3580.44 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 95361 0 15 0 357795 249 0 0 20 0 20 0 70883692 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 548127 5503 1 0 561847 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3565.52 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 44087 0 14 0 356531 21 0 0 20 0 20 0 70883696 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=6896 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3580.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2192508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602 s]*
/proc/loadavg: 4.30 4.17 4.17 5/324 79811
/proc/meminfo: memFree=126140416/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19063512 memory=2192508 CPUtime=3600.1 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 95495 0 15 0 359760 250 0 0 20 0 20 0 70883692 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4765878 548127 5503 1 0 561847 0
[pid=79346/tid=79359] ppid=79338 vsize=19063512 memory=-6000919472656049000 CPUtime=3585.17 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 44193 0 14 0 358496 21 0 0 20 0 20 0 70883696 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19063512 memory=102492 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70883701 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19063512 memory=-6000919472656049000 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 70883702 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79426] ppid=79338 vsize=19063512 memory=4179395666877088499 CPUtime=0 cores=0,2
/proc/79346/task/79426/stat : 79426 (Timer-0) S 79338 79346 79288 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70883741 19521036288 548127 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2192508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.88 s, system=2.52839 s

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

[startup+3602.12 s]
/proc/loadavg: 4.30 4.17 4.17 5/324 79811
/proc/meminfo: memFree=126140416/131382112 swapFree=33009904/33010684
[pid=79346] ppid=79338 vsize=19263204 memory=2193276 CPUtime=3600.31 cores=0,2
/proc/79346/stat : 79346 (java) S 79338 79346 79288 0 -1 4194304 98318 0 15 0 359780 251 0 0 20 0 21 0 70883692 19725520896 548319 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
/proc/79346/statm: 4815801 548319 5535 1 0 562784 0
[pid=79346/tid=79359] ppid=79338 vsize=19263204 memory=2192508 CPUtime=3585.25 cores=0,2
/proc/79346/task/79359/stat : 79359 (java) R 79338 79346 79288 0 -1 4194368 44472 0 14 0 358504 21 0 0 20 0 21 0 70883696 19725520896 548319 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79394] ppid=79338 vsize=19263204 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79394/stat : 79394 (Finalizer) S 79338 79346 79288 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70883701 19725520896 548319 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
[pid=79346/tid=79422] ppid=79338 vsize=19263204 memory=2192508 CPUtime=0 cores=0,2
/proc/79346/task/79422/stat : 79422 (Common-Cleaner) S 79338 79346 79288 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 21 0 70883702 19725520896 548319 18446744073709551615 94124946788352 94124946792048 140730705545552 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94124946799864 94124946800656 94124972703744 140730705553793 140730705553894 140730705553894 140730705559496 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2193276 KiB

Child status: 143

Real time (s): 3602.17
CPU time (s): 3600.4
CPU user time (s): 3597.88
CPU system time (s): 2.52839
CPU usage (%): 99.951
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2193276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.88
system time used= 2.52839
maximum resident set size= 2193532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98645
page faults= 15
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105513
involuntary context switches= 9683


# summary of solver processes directly reported to runsolver:
#   pid: 79346
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.88
#   total CPU system time (s): 2.52839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8808 second user time and 37.8728 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-03 16:14:08
IDJOB=4518602
IDBENCH=177063
IDSOLVER=3363
FILE ID=nodeC001/4518602-1751552048
RUNJOBID= nodeC001-1751552048-79298
SLURM_JOB_ID= 9598733
Free space on /tmp= 432508 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518602-1751552048/watcher-4518602-1751552048 -o /tmp/evaluation-result-4518602-1751552048/solver-4518602-1751552048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751552048-79298 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4518602-1751552048.opb

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

MD5SUM BENCH= c461ae7705f705842c6a0ab2eb8c850d
RANDOM SEED=488727636

nodeC001 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.171
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.49
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.134
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.49
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.401
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.49
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.182
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.49
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		: 1198.027
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.49
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		: 1197.411
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.49
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.166
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.49
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		: 1197.168
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128806860 kB
MemAvailable:   129899952 kB
Buffers:            1668 kB
Cached:          1878584 kB
SwapCached:          128 kB
Active:           307060 kB
Inactive:        1640936 kB
Active(anon):      57252 kB
Inactive(anon):    28268 kB
Active(file):     249808 kB
Inactive(file):  1612668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1628 kB
Writeback:             0 kB
AnonPages:         70672 kB
Mapped:           102984 kB
Shmem:             17776 kB
KReclaimable:     140100 kB
Slab:             224868 kB
SReclaimable:     140100 kB
SUnreclaim:        84768 kB
KernelStack:        3732 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432504 MiB
End job on nodeC001 at 2025-07-03 17:14:10