Trace number 4490941

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)303 3601.38 3285.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
MD5SUM661b9222a6bc80fb313039094bf52923
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 benchmark245
Best CPU time to get the best result obtained on this benchmark0.466145
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1264
Total number of constraints1090
Number of constraints which are clauses1090
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 1264
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 1264
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1264
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4490941-1751383572.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
0.31/0.21	c ... done. Wall clock time 0.07s.
0.31/0.21	c declared #vars     1264
0.31/0.21	c #constraints  1090
0.31/0.21	c constraints type 
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 990
0.31/0.21	c 1090 constraints processed.
0.31/0.22	c objective function length is 1264 literals
0.31/0.26	c SATISFIABLE
0.31/0.26	c OPTIMIZING...
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.119
0.31/0.26	o 303
3.04/1.68	c cleaning 2493 clauses out of 5000 with flag 10271/5000
4.48/2.58	c cleaning 4247 clauses out of 8507 with flag 22574/11000
5.75/3.56	c cleaning 5622 clauses out of 11260 with flag 37580/18000
6.97/4.68	c cleaning 6812 clauses out of 13639 with flag 54693/26001
8.25/5.84	c cleaning 7905 clauses out of 15827 with flag 74042/35001
9.73/7.22	c cleaning 8953 clauses out of 17921 with flag 96078/45000
11.46/8.80	c cleaning 9975 clauses out of 19968 with flag 119571/56000
13.14/10.41	c cleaning 10991 clauses out of 21993 with flag 144876/68000
14.79/12.05	c cleaning 11994 clauses out of 24002 with flag 173617/81000
16.90/13.99	c cleaning 13001 clauses out of 26009 with flag 203497/95001
18.79/15.87	c cleaning 13997 clauses out of 28007 with flag 235160/110000
21.27/18.14	c cleaning 14998 clauses out of 30011 with flag 271137/126001
23.84/20.54	c cleaning 15997 clauses out of 32012 with flag 308669/143000
26.34/22.97	c cleaning 17004 clauses out of 34015 with flag 346586/161000
29.06/25.50	c cleaning 17997 clauses out of 36012 with flag 388594/180001
32.00/28.31	c cleaning 18999 clauses out of 38015 with flag 433412/200001
35.01/31.26	c cleaning 20000 clauses out of 40016 with flag 480479/221001
37.91/34.14	c cleaning 20998 clauses out of 42015 with flag 528997/243000
41.17/37.34	c cleaning 22002 clauses out of 44017 with flag 579483/266000
44.48/40.55	c cleaning 22994 clauses out of 46015 with flag 630948/290000
47.86/43.96	c cleaning 24005 clauses out of 48021 with flag 687108/315000
51.61/47.52	c cleaning 25005 clauses out of 50017 with flag 743432/341001
56.31/51.72	c cleaning 25998 clauses out of 52011 with flag 802590/368000
60.10/55.54	c cleaning 27001 clauses out of 54013 with flag 862047/396000
64.25/59.63	c cleaning 28000 clauses out of 56012 with flag 924356/425000
68.47/63.79	c cleaning 29000 clauses out of 58013 with flag 986539/455001
73.33/68.24	c cleaning 29996 clauses out of 60012 with flag 1052857/486000
77.72/72.54	c cleaning 30997 clauses out of 62016 with flag 1121795/518000
82.42/77.16	c cleaning 32000 clauses out of 64020 with flag 1194070/551001
87.34/81.92	c cleaning 32995 clauses out of 66020 with flag 1268972/585001
92.59/87.02	c cleaning 34001 clauses out of 68024 with flag 1345365/620000
98.00/92.26	c cleaning 35003 clauses out of 70025 with flag 1425099/656002
103.57/97.61	c cleaning 36000 clauses out of 72021 with flag 1506623/693001
109.69/103.41	c cleaning 36998 clauses out of 74020 with flag 1585886/731000
115.62/109.24	c cleaning 38002 clauses out of 76022 with flag 1673077/770000
121.55/115.08	c cleaning 38997 clauses out of 78020 with flag 1761534/810000
127.57/120.99	c cleaning 39999 clauses out of 80024 with flag 1850047/851001
134.17/127.44	c cleaning 41004 clauses out of 82024 with flag 1938142/893000
140.84/134.02	c cleaning 42003 clauses out of 84022 with flag 2032335/936002
147.89/140.81	c cleaning 42997 clauses out of 86019 with flag 2128163/980002
154.66/147.45	c cleaning 44005 clauses out of 88022 with flag 2226519/1025002
162.56/154.84	c cleaning 44997 clauses out of 90015 with flag 2326426/1071000
169.94/162.12	c cleaning 46002 clauses out of 92018 with flag 2428586/1118000
177.29/169.19	c cleaning 47000 clauses out of 94017 with flag 2535443/1166001
184.62/176.24	c cleaning 48000 clauses out of 96019 with flag 2643606/1215003
192.21/183.61	c cleaning 48997 clauses out of 98016 with flag 2751357/1265000
200.30/191.43	c cleaning 50004 clauses out of 100020 with flag 2862127/1316001
209.47/199.41	c cleaning 51001 clauses out of 102016 with flag 2970992/1368001
217.83/207.56	c cleaning 51994 clauses out of 104014 with flag 3087856/1421000
226.56/216.02	c cleaning 53001 clauses out of 106022 with flag 3206819/1475002
234.72/224.12	c cleaning 54001 clauses out of 108019 with flag 3323355/1530000
243.09/232.33	c cleaning 54999 clauses out of 110019 with flag 3444957/1586001
252.45/241.24	c cleaning 55998 clauses out of 112019 with flag 3569919/1643000
261.37/250.07	c cleaning 56999 clauses out of 114022 with flag 3697268/1701001
270.73/259.23	c cleaning 57997 clauses out of 116023 with flag 3826193/1760001
279.90/268.23	c cleaning 59002 clauses out of 118025 with flag 3961904/1820000
289.72/277.60	c cleaning 60000 clauses out of 120023 with flag 4099643/1881000
298.82/286.65	c cleaning 60999 clauses out of 122023 with flag 4238325/1943000
309.32/296.64	c cleaning 62001 clauses out of 124026 with flag 4381390/2006002
319.45/306.31	c cleaning 63001 clauses out of 126025 with flag 4524454/2070002
330.30/316.73	c cleaning 63997 clauses out of 128022 with flag 4671574/2135000
341.96/327.27	c cleaning 65003 clauses out of 130025 with flag 4821641/2201000
352.93/337.73	c cleaning 65996 clauses out of 132022 with flag 4971483/2268000
364.08/348.50	c cleaning 67000 clauses out of 134027 with flag 5125242/2336001
375.19/359.30	c cleaning 68001 clauses out of 136026 with flag 5281911/2405000
386.29/369.96	c cleaning 69002 clauses out of 138025 with flag 5438122/2475000
398.07/381.34	c cleaning 69996 clauses out of 140024 with flag 5598624/2546001
409.51/392.45	c cleaning 71004 clauses out of 142028 with flag 5757366/2618001
422.01/404.49	c cleaning 72000 clauses out of 144024 with flag 5915964/2691001
434.56/416.65	c cleaning 72997 clauses out of 146024 with flag 6082950/2765001
447.48/429.07	c cleaning 73998 clauses out of 148027 with flag 6252928/2840001
459.72/440.93	c cleaning 75001 clauses out of 150028 with flag 6423390/2916000
472.61/453.38	c cleaning 75997 clauses out of 152028 with flag 6596281/2993001
487.26/466.62	c cleaning 77001 clauses out of 154030 with flag 6772778/3071000
499.96/479.01	c cleaning 78008 clauses out of 156029 with flag 6946991/3150000
513.61/492.20	c cleaning 79002 clauses out of 158021 with flag 7126322/3230000
528.35/505.69	c cleaning 80001 clauses out of 160019 with flag 7309426/3311000
542.28/519.19	c cleaning 80997 clauses out of 162019 with flag 7489910/3393001
558.36/533.63	c cleaning 81992 clauses out of 164021 with flag 7675474/3476000
573.27/548.10	c cleaning 82997 clauses out of 166030 with flag 7865309/3560001
588.95/562.49	c cleaning 84001 clauses out of 168032 with flag 8056319/3645000
605.42/577.35	c cleaning 85000 clauses out of 170031 with flag 8249322/3731000
622.56/592.83	c cleaning 86002 clauses out of 172032 with flag 8444229/3818001
638.90/607.76	c cleaning 87002 clauses out of 174029 with flag 8645830/3906000
657.29/623.28	c cleaning 88002 clauses out of 176028 with flag 8849231/3995001
673.79/637.94	c cleaning 88999 clauses out of 178025 with flag 9053917/4085000
690.85/653.37	c cleaning 89997 clauses out of 180026 with flag 9262299/4176000
708.24/669.08	c cleaning 91002 clauses out of 182029 with flag 9473552/4268000
725.71/684.68	c cleaning 92002 clauses out of 184027 with flag 9684670/4361000
742.95/700.38	c cleaning 93004 clauses out of 186026 with flag 9894635/4455001
762.70/716.90	c cleaning 94001 clauses out of 188022 with flag 10111297/4550001
781.15/733.57	c cleaning 95000 clauses out of 190021 with flag 10330364/4646001
800.86/750.16	c cleaning 95997 clauses out of 192020 with flag 10543490/4743000
820.01/767.46	c cleaning 97000 clauses out of 194023 with flag 10758015/4841000
839.13/784.67	c cleaning 97996 clauses out of 196024 with flag 10984620/4940001
858.03/801.87	c cleaning 99004 clauses out of 198028 with flag 11213535/5040001
878.63/820.21	c cleaning 100001 clauses out of 200023 with flag 11440345/5141000
898.40/838.03	c cleaning 101000 clauses out of 202023 with flag 11669621/5243001
917.62/855.49	c cleaning 101996 clauses out of 204022 with flag 11901422/5346000
937.57/873.47	c cleaning 102997 clauses out of 206026 with flag 12140364/5450000
958.79/892.34	c cleaning 104001 clauses out of 208029 with flag 12381173/5555000
979.64/911.11	c cleaning 105002 clauses out of 210029 with flag 12624120/5661001
999.47/929.16	c cleaning 106003 clauses out of 212026 with flag 12868341/5768000
1019.36/947.03	c cleaning 106999 clauses out of 214024 with flag 13114153/5876001
1040.35/965.95	c cleaning 107999 clauses out of 216024 with flag 13363409/5985000
1062.03/985.60	c cleaning 108998 clauses out of 218025 with flag 13615426/6095000
1083.80/1005.48	c cleaning 110000 clauses out of 220027 with flag 13870019/6206000
1106.09/1025.64	c cleaning 111001 clauses out of 222027 with flag 14126752/6318000
1127.72/1045.38	c cleaning 112005 clauses out of 224027 with flag 14385611/6431001
1149.34/1065.13	c cleaning 112999 clauses out of 226022 with flag 14645766/6545001
1173.83/1086.01	c cleaning 114004 clauses out of 228023 with flag 14908300/6660001
1195.75/1106.05	c cleaning 114998 clauses out of 230018 with flag 15161322/6776000
1220.34/1126.89	c cleaning 116000 clauses out of 232020 with flag 15419017/6893000
1243.67/1147.93	c cleaning 117002 clauses out of 234021 with flag 15678626/7011001
1266.46/1168.69	c cleaning 117997 clauses out of 236019 with flag 15937746/7130001
1290.11/1189.75	c cleaning 119002 clauses out of 238023 with flag 16200434/7250002
1314.49/1211.95	c cleaning 120000 clauses out of 240019 with flag 16467677/7371000
1338.58/1233.88	c cleaning 121000 clauses out of 242019 with flag 16732290/7493000
1364.98/1257.63	c cleaning 122000 clauses out of 244019 with flag 16997813/7616000
1391.33/1281.26	c cleaning 122995 clauses out of 246020 with flag 17269127/7740001
1418.77/1305.98	c cleaning 123998 clauses out of 248024 with flag 17542129/7865000
1444.39/1328.84	c cleaning 125001 clauses out of 250027 with flag 17817795/7991001
1470.03/1351.75	c cleaning 126003 clauses out of 252026 with flag 18097885/8118001
1496.43/1375.98	c cleaning 126995 clauses out of 254022 with flag 18369052/8246000
1525.71/1401.17	c cleaning 128005 clauses out of 256029 with flag 18645283/8375002
1552.13/1425.38	c cleaning 129001 clauses out of 258023 with flag 18929459/8505001
1579.65/1450.56	c cleaning 129998 clauses out of 260021 with flag 19215083/8636000
1607.15/1475.72	c cleaning 131000 clauses out of 262024 with flag 19501917/8768001
1634.35/1500.60	c cleaning 131998 clauses out of 264024 with flag 19791016/8901001
1665.30/1527.48	c cleaning 133006 clauses out of 266025 with flag 20083159/9035000
1695.53/1555.22	c cleaning 133997 clauses out of 268019 with flag 20387282/9170000
1726.68/1582.17	c cleaning 135000 clauses out of 270023 with flag 20693092/9306001
1754.81/1607.81	c cleaning 135999 clauses out of 272022 with flag 21002050/9443000
1783.68/1634.36	c cleaning 137000 clauses out of 274024 with flag 21312992/9581001
1814.06/1662.30	c cleaning 138001 clauses out of 276024 with flag 21622820/9720001
1842.59/1688.43	c cleaning 139003 clauses out of 278022 with flag 21935345/9860000
1871.35/1714.71	c cleaning 139996 clauses out of 280020 with flag 22254560/10001001
1903.40/1744.30	c cleaning 140997 clauses out of 282023 with flag 22572514/10143000
1932.47/1770.96	c cleaning 141994 clauses out of 284026 with flag 22897207/10286000
1964.03/1800.02	c cleaning 143003 clauses out of 286032 with flag 23225843/10430000
1997.12/1830.63	c cleaning 144004 clauses out of 288029 with flag 23545260/10575000
2028.33/1859.29	c cleaning 144999 clauses out of 290026 with flag 23873606/10721001
2060.69/1889.03	c cleaning 146001 clauses out of 292028 with flag 24206158/10868002
2096.54/1919.92	c cleaning 146999 clauses out of 294025 with flag 24540547/11016000
2128.03/1948.42	c cleaning 148003 clauses out of 296026 with flag 24876055/11165000
2158.80/1976.34	c cleaning 149004 clauses out of 298023 with flag 25215288/11315000
2189.42/2004.23	c cleaning 149999 clauses out of 300020 with flag 25542324/11466001
2221.77/2033.97	c cleaning 150998 clauses out of 302020 with flag 25869337/11618000
2254.55/2064.01	c cleaning 152000 clauses out of 304022 with flag 26197572/11771000
2286.93/2093.70	c cleaning 153000 clauses out of 306023 with flag 26528586/11925001
2321.28/2125.41	c cleaning 154002 clauses out of 308022 with flag 26860942/12080000
2356.80/2158.11	c cleaning 155000 clauses out of 310021 with flag 27196760/12236001
2393.17/2191.70	c cleaning 156001 clauses out of 312020 with flag 27538981/12393000
2426.29/2221.80	c cleaning 156996 clauses out of 314020 with flag 27889970/12551001
2457.79/2250.16	c cleaning 158000 clauses out of 316023 with flag 28249633/12710000
2490.93/2279.70	c cleaning 159003 clauses out of 318024 with flag 28607110/12870001
2524.88/2310.65	c cleaning 159993 clauses out of 320020 with flag 28965553/13031000
2559.40/2342.26	c cleaning 160999 clauses out of 322027 with flag 29329675/13193000
2593.85/2373.70	c cleaning 162003 clauses out of 324029 with flag 29694816/13356001
2629.89/2406.88	c cleaning 163001 clauses out of 326028 with flag 30059027/13520003
2663.75/2437.71	c cleaning 163999 clauses out of 328024 with flag 30425729/13685000
2698.65/2469.65	c cleaning 165003 clauses out of 330026 with flag 30790352/13851001
2734.23/2502.17	c cleaning 166000 clauses out of 332022 with flag 31162475/14018000
2770.60/2535.58	c cleaning 167003 clauses out of 334023 with flag 31536656/14186001
2805.93/2567.80	c cleaning 167998 clauses out of 336019 with flag 31912220/14355000
2842.57/2601.31	c cleaning 168998 clauses out of 338021 with flag 32291395/14525000
2879.41/2632.87	c cleaning 170001 clauses out of 340024 with flag 32670910/14696001
2914.52/2664.75	c cleaning 171002 clauses out of 342023 with flag 33056759/14868001
2952.54/2697.07	c cleaning 171995 clauses out of 344020 with flag 33442749/15041000
2989.47/2730.33	c cleaning 172999 clauses out of 346025 with flag 33830636/15215000
3026.46/2764.21	c cleaning 174006 clauses out of 348027 with flag 34218324/15390001
3063.57/2798.25	c cleaning 174996 clauses out of 350020 with flag 34608058/15566000
3100.67/2832.18	c cleaning 175999 clauses out of 352024 with flag 35002470/15743000
3142.00/2867.55	c cleaning 177001 clauses out of 354026 with flag 35398926/15921001
3178.47/2900.39	c cleaning 178001 clauses out of 356024 with flag 35785840/16100000
3216.94/2935.05	c cleaning 179000 clauses out of 358023 with flag 36173400/16280000
3255.80/2970.26	c cleaning 180002 clauses out of 360025 with flag 36569006/16461002
3293.40/3004.69	c cleaning 181000 clauses out of 362022 with flag 36961859/16643001
3334.66/3040.21	c cleaning 181998 clauses out of 364024 with flag 37363163/16826003
3376.71/3078.42	c cleaning 183001 clauses out of 366024 with flag 37766435/17010001
3414.99/3112.71	c cleaning 184002 clauses out of 368023 with flag 38166683/17195001
3455.01/3148.90	c cleaning 185003 clauses out of 370020 with flag 38581701/17381000
3495.48/3185.42	c cleaning 185998 clauses out of 372017 with flag 38990200/17568000
3534.25/3220.96	c cleaning 186998 clauses out of 374019 with flag 39412725/17756000
3576.77/3257.27	c cleaning 187996 clauses out of 376021 with flag 39834005/17945000
3600.07/3277.01	c starts		: 2
3600.07/3277.03	c conflicts		: 18073445
3600.07/3277.03	c decisions		: 26411139
3600.07/3277.03	c propagations		: 293710074
3600.07/3277.03	c inspects		: 5517885874
3600.07/3277.03	c shortcuts		: 0
3600.07/3277.03	c learnt literals	: 0
3600.07/3277.03	c learnt binary clauses	: 0
3600.07/3277.03	c learnt ternary clauses	: 0
3600.07/3277.03	c learnt constraints	: 18073445
3600.07/3277.03	c ignored constraints	: 0
3600.07/3277.03	c root simplifications	: 0
3600.07/3277.03	c removed literals (reason simplification)	: 10902384
3600.07/3277.03	c reason swapping (by a shorter reason)	: 0
3600.07/3277.03	c Calls to reduceDB	: 185
3600.07/3277.03	c Number of update (reduction) of LBD	: 1501745
3600.07/3277.03	c Imported unit clauses	: 0
3600.07/3277.03	c No decision after first conflict	: false
3600.07/3277.03	c number of reductions to clauses (during analyze)	: 0
3600.07/3277.03	c number of learned constraints concerned by reduction	: 0
3600.07/3277.03	c number of learning phase by resolution	: 0
3600.07/3277.03	c number of learning phase by cutting planes	: 0
3600.07/3277.03	c number of rounding to 1 operations	: 0
3600.07/3277.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3277.04	c number of reductions of the coefficients by power 2 	: 0
3600.07/3277.04	c number of right shift for reduction by power 2 	: 0
3600.07/3277.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3277.04	c number of ending skipping 	: 0
3600.07/3277.04	c number of internal skipping 	: 0
3600.07/3277.04	c number of derivation steps 	: 0
3600.07/3277.04	c number of skipped derivation steps 	: 0
3600.07/3277.04	c number of remaining unassigned 	: 0
3600.07/3277.04	c number of remaining assigned 	: 0
3600.07/3277.04	c number of falsified literals weakened from reason	: 0
3600.07/3277.04	c number of falsified literals weakened from conflict	: 0
3600.07/3277.04	c time for arithmetic operations	: 0
3600.07/3277.04	c minimum degree of deleted constraints	: null
3600.07/3277.04	c maximum degree of deleted constraints	: null
3600.07/3277.04	c number of deleted constraints	: 0
3600.07/3277.05	c speed (assignments/second)	: 89633.3107096078
3600.07/3277.05	c non guided choices	: 0
3600.28/3277.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 316470
3600.28/3277.11	s SATISFIABLE
3600.28/3277.12	c Found 1 solution(s)
3600.28/3277.12	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 -x445 -x446 -x447 x448 -x449 x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 x470 x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 -x516 x517 x518 x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 x545 x546 x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 x565 -x566 -x567 x568 -x569 -x570 x571 -x572 -x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 x750 x751 -x752 x753 x754 x755 -x756 -x757 x758 x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 x777 x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 x888 -x889 -x890 x891 -x892 -x893 x894 -x895 -x896 x897 -x898 x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 x963 -x964 x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 
3600.28/3277.12	c objective function=303
3600.28/3277.12	c Total wall clock time (in seconds): 3276.981

