Trace number 4541887

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-06? (TO) 3600.35 3585.36

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
MD5SUMb6349d7dce380ae2e08847675885e6d3
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 benchmark0.773453
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6208
Total number of constraints3201
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 constraints3201
Minimum length of a constraint2
Maximum length of a constraint128
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 9223372036854775808
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 36893488147419103231
Number of bits of the biggest sum of numbers65
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.13/0.11	c version PB25.v20250606
0.13/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.13	c java.vm.version	22.0.1+8-16
0.13/0.13	c java.vm.vendor	Oracle Corporation
0.13/0.13	c sun.arch.data.model	64
0.13/0.13	c java.version		22.0.1
0.13/0.13	c os.name		Linux
0.13/0.13	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.13	c os.arch		amd64
0.13/0.14	c Free memory 		2106806208
0.13/0.14	c Max memory 		16282288128
0.13/0.14	c Total memory 		2113929216
0.13/0.14	c Number of processors 	2
0.13/0.20	c Pseudo Boolean Optimization by upper bound
0.13/0.20	c --- Begin Solver configuration ---
0.13/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.20	c Learn all clauses as in MiniSAT
0.13/0.20	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.20	c Expensive reason simplification
0.13/0.20	c Glucose 2.1 dynamic restart strategy
0.13/0.20	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.20	c timeout=2147483s
0.13/0.20	c DB Simplification allowed=false
0.13/0.20	c Listener: none
0.13/0.20	c --- End Solver configuration ---
0.13/0.20	c solving HOME/instance-4541887-1753212797.opb
0.13/0.20	c reading problem ... 
0.13/0.20	c using VERIPB proof format
0.13/0.21	c  no objective function found
0.50/0.42	c ... done. Wall clock time 0.214s.
0.50/0.42	c declared #vars     6208
0.50/0.42	c #constraints  6401
0.50/0.42	c constraints type 
0.50/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2432
0.50/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
0.50/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3968
0.50/0.42	c 6401 constraints processed.
2.59/1.42	c cleaning 2500 clauses out of 5003 with flag 29764/5003
3.18/1.77	c cleaning 4229 clauses out of 8502 with flag 65047/11002
3.77/2.06	c cleaning 5611 clauses out of 11272 with flag 105226/18001
4.52/2.41	c cleaning 6814 clauses out of 13660 with flag 156044/26000
5.01/2.75	c cleaning 7907 clauses out of 15846 with flag 215168/35000
5.56/3.08	c cleaning 8956 clauses out of 17939 with flag 275448/45000
6.37/3.55	c cleaning 9979 clauses out of 19983 with flag 343170/56000
6.82/3.92	c cleaning 10986 clauses out of 22004 with flag 406715/68000
7.34/4.33	c cleaning 11946 clauses out of 24018 with flag 486533/81000
7.84/4.89	c cleaning 13022 clauses out of 26072 with flag 581227/95000
8.45/5.42	c cleaning 13995 clauses out of 28053 with flag 670880/110003
8.95/5.91	c cleaning 14994 clauses out of 30058 with flag 760833/126003
9.60/6.46	c cleaning 16007 clauses out of 32061 with flag 854460/143000
10.36/7.07	c cleaning 16995 clauses out of 34056 with flag 957628/161002
11.35/8.02	c cleaning 18007 clauses out of 36061 with flag 1083975/180002
12.04/8.74	c cleaning 19001 clauses out of 38052 with flag 1193232/200000
12.76/9.48	c cleaning 19989 clauses out of 40051 with flag 1306840/221000
13.55/10.24	c cleaning 20994 clauses out of 42063 with flag 1429590/243001
14.37/11.04	c cleaning 21918 clauses out of 44071 with flag 1559022/266003
15.27/11.89	c cleaning 23061 clauses out of 46150 with flag 1690397/290000
16.17/12.70	c cleaning 24019 clauses out of 48089 with flag 1837693/315000
16.97/13.56	c cleaning 24996 clauses out of 50070 with flag 1979066/341000
17.98/14.52	c cleaning 26007 clauses out of 52074 with flag 2129037/368000
18.88/15.41	c cleaning 27004 clauses out of 54069 with flag 2280856/396002
19.77/16.36	c cleaning 27900 clauses out of 56065 with flag 2435611/425002
20.77/17.35	c cleaning 29026 clauses out of 58163 with flag 2602670/455000
21.77/18.38	c cleaning 30056 clauses out of 60139 with flag 2766905/486002
23.17/19.71	c cleaning 30971 clauses out of 62081 with flag 2958146/518000
24.36/20.96	c cleaning 32037 clauses out of 64110 with flag 3139541/551000
25.86/22.41	c cleaning 33029 clauses out of 66074 with flag 3347417/585001
27.16/23.73	c cleaning 33953 clauses out of 68047 with flag 3538343/620003
28.36/24.95	c cleaning 34969 clauses out of 70092 with flag 3734037/656001
29.65/26.20	c cleaning 36034 clauses out of 72125 with flag 3929863/693003
31.15/27.75	c cleaning 37007 clauses out of 74088 with flag 4143369/731000
32.46/29.04	c cleaning 37995 clauses out of 76082 with flag 4347910/770001
33.74/30.38	c cleaning 39019 clauses out of 78086 with flag 4557157/810000
35.34/31.98	c cleaning 39940 clauses out of 80067 with flag 4781660/851000
36.94/33.52	c cleaning 41031 clauses out of 82128 with flag 4994177/893001
38.73/35.31	c cleaning 41980 clauses out of 84097 with flag 5213099/936001
40.64/37.26	c cleaning 43038 clauses out of 86116 with flag 5447982/980000
42.54/39.17	c cleaning 43946 clauses out of 88078 with flag 5695107/1025000
44.22/40.85	c cleaning 45009 clauses out of 90133 with flag 5926099/1071001
46.31/42.98	c cleaning 45983 clauses out of 92124 with flag 6175947/1118001
48.32/44.92	c cleaning 46984 clauses out of 94140 with flag 6434326/1166000
50.11/46.74	c cleaning 48047 clauses out of 96156 with flag 6692069/1215000
52.10/48.78	c cleaning 49029 clauses out of 98110 with flag 6963381/1265001
54.60/51.23	c cleaning 49992 clauses out of 100081 with flag 7255795/1316001
57.99/54.64	c cleaning 51012 clauses out of 102088 with flag 7570230/1368000
60.08/56.77	c cleaning 52018 clauses out of 104077 with flag 7831834/1421001
62.29/59.00	c cleaning 52981 clauses out of 106059 with flag 8100326/1475001
64.78/61.49	c cleaning 53989 clauses out of 108078 with flag 8400172/1530001
67.27/63.95	c cleaning 55002 clauses out of 110088 with flag 8685342/1586000
69.75/66.40	c cleaning 56025 clauses out of 112088 with flag 8978234/1643002
72.75/69.45	c cleaning 56856 clauses out of 114061 with flag 9288213/1701000
75.25/72.00	c cleaning 58051 clauses out of 116205 with flag 9608287/1760000
77.84/74.59	c cleaning 58960 clauses out of 118155 with flag 9908056/1820001
80.23/76.91	c cleaning 60058 clauses out of 120194 with flag 10210691/1881000
82.83/79.56	c cleaning 61045 clauses out of 122136 with flag 10527499/1943000
85.72/82.48	c cleaning 61981 clauses out of 124091 with flag 10846029/2006000
89.22/85.97	c cleaning 62975 clauses out of 126110 with flag 11192910/2070000
93.98/90.76	c cleaning 63067 clauses out of 128135 with flag 11569889/2135000
97.68/94.43	c cleaning 64878 clauses out of 131070 with flag 11901109/2201002
101.10/97.89	c cleaning 66029 clauses out of 133190 with flag 12250863/2268000
105.45/102.12	c cleaning 67180 clauses out of 135161 with flag 12628440/2336000
108.96/105.57	c cleaning 67935 clauses out of 136983 with flag 12981228/2405002
112.05/108.65	c cleaning 68197 clauses out of 139048 with flag 13322640/2475002
115.14/111.72	c cleaning 69781 clauses out of 141849 with flag 13674924/2546000
119.32/116.00	c cleaning 70399 clauses out of 144069 with flag 14024796/2618001
122.71/119.36	c cleaning 71448 clauses out of 146669 with flag 14389001/2691000
126.25/122.88	c cleaning 72411 clauses out of 149222 with flag 14790163/2765001
129.56/126.11	c cleaning 73586 clauses out of 151810 with flag 15160046/2840000
132.64/129.26	c cleaning 73924 clauses out of 154225 with flag 15519095/2916001
136.33/132.99	c cleaning 75601 clauses out of 157300 with flag 15873680/2993000
140.03/136.63	c cleaning 76712 clauses out of 159700 with flag 16266822/3071001
144.52/141.10	c cleaning 77168 clauses out of 161988 with flag 16678839/3150001
149.48/145.64	c cleaning 78706 clauses out of 164819 with flag 17085585/3230000
154.03/149.65	c cleaning 79273 clauses out of 167114 with flag 17455501/3311001
157.73/153.39	c cleaning 80656 clauses out of 169840 with flag 17850564/3393000
162.33/158.00	c cleaning 81095 clauses out of 172184 with flag 18266516/3476000
166.72/162.39	c cleaning 82494 clauses out of 175089 with flag 18713794/3560000
171.72/167.32	c cleaning 83505 clauses out of 177597 with flag 19143478/3645002
177.32/172.93	c cleaning 84622 clauses out of 180090 with flag 19565242/3731000
181.39/177.02	c cleaning 85751 clauses out of 182469 with flag 19964484/3818001
186.58/182.29	c cleaning 86897 clauses out of 184719 with flag 20415023/3906002
191.27/186.99	c cleaning 87407 clauses out of 186821 with flag 20867498/3995001
197.49/193.18	c cleaning 88662 clauses out of 189414 with flag 21327077/4085001
202.15/197.89	c cleaning 89599 clauses out of 191751 with flag 21761813/4176000
207.53/203.29	c cleaning 90118 clauses out of 194153 with flag 22206327/4268001
212.76/208.45	c cleaning 91625 clauses out of 197034 with flag 22656391/4361000
218.11/213.72	c cleaning 92836 clauses out of 199409 with flag 23124434/4455000
224.17/219.80	c cleaning 93176 clauses out of 201573 with flag 23606895/4550000
230.42/226.02	c cleaning 94605 clauses out of 204397 with flag 24073694/4646000
235.60/231.24	c cleaning 95154 clauses out of 206792 with flag 24536935/4743000
240.95/236.56	c cleaning 96760 clauses out of 209640 with flag 24996154/4841002
247.41/242.90	c cleaning 97837 clauses out of 211879 with flag 25513998/4940001
252.52/248.07	c cleaning 98720 clauses out of 214041 with flag 25996194/5040000
257.87/253.37	c cleaning 99547 clauses out of 216321 with flag 26486541/5141000
263.58/259.02	c cleaning 100404 clauses out of 218775 with flag 26976923/5243001
269.80/265.16	c cleaning 100988 clauses out of 221372 with flag 27478591/5346002
277.37/272.63	c cleaning 102714 clauses out of 224382 with flag 27994646/5450000
283.95/279.26	c cleaning 103420 clauses out of 226669 with flag 28564648/5555001
290.38/285.65	c cleaning 104719 clauses out of 229249 with flag 29062801/5661001
297.34/292.53	c cleaning 105466 clauses out of 231530 with flag 29574180/5768001
303.54/298.70	c cleaning 106029 clauses out of 234063 with flag 30095096/5876000
310.61/305.78	c cleaning 107536 clauses out of 237035 with flag 30656609/5985001
318.58/313.69	c cleaning 108498 clauses out of 239499 with flag 31207736/6095001
324.76/319.84	c cleaning 109374 clauses out of 242000 with flag 31751877/6206000
332.43/327.48	c cleaning 110646 clauses out of 244626 with flag 32314374/6318000
340.20/335.17	c cleaning 111120 clauses out of 246980 with flag 32842551/6431000
346.87/341.88	c cleaning 112221 clauses out of 249860 with flag 33401051/6545000
353.15/348.09	c cleaning 113531 clauses out of 252640 with flag 33940233/6660001
359.70/354.54	c cleaning 114698 clauses out of 255110 with flag 34486912/6776002
366.54/361.32	c cleaning 115314 clauses out of 257411 with flag 35047954/6893001
374.21/369.06	c cleaning 116180 clauses out of 260096 with flag 35590619/7011000
382.94/377.77	c cleaning 117508 clauses out of 262916 with flag 36168188/7130000
389.90/384.67	c cleaning 118562 clauses out of 265409 with flag 36755643/7250001
396.49/391.20	c cleaning 119447 clauses out of 267846 with flag 37327933/7371000
405.68/400.42	c cleaning 120461 clauses out of 270399 with flag 37948834/7493000
414.64/409.39	c cleaning 121627 clauses out of 272938 with flag 38568041/7616000
422.89/417.55	c cleaning 122044 clauses out of 275313 with flag 39166809/7740002
430.13/424.81	c cleaning 123276 clauses out of 278271 with flag 39758517/7865004
438.19/432.89	c cleaning 124588 clauses out of 280995 with flag 40363030/7991004
447.12/441.75	c cleaning 125022 clauses out of 283403 with flag 40985965/8118000
456.69/451.21	c cleaning 126636 clauses out of 286381 with flag 41637738/8246000
465.27/459.87	c cleaning 127801 clauses out of 288747 with flag 42310920/8375002
473.85/468.44	c cleaning 128204 clauses out of 290945 with flag 42933857/8505001
482.29/476.86	c cleaning 129350 clauses out of 293740 with flag 43573795/8636000
491.36/485.90	c cleaning 130539 clauses out of 296390 with flag 44211239/8768000
499.78/494.33	c cleaning 131207 clauses out of 298851 with flag 44842574/8901000
508.74/503.21	c cleaning 132594 clauses out of 301645 with flag 45552713/9035001
517.22/511.75	c cleaning 133332 clauses out of 304052 with flag 46181152/9170002
525.94/520.42	c cleaning 134357 clauses out of 306719 with flag 46817604/9306001
538.52/533.11	c cleaning 135877 clauses out of 309362 with flag 47538861/9443001
547.95/542.42	c cleaning 136224 clauses out of 311486 with flag 48199148/9581002
556.79/551.24	c cleaning 137404 clauses out of 314260 with flag 48871372/9720000
566.05/560.41	c cleaning 138215 clauses out of 316856 with flag 49542285/9860000
577.19/571.55	c cleaning 139165 clauses out of 319641 with flag 50265190/10001000
586.66/580.99	c cleaning 140401 clauses out of 322476 with flag 50966956/10143000
596.03/590.22	c cleaning 141624 clauses out of 325075 with flag 51642827/10286000
606.18/600.36	c cleaning 142315 clauses out of 327453 with flag 52338354/10430002
617.18/611.34	c cleaning 143588 clauses out of 330138 with flag 53029658/10575002
627.26/621.44	c cleaning 144455 clauses out of 332548 with flag 53706293/10721000
640.02/634.17	c cleaning 145067 clauses out of 335095 with flag 54450455/10868002
651.27/645.31	c cleaning 146185 clauses out of 338028 with flag 55174477/11016002
661.18/655.23	c cleaning 147182 clauses out of 340841 with flag 55884879/11165000
671.51/665.52	c cleaning 147998 clauses out of 343659 with flag 56576330/11315000
683.44/677.42	c cleaning 149560 clauses out of 346661 with flag 57316089/11466000
695.47/689.44	c cleaning 150586 clauses out of 349102 with flag 58056388/11618001
705.70/699.64	c cleaning 151035 clauses out of 351515 with flag 58768344/11771000
715.96/709.82	c cleaning 151848 clauses out of 354480 with flag 59516128/11925000
729.63/723.52	c cleaning 153301 clauses out of 357632 with flag 60346309/12080000
740.35/734.16	c cleaning 154197 clauses out of 360331 with flag 61068648/12236000
751.10/744.83	c cleaning 155625 clauses out of 363134 with flag 61798147/12393000
762.44/756.15	c cleaning 156320 clauses out of 365512 with flag 62542769/12551003
773.07/766.74	c cleaning 156861 clauses out of 368189 with flag 63279938/12710000
787.80/781.36	c cleaning 158346 clauses out of 371328 with flag 64097485/12870000
799.48/792.92	c cleaning 159574 clauses out of 373984 with flag 64909799/13031002
810.11/803.54	c cleaning 160390 clauses out of 376408 with flag 65683780/13193000
822.40/815.36	c cleaning 161132 clauses out of 379020 with flag 66457874/13356002
835.69/828.61	c cleaning 162331 clauses out of 381887 with flag 67221591/13520001
848.57/841.43	c cleaning 163399 clauses out of 384556 with flag 68045974/13685001
865.84/858.62	c cleaning 164290 clauses out of 387157 with flag 68890010/13851001
876.88/869.64	c cleaning 165297 clauses out of 389866 with flag 69665738/14018000
888.67/881.37	c cleaning 166167 clauses out of 392569 with flag 70451613/14186000
902.25/894.90	c cleaning 167272 clauses out of 395402 with flag 71229249/14355000
915.76/908.40	c cleaning 167998 clauses out of 398130 with flag 72036880/14525000
927.67/920.33	c cleaning 169086 clauses out of 401134 with flag 72863290/14696002
940.80/933.42	c cleaning 170145 clauses out of 404046 with flag 73679432/14868000
954.50/947.19	c cleaning 171400 clauses out of 406902 with flag 74521936/15041001
968.06/960.74	c cleaning 172324 clauses out of 409501 with flag 75364315/15215000
981.78/974.49	c cleaning 172810 clauses out of 412177 with flag 76202160/15390000
995.65/988.24	c cleaning 174527 clauses out of 415368 with flag 77039173/15566001
1009.27/1001.92	c cleaning 175546 clauses out of 417842 with flag 77899486/15743002
1026.93/1019.50	c cleaning 176489 clauses out of 420297 with flag 78787267/15921003
1039.00/1031.62	c cleaning 176825 clauses out of 422806 with flag 79643200/16100001
1052.08/1044.65	c cleaning 178001 clauses out of 425980 with flag 80525975/16280000
1068.29/1060.74	c cleaning 179377 clauses out of 428979 with flag 81393397/16461000
1081.96/1074.41	c cleaning 180261 clauses out of 431606 with flag 82262185/16643004
1095.55/1087.90	c cleaning 181035 clauses out of 434342 with flag 83114241/16826001
1108.94/1101.29	c cleaning 181948 clauses out of 437307 with flag 83950965/17010001
1125.01/1117.33	c cleaning 183011 clauses out of 440360 with flag 84869016/17195002
1138.31/1130.50	c cleaning 184196 clauses out of 443348 with flag 85726309/17381001
1152.81/1145.03	c cleaning 184693 clauses out of 446153 with flag 86626520/17568002
1168.57/1160.70	c cleaning 186268 clauses out of 449458 with flag 87497511/17756000
1183.34/1175.50	c cleaning 187241 clauses out of 452190 with flag 88412403/17945000
1199.81/1191.97	c cleaning 188206 clauses out of 454949 with flag 89290776/18135000
1219.40/1211.40	c cleaning 188965 clauses out of 457743 with flag 90238055/18326000
1236.60/1228.53	c cleaning 190040 clauses out of 460779 with flag 91138611/18518001
1253.26/1245.27	c cleaning 191016 clauses out of 463741 with flag 92059721/18711003
1269.40/1261.32	c cleaning 191879 clauses out of 466723 with flag 93063493/18905001
1284.48/1276.36	c cleaning 193238 clauses out of 469845 with flag 93997825/19100002
1300.35/1292.27	c cleaning 194126 clauses out of 472606 with flag 94900545/19296001
1315.81/1307.69	c cleaning 194647 clauses out of 475480 with flag 95837549/19493001
1331.29/1323.11	c cleaning 196134 clauses out of 478832 with flag 96733960/19691000
1349.21/1341.10	c cleaning 197153 clauses out of 481699 with flag 97666938/19890001
1369.49/1361.21	c cleaning 197991 clauses out of 484545 with flag 98624219/20090000
1385.37/1377.12	c cleaning 199102 clauses out of 487555 with flag 99581775/20291001
1402.94/1394.67	c cleaning 200075 clauses out of 490453 with flag 100545750/20493001
1421.21/1412.85	c cleaning 201282 clauses out of 493378 with flag 101492006/20696001
1438.18/1429.62	c cleaning 201157 clauses out of 496095 with flag 102431132/20900000
1455.73/1447.30	c cleaning 203183 clauses out of 499940 with flag 103364318/21105002
1472.12/1463.60	c cleaning 204173 clauses out of 502755 with flag 104277109/21311000
1489.79/1481.15	c cleaning 205393 clauses out of 505583 with flag 105240232/21518001
1508.25/1499.50	c cleaning 205824 clauses out of 508189 with flag 106231226/21726000
1524.72/1516.06	c cleaning 206952 clauses out of 511367 with flag 107172482/21935002
1542.06/1533.39	c cleaning 208107 clauses out of 514414 with flag 108156939/22145001
1559.73/1550.95	c cleaning 209389 clauses out of 517306 with flag 109120318/22356000
1576.40/1567.68	c cleaning 210023 clauses out of 519917 with flag 110092784/22568000
1596.94/1588.19	c cleaning 211175 clauses out of 522894 with flag 111081091/22781000
1617.04/1608.21	c cleaning 211860 clauses out of 525719 with flag 112132410/22995000
1638.61/1629.82	c cleaning 213063 clauses out of 528859 with flag 113201619/23210000
1658.05/1649.23	c cleaning 213974 clauses out of 531796 with flag 114157248/23426000
1676.97/1668.09	c cleaning 214534 clauses out of 534822 with flag 115110494/23643000
1697.15/1688.19	c cleaning 216102 clauses out of 538289 with flag 116154360/23861001
1717.14/1708.03	c cleaning 217200 clauses out of 541186 with flag 117160917/24080000
1738.39/1729.38	c cleaning 218009 clauses out of 543988 with flag 118222730/24300002
1758.07/1749.10	c cleaning 218947 clauses out of 546977 with flag 119223092/24521000
1776.56/1767.49	c cleaning 220146 clauses out of 550030 with flag 120225090/24743000
1795.67/1786.42	c cleaning 221398 clauses out of 552884 with flag 121271931/24966000
1815.52/1806.25	c cleaning 222084 clauses out of 555487 with flag 122298373/25190001
1835.08/1825.87	c cleaning 223080 clauses out of 558405 with flag 123310028/25415003
1856.18/1846.93	c cleaning 223965 clauses out of 561322 with flag 124339072/25641000
1877.23/1868.10	c cleaning 224858 clauses out of 564357 with flag 125348520/25868000
1899.15/1889.84	c cleaning 226245 clauses out of 567499 with flag 126376058/26096000
1919.94/1910.52	c cleaning 227494 clauses out of 570255 with flag 127406047/26325001
1939.69/1930.33	c cleaning 228334 clauses out of 572760 with flag 128432204/26555000
1960.45/1951.11	c cleaning 229303 clauses out of 575426 with flag 129553138/26786000
1980.40/1970.96	c cleaning 230196 clauses out of 578123 with flag 130606403/27018000
2000.58/1991.01	c cleaning 231048 clauses out of 580927 with flag 131636715/27251000
2020.63/2011.18	c cleaning 231620 clauses out of 583882 with flag 132691933/27485003
2043.20/2033.66	c cleaning 233377 clauses out of 587259 with flag 133746772/27720000
2067.48/2057.87	c cleaning 234361 clauses out of 589882 with flag 134899703/27956000
2090.09/2080.30	c cleaning 234719 clauses out of 592521 with flag 136003151/28193000
2111.73/2101.82	c cleaning 236118 clauses out of 595802 with flag 137086269/28431000
2134.18/2124.37	c cleaning 237198 clauses out of 598684 with flag 138183275/28670000
2157.04/2147.15	c cleaning 237752 clauses out of 601487 with flag 139278094/28910001
2180.38/2170.41	c cleaning 239102 clauses out of 604734 with flag 140351157/29151000
2202.80/2192.79	c cleaning 240127 clauses out of 607632 with flag 141397646/29393000
2228.84/2218.83	c cleaning 241230 clauses out of 610508 with flag 142548791/29636003
2250.78/2240.73	c cleaning 241827 clauses out of 613275 with flag 143653855/29880000
2276.96/2266.83	c cleaning 243308 clauses out of 616448 with flag 144813200/30125000
2299.09/2288.86	c cleaning 244048 clauses out of 619140 with flag 145947023/30371000
2324.51/2313.90	c cleaning 244868 clauses out of 622092 with flag 147052283/30618000
2348.73/2338.20	c cleaning 245882 clauses out of 625225 with flag 148189305/30866001
2374.69/2364.14	c cleaning 247391 clauses out of 628343 with flag 149336465/31115001
2399.15/2388.62	c cleaning 247990 clauses out of 630951 with flag 150464650/31365000
2422.49/2411.94	c cleaning 249076 clauses out of 633962 with flag 151591686/31616001
2448.52/2437.89	c cleaning 250340 clauses out of 636885 with flag 152737317/31868000
2476.89/2466.16	c cleaning 251305 clauses out of 639545 with flag 154007903/32121000
2500.68/2490.01	c cleaning 252117 clauses out of 642241 with flag 155144155/32375001
2526.15/2515.33	c cleaning 253321 clauses out of 645124 with flag 156276523/32630001
2551.61/2540.72	c cleaning 254065 clauses out of 647805 with flag 157493875/32886003
2578.10/2567.28	c cleaning 255271 clauses out of 650737 with flag 158677859/33143000
2603.75/2592.88	c cleaning 256076 clauses out of 653466 with flag 159827690/33401000
2631.29/2620.21	c cleaning 256924 clauses out of 656392 with flag 161022688/33660002
2657.27/2646.01	c cleaning 258110 clauses out of 659469 with flag 162172757/33920003
2685.61/2674.26	c cleaning 259258 clauses out of 662357 with flag 163355013/34181001
2717.48/2706.03	c cleaning 260675 clauses out of 665098 with flag 164582980/34443000
2747.04/2735.59	c cleaning 261280 clauses out of 667423 with flag 165787387/34706000
2771.39/2759.83	c cleaning 261918 clauses out of 670144 with flag 166981850/34970001
2798.74/2787.15	c cleaning 263541 clauses out of 673225 with flag 168178206/35235000
2824.96/2813.37	c cleaning 264065 clauses out of 675684 with flag 169381923/35501000
2851.17/2839.49	c cleaning 265190 clauses out of 678619 with flag 170594409/35768000
2880.12/2868.34	c cleaning 266029 clauses out of 681429 with flag 171756851/36036000
2907.28/2895.57	c cleaning 266938 clauses out of 684400 with flag 172962376/36305000
2933.49/2921.78	c cleaning 268212 clauses out of 687463 with flag 174201100/36575001
2962.61/2950.80	c cleaning 268792 clauses out of 690251 with flag 175429789/36846001
2995.82/2983.99	c cleaning 270511 clauses out of 693459 with flag 176662729/37118001
3023.48/3011.42	c cleaning 271326 clauses out of 695948 with flag 177892992/37391001
3049.96/3037.80	c cleaning 271904 clauses out of 698624 with flag 179135166/37665003
3077.61/3065.50	c cleaning 273159 clauses out of 701717 with flag 180401916/37940000
3105.68/3093.74	c cleaning 273873 clauses out of 704558 with flag 181586635/38216000
3135.98/3124.09	c cleaning 275192 clauses out of 707689 with flag 182865646/38493004
3163.64/3151.60	c cleaning 275961 clauses out of 710493 with flag 184132729/38771000
3196.66/3184.69	c cleaning 277051 clauses out of 713533 with flag 185481230/39050001
3225.62/3213.59	c cleaning 278435 clauses out of 716481 with flag 186764943/39330000
3256.08/3243.62	c cleaning 279051 clauses out of 719046 with flag 188039416/39611000
3287.23/3273.67	c cleaning 279716 clauses out of 721998 with flag 189306361/39893003
3316.26/3302.59	c cleaning 281053 clauses out of 725279 with flag 190557452/40176000
3348.89/3334.82	c cleaning 281917 clauses out of 728229 with flag 191836628/40460003
3380.49/3365.98	c cleaning 283631 clauses out of 731309 with flag 193178639/40745000
3413.66/3399.08	c cleaning 283771 clauses out of 733678 with flag 194582771/41031000
3443.25/3428.48	c cleaning 285142 clauses out of 736909 with flag 195957250/41318002
3475.29/3460.54	c cleaning 286001 clauses out of 739766 with flag 197331727/41606001
3505.21/3490.46	c cleaning 287262 clauses out of 742765 with flag 198620756/41895001
3536.65/3521.76	c cleaning 287573 clauses out of 745502 with flag 199967396/42185000
3568.87/3553.94	c cleaning 288819 clauses out of 748929 with flag 201253430/42476000
3600.06/3585.13	c starts		: 26918
3600.06/3585.14	c timeout
3600.06/3585.15	c conflicts		: 42718221
3600.06/3585.15	c decisions		: 82945655
3600.06/3585.15	c propagations		: 1690114345
3600.06/3585.15	c inspects		: 43927094825
3600.06/3585.15	c shortcuts		: 0
3600.06/3585.15	c learnt literals	: 0
3600.06/3585.15	c learnt binary clauses	: 12
3600.06/3585.15	c learnt ternary clauses	: 104
3600.06/3585.15	c learnt constraints	: 42718221
3600.06/3585.15	c ignored constraints	: 0
3600.06/3585.15	c root simplifications	: 0
3600.06/3585.15	c removed literals (reason simplification)	: 34501035
3600.06/3585.15	c reason swapping (by a shorter reason)	: 0
3600.06/3585.15	c Calls to reduceDB	: 287
3600.06/3585.15	c Number of update (reduction) of LBD	: 15819377
3600.06/3585.15	c Imported unit clauses	: 0
3600.06/3585.15	c No decision after first conflict	: false
3600.06/3585.15	c number of reductions to clauses (during analyze)	: 0
3600.06/3585.15	c number of learned constraints concerned by reduction	: 0
3600.06/3585.15	c number of learning phase by resolution	: 0
3600.06/3585.15	c number of learning phase by cutting planes	: 0
3600.06/3585.15	c number of rounding to 1 operations	: 0
3600.06/3585.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3585.15	c number of reductions of the coefficients by power 2 	: 0
3600.06/3585.15	c number of right shift for reduction by power 2 	: 0
3600.06/3585.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3585.15	c number of ending skipping 	: 0
3600.06/3585.15	c number of internal skipping 	: 0
3600.06/3585.15	c number of derivation steps 	: 0
3600.06/3585.15	c number of skipped derivation steps 	: 0
3600.06/3585.15	c number of remaining unassigned 	: 0
3600.06/3585.15	c number of remaining assigned 	: 0
3600.06/3585.15	c number of falsified literals weakened from reason	: 0
3600.06/3585.15	c number of falsified literals weakened from conflict	: 0
3600.06/3585.15	c time for arithmetic operations	: 0
3600.06/3585.16	c minimum degree of deleted constraints	: null
3600.06/3585.16	c maximum degree of deleted constraints	: null
3600.06/3585.16	c number of deleted constraints	: 0
3600.06/3585.16	c speed (assignments/second)	: 471476.7088130889
3600.06/3585.16	c non guided choices	: 13833501
3600.30/3585.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 702319
3600.30/3585.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
3600.30/3585.31	s UNKNOWN
3600.30/3585.31	c Total wall clock time (in seconds): 3585.112

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541887-1753212797/watcher-4541887-1753212797 -o /tmp/evaluation-result-4541887-1753212797/solver-4541887-1753212797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180196 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541887-1753212797 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541887-1753212797.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=180638, runsolver pid=180635

