Trace number 4485742

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-06UNSAT 3541.91 3539.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMd021d78883fac2a7bf820bb220b2a7e2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4485742-1751298825.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  objective function found
2.42/1.41	c ... done. Wall clock time 1.284s.
2.42/1.41	c declared #vars     155020
2.42/1.41	c #constraints  4867
2.42/1.41	c constraints type 
2.42/1.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4528
2.42/1.41	c org.sat4j.specs.Constr$1 => 339
2.42/1.41	c 4867 constraints processed.
2.42/1.42	c objective function length is 14882 literals
11.18/9.30	c cleaning 2495 clauses out of 4998 with flag 18641/5000
13.04/11.11	c cleaning 4253 clauses out of 8505 with flag 35041/11002
13.98/11.81	c cleaning 5626 clauses out of 11251 with flag 50691/18001
15.00/12.61	c cleaning 6813 clauses out of 13625 with flag 68604/26001
15.90/13.54	c cleaning 7904 clauses out of 15811 with flag 89852/35000
17.11/14.71	c cleaning 8953 clauses out of 17909 with flag 112271/45002
18.20/15.81	c cleaning 9978 clauses out of 19955 with flag 137502/56001
19.41/17.04	c cleaning 10985 clauses out of 21979 with flag 165718/68003
20.80/18.43	c cleaning 11997 clauses out of 23993 with flag 195686/81002
22.60/20.21	c cleaning 12994 clauses out of 25995 with flag 228990/95001
24.40/22.03	c cleaning 13998 clauses out of 28001 with flag 264715/110001
26.22/23.80	c cleaning 14997 clauses out of 30004 with flag 301890/126002
28.54/26.18	c cleaning 16003 clauses out of 32007 with flag 342154/143002
31.13/28.75	c cleaning 17001 clauses out of 34002 with flag 385745/161000
33.73/31.32	c cleaning 18001 clauses out of 36001 with flag 431561/180000
36.42/34.05	c cleaning 18999 clauses out of 38002 with flag 479277/200002
39.12/36.76	c cleaning 19999 clauses out of 40002 with flag 528287/221001
42.11/39.77	c cleaning 21000 clauses out of 42002 with flag 581459/243000
45.30/42.95	c cleaning 22000 clauses out of 44002 with flag 636091/266000
48.79/46.43	c cleaning 22999 clauses out of 46003 with flag 693548/290001
52.39/50.07	c cleaning 23997 clauses out of 48004 with flag 752348/315001
57.60/55.18	c cleaning 25004 clauses out of 50008 with flag 810780/341002
73.56/71.18	c cleaning 26006 clauses out of 52011 with flag 874410/368009
88.34/85.57	c cleaning 26986 clauses out of 53999 with flag 938451/396003
105.38/102.22	c cleaning 28003 clauses out of 56010 with flag 1006023/425000
124.65/121.11	c cleaning 29006 clauses out of 58014 with flag 1067496/455007
150.98/147.23	c cleaning 29994 clauses out of 60004 with flag 1129488/486003
170.34/166.21	c cleaning 30983 clauses out of 62007 with flag 1193482/518000
188.02/183.18	c cleaning 32005 clauses out of 64025 with flag 1259484/551001
222.07/217.13	c cleaning 33004 clauses out of 66019 with flag 1327736/585000
272.35/267.48	c cleaning 33982 clauses out of 68015 with flag 1398389/620001
274.08/269.10	c cleaning 34988 clauses out of 70033 with flag 1470649/656001
275.99/270.93	c cleaning 35995 clauses out of 72046 with flag 1544786/693002
277.83/272.79	c cleaning 36994 clauses out of 74049 with flag 1620948/731000
279.42/274.39	c cleaning 37994 clauses out of 76055 with flag 1699046/770000
281.14/276.04	c cleaning 39001 clauses out of 78061 with flag 1779213/810000
282.73/277.63	c cleaning 39993 clauses out of 80060 with flag 1861295/851000
284.43/279.35	c cleaning 40999 clauses out of 82068 with flag 1945410/893001
286.05/280.98	c cleaning 42000 clauses out of 84069 with flag 2031680/936001
287.85/282.78	c cleaning 42998 clauses out of 86069 with flag 2119930/980001
289.74/284.65	c cleaning 44001 clauses out of 88071 with flag 2210086/1025001
291.54/286.43	c cleaning 44999 clauses out of 90069 with flag 2302401/1071000
293.64/288.53	c cleaning 46004 clauses out of 92070 with flag 2396699/1118000
295.83/290.79	c cleaning 46995 clauses out of 94067 with flag 2492879/1166001
297.83/292.77	c cleaning 48000 clauses out of 96071 with flag 2591028/1215000
300.24/295.15	c cleaning 48997 clauses out of 98071 with flag 2691299/1265000
302.53/297.44	c cleaning 50000 clauses out of 100074 with flag 2793618/1316000
304.83/299.70	c cleaning 51006 clauses out of 102075 with flag 2897976/1368001
306.93/301.89	c cleaning 51996 clauses out of 104070 with flag 3004149/1421002
309.52/304.47	c cleaning 53007 clauses out of 106072 with flag 3112397/1475000
312.31/307.25	c cleaning 54000 clauses out of 108066 with flag 3222580/1530001
314.71/309.69	c cleaning 55000 clauses out of 110065 with flag 3334989/1586000
317.50/312.45	c cleaning 56000 clauses out of 112066 with flag 3449405/1643001
320.30/315.22	c cleaning 56997 clauses out of 114066 with flag 3565788/1701001
323.59/318.51	c cleaning 57997 clauses out of 116069 with flag 3684074/1760001
326.77/321.72	c cleaning 59000 clauses out of 118071 with flag 3804250/1820000
330.36/325.31	c cleaning 59992 clauses out of 120072 with flag 3926519/1881001
333.96/328.98	c cleaning 61004 clauses out of 122080 with flag 4050930/1943001
337.45/332.45	c cleaning 62005 clauses out of 124076 with flag 4177216/2006001
340.84/335.83	c cleaning 62996 clauses out of 126071 with flag 4305562/2070001
344.33/339.31	c cleaning 64003 clauses out of 128075 with flag 4435943/2135001
347.63/342.63	c cleaning 64998 clauses out of 130071 with flag 4568233/2201000
351.17/346.11	c cleaning 65997 clauses out of 132073 with flag 4702623/2268000
354.95/349.95	c cleaning 66998 clauses out of 134076 with flag 4839094/2336000
358.64/353.63	c cleaning 68004 clauses out of 136078 with flag 4977461/2405000
362.44/357.41	c cleaning 69006 clauses out of 138075 with flag 5117786/2475001
366.33/361.31	c cleaning 70004 clauses out of 140068 with flag 5260403/2546000
370.52/365.59	c cleaning 70999 clauses out of 142065 with flag 5404965/2618001
374.51/369.52	c cleaning 71997 clauses out of 144065 with flag 5551272/2691000
378.60/373.61	c cleaning 73002 clauses out of 146069 with flag 5699827/2765001
383.23/378.22	c cleaning 74003 clauses out of 148069 with flag 5850283/2840003
387.62/382.64	c cleaning 74999 clauses out of 150063 with flag 6002450/2916000
392.81/387.89	c cleaning 75998 clauses out of 152064 with flag 6156694/2993000
398.11/393.12	c cleaning 76992 clauses out of 154066 with flag 6312955/3071000
403.29/398.39	c cleaning 78002 clauses out of 156075 with flag 6471193/3150001
407.99/403.07	c cleaning 78996 clauses out of 158072 with flag 6631438/3230000
412.98/408.10	c cleaning 80002 clauses out of 160076 with flag 6793739/3311000
418.24/413.23	c cleaning 81001 clauses out of 162075 with flag 6958023/3393001
422.63/417.63	c cleaning 81999 clauses out of 164074 with flag 7124713/3476001
427.91/423.00	c cleaning 83002 clauses out of 166074 with flag 7293177/3560000
434.11/429.13	c cleaning 84006 clauses out of 168074 with flag 7463801/3645002
439.79/434.80	c cleaning 84992 clauses out of 170066 with flag 7636213/3731000
444.98/440.09	c cleaning 85999 clauses out of 172074 with flag 7810458/3818000
449.87/444.94	c cleaning 87000 clauses out of 174075 with flag 7986739/3906000
454.72/449.72	c cleaning 88005 clauses out of 176076 with flag 8165037/3995001
459.42/454.47	c cleaning 89001 clauses out of 178070 with flag 8345185/4085000
465.30/460.30	c cleaning 90001 clauses out of 180070 with flag 8527468/4176001
471.29/466.35	c cleaning 91001 clauses out of 182068 with flag 8711991/4268000
476.98/472.06	c cleaning 91999 clauses out of 184068 with flag 8898630/4361001
483.86/478.92	c cleaning 93000 clauses out of 186069 with flag 9087322/4455001
489.64/484.74	c cleaning 94005 clauses out of 188069 with flag 9277936/4550001
495.13/490.23	c cleaning 94994 clauses out of 190063 with flag 9470330/4646000
500.42/495.50	c cleaning 96000 clauses out of 192070 with flag 9664740/4743001
506.05/501.12	c cleaning 97003 clauses out of 194071 with flag 9861187/4841002
512.53/507.65	c cleaning 97997 clauses out of 196066 with flag 10059463/4940000
518.62/513.78	c cleaning 98998 clauses out of 198070 with flag 10259648/5040001
524.60/519.79	c cleaning 100002 clauses out of 200072 with flag 10461959/5141001
531.58/526.79	c cleaning 100998 clauses out of 202071 with flag 10666414/5243002
538.97/534.13	c cleaning 101999 clauses out of 204071 with flag 10872687/5346000
545.65/540.88	c cleaning 102998 clauses out of 206072 with flag 11081017/5450000
552.34/547.43	c cleaning 104028 clauses out of 208074 with flag 11292237/5555000
557.94/553.02	c cleaning 105014 clauses out of 210046 with flag 11504513/5661000
563.43/558.52	c cleaning 106010 clauses out of 212032 with flag 11718777/5768000
568.92/564.09	c cleaning 107004 clauses out of 214023 with flag 11934966/5876001
575.10/570.29	c cleaning 108007 clauses out of 216019 with flag 12153060/5985001
581.09/576.22	c cleaning 109003 clauses out of 218011 with flag 12373152/6095000
586.48/581.67	c cleaning 109998 clauses out of 220008 with flag 12595277/6206000
593.32/588.32	c cleaning 111003 clauses out of 222010 with flag 12819400/6318000
599.20/594.23	c cleaning 112000 clauses out of 224008 with flag 13045475/6431001
604.99/600.07	c cleaning 113003 clauses out of 226009 with flag 13273523/6545002
610.68/605.71	c cleaning 113998 clauses out of 228005 with flag 13503629/6660001
616.97/612.06	c cleaning 115002 clauses out of 230008 with flag 13735728/6776002
622.96/618.08	c cleaning 115999 clauses out of 232005 with flag 13969801/6893001
629.44/624.56	c cleaning 116993 clauses out of 234005 with flag 14205938/7011000
635.62/630.67	c cleaning 118003 clauses out of 236014 with flag 14444043/7130002
641.70/636.78	c cleaning 119001 clauses out of 238010 with flag 14684120/7250001
648.59/643.63	c cleaning 119997 clauses out of 240008 with flag 14926198/7371000
655.08/650.19	c cleaning 121004 clauses out of 242011 with flag 15170270/7493000
661.36/656.40	c cleaning 122001 clauses out of 244007 with flag 15416363/7616000
668.05/663.17	c cleaning 123000 clauses out of 246006 with flag 15664471/7740000
675.34/670.46	c cleaning 123998 clauses out of 248006 with flag 15914534/7865000
683.03/678.15	c cleaning 125001 clauses out of 250010 with flag 16166664/7991002
690.21/685.39	c cleaning 125997 clauses out of 252008 with flag 16420734/8118001
698.50/693.60	c cleaning 127002 clauses out of 254010 with flag 16676856/8246000
706.07/701.12	c cleaning 128001 clauses out of 256008 with flag 16934924/8375000
713.65/708.70	c cleaning 128995 clauses out of 258007 with flag 17194980/8505000
721.13/716.20	c cleaning 130001 clauses out of 260013 with flag 17457062/8636001
727.52/722.64	c cleaning 131001 clauses out of 262012 with flag 17721146/8768001
734.80/729.94	c cleaning 132000 clauses out of 264013 with flag 17987275/8901003
742.08/737.29	c cleaning 132998 clauses out of 266010 with flag 18255366/9035000
749.28/744.44	c cleaning 134002 clauses out of 268014 with flag 18525470/9170002
756.77/751.97	c cleaning 135002 clauses out of 270011 with flag 18797550/9306001
764.84/759.90	c cleaning 135999 clauses out of 272008 with flag 19071632/9443000
774.12/769.24	c cleaning 136999 clauses out of 274010 with flag 19347796/9581001
782.11/777.23	c cleaning 137998 clauses out of 276010 with flag 19625861/9720000
790.29/785.48	c cleaning 139002 clauses out of 278012 with flag 19905937/9860000
800.37/795.55	c cleaning 139999 clauses out of 280010 with flag 20188007/10001000
809.75/804.93	c cleaning 140998 clauses out of 282011 with flag 20472098/10143000
818.63/813.81	c cleaning 142002 clauses out of 284014 with flag 20758199/10286001
826.83/822.03	c cleaning 143000 clauses out of 286012 with flag 21046292/10430001
835.40/830.61	c cleaning 144002 clauses out of 288012 with flag 21336393/10575001
845.98/841.27	c cleaning 145000 clauses out of 290010 with flag 21628484/10721001
855.97/851.28	c cleaning 146000 clauses out of 292009 with flag 21922632/10868000
865.95/861.25	c cleaning 147001 clauses out of 294010 with flag 22218704/11016001
875.70/870.86	c cleaning 147997 clauses out of 296008 with flag 22516759/11165000
884.68/879.85	c cleaning 149004 clauses out of 298014 with flag 22816856/11315003
895.16/890.36	c cleaning 150003 clauses out of 300007 with flag 23118947/11466000
904.45/899.61	c cleaning 150996 clauses out of 302006 with flag 23423045/11618002
914.08/909.13	c cleaning 151996 clauses out of 304008 with flag 23729123/11771000
923.06/918.13	c cleaning 152997 clauses out of 306012 with flag 24037243/11925000
932.53/927.66	c cleaning 154004 clauses out of 308015 with flag 24347318/12080000
941.41/936.58	c cleaning 155006 clauses out of 310011 with flag 24659423/12236000
950.49/945.63	c cleaning 156002 clauses out of 312007 with flag 24973560/12393002
959.97/955.19	c cleaning 156998 clauses out of 314003 with flag 25289642/12551000
969.54/964.75	c cleaning 157998 clauses out of 316006 with flag 25607772/12710001
979.71/974.95	c cleaning 159005 clauses out of 318010 with flag 25927888/12870003
988.79/984.05	c cleaning 159997 clauses out of 320003 with flag 26249970/13031001
1000.36/995.66	c cleaning 161000 clauses out of 322006 with flag 26574111/13193001
1009.94/1005.24	c cleaning 162003 clauses out of 324007 with flag 26900186/13356002
1023.00/1018.20	c cleaning 162996 clauses out of 326003 with flag 27228255/13520001
1037.56/1032.87	c cleaning 164002 clauses out of 328006 with flag 27558353/13685000
1051.23/1046.50	c cleaning 164995 clauses out of 330004 with flag 27890473/13851000
1064.59/1060.00	c cleaning 166002 clauses out of 332009 with flag 28224557/14018000
1075.17/1070.57	c cleaning 166996 clauses out of 334008 with flag 28560653/14186001
1087.94/1083.38	c cleaning 167998 clauses out of 336011 with flag 28898774/14355000
1100.11/1095.52	c cleaning 169001 clauses out of 338013 with flag 29238889/14525000
1109.59/1105.10	c cleaning 170001 clauses out of 340012 with flag 29581012/14696000
1120.66/1116.11	c cleaning 171002 clauses out of 342011 with flag 29925201/14868000
1132.04/1127.31	c cleaning 172002 clauses out of 344009 with flag 30271288/15041000
1143.82/1139.17	c cleaning 172996 clauses out of 346007 with flag 30619387/15215000
1155.89/1151.23	c cleaning 174001 clauses out of 348012 with flag 30969513/15390001
1168.55/1163.96	c cleaning 175000 clauses out of 350010 with flag 31321619/15566000
1180.32/1175.77	c cleaning 175997 clauses out of 352010 with flag 31675732/15743000
1193.53/1188.13	c cleaning 177006 clauses out of 354015 with flag 32031836/15921002
1206.90/1201.59	c cleaning 178005 clauses out of 356009 with flag 32389929/16100002
1217.97/1212.62	c cleaning 178994 clauses out of 358002 with flag 32750021/16280000
1230.54/1225.21	c cleaning 179996 clauses out of 360008 with flag 33112122/16461000
1244.81/1239.52	c cleaning 181006 clauses out of 362014 with flag 33476233/16643002
1257.68/1252.41	c cleaning 182003 clauses out of 364007 with flag 33842324/16826001
1271.05/1265.87	c cleaning 182993 clauses out of 366003 with flag 34210462/17010000
1282.82/1277.64	c cleaning 184001 clauses out of 368010 with flag 34580567/17195000
1295.19/1290.02	c cleaning 185002 clauses out of 370011 with flag 34952699/17381002
1309.81/1304.68	c cleaning 186000 clauses out of 372009 with flag 35326803/17568002
1323.58/1318.46	c cleaning 186998 clauses out of 374008 with flag 35702876/17756001
1336.26/1331.18	c cleaning 188001 clauses out of 376009 with flag 36080992/17945000
1348.32/1343.21	c cleaning 189002 clauses out of 378009 with flag 36461129/18135001
1361.11/1356.04	c cleaning 190000 clauses out of 380006 with flag 36843292/18326000
1376.78/1371.70	c cleaning 190998 clauses out of 382006 with flag 37227400/18518000
1389.65/1384.63	c cleaning 191998 clauses out of 384009 with flag 37613517/18711001
1402.42/1397.45	c cleaning 193005 clauses out of 386012 with flag 38001713/18905002
1414.20/1409.18	c cleaning 193995 clauses out of 388006 with flag 38391790/19100001
1429.67/1424.65	c cleaning 195001 clauses out of 390011 with flag 38783918/19296001
1445.34/1440.36	c cleaning 195997 clauses out of 392009 with flag 39178021/19493000
1460.81/1455.82	c cleaning 197002 clauses out of 394014 with flag 39574123/19691002
1478.08/1473.11	c cleaning 198001 clauses out of 396012 with flag 39972225/19890002
1493.55/1488.63	c cleaning 198999 clauses out of 398010 with flag 40372381/20090001
1509.68/1504.69	c cleaning 200005 clauses out of 400010 with flag 40774480/20291000
1525.06/1520.01	c cleaning 200997 clauses out of 402005 with flag 41178618/20493000
1540.62/1535.66	c cleaning 201997 clauses out of 404009 with flag 41584733/20696001
1556.89/1551.92	c cleaning 203004 clauses out of 406011 with flag 41992835/20900000
1574.55/1569.50	c cleaning 204000 clauses out of 408007 with flag 42402973/21105000
1588.82/1583.86	c cleaning 205004 clauses out of 410007 with flag 42815055/21311000
1607.27/1602.36	c cleaning 205992 clauses out of 412003 with flag 43229216/21518000
1624.63/1619.77	c cleaning 207000 clauses out of 414013 with flag 43645358/21726002
1642.69/1637.89	c cleaning 207999 clauses out of 416011 with flag 44063440/21935000
1659.05/1654.22	c cleaning 209006 clauses out of 418012 with flag 44483560/22145000
1675.52/1670.77	c cleaning 209995 clauses out of 420006 with flag 44905720/22356000
1690.69/1685.96	c cleaning 211003 clauses out of 422012 with flag 45329828/22568001
1710.78/1705.97	c cleaning 212002 clauses out of 424009 with flag 45755948/22781001
1730.35/1725.52	c cleaning 212997 clauses out of 426007 with flag 46184080/22995001
1753.11/1748.39	c cleaning 214003 clauses out of 428009 with flag 46614162/23210000
1848.22/1843.52	c cleaning 214992 clauses out of 430003 with flag 47115254/23426000
1865.78/1861.18	c cleaning 216002 clauses out of 432011 with flag 47549412/23643000
1883.88/1879.20	c cleaning 217000 clauses out of 434009 with flag 47985533/23861000
1897.50/1892.84	c cleaning 218000 clauses out of 436009 with flag 48423812/24080000
1921.66/1917.09	c cleaning 219001 clauses out of 438010 with flag 48864001/24300001
1940.51/1935.92	c cleaning 219997 clauses out of 440008 with flag 49306133/24521000
1958.88/1954.31	c cleaning 221004 clauses out of 442012 with flag 49750219/24743001
1976.35/1971.81	c cleaning 221997 clauses out of 444007 with flag 50196383/24966000
2006.69/2002.22	c cleaning 223001 clauses out of 446010 with flag 50644469/25190000
2024.46/2020.03	c cleaning 224001 clauses out of 448010 with flag 51094555/25415001
2044.22/2039.88	c cleaning 225000 clauses out of 450008 with flag 51546783/25641000
2063.79/2059.47	c cleaning 226004 clauses out of 452010 with flag 52000893/25868002
2081.25/2076.94	c cleaning 226999 clauses out of 454004 with flag 52456983/26096000
2107.30/2103.07	c cleaning 228001 clauses out of 456005 with flag 52915226/26325000
2129.65/2125.49	c cleaning 228993 clauses out of 458004 with flag 53375387/26555000
2150.22/2146.06	c cleaning 230004 clauses out of 460013 with flag 53837557/26786002
2167.77/2163.64	c cleaning 231003 clauses out of 462007 with flag 54301643/27018000
2184.39/2180.29	c cleaning 231992 clauses out of 464004 with flag 54767850/27251000
2199.36/2195.20	c cleaning 232999 clauses out of 466014 with flag 55237099/27485002
2212.53/2208.40	c cleaning 234002 clauses out of 468015 with flag 55707330/27720002
2234.58/2230.51	c cleaning 235002 clauses out of 470014 with flag 56179434/27956003
2251.44/2247.44	c cleaning 235997 clauses out of 472009 with flag 56653745/28193000
2264.20/2260.24	c cleaning 237003 clauses out of 474014 with flag 57130002/28431002
2279.08/2275.15	c cleaning 237998 clauses out of 476010 with flag 57608216/28670001
2295.04/2291.13	c cleaning 239001 clauses out of 478013 with flag 58088389/28910002
2312.45/2308.57	c cleaning 239999 clauses out of 480010 with flag 58570526/29151000
2333.31/2329.47	c cleaning 241000 clauses out of 482011 with flag 59054648/29393000
2352.08/2348.25	c cleaning 242004 clauses out of 484012 with flag 59540784/29636001
2369.14/2365.37	c cleaning 243000 clauses out of 486008 with flag 60028904/29880001
2390.10/2386.33	c cleaning 244001 clauses out of 488007 with flag 60518991/30125000
2405.17/2401.42	c cleaning 244997 clauses out of 490006 with flag 61011295/30371000
2424.24/2420.55	c cleaning 245997 clauses out of 492010 with flag 61505986/30618001
2439.39/2435.67	c cleaning 246999 clauses out of 494012 with flag 62002652/30866000
2465.25/2461.50	c cleaning 247997 clauses out of 496013 with flag 62500916/31115000
2485.91/2482.21	c cleaning 249002 clauses out of 498016 with flag 63001627/31365000
2502.38/2498.72	c cleaning 250003 clauses out of 500014 with flag 63504094/31616000
2518.85/2515.25	c cleaning 250999 clauses out of 502011 with flag 64008820/31868000
2534.31/2530.79	c cleaning 252003 clauses out of 504012 with flag 64515577/32121000
2557.36/2553.85	c cleaning 252995 clauses out of 506010 with flag 65023864/32375001
2577.70/2574.17	c cleaning 254005 clauses out of 508015 with flag 65534179/32630001
2597.96/2594.48	c cleaning 255002 clauses out of 510009 with flag 66046450/32886000
2616.52/2613.09	c cleaning 255997 clauses out of 512007 with flag 66560720/33143000
2634.27/2630.85	c cleaning 256999 clauses out of 514011 with flag 67077064/33401001
2657.32/2653.97	c cleaning 257997 clauses out of 516011 with flag 67595655/33660000
2679.17/2675.89	c cleaning 259002 clauses out of 518016 with flag 68116185/33920002
2701.72/2698.41	c cleaning 259997 clauses out of 520012 with flag 68638616/34181000
2722.65/2719.33	c cleaning 261001 clauses out of 522015 with flag 69163052/34443000
2743.80/2740.58	c cleaning 262004 clauses out of 524015 with flag 69689297/34706001
2769.54/2766.37	c cleaning 262997 clauses out of 526011 with flag 70217647/34970001
2790.99/2787.82	c cleaning 263998 clauses out of 528013 with flag 70747891/35235000
2814.63/2811.50	c cleaning 265003 clauses out of 530016 with flag 71280109/35501001
2840.18/2837.15	c cleaning 266003 clauses out of 532013 with flag 71814316/35768001
2860.92/2858.00	c cleaning 266998 clauses out of 534011 with flag 72350508/36036002
2882.67/2879.70	c cleaning 268002 clauses out of 536013 with flag 72888682/36305002
2904.83/2901.83	c cleaning 269002 clauses out of 538011 with flag 73428864/36575002
2929.48/2926.55	c cleaning 270000 clauses out of 540008 with flag 73971142/36846001
2952.43/2949.51	c cleaning 271002 clauses out of 542008 with flag 74515385/37118001
2978.39/2975.59	c cleaning 271997 clauses out of 544005 with flag 75061725/37391000
3000.86/2998.06	c cleaning 272995 clauses out of 546008 with flag 75609931/37665000
3022.51/3019.70	c cleaning 274004 clauses out of 548013 with flag 76160091/37940000
3058.30/3055.50	c cleaning 274998 clauses out of 550009 with flag 76712259/38216000
3081.35/3078.68	c cleaning 276002 clauses out of 552011 with flag 77266414/38493000
3100.21/3097.54	c cleaning 276999 clauses out of 554010 with flag 77823818/38771001
3122.46/3119.87	c cleaning 278005 clauses out of 556010 with flag 78381934/39050000
3149.00/3146.41	c cleaning 278999 clauses out of 558005 with flag 78942160/39330000
3174.34/3171.84	c cleaning 280002 clauses out of 560007 with flag 79504285/39611001
3197.86/3195.35	c cleaning 281003 clauses out of 562007 with flag 80068486/39893003
3219.05/3216.52	c cleaning 281995 clauses out of 564002 with flag 80658333/40176002
3288.85/3286.37	c cleaning 282990 clauses out of 565988 with flag 81393245/40460001
3353.52/3351.03	c cleaning 283994 clauses out of 567996 with flag 82090216/40745001
3396.33/3393.94	c cleaning 285001 clauses out of 570002 with flag 82894354/41031001
3437.75/3435.47	c cleaning 285996 clauses out of 572000 with flag 83631393/41318000
3487.66/3485.40	c cleaning 286999 clauses out of 574002 with flag 84408877/41606000
3529.10/3526.82	c cleaning 288000 clauses out of 576001 with flag 85098966/41895001
3541.77/3539.51	c starts		: 12488
3541.77/3539.51	c conflicts		: 42017126
3541.77/3539.51	c decisions		: 43792356
3541.77/3539.51	c propagations		: 292611819
3541.77/3539.51	c inspects		: 12735190877
3541.77/3539.52	c shortcuts		: 0
3541.77/3539.52	c learnt literals	: 36
3541.77/3539.52	c learnt binary clauses	: 82
3541.77/3539.52	c learnt ternary clauses	: 133
3541.77/3539.52	c learnt constraints	: 42017089
3541.77/3539.52	c ignored constraints	: 0
3541.77/3539.52	c root simplifications	: 0
3541.77/3539.52	c removed literals (reason simplification)	: 435564341
3541.77/3539.52	c reason swapping (by a shorter reason)	: 0
3541.77/3539.52	c Calls to reduceDB	: 285
3541.77/3539.52	c Number of update (reduction) of LBD	: 270501
3541.77/3539.52	c Imported unit clauses	: 0
3541.77/3539.52	c No decision after first conflict	: false
3541.77/3539.52	c number of reductions to clauses (during analyze)	: 0
3541.77/3539.52	c number of learned constraints concerned by reduction	: 0
3541.77/3539.52	c number of learning phase by resolution	: 0
3541.77/3539.52	c number of learning phase by cutting planes	: 0
3541.77/3539.52	c number of rounding to 1 operations	: 0
3541.77/3539.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3541.77/3539.52	c number of reductions of the coefficients by power 2 	: 0
3541.77/3539.52	c number of right shift for reduction by power 2 	: 0
3541.77/3539.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3541.77/3539.52	c number of ending skipping 	: 0
3541.77/3539.52	c number of internal skipping 	: 0
3541.77/3539.52	c number of derivation steps 	: 0
3541.77/3539.52	c number of skipped derivation steps 	: 0
3541.77/3539.52	c number of remaining unassigned 	: 0
3541.77/3539.52	c number of remaining assigned 	: 0
3541.77/3539.52	c number of falsified literals weakened from reason	: 0
3541.77/3539.52	c number of falsified literals weakened from conflict	: 0
3541.77/3539.52	c time for arithmetic operations	: 0
3541.77/3539.53	c minimum degree of deleted constraints	: null
3541.77/3539.53	c maximum degree of deleted constraints	: null
3541.77/3539.53	c number of deleted constraints	: 0
3541.77/3539.53	c speed (assignments/second)	: 82705.89969417577
3541.77/3539.53	c non guided choices	: 94556
3541.77/3539.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 410039
3541.77/3539.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 82
3541.77/3539.59	s UNSATISFIABLE
3541.77/3539.59	c Total wall clock time (in seconds): 3539.463

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (48048 MiB free)
  memory of node 1: 64507 MiB (52783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485742-1751298825/watcher-4485742-1751298825 -o /tmp/evaluation-result-4485742-1751298825/solver-4485742-1751298825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40817 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4485742-1751298825.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41716, runsolver pid=41713
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.24 4.19 4.18 5/338 41734
/proc/meminfo: memFree=103225404/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18930384 memory=57716 CPUtime=0.12 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 6583 0 0 0 11 1 0 0 20 0 18 0 45562743 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4732596 14429 5351 1 0 547622 0
[pid=41716/tid=41718] ppid=41713 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5081 0 0 0 7 1 0 0 20 0 18 0 45562744 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18930384 memory=59585004340264 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 14429 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57716 KiB

[startup+0.205606 s]*
/proc/loadavg: 4.24 4.19 4.18 6/338 41734
/proc/meminfo: memFree=103205252/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18930384 memory=75232 CPUtime=0.33 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 8013 0 0 0 31 2 0 0 20 0 18 0 45562743 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4732596 18808 5447 1 0 548731 0
[pid=41716/tid=41718] ppid=41713 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5257 0 0 0 16 1 0 0 20 0 18 0 45562744 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18930384 memory=19950 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 18808 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 75232 KiB

[startup+0.305603 s]*
/proc/loadavg: 4.24 4.19 4.18 7/338 41734
/proc/meminfo: memFree=103180428/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18930384 memory=102608 CPUtime=0.52 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 9041 0 0 0 49 3 0 0 20 0 18 0 45562743 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4732596 25652 5447 1 0 549287 0
[pid=41716/tid=41718] ppid=41713 vsize=18930384 memory=-6000919494248328043 CPUtime=0.24 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5271 0 0 0 22 2 0 0 20 0 18 0 45562744 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45562746 19384713216 25652 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 102608 KiB

[startup+0.700234 s]
/proc/loadavg: 4.24 4.19 4.18 7/339 41735
/proc/meminfo: memFree=103102856/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18996948 memory=202532 CPUtime=1.28 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 9488 0 0 0 122 6 0 0 20 0 19 0 45562743 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4749237 50633 5447 1 0 549740 0
[pid=41716/tid=41718] ppid=41713 vsize=18996948 memory=13824 CPUtime=0.55 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) S 41713 41716 40806 0 -1 4194368 5301 0 0 0 52 3 0 0 20 0 19 0 45562744 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 50633 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 202532 KiB