Verifier Data 

OK	303

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490941-1751383572/watcher-4490941-1751383572 -o /tmp/evaluation-result-4490941-1751383572/solver-4490941-1751383572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751376307-54240 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490941-1751383572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490941-1751383572.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=55286, runsolver pid=55283

[startup+0.100059 s]*
/proc/loadavg: 4.39 4.22 4.14 6/341 55304
/proc/meminfo: memFree=112421440/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=18930384 memory=55632 CPUtime=0.12 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 6547 0 0 0 10 2 0 0 20 0 18 0 54035054 19384713216 13908 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4732596 13908 5368 1 0 547603 0
[pid=55286/tid=55288] ppid=55283 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 5056 0 0 0 6 1 0 0 20 0 18 0 54035056 19384713216 13908 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54035058 19384713216 13908 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=18930384 memory=58485492679666 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54035058 19384713216 13908 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55632 KiB

[startup+0.205623 s]*
/proc/loadavg: 4.39 4.22 4.14 7/341 55304
/proc/meminfo: memFree=112400016/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=18930384 memory=66356 CPUtime=0.31 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 7086 0 0 0 29 2 0 0 20 0 18 0 54035054 19384713216 16589 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4732596 16589 5432 1 0 547954 0
[pid=55286/tid=55288] ppid=55283 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 5287 0 0 0 15 1 0 0 20 0 18 0 54035056 19384713216 16589 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=18930384 memory=16099 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54035058 19384713216 16589 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54035058 19384713216 16589 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66356 KiB

