Trace number 4510409

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 NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06UNSAT cert. 1062.66 1060.8

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
MD5SUMffca2f526e16739a014d253021fa9e9c
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark48.9927
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables901
Total number of constraints1258
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1256
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4510409-1751198232.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.31/0.22	c ... done. Wall clock time 0.083s.
0.31/0.22	c declared #vars     901
0.31/0.22	c #constraints  1258
0.31/0.22	c constraints type 
0.31/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.31/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1256
0.31/0.22	c 1258 constraints processed.
1.05/0.64	c cleaning 2495 clauses out of 5000 with flag 23718/5000
1.85/1.03	c cleaning 4242 clauses out of 8506 with flag 55532/11001
2.23/1.29	c cleaning 5603 clauses out of 11263 with flag 88964/18000
3.03/1.64	c cleaning 6814 clauses out of 13661 with flag 127569/26001
3.43/1.85	c cleaning 7908 clauses out of 15848 with flag 174914/35002
3.83/2.04	c cleaning 8954 clauses out of 17938 with flag 228123/45000
4.22/2.24	c cleaning 9942 clauses out of 19984 with flag 284722/56000
4.57/2.44	c cleaning 10971 clauses out of 22042 with flag 348370/68000
4.78/2.66	c cleaning 12022 clauses out of 24072 with flag 420865/81001
5.17/2.95	c cleaning 12984 clauses out of 26050 with flag 496199/95001
5.51/3.24	c cleaning 13985 clauses out of 28065 with flag 581662/110000
5.82/3.56	c cleaning 14982 clauses out of 30080 with flag 676529/126000
6.26/3.90	c cleaning 15998 clauses out of 32099 with flag 774305/143001
6.57/4.26	c cleaning 16997 clauses out of 34101 with flag 876609/161001
6.97/4.68	c cleaning 17998 clauses out of 36105 with flag 987116/180002
7.51/5.14	c cleaning 19033 clauses out of 38105 with flag 1107654/200000
8.01/5.62	c cleaning 20014 clauses out of 40074 with flag 1232413/221002
8.52/6.16	c cleaning 20995 clauses out of 42058 with flag 1361757/243000
9.11/6.70	c cleaning 21998 clauses out of 44063 with flag 1492510/266000
9.61/7.24	c cleaning 22976 clauses out of 46065 with flag 1625468/290000
10.21/7.89	c cleaning 24007 clauses out of 48090 with flag 1769009/315001
10.90/8.53	c cleaning 25013 clauses out of 50083 with flag 1911311/341001
11.60/9.21	c cleaning 26021 clauses out of 52071 with flag 2060325/368002
12.29/9.91	c cleaning 27008 clauses out of 54048 with flag 2210293/396000
13.00/10.66	c cleaning 27981 clauses out of 56041 with flag 2361564/425001
13.80/11.43	c cleaning 29003 clauses out of 58059 with flag 2522403/455000
14.59/12.23	c cleaning 29953 clauses out of 60056 with flag 2694073/486000
15.40/13.04	c cleaning 31035 clauses out of 62104 with flag 2867036/518001
16.28/13.92	c cleaning 31987 clauses out of 64070 with flag 3038623/551002
17.19/14.87	c cleaning 33026 clauses out of 66082 with flag 3218811/585001
18.19/15.87	c cleaning 33989 clauses out of 68055 with flag 3408288/620000
19.18/16.89	c cleaning 35011 clauses out of 70067 with flag 3599500/656001
20.29/17.98	c cleaning 35990 clauses out of 72057 with flag 3796191/693002
21.49/19.10	c cleaning 37019 clauses out of 74065 with flag 3991546/731000
22.58/20.27	c cleaning 37998 clauses out of 76047 with flag 4196497/770001
23.88/21.53	c cleaning 38978 clauses out of 78049 with flag 4404881/810001
25.19/22.82	c cleaning 40018 clauses out of 80070 with flag 4623784/851000
26.39/24.09	c cleaning 41001 clauses out of 82053 with flag 4837723/893001
27.68/25.39	c cleaning 42000 clauses out of 84051 with flag 5050468/936000
29.09/26.77	c cleaning 42995 clauses out of 86051 with flag 5271716/980000
30.49/28.16	c cleaning 43981 clauses out of 88057 with flag 5496730/1025001
31.98/29.62	c cleaning 45006 clauses out of 90075 with flag 5725797/1071000
33.46/31.28	c cleaning 45993 clauses out of 92070 with flag 5959487/1118001
35.17/32.91	c cleaning 47011 clauses out of 94076 with flag 6196635/1166000
36.87/34.64	c cleaning 47994 clauses out of 96065 with flag 6439211/1215000
38.57/36.33	c cleaning 49006 clauses out of 98071 with flag 6684256/1265000
40.27/38.07	c cleaning 49997 clauses out of 100067 with flag 6936193/1316002
42.15/39.94	c cleaning 51016 clauses out of 102069 with flag 7195094/1368001
44.17/41.91	c cleaning 51998 clauses out of 104052 with flag 7455004/1421000
46.07/43.80	c cleaning 53003 clauses out of 106054 with flag 7714645/1475000
47.97/45.78	c cleaning 53998 clauses out of 108054 with flag 7985535/1530003
49.96/47.77	c cleaning 55007 clauses out of 110055 with flag 8261568/1586002
52.06/49.84	c cleaning 55982 clauses out of 112046 with flag 8530396/1643000
54.27/52.02	c cleaning 56995 clauses out of 114066 with flag 8806513/1701002
56.46/54.23	c cleaning 57997 clauses out of 116069 with flag 9088736/1760000
58.65/56.44	c cleaning 59010 clauses out of 118073 with flag 9373643/1820001
60.95/58.71	c cleaning 59992 clauses out of 120062 with flag 9654229/1881000
63.37/61.16	c cleaning 60997 clauses out of 122071 with flag 9945043/1943001
65.84/64.04	c cleaning 61999 clauses out of 124074 with flag 10242035/2006001
68.33/66.55	c cleaning 63026 clauses out of 126075 with flag 10549246/2070001
70.93/69.16	c cleaning 63996 clauses out of 128048 with flag 10850864/2135000
73.54/71.78	c cleaning 65012 clauses out of 130052 with flag 11150883/2201000
76.43/74.61	c cleaning 65994 clauses out of 132041 with flag 11466007/2268001
79.22/77.46	c cleaning 66996 clauses out of 134046 with flag 11777446/2336000
82.02/80.26	c cleaning 68004 clauses out of 136051 with flag 12088621/2405001
84.93/83.19	c cleaning 69011 clauses out of 138046 with flag 12400148/2475000
87.92/86.10	c cleaning 69983 clauses out of 140037 with flag 12718110/2546002
90.92/89.16	c cleaning 70996 clauses out of 142053 with flag 13036124/2618001
94.13/92.42	c cleaning 72006 clauses out of 144057 with flag 13364528/2691001
97.34/95.60	c cleaning 72990 clauses out of 146050 with flag 13700106/2765000
100.63/98.90	c cleaning 74015 clauses out of 148061 with flag 14039482/2840001
103.83/102.19	c cleaning 75012 clauses out of 150045 with flag 14377338/2916000
107.43/105.70	c cleaning 75987 clauses out of 152033 with flag 14726164/2993000
110.92/109.21	c cleaning 77009 clauses out of 154047 with flag 15070721/3071001
114.42/112.72	c cleaning 78001 clauses out of 156038 with flag 15420907/3150001
118.21/116.52	c cleaning 78985 clauses out of 158036 with flag 15789156/3230000
122.21/120.58	c cleaning 79989 clauses out of 160052 with flag 16151654/3311001
126.22/124.61	c cleaning 81031 clauses out of 162063 with flag 16521237/3393001
130.31/128.72	c cleaning 81989 clauses out of 164032 with flag 16896280/3476001
134.52/132.93	c cleaning 82998 clauses out of 166042 with flag 17272871/3560000
138.73/137.14	c cleaning 84014 clauses out of 168046 with flag 17658014/3645002
142.82/141.23	c cleaning 84980 clauses out of 170030 with flag 18041578/3731000
147.20/145.64	c cleaning 85998 clauses out of 172050 with flag 18433735/3818000
151.54/149.94	c cleaning 87002 clauses out of 174053 with flag 18815511/3906001
156.04/154.51	c cleaning 88013 clauses out of 176050 with flag 19198921/3995000
160.44/158.95	c cleaning 89018 clauses out of 178039 with flag 19583978/4085002
165.84/164.25	c cleaning 89995 clauses out of 180019 with flag 20002619/4176000
170.64/169.08	c cleaning 90988 clauses out of 182025 with flag 20400037/4268001
175.53/173.96	c cleaning 91993 clauses out of 184036 with flag 20799936/4361000
180.73/179.13	c cleaning 93009 clauses out of 186043 with flag 21205424/4455000
185.64/184.08	c cleaning 93992 clauses out of 188034 with flag 21610654/4550000
190.68/189.19	c cleaning 94997 clauses out of 190043 with flag 22018742/4646001
196.19/194.65	c cleaning 96002 clauses out of 192045 with flag 22431831/4743000
201.53/199.97	c cleaning 96993 clauses out of 194044 with flag 22837031/4841001
206.84/205.24	c cleaning 97997 clauses out of 196050 with flag 23247239/4940000
212.46/210.84	c cleaning 99015 clauses out of 198055 with flag 23663864/5040002
218.19/216.65	c cleaning 99996 clauses out of 200038 with flag 24093854/5141000
223.47/221.94	c cleaning 101001 clauses out of 202042 with flag 24500300/5243000
229.18/227.64	c cleaning 101993 clauses out of 204042 with flag 24922085/5346001
235.07/233.55	c cleaning 103005 clauses out of 206049 with flag 25349599/5450001
241.09/239.57	c cleaning 104007 clauses out of 208044 with flag 25781574/5555001
247.40/245.93	c cleaning 105006 clauses out of 210036 with flag 26224638/5661000
253.29/251.87	c cleaning 105995 clauses out of 212030 with flag 26644793/5768000
259.43/257.98	c cleaning 107004 clauses out of 214035 with flag 27072174/5876000
265.65/264.12	c cleaning 107992 clauses out of 216032 with flag 27507653/5985001
272.15/270.69	c cleaning 109003 clauses out of 218039 with flag 27948190/6095000
278.36/276.90	c cleaning 110005 clauses out of 220036 with flag 28383763/6206000
284.87/283.41	c cleaning 111008 clauses out of 222031 with flag 28830587/6318000
291.36/289.94	c cleaning 111992 clauses out of 224023 with flag 29276314/6431000
297.89/296.41	c cleaning 112997 clauses out of 226031 with flag 29719935/6545000
304.47/303.08	c cleaning 114000 clauses out of 228035 with flag 30187116/6660001
311.12/309.72	c cleaning 114995 clauses out of 230036 with flag 30637771/6776002
317.63/316.28	c cleaning 116007 clauses out of 232041 with flag 31088654/6893002
324.41/323.10	c cleaning 117001 clauses out of 234033 with flag 31559156/7011001
331.33/329.95	c cleaning 117994 clauses out of 236031 with flag 32030366/7130000
338.32/336.90	c cleaning 119007 clauses out of 238037 with flag 32488746/7250000
345.34/344.00	c cleaning 119998 clauses out of 240030 with flag 32959633/7371000
352.12/350.89	c cleaning 121007 clauses out of 242032 with flag 33426010/7493000
358.94/357.60	c cleaning 122005 clauses out of 244025 with flag 33887137/7616000
365.98/364.60	c cleaning 122999 clauses out of 246020 with flag 34353958/7740000
373.18/371.99	c cleaning 123997 clauses out of 248022 with flag 34829217/7865001
380.82/379.53	c cleaning 124992 clauses out of 250024 with flag 35323847/7991000
388.90/387.62	c cleaning 126008 clauses out of 252034 with flag 35819511/8118002
396.93/395.66	c cleaning 126992 clauses out of 254024 with flag 36305590/8246000
404.04/402.81	c cleaning 128007 clauses out of 256033 with flag 36790778/8375001
411.88/410.67	c cleaning 129002 clauses out of 258025 with flag 37289032/8505000
419.56/418.34	c cleaning 130000 clauses out of 260023 with flag 37783853/8636000
427.60/426.34	c cleaning 131001 clauses out of 262024 with flag 38280923/8768001
436.02/434.89	c cleaning 131996 clauses out of 264022 with flag 38794569/8901000
444.45/443.20	c cleaning 132992 clauses out of 266026 with flag 39305408/9035000
452.99/451.73	c cleaning 134001 clauses out of 268035 with flag 39823772/9170001
462.08/460.85	c cleaning 135003 clauses out of 270033 with flag 40349585/9306000
471.73/470.57	c cleaning 135996 clauses out of 272030 with flag 40892563/9443000
481.92/480.78	c cleaning 137002 clauses out of 274035 with flag 41437547/9581001
491.24/490.08	c cleaning 138005 clauses out of 276033 with flag 41979074/9720001
500.05/498.92	c cleaning 139005 clauses out of 278027 with flag 42503052/9860000
509.09/507.96	c cleaning 139998 clauses out of 280022 with flag 43030372/10001000
517.72/516.50	c cleaning 140997 clauses out of 282026 with flag 43555162/10143002
526.33/525.21	c cleaning 142007 clauses out of 284028 with flag 44087580/10286001
535.67/534.53	c cleaning 142994 clauses out of 286020 with flag 44633034/10430000
544.75/543.67	c cleaning 143998 clauses out of 288026 with flag 45179572/10575000
553.96/552.86	c cleaning 145000 clauses out of 290028 with flag 45725278/10721000
563.51/562.45	c cleaning 146003 clauses out of 292029 with flag 46276457/10868001
573.49/572.40	c cleaning 147008 clauses out of 294026 with flag 46833337/11016001
583.53/582.47	c cleaning 147997 clauses out of 296017 with flag 47400068/11165000
594.01/592.95	c cleaning 148998 clauses out of 298020 with flag 47982254/11315000
603.88/602.84	c cleaning 150008 clauses out of 300023 with flag 48554709/11466001
614.13/613.04	c cleaning 150988 clauses out of 302014 with flag 49136344/11618000
624.91/623.82	c cleaning 152002 clauses out of 304026 with flag 49721390/11771000
635.28/634.27	c cleaning 153005 clauses out of 306025 with flag 50306901/11925001
646.37/645.31	c cleaning 153993 clauses out of 308019 with flag 50906657/12080000
657.84/656.86	c cleaning 155001 clauses out of 310028 with flag 51516621/12236002
669.16/668.13	c cleaning 156001 clauses out of 312025 with flag 52127926/12393000
680.94/679.92	c cleaning 157001 clauses out of 314024 with flag 52730694/12551000
692.91/691.96	c cleaning 158000 clauses out of 316023 with flag 53343612/12710000
705.23/704.27	c cleaning 158996 clauses out of 318024 with flag 53963514/12870001
717.91/716.91	c cleaning 159999 clauses out of 320027 with flag 54594602/13031000
730.15/729.19	c cleaning 161009 clauses out of 322029 with flag 55229336/13193001
742.17/741.23	c cleaning 162000 clauses out of 324019 with flag 55865690/13356000
754.39/753.42	c cleaning 162992 clauses out of 326019 with flag 56497682/13520000
766.83/765.86	c cleaning 164007 clauses out of 328027 with flag 57139218/13685000
778.75/777.88	c cleaning 165001 clauses out of 330021 with flag 57785504/13851001
792.08/791.11	c cleaning 166000 clauses out of 332020 with flag 58437353/14018001
805.35/804.47	c cleaning 166997 clauses out of 334020 with flag 59093890/14186001
818.91/818.02	c cleaning 168004 clauses out of 336022 with flag 59752274/14355000
832.56/831.73	c cleaning 168995 clauses out of 338019 with flag 60397999/14525001
846.30/845.45	c cleaning 170003 clauses out of 340023 with flag 61060790/14696000
860.65/859.70	c cleaning 170996 clauses out of 342021 with flag 61723398/14868001
874.86/874.03	c cleaning 172005 clauses out of 344024 with flag 62395583/15041000
889.38/888.55	c cleaning 172998 clauses out of 346019 with flag 63081732/15215000
904.64/903.89	c cleaning 174002 clauses out of 348021 with flag 63777394/15390000
920.98/920.11	c cleaning 175001 clauses out of 350019 with flag 64484045/15566000
937.77/937.03	c cleaning 175998 clauses out of 352019 with flag 65219254/15743001
954.63/953.98	c cleaning 177003 clauses out of 354021 with flag 65963037/15921001
971.55/970.85	c cleaning 177996 clauses out of 356017 with flag 66701921/16100000
989.52/988.88	c cleaning 179007 clauses out of 358023 with flag 67458514/16280002
1007.98/1007.32	c cleaning 179998 clauses out of 360014 with flag 68215067/16461000
1027.95/1027.38	c cleaning 181005 clauses out of 362017 with flag 69002861/16643001
1050.97/1049.93	c cleaning 182001 clauses out of 364011 with flag 69817250/16826000
1062.46/1060.68	c starts		: 18305
1062.46/1060.68	c conflicts		: 16944083
1062.46/1060.68	c decisions		: 23448192
1062.46/1060.68	c propagations		: 147929544
1062.46/1060.68	c inspects		: 18450610864
1062.46/1060.68	c shortcuts		: 0
1062.46/1060.68	c learnt literals	: 15
1062.46/1060.68	c learnt binary clauses	: 102
1062.46/1060.68	c learnt ternary clauses	: 431
1062.46/1060.68	c learnt constraints	: 16944067
1062.46/1060.68	c ignored constraints	: 0
1062.46/1060.68	c root simplifications	: 0
1062.46/1060.68	c removed literals (reason simplification)	: 15402710
1062.46/1060.68	c reason swapping (by a shorter reason)	: 0
1062.46/1060.68	c Calls to reduceDB	: 179
1062.46/1060.68	c Number of update (reduction) of LBD	: 3609015
1062.46/1060.68	c Imported unit clauses	: 0
1062.46/1060.68	c No decision after first conflict	: false
1062.46/1060.68	c number of reductions to clauses (during analyze)	: 0
1062.46/1060.68	c number of learned constraints concerned by reduction	: 0
1062.46/1060.68	c number of learning phase by resolution	: 0
1062.46/1060.68	c number of learning phase by cutting planes	: 0
1062.46/1060.68	c number of rounding to 1 operations	: 0
1062.46/1060.68	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1062.46/1060.68	c number of reductions of the coefficients by power 2 	: 0
1062.46/1060.68	c number of right shift for reduction by power 2 	: 0
1062.46/1060.68	c number of reductions of the coefficients by GCD over coefficients 	: 0
1062.46/1060.68	c number of ending skipping 	: 0
1062.46/1060.68	c number of internal skipping 	: 0
1062.46/1060.68	c number of derivation steps 	: 0
1062.46/1060.68	c number of skipped derivation steps 	: 0
1062.46/1060.68	c number of remaining unassigned 	: 0
1062.46/1060.68	c number of remaining assigned 	: 0
1062.46/1060.68	c number of falsified literals weakened from reason	: 0
1062.46/1060.68	c number of falsified literals weakened from conflict	: 0
1062.46/1060.68	c time for arithmetic operations	: 0
1062.46/1060.68	c minimum degree of deleted constraints	: null
1062.46/1060.68	c maximum degree of deleted constraints	: null
1062.46/1060.68	c number of deleted constraints	: 0
1062.46/1060.69	c speed (assignments/second)	: 139496.82163532308
1062.46/1060.69	c non guided choices	: 1029363
1062.56/1060.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 299975
1062.56/1060.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 102
1062.56/1060.76	s UNSATISFIABLE
1062.56/1060.76	c Total wall clock time (in seconds): 1060.621

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 00:48:30 CEST 2025
extraparms=
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 4.18 4.15 4.10 4/344 26459
/proc/meminfo: memFree=111662628/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=18930384 memory=55608 CPUtime=0.12 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 6556 0 0 0 10 2 0 0 20 0 18 0 35500950 19384713216 13902 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4732596 13902 5349 1 0 547603 0
[pid=26440/tid=26442] ppid=26437 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 5065 0 0 0 6 1 0 0 20 0 18 0 35500951 19384713216 13902 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=18930384 memory=224227754321 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35500953 19384713216 13902 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=18930384 memory=59585004335488 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35500954 19384713216 13934 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55608 KiB