[startup+0.100056 s]*
/proc/loadavg: 4.17 4.20 4.18 6/327 180656
/proc/meminfo: memFree=84219852/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=18930384 memory=49796 CPUtime=0.13 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 6135 0 0 0 10 3 0 0 20 0 18 0 236959152 19384713216 12449 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4732596 12449 5337 1 0 547297 0
[pid=180638/tid=180640] ppid=180635 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 4894 0 0 0 5 2 0 0 20 0 18 0 236959154 19384713216 12449 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236959157 19384713216 12449 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=18930384 memory=56295059375534 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236959157 19384713216 12449 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49796 KiB

[startup+0.213696 s]*
/proc/loadavg: 4.17 4.20 4.18 7/327 180656
/proc/meminfo: memFree=84211484/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=18930384 memory=58628 CPUtime=0.32 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 6828 0 0 0 28 4 0 0 20 0 18 0 236959152 19384713216 14657 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4732596 14657 5337 1 0 547838 0
[pid=180638/tid=180640] ppid=180635 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 5316 0 0 0 15 2 0 0 20 0 18 0 236959154 19384713216 14657 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=18930384 memory=2622 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236959157 19384713216 14657 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=18930384 memory=55195547730935 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236959157 19384713216 14657 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58628 KiB

[startup+0.313589 s]*
/proc/loadavg: 4.17 4.20 4.18 7/327 180656
/proc/meminfo: memFree=84207448/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=18930384 memory=63420 CPUtime=0.5 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 6914 0 0 0 46 4 0 0 20 0 18 0 236959152 19384713216 15855 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4732596 15855 5401 1 0 547869 0
[pid=180638/tid=180640] ppid=180635 vsize=18930384 memory=-8816469637267759804 CPUtime=0.27 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 5335 0 0 0 25 2 0 0 20 0 18 0 236959154 19384713216 15855 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236959157 19384713216 15855 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236959157 19384713216 15855 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63420 KiB