[startup+0.305608 s]*
/proc/loadavg: 4.39 4.22 4.14 7/342 55305
/proc/meminfo: memFree=112381920/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=18996948 memory=76000 CPUtime=0.5 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 7691 0 0 0 47 3 0 0 20 0 19 0 54035054 19452874752 19000 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4749237 19000 5496 1 0 548454 0
[pid=55286/tid=55288] ppid=55283 vsize=18996948 memory=-6000919494131214186 CPUtime=0.24 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 5424 0 0 0 22 2 0 0 20 0 19 0 54035056 19452874752 19000 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54035058 19452874752 19000 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54035058 19452874752 19000 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54035079 19452874752 19000 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76000 KiB

[startup+0.700241 s]
/proc/loadavg: 4.39 4.22 4.14 6/342 55305
/proc/meminfo: memFree=112307060/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=170840 CPUtime=1.26 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 14409 0 0 0 120 6 0 0 20 0 20 0 54035054 19521036288 42710 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 42710 5496 1 0 552332 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=13568 CPUtime=0.59 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 5464 0 0 0 55 4 0 0 20 0 20 0 54035056 19521036288 42710 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 42710 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 42710 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=4752 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 42710 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170840 KiB

[startup+1.50024 s]
/proc/loadavg: 4.39 4.22 4.14 7/343 55306
/proc/meminfo: memFree=112236556/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=193464 CPUtime=2.85 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 15291 0 0 0 277 8 0 0 20 0 20 0 54035054 19521036288 48366 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 48366 5496 1 0 552589 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=10880 CPUtime=1.33 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 5471 0 0 0 129 4 0 0 20 0 20 0 54035056 19521036288 48366 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 48366 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 48366 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=4752 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 48366 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193464 KiB