[startup+0.205841 s]*
/proc/loadavg: 4.18 4.15 4.10 7/344 26459
/proc/meminfo: memFree=111659632/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=18930384 memory=67968 CPUtime=0.31 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 7023 0 0 0 28 3 0 0 20 0 18 0 35500950 19384713216 16992 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4732596 16992 5413 1 0 547907 0
[pid=26440/tid=26442] ppid=26437 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 5286 0 0 0 14 1 0 0 20 0 18 0 35500951 19384713216 16992 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=18930384 memory=16195 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35500953 19384713216 16992 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35500954 19384713216 16992 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67968 KiB

[startup+0.305786 s]*
/proc/loadavg: 4.18 4.15 4.10 7/345 26460
/proc/meminfo: memFree=111648984/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=18996948 memory=80664 CPUtime=0.49 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 9291 0 0 0 45 4 0 0 20 0 19 0 35500950 19452874752 20166 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4749237 20166 5413 1 0 549758 0
[pid=26440/tid=26442] ppid=26437 vsize=18996948 memory=-6000919477035099757 CPUtime=0.22 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 5387 0 0 0 20 2 0 0 20 0 19 0 35500951 19452874752 20166 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35500953 19452874752 20166 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35500954 19452874752 20166 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35500973 19452874752 20166 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80664 KiB