[startup+0.700375 s]
/proc/loadavg: 4.17 4.20 4.18 7/328 180657
/proc/meminfo: memFree=84178276/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=18996948 memory=89156 CPUtime=1.2 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 10040 0 0 0 115 5 0 0 20 0 19 0 236959152 19452874752 22289 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4749237 22289 5433 1 0 550200 0
[pid=180638/tid=180640] ppid=180635 vsize=18996948 memory=22272 CPUtime=0.5 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 5420 0 0 0 47 3 0 0 20 0 19 0 236959154 19452874752 22289 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236959157 19452874752 22289 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236959157 19452874752 22289 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236959195 19452874752 22289 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89156 KiB

[startup+1.5003 s]
/proc/loadavg: 4.17 4.20 4.18 6/328 180657
/proc/meminfo: memFree=84131144/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=18996948 memory=163844 CPUtime=2.78 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 21287 0 0 0 269 9 0 0 20 0 19 0 236959152 19452874752 40961 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4749237 40961 5433 1 0 553783 0
[pid=180638/tid=180640] ppid=180635 vsize=18996948 memory=0 CPUtime=1.15 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 6651 0 0 0 110 5 0 0 20 0 19 0 236959154 19452874752 40961 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236959157 19452874752 40961 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236959157 19452874752 40961 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236959195 19452874752 40961 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163844 KiB