[startup+3.10555 s]
/proc/loadavg: 4.44 4.23 4.14 5/343 55306
/proc/meminfo: memFree=111677644/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=632836 CPUtime=5.29 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 16652 0 0 0 509 20 0 0 20 0 20 0 54035054 19521036288 158209 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 158209 5496 1 0 732413 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=10880 CPUtime=2.82 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 5688 0 0 0 268 14 0 0 20 0 20 0 54035056 19521036288 158209 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=-6000919494131214186 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 158209 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 158209 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 158209 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 632836 KiB

[startup+6.30024 s]
/proc/loadavg: 4.44 4.23 4.14 5/343 55306
/proc/meminfo: memFree=110449716/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=1737492 CPUtime=8.78 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 17950 0 0 0 831 47 0 0 20 0 20 0 54035054 19521036288 434373 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 434373 5496 1 0 1208705 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=0 CPUtime=5.81 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 6168 0 0 0 546 35 0 0 20 0 20 0 54035056 19521036288 434373 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 434373 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 434373 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=193464 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 434373 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1737492 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 4.22 4.14 4/343 55306
/proc/meminfo: memFree=108827532/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=2820608 CPUtime=15.49 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 19651 0 0 0 1470 79 0 0 20 0 20 0 54035054 19521036288 705152 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 705152 5496 1 0 1386265 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=193464 CPUtime=11.9 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 7186 0 0 0 1128 62 0 0 20 0 20 0 54035056 19521036288 705152 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 705152 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=2820608 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 705152 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 705152 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2820608 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.21 4.14 5/343 55306
/proc/meminfo: memFree=106815924/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=3848772 CPUtime=29.06 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 25564 0 0 0 2788 118 0 0 20 0 20 0 54035054 19521036288 962193 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 962193 5528 1 0 1576359 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=10880 CPUtime=23.93 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 8758 0 0 0 2299 94 0 0 20 0 20 0 54035056 19521036288 962193 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=2820608 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 962193 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 962193 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 962193 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 29.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3848772 KiB