[startup+0.70024 s]
/proc/loadavg: 4.18 4.15 4.10 6/345 26460
/proc/meminfo: memFree=111623308/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=18996948 memory=130184 CPUtime=1.25 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 13802 0 0 0 119 6 0 0 20 0 19 0 35500950 19452874752 32546 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4749237 32546 5445 1 0 552737 0
[pid=26440/tid=26442] ppid=26437 vsize=18996948 memory=17280 CPUtime=0.55 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 5468 0 0 0 52 3 0 0 20 0 19 0 35500951 19452874752 32546 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35500953 19452874752 32546 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35500954 19452874752 32546 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35500973 19452874752 32546 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130184 KiB

[startup+1.50023 s]
/proc/loadavg: 4.18 4.15 4.10 6/345 26460
/proc/meminfo: memFree=111559540/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=176696 CPUtime=2.83 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 20995 0 0 0 275 8 0 0 20 0 20 0 35500950 19521036288 44174 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 44174 5477 1 0 554058 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=10752 CPUtime=1.32 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 5970 0 0 0 128 4 0 0 20 0 20 0 35500951 19521036288 44174 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 44174 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 44174 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 44174 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176696 KiB

[startup+3.10596 s]
/proc/loadavg: 4.25 4.16 4.10 5/346 26461
/proc/meminfo: memFree=111494400/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=210160 CPUtime=5.42 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 23559 0 0 0 531 11 0 0 20 0 20 0 35500950 19521036288 52540 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 52540 5477 1 0 554078 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=10752 CPUtime=2.89 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 6366 0 0 0 282 7 0 0 20 0 20 0 35500951 19521036288 52540 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=-6000919477035099757 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 52540 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 52540 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 52540 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 210160 KiB