[startup+3.10556 s]
/proc/loadavg: 4.24 4.21 4.18 5/329 180658
/proc/meminfo: memFree=84058388/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=180684 CPUtime=5.66 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 25492 0 0 0 555 11 0 0 20 0 20 0 236959152 19521036288 45171 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 45171 5497 1 0 554358 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=11008 CPUtime=2.71 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 7156 0 0 0 265 6 0 0 20 0 20 0 236959154 19521036288 45171 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=-8816469637267759804 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 45171 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 45171 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 45171 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180684 KiB

[startup+6.30039 s]
/proc/loadavg: 4.24 4.21 4.18 6/329 180658
/proc/meminfo: memFree=83612508/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=489888 CPUtime=9.5 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 26194 0 0 0 930 20 0 0 20 0 20 0 236959152 19521036288 122472 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 122472 5497 1 0 554445 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 7517 0 0 0 574 14 0 0 20 0 20 0 236959154 19521036288 122472 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 122472 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 122472 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=172184 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 122472 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 489888 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.21 4.18 5/305 180687
/proc/meminfo: memFree=90338072/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=1315324 CPUtime=16.17 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 31302 0 0 0 1575 42 0 0 20 0 20 0 236959152 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 328831 5497 1 0 554445 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=172184 CPUtime=12.23 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 9218 0 0 0 1189 34 0 0 20 0 20 0 236959154 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=1155488 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315324 KiB