[startup+1.50022 s]
/proc/loadavg: 4.24 4.19 4.18 7/339 41735
/proc/meminfo: memFree=103028372/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=18996948 memory=513704 CPUtime=2.6 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 11014 0 0 0 249 11 0 0 20 0 19 0 45562743 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4749237 128426 5543 1 0 1189153 0
[pid=41716/tid=41718] ppid=41713 vsize=18996948 memory=3200 CPUtime=1.22 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5564 0 0 0 115 7 0 0 20 0 19 0 45562744 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45562746 19452874752 128426 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 513704 KiB

[startup+3.10546 s]
/proc/loadavg: 4.24 4.19 4.18 6/340 41736
/proc/meminfo: memFree=102763328/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=524648 CPUtime=4.7 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 14544 0 0 0 458 12 0 0 20 0 20 0 45562743 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 131162 5543 1 0 1192004 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=10752 CPUtime=2.81 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5625 0 0 0 274 7 0 0 20 0 20 0 45562744 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 131162 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 524648 KiB

[startup+6.30018 s]
/proc/loadavg: 4.22 4.19 4.18 6/340 41736
/proc/meminfo: memFree=102726488/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=555360 CPUtime=7.99 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 15282 0 0 0 786 13 0 0 20 0 20 0 45562743 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 138840 5543 1 0 1192006 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=0 CPUtime=5.95 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 5789 0 0 0 588 7 0 0 20 0 20 0 45562744 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 138840 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 555360 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.18 4.18 7/340 41736
/proc/meminfo: memFree=102698220/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=588900 CPUtime=15.1 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 25882 0 0 0 1494 16 0 0 20 0 20 0 45562743 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 147225 5543 1 0 1194045 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=0 CPUtime=12.3 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 7185 0 0 0 1223 7 0 0 20 0 20 0 45562744 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=588260 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 147225 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 15.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 588900 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.19 4.18 6/340 41736
/proc/meminfo: memFree=102354204/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=955744 CPUtime=27.94 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 29731 0 0 0 2770 24 0 0 20 0 20 0 45562743 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 238936 5543 1 0 1194061 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=25.07 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 8558 0 0 0 2493 14 0 0 20 0 20 0 45562744 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=3027 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=644448 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=638304 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 238936 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 27.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 955744 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.19 4.18 6/340 41737
/proc/meminfo: memFree=100752828/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=2229600 CPUtime=53.49 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 32575 0 0 0 5300 49 0 0 20 0 20 0 45562743 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 557400 5543 1 0 1194061 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=2123104 CPUtime=50.6 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 10905 0 0 0 5022 38 0 0 20 0 20 0 45562744 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=1484128 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 44 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=789856 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 557400 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0

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