[startup+6.3002 s]
/proc/loadavg: 4.25 4.16 4.10 5/346 26461
/proc/meminfo: memFree=111167476/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=529612 CPUtime=8.71 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 24419 0 0 0 850 21 0 0 20 0 20 0 35500950 19521036288 132403 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 132403 5509 1 0 554079 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 7057 0 0 0 591 16 0 0 20 0 20 0 35500951 19521036288 132403 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 132403 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 132403 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=176696 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 132403 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 529612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 7/345 26593
/proc/meminfo: memFree=118431864/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1092888 CPUtime=15.09 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 27394 0 0 0 1470 39 0 0 20 0 20 0 35500950 19521036288 273222 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 273222 5509 1 0 554079 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=176696 CPUtime=12.42 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 8170 0 0 0 1208 34 0 0 20 0 20 0 35500951 19521036288 273222 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 273222 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 273222 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=-6000919477035099757 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 273222 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 15.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1092888 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.10 5/346 26594
/proc/meminfo: memFree=116974648/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1320240 CPUtime=27.88 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 30535 0 0 0 2738 50 0 0 20 0 20 0 35500950 19521036288 330060 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 330060 5509 1 0 554079 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=14824 CPUtime=25.15 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 9384 0 0 0 2471 44 0 0 20 0 20 0 35500951 19521036288 330060 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=1320240 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 330060 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=-6000919477035099757 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 330060 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 330060 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 27.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320240 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.14 4.10 5/346 26594
/proc/meminfo: memFree=116621960/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1322292 CPUtime=53.37 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 33883 0 0 0 5274 63 0 0 20 0 20 0 35500950 19521036288 330573 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 330573 5509 1 0 554079 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=1322292 CPUtime=50.53 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 10581 0 0 0 4996 57 0 0 20 0 20 0 35500951 19521036288 330573 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0

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