[startup+25.5004 s]
/proc/loadavg: 4.40 4.25 4.20 5/329 180792
/proc/meminfo: memFree=99292492/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=1315324 CPUtime=28.95 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 34100 0 0 0 2845 50 0 0 20 0 20 0 236959152 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 328831 5497 1 0 554445 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=0 CPUtime=24.92 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 10568 0 0 0 2450 42 0 0 20 0 20 0 236959154 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=1315324 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 328831 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315324 KiB

[startup+51.1132 s]
/proc/loadavg: 4.27 4.23 4.19 5/328 180793
/proc/meminfo: memFree=97174048/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=1331768 CPUtime=54.51 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 37260 0 0 0 5382 69 0 0 20 0 20 0 236959152 19521036288 332942 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 332942 5497 1 0 554445 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=1331768 CPUtime=50.16 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 12147 0 0 0 4957 59 0 0 20 0 20 0 236959154 19521036288 332942 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=1327652 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 332942 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0

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

Current children cumulated memory: 4405108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.37 4.32 5/328 180971
/proc/meminfo: memFree=53732200/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=4407156 CPUtime=3356.42 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 157252 0 0 0 334229 1413 0 0 20 0 20 0 236959152 19521036288 1101789 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 1101789 5529 1 0 1116216 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=-8816469637267759804 CPUtime=3304.95 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 78218 0 0 0 329286 1209 0 0 20 0 20 0 236959154 19521036288 1101789 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=4405492 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1101789 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=4405492 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 1975 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1101789 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 1101789 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3356.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4407156 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.37 4.32 5/327 180973
/proc/meminfo: memFree=53321916/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=4407796 CPUtime=3416.99 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 158454 0 0 0 340266 1433 0 0 20 0 20 0 236959152 19521036288 1101949 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 1101949 5529 1 0 1116375 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=4405492 CPUtime=3364.31 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 78409 0 0 0 335204 1227 0 0 20 0 20 0 236959154 19521036288 1101949 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=4405492 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1101949 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=4407796 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2055 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1101949 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=4407796 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 1101949 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3416.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4407796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.34 4.32 5/328 180976
/proc/meminfo: memFree=51941944/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=4407924 CPUtime=3477.16 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 158786 0 0 0 346261 1455 0 0 20 0 20 0 236959152 19521036288 1101981 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 1101981 5529 1 0 1116375 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=4405492 CPUtime=3423.89 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 78666 0 0 0 341144 1245 0 0 20 0 20 0 236959154 19521036288 1101981 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1101981 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=4407924 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2056 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1101981 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=16368 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 1101981 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3477.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4407924 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.33 4.31 5/327 181044
/proc/meminfo: memFree=69259108/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=4408052 CPUtime=3537.24 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 161197 0 0 0 352247 1477 0 0 20 0 20 0 236959152 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 1102013 5529 1 0 1116375 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=4407924 CPUtime=3483.38 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 80423 0 0 0 347074 1264 0 0 20 0 20 0 236959154 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=4407924 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2056 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3537.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4408052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.31 4.31 5/327 181180
/proc/meminfo: memFree=80528148/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=4408052 CPUtime=3597.25 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 162882 0 0 0 358226 1499 0 0 20 0 20 0 236959152 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 1102013 5529 1 0 1116375 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=4408052 CPUtime=3543.06 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 81942 0 0 0 353023 1283 0 0 20 0 20 0 236959154 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=4408052 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=22272 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2101 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=4408052 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3597.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4408052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.11 s]
/proc/loadavg: 4.37 4.33 4.31 5/327 181180
/proc/meminfo: memFree=80055540/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19063512 memory=4408052 CPUtime=3600.06 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 162895 0 0 0 358505 1501 0 0 20 0 20 0 236959152 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4765878 1102013 5529 1 0 1116375 0
[pid=180638/tid=180640] ppid=180635 vsize=19063512 memory=4407924 CPUtime=3545.86 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) R 180635 180638 180184 0 -1 4194368 81955 0 0 0 353301 1285 0 0 20 0 20 0 236959154 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19063512 memory=4407924 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19063512 memory=3104 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2101 0 0 0 0 0 0 0 20 0 20 0 236959157 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180657] ppid=180635 vsize=19063512 memory=4362656 CPUtime=0 cores=4,6
/proc/180638/task/180657/stat : 180657 (Timer-0) S 180635 180638 180184 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236959195 19521036288 1102013 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4408052 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.3 s, system=15.0539 s

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