/proc/meminfo: memFree=106641724/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4746176 CPUtime=3404.72 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 154729 0 0 0 340313 159 0 0 20 0 20 0 45562743 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1186544 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4744768 CPUtime=3388.12 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 76505 0 0 0 338747 65 0 0 20 0 20 0 45562744 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=4744768 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2410 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4746176 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1186544 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3404.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4746176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/339 42359
/proc/meminfo: memFree=106647956/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3464.6 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 155757 0 0 0 346300 160 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4744768 CPUtime=3447.99 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 77527 0 0 0 344733 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2411 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3464.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/339 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3524.61 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 157823 0 0 0 352300 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3507.73 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79157 0 0 0 350707 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3524.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3539.62 s]
# the end of solver process 41716 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=3540.27 s, system=1.63687 s

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

[startup+3532.8 s]
/proc/loadavg: 4.14 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3535.09 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158037 0 0 0 353348 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=3200 CPUtime=3518.2 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79369 0 0 0 351754 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3535.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3536 s]*
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3538.29 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158058 0 0 0 353668 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=-6000919477085563499 CPUtime=3521.4 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79389 0 0 0 352074 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=7896672004540898948 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3538.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3537.6 s]
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3539.88 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158066 0 0 0 353827 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=140490863420225 CPUtime=3522.99 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79395 0 0 0 352233 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=21608 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=13824 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3539.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3538.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3540.68 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158069 0 0 0 353907 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=12416 CPUtime=3523.79 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79398 0 0 0 352313 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=7896672004540898948 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=-6000919494248328043 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=9088 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3540.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3539.2 s]
/proc/loadavg: 4.13 4.13 4.09 5/338 42367
/proc/meminfo: memFree=105889684/131250000 swapFree=33010684/33010684
[pid=41716] ppid=41713 vsize=19063512 memory=4750784 CPUtime=3541.47 cores=4,6
/proc/41716/stat : 41716 (java) S 41713 41716 40806 0 -1 4194304 158082 0 0 0 353986 161 0 0 20 0 20 0 45562743 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
/proc/41716/statm: 4765878 1187696 5543 1 0 1200012 0
[pid=41716/tid=41718] ppid=41713 vsize=19063512 memory=4764 CPUtime=3524.59 cores=4,6
/proc/41716/task/41718/stat : 41718 (java) R 41713 41716 40806 0 -1 4194368 79411 0 0 0 352393 66 0 0 20 0 20 0 45562744 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41727] ppid=41713 vsize=19063512 memory=4750784 CPUtime=0 cores=4,6
/proc/41716/task/41727/stat : 41727 (Finalizer) S 41713 41716 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41734] ppid=41713 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/41716/task/41734/stat : 41734 (Common-Cleaner) S 41713 41716 40806 0 -1 4194368 2423 0 0 0 0 0 0 0 20 0 20 0 45562746 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
[pid=41716/tid=41736] ppid=41713 vsize=19063512 memory=5960 CPUtime=0 cores=4,6
/proc/41716/task/41736/stat : 41736 (Timer-0) S 41713 41716 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45562898 19521036288 1187696 18446744073709551615 93863347539968 93863347543664 140734152668912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93863347551480 93863347552272 93863362490368 140734152677761 140734152677862 140734152677862 140734152683464 0
Current children cumulated CPU time: 3541.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4750784 KiB