/proc/loadavg: 4.18 4.15 4.11 5/345 26989
/proc/meminfo: memFree=114041380/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1884416 CPUtime=1024.67 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 54650 0 0 0 102100 367 0 0 20 0 20 0 35500950 19521036288 471104 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 471104 5509 1 0 554079 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=-6000919472706250349 CPUtime=1015.15 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 18924 0 0 0 101183 332 0 0 20 0 20 0 35500951 19521036288 471104 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 471104 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 471104 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 471104 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1024.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1884416 KiB

[startup+1036.8 s]
/proc/loadavg: 4.15 4.14 4.11 5/345 26990
/proc/meminfo: memFree=113924600/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1896708 CPUtime=1037.51 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 55638 0 0 0 103381 370 0 0 20 0 20 0 35500950 19521036288 474177 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 474177 5509 1 0 554079 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=21996 CPUtime=1027.84 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 19300 0 0 0 102450 334 0 0 20 0 20 0 35500951 19521036288 474177 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=1884416 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 474177 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 474177 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=1884416 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 474177 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1037.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1896708 KiB

[startup+1049.6 s]
/proc/loadavg: 4.12 4.14 4.11 5/345 26991
/proc/meminfo: memFree=113826080/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1909372 CPUtime=1050.67 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 64354 0 0 0 104694 373 0 0 20 0 20 0 35500950 19521036288 477343 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 477343 5509 1 0 555603 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=1884416 CPUtime=1040.58 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 20683 0 0 0 103722 336 0 0 20 0 20 0 35500951 19521036288 477343 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 477343 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=1884416 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 477343 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=1884416 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 477343 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1050.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1909372 KiB