[startup+3585.21 s]
/proc/loadavg: 4.37 4.33 4.31 5/327 181180
/proc/meminfo: memFree=80055540/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19263204 memory=4408692 CPUtime=3600.2 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 165501 0 0 0 358518 1502 0 0 20 0 21 0 236959152 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4815801 1102173 5529 1 0 1117294 0
[pid=180638/tid=180640] ppid=180635 vsize=19263204 memory=-8816469637267759804 CPUtime=3545.88 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) S 180635 180638 180184 0 -1 4194368 82394 0 0 0 353303 1285 0 0 20 0 21 0 236959154 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19263204 memory=4408052 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 236959157 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19263204 memory=4408052 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2101 0 0 0 0 0 0 0 20 0 21 0 236959157 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4408692 KiB

[startup+3585.3 s]
/proc/loadavg: 4.37 4.33 4.31 5/327 181180
/proc/meminfo: memFree=80055540/131382116 swapFree=33005528/33010684
[pid=180638] ppid=180635 vsize=19263204 memory=4408692 CPUtime=3600.3 cores=4,6
/proc/180638/stat : 180638 (java) S 180635 180638 180184 0 -1 4194304 165546 0 0 0 358528 1502 0 0 20 0 21 0 236959152 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
/proc/180638/statm: 4815801 1102173 5529 1 0 1117294 0
[pid=180638/tid=180640] ppid=180635 vsize=19263204 memory=4407924 CPUtime=3545.88 cores=4,6
/proc/180638/task/180640/stat : 180640 (java) S 180635 180638 180184 0 -1 4194368 82394 0 0 0 353303 1285 0 0 20 0 21 0 236959154 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180649] ppid=180635 vsize=19263204 memory=4407924 CPUtime=0 cores=4,6
/proc/180638/task/180649/stat : 180649 (Finalizer) S 180635 180638 180184 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 236959157 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
[pid=180638/tid=180656] ppid=180635 vsize=19263204 memory=3104 CPUtime=0 cores=4,6
/proc/180638/task/180656/stat : 180656 (Common-Cleaner) S 180635 180638 180184 0 -1 4194368 2101 0 0 0 0 0 0 0 20 0 21 0 236959157 19725520896 1102173 18446744073709551615 94528152014848 94528152018544 140725713747056 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94528152026360 94528152027152 94528158892032 140725713754452 140725713754596 140725713754596 140725713760200 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4408692 KiB