[startup+51.1056 s]
/proc/loadavg: 4.21 4.19 4.13 6/342 55307
/proc/meminfo: memFree=104429248/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=5094088 CPUtime=55.72 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 32118 0 0 0 5388 184 0 0 20 0 20 0 54035054 19521036288 1273522 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 1273522 5528 1 0 1576369 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=4793032 CPUtime=48.3 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 12996 0 0 0 4688 142 0 0 20 0 20 0 54035056 19521036288 1273522 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0

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

/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 146227 0 0 0 276478 3659 0 0 20 0 20 0 54035056 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=7379392 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1541 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=7379392 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3203.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7379392 KiB

[startup+2982.3 s]
/proc/loadavg: 4.41 4.42 4.32 5/347 55539
/proc/meminfo: memFree=35818836/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=7379392 CPUtime=3270.41 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 321064 0 0 0 323025 4016 0 0 20 0 20 0 54035054 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 1844848 5528 1 0 1858899 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=7379392 CPUtime=2859.08 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 147205 0 0 0 282194 3714 0 0 20 0 20 0 54035056 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=7379392 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=7379392 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1572 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 1844848 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3270.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7379392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.50 4.43 4.33 5/347 55541
/proc/meminfo: memFree=34848408/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=6796032 CPUtime=3336.75 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 325659 0 0 0 329598 4077 0 0 20 0 20 0 54035054 19521036288 1699008 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 1699008 5528 1 0 1712739 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=7379392 CPUtime=2916.91 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 150301 0 0 0 287921 3770 0 0 20 0 20 0 54035056 19521036288 1699008 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=6796032 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1699008 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1572 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1699008 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 1699008 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3336.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6796032 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.41 4.33 6/347 55543
/proc/meminfo: memFree=31769508/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=8521740 CPUtime=3402.55 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 336801 0 0 0 336040 4215 0 0 20 0 20 0 54035054 19521036288 2130435 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 2130435 5528 1 0 2144984 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=7379392 CPUtime=2974.29 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 155801 0 0 0 293532 3897 0 0 20 0 20 0 54035056 19521036288 2130435 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 2130435 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=4752 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1603 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 2130435 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 2130435 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3402.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8521740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.38 4.32 6/346 55545
/proc/meminfo: memFree=30281144/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=8521868 CPUtime=3469.08 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 340250 0 0 0 342631 4277 0 0 20 0 20 0 54035054 19521036288 2130467 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 2130467 5528 1 0 2145001 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=4752 CPUtime=3032.16 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 156997 0 0 0 299261 3955 0 0 20 0 20 0 54035056 19521036288 2130467 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=8521868 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 2130467 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=8521868 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 2130467 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=8521868 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 2130467 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3469.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8521868 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.37 4.32 5/347 55553
/proc/meminfo: memFree=29291932/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=8105100 CPUtime=3535.64 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 347693 0 0 0 349230 4334 0 0 20 0 20 0 54035054 19521036288 2026275 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 2026275 5528 1 0 2040601 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=4752 CPUtime=3090.39 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 162790 0 0 0 305030 4009 0 0 20 0 20 0 54035056 19521036288 2026275 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=8105100 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 2026275 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1635 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 2026275 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=8105100 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 2026275 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3535.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8105100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3277 s]*
/proc/loadavg: 4.26 4.35 4.32 5/348 55556
/proc/meminfo: memFree=28353736/131249996 swapFree=33005272/33010684
[pid=55286] ppid=55283 vsize=19063512 memory=7746572 CPUtime=3600.07 cores=1,3
/proc/55286/stat : 55286 (java) S 55283 55286 54228 0 -1 4194304 361038 0 0 0 355607 4400 0 0 20 0 20 0 54035054 19521036288 1936643 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
/proc/55286/statm: 4765878 1936643 5528 1 0 1950818 0
[pid=55286/tid=55288] ppid=55283 vsize=19063512 memory=46464 CPUtime=3142.7 cores=1,3
/proc/55286/task/55288/stat : 55288 (java) R 55283 55286 54228 0 -1 4194368 166945 0 0 0 310201 4069 0 0 20 0 20 0 54035056 19521036288 1936643 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55297] ppid=55283 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/55286/task/55297/stat : 55297 (Finalizer) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1936643 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55304] ppid=55283 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55304/stat : 55304 (Common-Cleaner) S 55283 55286 54228 0 -1 4194368 1667 0 0 0 0 0 0 0 20 0 20 0 54035058 19521036288 1936643 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
[pid=55286/tid=55305] ppid=55283 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/55286/task/55305/stat : 55305 (Timer-0) S 55283 55286 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54035079 19521036288 1936643 18446744073709551615 94797719044096 94797719047792 140727729520640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94797719055608 94797719056400 94797737316352 140727729527088 140727729527270 140727729527270 140727729532872 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7746572 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3556.3 s, system=45.077 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3278.4 s]
/proc/loadavg: 4.26 4.35 4.32 4/330 55559
/proc/meminfo: memFree=36015624/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3278.8 s]
/proc/loadavg: 4.26 4.35 4.32 4/330 55559
/proc/meminfo: memFree=36015624/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3279 s]*
/proc/loadavg: 4.24 4.35 4.32 4/330 55559
/proc/meminfo: memFree=36006620/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3285.62
CPU time (s): 3601.38
CPU user time (s): 3556.3
CPU system time (s): 45.077
CPU usage (%): 109.61
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 10547124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.3
system time used= 45.077
maximum resident set size= 10547124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 86525720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291316
involuntary context switches= 26526