[startup+1056 s]*
/proc/loadavg: 4.11 4.13 4.11 5/345 26991
/proc/meminfo: memFree=113790508/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1899688 CPUtime=1057.07 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 64437 0 0 0 105333 374 0 0 20 0 20 0 35500950 19521036288 474922 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 474922 5509 1 0 555603 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=-6000919472706250349 CPUtime=1046.96 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 20764 0 0 0 104359 337 0 0 20 0 20 0 35500951 19521036288 474922 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 474922 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 474922 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 474922 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1057.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1899688 KiB

[startup+1059.2 s]
/proc/loadavg: 4.18 4.15 4.11 5/345 26991
/proc/meminfo: memFree=113774916/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1905704 CPUtime=1060.98 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 66358 0 0 0 105723 375 0 0 20 0 20 0 35500950 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 476426 5509 1 0 555603 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=1904552 CPUtime=1050.15 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 20909 0 0 0 104677 338 0 0 20 0 20 0 35500951 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=-6000919477035099757 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1060.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905704 KiB

[startup+1060 s]*
/proc/loadavg: 4.18 4.15 4.11 5/345 26991
/proc/meminfo: memFree=113758540/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1905704 CPUtime=1061.78 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 66375 0 0 0 105803 375 0 0 20 0 20 0 35500950 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 476426 5509 1 0 555603 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=-6000919472706250349 CPUtime=1050.96 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 20912 0 0 0 104758 338 0 0 20 0 20 0 35500951 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=21996 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1061.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905704 KiB