[startup+3539.6 s]*
/proc/loadavg: 4.12 4.13 4.09 5/320 42370
/proc/meminfo: memFree=107993512/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 3539.62
CPU time (s): 3541.91
CPU user time (s): 3540.27
CPU system time (s): 1.63687
CPU usage (%): 100.065
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4750784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.27
system time used= 1.63687
maximum resident set size= 4751424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105728
involuntary context switches= 3755


# summary of solver processes directly reported to runsolver:
#   pid: 41716
#   total CPU time (s): 3541.91
#   total CPU user time (s): 3540.27
#   total CPU system time (s): 1.63687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7197 second user time and 15.3901 second system time

The end

Launcher Data

Begin job on nodeC013 at 2025-06-30 17:53:45
IDJOB=4485742
IDBENCH=146868
IDSOLVER=3363
FILE ID=nodeC013/4485742-1751298825
RUNJOBID= nodeC013-1751292114-40817
SLURM_JOB_ID= 9594259
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485742-1751298825/watcher-4485742-1751298825 -o /tmp/evaluation-result-4485742-1751298825/solver-4485742-1751298825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40817 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4485742-1751298825.opb

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

MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=1577093552

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        103251424 kB
MemAvailable:   103256220 kB
Buffers:            3280 kB
Cached:           806396 kB
SwapCached:            0 kB
Active:         26825452 kB
Inactive:         562752 kB
Active(anon):   26591820 kB
Inactive(anon):        0 kB
Active(file):     233632 kB
Inactive(file):   562752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14956 kB
Writeback:            32 kB
AnonPages:      26581636 kB
Mapped:           118696 kB
Shmem:             13284 kB
KReclaimable:      94900 kB
Slab:             181984 kB
SReclaimable:      94900 kB
SUnreclaim:        87084 kB
KernelStack:        5152 kB
PageTables:        55668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   31052492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  26204160 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC013 at 2025-06-30 18:52:45