# summary of solver processes directly reported to runsolver:
#   pid: 55286
#   total CPU time (s): 3601.38
#   total CPU user time (s): 3556.3
#   total CPU system time (s): 45.077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74202 second user time and 15.4313 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 17:26:12
IDJOB=4490941
IDBENCH=147636
IDSOLVER=3364
FILE ID=nodeC023/4490941-1751383572
RUNJOBID= nodeC023-1751376307-54240
SLURM_JOB_ID= 9598216
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490941-1751383572/watcher-4490941-1751383572 -o /tmp/evaluation-result-4490941-1751383572/solver-4490941-1751383572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751376307-54240 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490941-1751383572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490941-1751383572.opb

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

MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=818882377

nodeC023 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.612
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.78
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		: 3626.064
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.78
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		: 3477.066
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.78
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.905
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.78
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.880
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112461236 kB
MemAvailable:   127115604 kB
Buffers:            1328 kB
Cached:         15436076 kB
SwapCached:          428 kB
Active:          2906904 kB
Inactive:       15279616 kB
Active(anon):    2707920 kB
Inactive(anon):    54636 kB
Active(file):     198984 kB
Inactive(file): 15224980 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54932 kB
Writeback:             0 kB
AnonPages:       2751864 kB
Mapped:           118656 kB
Shmem:             13380 kB
KReclaimable:     139288 kB
Slab:             229432 kB
SReclaimable:     139288 kB
SUnreclaim:        90144 kB
KernelStack:        5232 kB
PageTables:         8904 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7082528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2521088 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC023 at 2025-07-01 18:20:58