[startup+1060.4 s]
/proc/loadavg: 4.18 4.15 4.11 5/345 26991
/proc/meminfo: memFree=113758540/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1905704 CPUtime=1062.19 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 66392 0 0 0 105844 375 0 0 20 0 20 0 35500950 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 476426 5509 1 0 555603 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=-6000919477035099757 CPUtime=1051.35 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 20914 0 0 0 104797 338 0 0 20 0 20 0 35500951 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=1342324 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=-6000919472706250349 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 476426 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1062.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905704 KiB

[startup+1060.6 s]
/proc/loadavg: 4.18 4.15 4.11 5/345 26991
/proc/meminfo: memFree=113758540/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19063512 memory=1905832 CPUtime=1062.46 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 66407 0 0 0 105871 375 0 0 20 0 20 0 35500950 19521036288 476458 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4765878 476458 5509 1 0 555603 0
[pid=26440/tid=26442] ppid=26437 vsize=19063512 memory=57411700523765 CPUtime=1051.55 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) R 26437 26440 24970 0 -1 4194368 20914 0 0 0 104817 338 0 0 20 0 20 0 35500951 19521036288 476458 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19063512 memory=78243 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19521036288 476458 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19521036288 476458 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26460] ppid=26437 vsize=19063512 memory=12288 CPUtime=0 cores=0,2
/proc/26440/task/26460/stat : 26460 (Timer-0) S 26437 26440 24970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35500973 19521036288 476458 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1062.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1905832 KiB