Child status: 143

Real time (s): 3585.36
CPU time (s): 3600.35
CPU user time (s): 3585.3
CPU system time (s): 15.0539
CPU usage (%): 100.418
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4408692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.3
system time used= 15.0539
maximum resident set size= 4408820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21526576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115498
involuntary context switches= 13662


# summary of solver processes directly reported to runsolver:
#   pid: 180638
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3585.3
#   total CPU system time (s): 15.0539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6768 second user time and 35.8896 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-22 21:33:18
IDJOB=4541887
IDBENCH=163529
IDSOLVER=3364
FILE ID=nodeC010/4541887-1753212797
RUNJOBID= nodeC010-1753209221-180196
SLURM_JOB_ID= 9687770
Free space on /tmp= 415812 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541887-1753212797/watcher-4541887-1753212797 -o /tmp/evaluation-result-4541887-1753212797/solver-4541887-1753212797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753209221-180196 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541887-1753212797 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541887-1753212797.opb

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

MD5SUM BENCH= b6349d7dce380ae2e08847675885e6d3
RANDOM SEED=1491964340

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        84246536 kB
MemAvailable:   119682220 kB
Buffers:             228 kB
Cached:         36187752 kB
SwapCached:         4300 kB
Active:         11085204 kB
Inactive:       35351144 kB
Active(anon):   10221600 kB
Inactive(anon):    48712 kB
Active(file):     863604 kB
Inactive(file): 35302432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             53120 kB
Writeback:             0 kB
AnonPages:      10247324 kB
Mapped:           124232 kB
Shmem:             21832 kB
KReclaimable:     218552 kB
Slab:             310796 kB
SReclaimable:     218552 kB
SUnreclaim:        92244 kB
KernelStack:        5024 kB
PageTables:        23836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11945224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9947136 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 422068 MiB
End job on nodeC010 at 2025-07-22 22:33:03