[startup+1060.7 s]
/proc/loadavg: 4.18 4.15 4.11 5/345 26991
/proc/meminfo: memFree=113758540/131249996 swapFree=33010684/33010684
[pid=26440] ppid=26437 vsize=19196640 memory=1906344 CPUtime=1062.56 cores=0,2
/proc/26440/stat : 26440 (java) S 26437 26440 24970 0 -1 4194304 67573 0 0 0 105880 376 0 0 20 0 20 0 35500950 19657359360 476586 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
/proc/26440/statm: 4799160 476586 5541 1 0 556221 0
[pid=26440/tid=26442] ppid=26437 vsize=19196640 memory=10752 CPUtime=1051.6 cores=0,2
/proc/26440/task/26442/stat : 26442 (java) S 26437 26440 24970 0 -1 4194368 21746 0 0 0 104822 338 0 0 20 0 20 0 35500951 19657359360 476586 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26451] ppid=26437 vsize=19196640 memory=17280 CPUtime=0 cores=0,2
/proc/26440/task/26451/stat : 26451 (Finalizer) S 26437 26440 24970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35500953 19657359360 476586 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
[pid=26440/tid=26458] ppid=26437 vsize=19196640 memory=-6000919477035099757 CPUtime=0 cores=0,2
/proc/26440/task/26458/stat : 26458 (Common-Cleaner) S 26437 26440 24970 0 -1 4194368 424 0 0 0 0 0 0 0 20 0 20 0 35500954 19657359360 476586 18446744073709551615 93839154290688 93839154294384 140733607249040 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93839154302200 93839154302992 93839187558400 140733607258416 140733607258598 140733607258598 140733607264200 0
Current children cumulated CPU time: 1062.56 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1906344 KiB

Child status: 20

Real time (s): 1060.8
CPU time (s): 1062.66
CPU user time (s): 1058.89
CPU system time (s): 3.77218
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1909372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1058.89
system time used= 3.77218
maximum resident set size= 1910404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4316800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36225
involuntary context switches= 3334


# summary of solver processes directly reported to runsolver:
#   pid: 26440
#   total CPU time (s): 1062.66
#   total CPU user time (s): 1058.89
#   total CPU system time (s): 3.77218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.2845 second user time and 4.93713 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 13:57:12
IDJOB=4510409
IDBENCH=160360
IDSOLVER=3364
FILE ID=nodeC017/4510409-1751198232
RUNJOBID= nodeC017-1751191606-24980
SLURM_JOB_ID= 9587581
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510409-1751198232/watcher-4510409-1751198232 -o /tmp/evaluation-result-4510409-1751198232/solver-4510409-1751198232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751191606-24980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4510409-1751198232 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4510409-1751198232.opb

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

MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=229975595

nodeC017 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		: 3568.508
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	: 7000.12
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		: 3600.023
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	: 7000.12
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		: 3600.260
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111691188 kB
MemAvailable:   123642108 kB
Buffers:            3280 kB
Cached:         12747164 kB
SwapCached:            0 kB
Active:          6471076 kB
Inactive:       12493424 kB
Active(anon):    6232200 kB
Inactive(anon):        0 kB
Active(file):     238876 kB
Inactive(file): 12493424 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             85040 kB
Writeback:             0 kB
AnonPages:       6216212 kB
Mapped:           122732 kB
Shmem:             18080 kB
KReclaimable:     115320 kB
Slab:             204904 kB
SReclaimable:     115320 kB
SUnreclaim:        89584 kB
KernelStack:        5228 kB
PageTables:        15856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7067088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5971968 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC017 at 2025-06-29 14:14:53