Trace number 4541886

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 2025-06-06? (TO) 3600.23 3600.6

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.11/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4541886-1753212428.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  no objective function found
0.29/0.25	c ... done. Wall clock time 0.097s.
0.29/0.25	c declared #vars     6208
0.29/0.25	c #constraints  6401
0.29/0.25	c constraints type 
0.29/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2432
0.29/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
0.29/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3968
0.29/0.25	c 6401 constraints processed.
1.25/0.76	c cleaning 2500 clauses out of 5003 with flag 29764/5003
1.64/0.99	c cleaning 4229 clauses out of 8502 with flag 65047/11002
2.03/1.17	c cleaning 5611 clauses out of 11272 with flag 105226/18001
2.60/1.46	c cleaning 6814 clauses out of 13660 with flag 156044/26000
3.11/1.74	c cleaning 7907 clauses out of 15846 with flag 215168/35000
3.52/2.00	c cleaning 8956 clauses out of 17939 with flag 275448/45000
3.91/2.32	c cleaning 9979 clauses out of 19983 with flag 343170/56000
4.21/2.63	c cleaning 10986 clauses out of 22004 with flag 406715/68000
4.51/2.96	c cleaning 11946 clauses out of 24018 with flag 486533/81000
5.02/3.43	c cleaning 13022 clauses out of 26072 with flag 581227/95000
5.41/3.86	c cleaning 13995 clauses out of 28053 with flag 670880/110003
5.81/4.26	c cleaning 14994 clauses out of 30058 with flag 760833/126003
6.33/4.70	c cleaning 16007 clauses out of 32061 with flag 854460/143000
6.78/5.19	c cleaning 16995 clauses out of 34056 with flag 957628/161002
7.57/5.95	c cleaning 18007 clauses out of 36061 with flag 1083975/180002
8.17/6.52	c cleaning 19001 clauses out of 38052 with flag 1193232/200000
8.67/7.08	c cleaning 19989 clauses out of 40051 with flag 1306840/221000
9.27/7.69	c cleaning 20994 clauses out of 42063 with flag 1429590/243001
9.96/8.31	c cleaning 21918 clauses out of 44071 with flag 1559022/266003
10.56/8.97	c cleaning 23061 clauses out of 46150 with flag 1690397/290000
11.27/9.65	c cleaning 24019 clauses out of 48089 with flag 1837693/315000
11.97/10.36	c cleaning 24996 clauses out of 50070 with flag 1979066/341000
12.78/11.17	c cleaning 26007 clauses out of 52074 with flag 2129037/368000
13.57/11.92	c cleaning 27004 clauses out of 54069 with flag 2280856/396002
14.37/12.72	c cleaning 27900 clauses out of 56065 with flag 2435611/425002
15.16/13.55	c cleaning 29026 clauses out of 58163 with flag 2602670/455000
16.06/14.41	c cleaning 30056 clauses out of 60139 with flag 2766905/486002
17.16/15.56	c cleaning 30971 clauses out of 62081 with flag 2958146/518000
18.29/16.60	c cleaning 32037 clauses out of 64110 with flag 3139541/551000
19.48/17.89	c cleaning 33029 clauses out of 66074 with flag 3347417/585001
20.58/18.99	c cleaning 33953 clauses out of 68047 with flag 3538343/620003
21.68/20.07	c cleaning 34969 clauses out of 70092 with flag 3734037/656001
22.78/21.13	c cleaning 36034 clauses out of 72125 with flag 3929863/693003
24.07/22.41	c cleaning 37007 clauses out of 74088 with flag 4143369/731000
25.19/23.56	c cleaning 37995 clauses out of 76082 with flag 4347910/770001
26.38/24.72	c cleaning 39019 clauses out of 78086 with flag 4557157/810000
27.77/26.12	c cleaning 39940 clauses out of 80067 with flag 4781660/851000
29.16/27.50	c cleaning 41031 clauses out of 82128 with flag 4994177/893001
30.70/29.08	c cleaning 41980 clauses out of 84097 with flag 5213099/936001
32.49/30.85	c cleaning 43038 clauses out of 86116 with flag 5447982/980000
34.19/32.59	c cleaning 43946 clauses out of 88078 with flag 5695107/1025000
35.69/34.03	c cleaning 45009 clauses out of 90133 with flag 5926099/1071001
37.62/35.93	c cleaning 45983 clauses out of 92124 with flag 6175947/1118001
39.31/37.64	c cleaning 46984 clauses out of 94140 with flag 6434326/1166000
40.91/39.24	c cleaning 48047 clauses out of 96156 with flag 6692069/1215000
42.71/41.03	c cleaning 49029 clauses out of 98110 with flag 6963381/1265001
44.81/43.11	c cleaning 49992 clauses out of 100081 with flag 7255795/1316001
48.22/46.50	c cleaning 51012 clauses out of 102088 with flag 7570230/1368000
50.01/48.37	c cleaning 52018 clauses out of 104077 with flag 7831834/1421001
51.90/50.21	c cleaning 52981 clauses out of 106059 with flag 8100326/1475001
54.23/52.53	c cleaning 53989 clauses out of 108078 with flag 8400172/1530001
56.42/54.75	c cleaning 55002 clauses out of 110088 with flag 8685342/1586000
58.52/56.81	c cleaning 56025 clauses out of 112088 with flag 8978234/1643002
61.21/59.58	c cleaning 56856 clauses out of 114061 with flag 9288213/1701000
63.63/61.90	c cleaning 58051 clauses out of 116205 with flag 9608287/1760000
65.73/64.09	c cleaning 58960 clauses out of 118155 with flag 9908056/1820001
67.82/66.13	c cleaning 60058 clauses out of 120194 with flag 10210691/1881000
70.03/68.37	c cleaning 61045 clauses out of 122136 with flag 10527499/1943000
72.71/71.04	c cleaning 61981 clauses out of 124091 with flag 10846029/2006000
76.01/74.31	c cleaning 62975 clauses out of 126110 with flag 11192910/2070000
79.83/78.17	c cleaning 63067 clauses out of 128135 with flag 11569889/2135000
82.32/80.65	c cleaning 64878 clauses out of 131070 with flag 11901109/2201002
85.41/83.75	c cleaning 66029 clauses out of 133190 with flag 12250863/2268000
89.44/87.72	c cleaning 67180 clauses out of 135161 with flag 12628440/2336000
92.52/90.82	c cleaning 67935 clauses out of 136983 with flag 12981228/2405002
95.21/93.59	c cleaning 68197 clauses out of 139048 with flag 13322640/2475002
98.01/96.32	c cleaning 69781 clauses out of 141849 with flag 13674924/2546000
100.75/99.06	c cleaning 70399 clauses out of 144069 with flag 14024796/2618001
103.74/102.03	c cleaning 71448 clauses out of 146669 with flag 14389001/2691000
106.93/105.22	c cleaning 72411 clauses out of 149222 with flag 14790163/2765001
109.86/108.13	c cleaning 73586 clauses out of 151810 with flag 15160046/2840000
112.65/110.90	c cleaning 73924 clauses out of 154225 with flag 15519095/2916001
115.75/114.08	c cleaning 75601 clauses out of 157300 with flag 15873680/2993000
118.94/117.25	c cleaning 76712 clauses out of 159700 with flag 16266822/3071001
122.93/121.20	c cleaning 77168 clauses out of 161988 with flag 16678839/3150001
127.16/125.33	c cleaning 78706 clauses out of 164819 with flag 17085585/3230000
130.46/128.68	c cleaning 79273 clauses out of 167114 with flag 17455501/3311001
133.65/131.84	c cleaning 80656 clauses out of 169840 with flag 17850564/3393000
137.34/135.53	c cleaning 81095 clauses out of 172184 with flag 18266516/3476000
141.13/139.30	c cleaning 82494 clauses out of 175089 with flag 18713794/3560000
144.67/142.84	c cleaning 83505 clauses out of 177597 with flag 19143478/3645002
148.06/146.23	c cleaning 84622 clauses out of 180090 with flag 19565242/3731000
151.45/149.69	c cleaning 85751 clauses out of 182469 with flag 19964484/3818001
155.24/153.45	c cleaning 86897 clauses out of 184719 with flag 20415023/3906002
159.23/157.47	c cleaning 87407 clauses out of 186821 with flag 20867498/3995001
163.42/161.63	c cleaning 88662 clauses out of 189414 with flag 21327077/4085001
167.57/165.73	c cleaning 89599 clauses out of 191751 with flag 21761813/4176000
171.27/169.47	c cleaning 90118 clauses out of 194153 with flag 22206327/4268001
175.36/173.50	c cleaning 91625 clauses out of 197034 with flag 22656391/4361000
179.75/177.90	c cleaning 92836 clauses out of 199409 with flag 23124434/4455000
184.24/182.46	c cleaning 93176 clauses out of 201573 with flag 23606895/4550000
188.33/186.58	c cleaning 94605 clauses out of 204397 with flag 24073694/4646000
193.10/191.22	c cleaning 95154 clauses out of 206792 with flag 24536935/4743000
197.49/195.66	c cleaning 96760 clauses out of 209640 with flag 24996154/4841002
202.79/200.99	c cleaning 97837 clauses out of 211879 with flag 25513998/4940001
207.28/205.41	c cleaning 98720 clauses out of 214041 with flag 25996194/5040000
211.76/209.90	c cleaning 99547 clauses out of 216321 with flag 26486541/5141000
216.55/214.77	c cleaning 100404 clauses out of 218775 with flag 26976923/5243001
221.89/220.04	c cleaning 100988 clauses out of 221372 with flag 27478591/5346002
228.28/226.45	c cleaning 102714 clauses out of 224382 with flag 27994646/5450000
233.97/232.19	c cleaning 103420 clauses out of 226669 with flag 28564648/5555001
239.25/237.48	c cleaning 104719 clauses out of 229249 with flag 29062801/5661001
244.04/242.28	c cleaning 105466 clauses out of 231530 with flag 29574180/5768001
249.32/247.55	c cleaning 106029 clauses out of 234063 with flag 30095096/5876000
255.61/253.70	c cleaning 107536 clauses out of 237035 with flag 30656609/5985001
261.19/259.37	c cleaning 108498 clauses out of 239499 with flag 31207736/6095001
266.48/264.61	c cleaning 109374 clauses out of 242000 with flag 31751877/6206000
272.67/270.80	c cleaning 110646 clauses out of 244626 with flag 32314374/6318000
277.86/276.04	c cleaning 111120 clauses out of 246980 with flag 32842551/6431000
283.64/281.86	c cleaning 112221 clauses out of 249860 with flag 33401051/6545000
288.93/287.12	c cleaning 113531 clauses out of 252640 with flag 33940233/6660001
294.41/292.60	c cleaning 114698 clauses out of 255110 with flag 34486912/6776002
299.81/298.05	c cleaning 115314 clauses out of 257411 with flag 35047954/6893001
305.37/303.59	c cleaning 116180 clauses out of 260096 with flag 35590619/7011000
311.66/309.89	c cleaning 117508 clauses out of 262916 with flag 36168188/7130000
317.24/315.46	c cleaning 118562 clauses out of 265409 with flag 36755643/7250001
322.83/321.03	c cleaning 119447 clauses out of 267846 with flag 37327933/7371000
329.21/327.47	c cleaning 120461 clauses out of 270399 with flag 37948834/7493000
335.70/333.91	c cleaning 121627 clauses out of 272938 with flag 38568041/7616000
341.88/340.13	c cleaning 122044 clauses out of 275313 with flag 39166809/7740002
348.26/346.47	c cleaning 123276 clauses out of 278271 with flag 39758517/7865004
354.44/352.60	c cleaning 124588 clauses out of 280995 with flag 40363030/7991004
360.73/358.97	c cleaning 125022 clauses out of 283403 with flag 40985965/8118000
367.82/366.02	c cleaning 126636 clauses out of 286381 with flag 41637738/8246000
375.09/373.35	c cleaning 127801 clauses out of 288747 with flag 42310920/8375002
382.38/380.64	c cleaning 128204 clauses out of 290945 with flag 42933857/8505001
389.76/388.03	c cleaning 129350 clauses out of 293740 with flag 43573795/8636000
396.54/394.82	c cleaning 130539 clauses out of 296390 with flag 44211239/8768000
404.24/402.10	c cleaning 131207 clauses out of 298851 with flag 44842574/8901000
411.71/409.62	c cleaning 132594 clauses out of 301645 with flag 45552713/9035001
418.89/416.80	c cleaning 133332 clauses out of 304052 with flag 46181152/9170002
426.37/424.35	c cleaning 134357 clauses out of 306719 with flag 46817604/9306001
436.05/434.05	c cleaning 135877 clauses out of 309362 with flag 47538861/9443001
444.13/442.14	c cleaning 136224 clauses out of 311486 with flag 48199148/9581002
451.71/449.70	c cleaning 137404 clauses out of 314260 with flag 48871372/9720000
459.66/457.68	c cleaning 138215 clauses out of 316856 with flag 49542285/9860000
468.34/466.37	c cleaning 139165 clauses out of 319641 with flag 50265190/10001000
476.22/474.27	c cleaning 140401 clauses out of 322476 with flag 50966956/10143000
484.21/482.29	c cleaning 141624 clauses out of 325075 with flag 51642827/10286000
493.18/491.24	c cleaning 142315 clauses out of 327453 with flag 52338354/10430002
501.97/500.07	c cleaning 143588 clauses out of 330138 with flag 53029658/10575002
510.06/508.17	c cleaning 144455 clauses out of 332548 with flag 53706293/10721000
520.32/518.42	c cleaning 145067 clauses out of 335095 with flag 54450455/10868002
529.80/527.94	c cleaning 146185 clauses out of 338028 with flag 55174477/11016002
538.38/536.47	c cleaning 147182 clauses out of 340841 with flag 55884879/11165000
546.66/544.71	c cleaning 147998 clauses out of 343659 with flag 56576330/11315000
556.24/554.31	c cleaning 149560 clauses out of 346661 with flag 57316089/11466000
566.42/564.58	c cleaning 150586 clauses out of 349102 with flag 58056388/11618001
575.30/573.41	c cleaning 151035 clauses out of 351515 with flag 58768344/11771000
584.08/582.29	c cleaning 151848 clauses out of 354480 with flag 59516128/11925000
594.66/592.83	c cleaning 153301 clauses out of 357632 with flag 60346309/12080000
603.72/601.80	c cleaning 154197 clauses out of 360331 with flag 61068648/12236000
613.01/611.19	c cleaning 155625 clauses out of 363134 with flag 61798147/12393000
623.09/621.21	c cleaning 156320 clauses out of 365512 with flag 62542769/12551003
632.36/630.54	c cleaning 156861 clauses out of 368189 with flag 63279938/12710000
645.13/643.33	c cleaning 158346 clauses out of 371328 with flag 64097485/12870000
655.11/653.38	c cleaning 159574 clauses out of 373984 with flag 64909799/13031002
664.60/662.78	c cleaning 160390 clauses out of 376408 with flag 65683780/13193000
673.58/671.78	c cleaning 161132 clauses out of 379020 with flag 66457874/13356002
683.76/681.93	c cleaning 162331 clauses out of 381887 with flag 67221591/13520001
694.84/693.09	c cleaning 163399 clauses out of 384556 with flag 68045974/13685001
708.70/706.99	c cleaning 164290 clauses out of 387157 with flag 68890010/13851001
718.28/716.50	c cleaning 165297 clauses out of 389866 with flag 69665738/14018000
728.68/726.85	c cleaning 166167 clauses out of 392569 with flag 70451613/14186000
739.06/737.26	c cleaning 167272 clauses out of 395402 with flag 71229249/14355000
749.73/747.90	c cleaning 167998 clauses out of 398130 with flag 72036880/14525000
759.71/757.97	c cleaning 169086 clauses out of 401134 with flag 72863290/14696002
770.29/768.52	c cleaning 170145 clauses out of 404046 with flag 73679432/14868000
780.57/778.88	c cleaning 171400 clauses out of 406902 with flag 74521936/15041001
792.24/790.59	c cleaning 172324 clauses out of 409501 with flag 75364315/15215000
804.32/802.61	c cleaning 172810 clauses out of 412177 with flag 76202160/15390000
816.28/814.51	c cleaning 174527 clauses out of 415368 with flag 77039173/15566001
827.25/825.54	c cleaning 175546 clauses out of 417842 with flag 77899486/15743002
841.33/839.62	c cleaning 176489 clauses out of 420297 with flag 78787267/15921003
851.90/850.27	c cleaning 176825 clauses out of 422806 with flag 79643200/16100001
862.98/861.30	c cleaning 178001 clauses out of 425980 with flag 80525975/16280000
876.15/874.56	c cleaning 179377 clauses out of 428979 with flag 81393397/16461000
888.13/886.45	c cleaning 180261 clauses out of 431606 with flag 82262185/16643004
899.61/897.98	c cleaning 181035 clauses out of 434342 with flag 83114241/16826001
911.29/909.60	c cleaning 181948 clauses out of 437307 with flag 83950965/17010001
925.25/923.65	c cleaning 183011 clauses out of 440360 with flag 84869016/17195002
936.53/934.97	c cleaning 184196 clauses out of 443348 with flag 85726309/17381001
949.29/947.73	c cleaning 184693 clauses out of 446153 with flag 86626520/17568002
961.97/960.32	c cleaning 186268 clauses out of 449458 with flag 87497511/17756000
974.74/973.17	c cleaning 187241 clauses out of 452190 with flag 88412403/17945000
987.61/986.06	c cleaning 188206 clauses out of 454949 with flag 89290776/18135000
1003.47/1001.94	c cleaning 188965 clauses out of 457743 with flag 90238055/18326000
1017.04/1015.59	c cleaning 190040 clauses out of 460779 with flag 91138611/18518001
1031.91/1030.40	c cleaning 191016 clauses out of 463741 with flag 92059721/18711003
1046.07/1044.60	c cleaning 191879 clauses out of 466723 with flag 93063493/18905001
1059.24/1057.84	c cleaning 193238 clauses out of 469845 with flag 93997825/19100002
1073.75/1071.81	c cleaning 194126 clauses out of 472606 with flag 94900545/19296001
1087.02/1085.18	c cleaning 194647 clauses out of 475480 with flag 95837549/19493001
1100.78/1098.92	c cleaning 196134 clauses out of 478832 with flag 96733960/19691000
1115.04/1113.29	c cleaning 197153 clauses out of 481699 with flag 97666938/19890001
1131.50/1129.75	c cleaning 197991 clauses out of 484545 with flag 98624219/20090000
1145.56/1143.82	c cleaning 199102 clauses out of 487555 with flag 99581775/20291001
1159.52/1157.88	c cleaning 200075 clauses out of 490453 with flag 100545750/20493001
1174.55/1172.87	c cleaning 201282 clauses out of 493378 with flag 101492006/20696001
1188.32/1186.67	c cleaning 201157 clauses out of 496095 with flag 102431132/20900000
1202.79/1201.18	c cleaning 203183 clauses out of 499940 with flag 103364318/21105002
1216.96/1215.31	c cleaning 204173 clauses out of 502755 with flag 104277109/21311000
1232.32/1230.77	c cleaning 205393 clauses out of 505583 with flag 105240232/21518001
1247.18/1245.68	c cleaning 205824 clauses out of 508189 with flag 106231226/21726000
1261.95/1260.42	c cleaning 206952 clauses out of 511367 with flag 107172482/21935002
1277.42/1275.83	c cleaning 208107 clauses out of 514414 with flag 108156939/22145001
1292.80/1291.28	c cleaning 209389 clauses out of 517306 with flag 109120318/22356000
1307.56/1306.10	c cleaning 210023 clauses out of 519917 with flag 110092784/22568000
1324.62/1323.14	c cleaning 211175 clauses out of 522894 with flag 111081091/22781000
1340.68/1339.20	c cleaning 211860 clauses out of 525719 with flag 112132410/22995000
1359.73/1358.36	c cleaning 213063 clauses out of 528859 with flag 113201619/23210000
1375.29/1373.91	c cleaning 213974 clauses out of 531796 with flag 114157248/23426000
1390.64/1389.35	c cleaning 214534 clauses out of 534822 with flag 115110494/23643000
1407.35/1405.90	c cleaning 216102 clauses out of 538289 with flag 116154360/23861001
1423.62/1422.20	c cleaning 217200 clauses out of 541186 with flag 117160917/24080000
1442.77/1441.40	c cleaning 218009 clauses out of 543988 with flag 118222730/24300002
1458.64/1457.36	c cleaning 218947 clauses out of 546977 with flag 119223092/24521000
1474.50/1473.24	c cleaning 220146 clauses out of 550030 with flag 120225090/24743000
1491.37/1490.17	c cleaning 221398 clauses out of 552884 with flag 121271931/24966000
1509.33/1508.14	c cleaning 222084 clauses out of 555487 with flag 122298373/25190001
1526.79/1525.60	c cleaning 223080 clauses out of 558405 with flag 123310028/25415003
1544.50/1543.20	c cleaning 223965 clauses out of 561322 with flag 124339072/25641000
1561.67/1560.47	c cleaning 224858 clauses out of 564357 with flag 125348520/25868000
1581.02/1579.84	c cleaning 226245 clauses out of 567499 with flag 126376058/26096000
1599.38/1598.26	c cleaning 227494 clauses out of 570255 with flag 127406047/26325001
1617.25/1616.13	c cleaning 228334 clauses out of 572760 with flag 128432204/26555000
1635.80/1634.74	c cleaning 229303 clauses out of 575426 with flag 129553138/26786000
1653.07/1652.07	c cleaning 230196 clauses out of 578123 with flag 130606403/27018000
1670.73/1669.77	c cleaning 231048 clauses out of 580927 with flag 131636715/27251000
1688.80/1687.78	c cleaning 231620 clauses out of 583882 with flag 132691933/27485003
1707.65/1706.61	c cleaning 233377 clauses out of 587259 with flag 133746772/27720000
1728.71/1727.76	c cleaning 234361 clauses out of 589882 with flag 134899703/27956000
1747.47/1746.55	c cleaning 234719 clauses out of 592521 with flag 136003151/28193000
1766.22/1765.30	c cleaning 236118 clauses out of 595802 with flag 137086269/28431000
1785.78/1784.93	c cleaning 237198 clauses out of 598684 with flag 138183275/28670000
1804.53/1803.78	c cleaning 237752 clauses out of 601487 with flag 139278094/28910001
1825.39/1824.61	c cleaning 239102 clauses out of 604734 with flag 140351157/29151000
1844.36/1843.57	c cleaning 240127 clauses out of 607632 with flag 141397646/29393000
1867.50/1866.71	c cleaning 241230 clauses out of 610508 with flag 142548791/29636003
1886.56/1885.82	c cleaning 241827 clauses out of 613275 with flag 143653855/29880000
1908.51/1907.80	c cleaning 243308 clauses out of 616448 with flag 144813200/30125000
1927.66/1927.04	c cleaning 244048 clauses out of 619140 with flag 145947023/30371000
1947.61/1947.03	c cleaning 244868 clauses out of 622092 with flag 147052283/30618000
1968.55/1968.08	c cleaning 245882 clauses out of 625225 with flag 148189305/30866001
1990.79/1990.37	c cleaning 247391 clauses out of 628343 with flag 149336465/31115001
2011.59/2011.04	c cleaning 247990 clauses out of 630951 with flag 150464650/31365000
2032.23/2031.70	c cleaning 249076 clauses out of 633962 with flag 151591686/31616001
2055.59/2055.16	c cleaning 250340 clauses out of 636885 with flag 152737317/31868000
2080.53/2080.18	c cleaning 251305 clauses out of 639545 with flag 154007903/32121000
2100.28/2099.92	c cleaning 252117 clauses out of 642241 with flag 155144155/32375001
2123.03/2122.71	c cleaning 253321 clauses out of 645124 with flag 156276523/32630001
2145.67/2145.46	c cleaning 254065 clauses out of 647805 with flag 157493875/32886003
2168.17/2167.89	c cleaning 255271 clauses out of 650737 with flag 158677859/33143000
2189.72/2189.47	c cleaning 256076 clauses out of 653466 with flag 159827690/33401000
2212.76/2212.55	c cleaning 256924 clauses out of 656392 with flag 161022688/33660002
2235.82/2235.68	c cleaning 258110 clauses out of 659469 with flag 162172757/33920003
2261.57/2261.41	c cleaning 259258 clauses out of 662357 with flag 163355013/34181001
2288.80/2288.71	c cleaning 260675 clauses out of 665098 with flag 164582980/34443000
2315.48/2315.36	c cleaning 261280 clauses out of 667423 with flag 165787387/34706000
2337.33/2337.22	c cleaning 261918 clauses out of 670144 with flag 166981850/34970001
2361.77/2361.78	c cleaning 263541 clauses out of 673225 with flag 168178206/35235000
2385.33/2385.33	c cleaning 264065 clauses out of 675684 with flag 169381923/35501000
2408.77/2408.84	c cleaning 265190 clauses out of 678619 with flag 170594409/35768000
2434.34/2433.84	c cleaning 266029 clauses out of 681429 with flag 171756851/36036000
2458.00/2457.57	c cleaning 266938 clauses out of 684400 with flag 172962376/36305000
2480.64/2480.21	c cleaning 268212 clauses out of 687463 with flag 174201100/36575001
2504.89/2504.56	c cleaning 268792 clauses out of 690251 with flag 175429789/36846001
2535.11/2534.88	c cleaning 270511 clauses out of 693459 with flag 176662729/37118001
2559.61/2559.31	c cleaning 271326 clauses out of 695948 with flag 177892992/37391001
2583.26/2583.05	c cleaning 271904 clauses out of 698624 with flag 179135166/37665003
2607.50/2607.39	c cleaning 273159 clauses out of 701717 with flag 180401916/37940000
2631.34/2631.24	c cleaning 273873 clauses out of 704558 with flag 181586635/38216000
2658.19/2658.11	c cleaning 275192 clauses out of 707689 with flag 182865646/38493004
2682.73/2682.72	c cleaning 275961 clauses out of 710493 with flag 184132729/38771000
2711.36/2711.38	c cleaning 277051 clauses out of 713533 with flag 185481230/39050001
2737.60/2737.62	c cleaning 278435 clauses out of 716481 with flag 186764943/39330000
2763.05/2763.11	c cleaning 279051 clauses out of 719046 with flag 188039416/39611000
2789.69/2789.85	c cleaning 279716 clauses out of 721998 with flag 189306361/39893003
2814.63/2814.84	c cleaning 281053 clauses out of 725279 with flag 190557452/40176000
2843.87/2844.12	c cleaning 281917 clauses out of 728229 with flag 191836628/40460003
2871.70/2872.09	c cleaning 283631 clauses out of 731309 with flag 193178639/40745000
2900.12/2900.33	c cleaning 283771 clauses out of 733678 with flag 194582771/41031000
2926.76/2927.07	c cleaning 285142 clauses out of 736909 with flag 195957250/41318002
2954.59/2954.90	c cleaning 286001 clauses out of 739766 with flag 197331727/41606001
2982.13/2982.51	c cleaning 287262 clauses out of 742765 with flag 198620756/41895001
3010.57/3011.06	c cleaning 287573 clauses out of 745502 with flag 199967396/42185000
3039.20/3039.73	c cleaning 288819 clauses out of 748929 with flag 201253430/42476000
3071.33/3071.99	c cleaning 290519 clauses out of 752110 with flag 202617350/42768000
3097.08/3097.57	c cleaning 290760 clauses out of 754591 with flag 203944092/43061000
3132.70/3133.20	c cleaning 292068 clauses out of 757831 with flag 205402804/43355000
3160.33/3160.92	c cleaning 292956 clauses out of 760765 with flag 206721761/43650002
3188.66/3189.33	c cleaning 293950 clauses out of 763807 with flag 208084035/43946000
3219.30/3220.07	c cleaning 295289 clauses out of 766857 with flag 209494861/44243000
3250.92/3251.79	c cleaning 296380 clauses out of 769568 with flag 210881253/44541000
3283.33/3284.25	c cleaning 297034 clauses out of 772189 with flag 212334353/44840001
3312.02/3312.82	c cleaning 298096 clauses out of 775155 with flag 213656102/45140001
3341.74/3342.63	c cleaning 298992 clauses out of 778058 with flag 214966595/45441000
3375.37/3376.33	c cleaning 300281 clauses out of 781068 with flag 216435927/45743002
3409.57/3410.66	c cleaning 300814 clauses out of 783787 with flag 217920934/46046002
3443.78/3444.10	c cleaning 302021 clauses out of 786972 with flag 219351317/46350001
3473.31/3473.61	c cleaning 303066 clauses out of 789954 with flag 220751566/46655004
3503.25/3503.68	c cleaning 304030 clauses out of 792885 with flag 222127673/46961001
3530.88/3531.33	c cleaning 305020 clauses out of 795855 with flag 223537398/47268001
3564.90/3565.48	c cleaning 306155 clauses out of 798834 with flag 224954146/47576000
3597.32/3597.75	c cleaning 307074 clauses out of 801681 with flag 226387449/47885002
3600.09/3600.51	c starts		: 29623
3600.09/3600.51	c timeout
3600.09/3600.51	c conflicts		: 47920739
3600.09/3600.51	c decisions		: 92271856
3600.09/3600.51	c propagations		: 1892237142
3600.09/3600.51	c inspects		: 51883560280
3600.09/3600.51	c shortcuts		: 0
3600.09/3600.51	c learnt literals	: 0
3600.09/3600.51	c learnt binary clauses	: 13
3600.09/3600.51	c learnt ternary clauses	: 105
3600.09/3600.51	c learnt constraints	: 47920739
3600.09/3600.51	c ignored constraints	: 0
3600.09/3600.51	c root simplifications	: 0
3600.09/3600.51	c removed literals (reason simplification)	: 39710851
3600.09/3600.51	c reason swapping (by a shorter reason)	: 0
3600.09/3600.51	c Calls to reduceDB	: 305
3600.09/3600.51	c Number of update (reduction) of LBD	: 17726022
3600.09/3600.51	c Imported unit clauses	: 0
3600.09/3600.51	c No decision after first conflict	: false
3600.09/3600.51	c number of reductions to clauses (during analyze)	: 0
3600.09/3600.51	c number of learned constraints concerned by reduction	: 0
3600.09/3600.51	c number of learning phase by resolution	: 0
3600.09/3600.51	c number of learning phase by cutting planes	: 0
3600.09/3600.52	c number of rounding to 1 operations	: 0
3600.09/3600.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3600.52	c number of reductions of the coefficients by power 2 	: 0
3600.09/3600.52	c number of right shift for reduction by power 2 	: 0
3600.09/3600.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3600.52	c number of ending skipping 	: 0
3600.09/3600.52	c number of internal skipping 	: 0
3600.09/3600.52	c number of derivation steps 	: 0
3600.09/3600.52	c number of skipped derivation steps 	: 0
3600.09/3600.52	c number of remaining unassigned 	: 0
3600.09/3600.52	c number of remaining assigned 	: 0
3600.09/3600.52	c number of falsified literals weakened from reason	: 0
3600.09/3600.52	c number of falsified literals weakened from conflict	: 0
3600.09/3600.52	c time for arithmetic operations	: 0
3600.09/3600.52	c minimum degree of deleted constraints	: null
3600.09/3600.52	c maximum degree of deleted constraints	: null
3600.09/3600.52	c number of deleted constraints	: 0
3600.09/3600.52	c speed (assignments/second)	: 525582.7396038903
3600.09/3600.52	c non guided choices	: 15250340
3600.09/3600.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 530331
3600.09/3600.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 13
3600.09/3600.59	s UNKNOWN
3600.09/3600.59	c Total wall clock time (in seconds): 3600.442

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541886-1753212428/watcher-4541886-1753212428 -o /tmp/evaluation-result-4541886-1753212428/solver-4541886-1753212428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753212428-151458 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4541886-1753212428.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=151504, runsolver pid=151498

[startup+0.100057 s]*
/proc/loadavg: 1.00 1.36 2.12 10/332 151585
/proc/meminfo: memFree=124715532/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=18930384 memory=53276 CPUtime=0.11 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 6534 0 0 0 8 3 0 0 20 0 18 0 236921452 19384713216 13319 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4732596 13319 5345 1 0 547535 0
[pid=151504/tid=151518] ppid=151498 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 5042 0 0 0 5 1 0 0 20 0 18 0 236921455 19384713216 13319 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=18930384 memory=2573 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236921457 19384713216 13319 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236921457 19384713216 13319 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53276 KiB

[startup+0.205895 s]*
/proc/loadavg: 1.00 1.36 2.12 13/332 151585
/proc/meminfo: memFree=124692396/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=18930384 memory=66008 CPUtime=0.29 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 7109 0 0 0 26 3 0 0 20 0 18 0 236921452 19384713216 16502 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4732596 16502 5409 1 0 547925 0
[pid=151504/tid=151518] ppid=151498 vsize=18930384 memory=4026925340 CPUtime=0.16 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 5343 0 0 0 15 1 0 0 20 0 18 0 236921455 19384713216 16502 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=18930384 memory=2573 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236921457 19384713216 16502 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236921457 19384713216 16502 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66008 KiB

[startup+0.305748 s]*
/proc/loadavg: 1.00 1.36 2.12 9/336 151589
/proc/meminfo: memFree=124652552/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=18996948 memory=81180 CPUtime=0.48 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 8922 0 0 0 44 4 0 0 20 0 19 0 236921452 19452874752 20295 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4749237 20295 5409 1 0 549360 0
[pid=151504/tid=151518] ppid=151498 vsize=18996948 memory=-9105545533616595644 CPUtime=0.22 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 5401 0 0 0 20 2 0 0 20 0 19 0 236921455 19452874752 20295 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 20295 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 20295 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236921478 19452874752 20295 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 81180 KiB

[startup+0.700242 s]
/proc/loadavg: 1.00 1.36 2.12 9/336 151589
/proc/meminfo: memFree=124617532/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=18996948 memory=97956 CPUtime=1.25 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 14838 0 0 0 120 5 0 0 20 0 19 0 236921452 19452874752 24489 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4749237 24489 5441 1 0 552378 0
[pid=151504/tid=151518] ppid=151498 vsize=18996948 memory=27392 CPUtime=0.58 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 5411 0 0 0 56 2 0 0 20 0 19 0 236921455 19452874752 24489 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 24489 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 24489 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236921478 19452874752 24489 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97956 KiB

[startup+1.50025 s]
/proc/loadavg: 1.00 1.36 2.12 8/336 151589
/proc/meminfo: memFree=124552884/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=18996948 memory=114836 CPUtime=2.74 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 22115 0 0 0 268 6 0 0 20 0 19 0 236921452 19452874752 28709 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4749237 28709 5441 1 0 553327 0
[pid=151504/tid=151518] ppid=151498 vsize=18996948 memory=10752 CPUtime=1.35 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 5861 0 0 0 132 3 0 0 20 0 19 0 236921455 19452874752 28709 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 28709 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 28709 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236921478 19452874752 28709 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114836 KiB

[startup+3.10556 s]
/proc/loadavg: 1.00 1.36 2.12 5/336 151589
/proc/meminfo: memFree=124403164/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=18996948 memory=148184 CPUtime=4.72 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 24111 0 0 0 465 7 0 0 20 0 19 0 236921452 19452874752 37046 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4749237 37046 5473 1 0 553902 0
[pid=151504/tid=151518] ppid=151498 vsize=18996948 memory=10752 CPUtime=2.95 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 6215 0 0 0 292 3 0 0 20 0 19 0 236921455 19452874752 37046 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=18996948 memory=-8598610200072331964 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 37046 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236921457 19452874752 37046 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236921478 19452874752 37046 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148184 KiB

[startup+6.30016 s]
/proc/loadavg: 1.32 1.42 2.13 5/339 151592
/proc/meminfo: memFree=124199624/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=181092 CPUtime=7.97 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 25395 0 0 0 789 8 0 0 20 0 20 0 236921452 19521036288 45273 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 45273 5505 1 0 554192 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=0 CPUtime=6.13 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 6250 0 0 0 609 4 0 0 20 0 20 0 236921455 19521036288 45273 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 45273 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 45273 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 45273 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181092 KiB

[startup+12.7002 s]
/proc/loadavg: 1.54 1.46 2.14 5/340 151593
/proc/meminfo: memFree=124105772/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=189340 CPUtime=14.37 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 27886 0 0 0 1429 8 0 0 20 0 20 0 236921452 19521036288 47335 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 47335 5505 1 0 554192 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=10752 CPUtime=12.5 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 6906 0 0 0 1246 4 0 0 20 0 20 0 236921455 19521036288 47335 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=189340 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 47335 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 47335 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=-8598610200072331964 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 47335 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 14.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189340 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 1.59 2.17 5/340 151593
/proc/meminfo: memFree=123703688/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=251068 CPUtime=27.17 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 29500 0 0 0 2708 9 0 0 20 0 20 0 236921452 19521036288 62767 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 62767 5505 1 0 554192 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=189340 CPUtime=25.18 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 7760 0 0 0 2514 4 0 0 20 0 20 0 236921455 19521036288 62767 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 62767 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=-8598610200072331964 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 62767 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=181092 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 62767 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 251068 KiB

[startup+51.1056 s]
/proc/loadavg: 2.87 1.82 2.23 5/340 151594
/proc/meminfo: memFree=122772248/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=363752 CPUtime=52.81 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 30368 0 0 0 5270 11 0 0 20 0 20 0 236921452 19521036288 90938 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 90938 5505 1 0 554192 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=363752 CPUtime=50.57 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 7975 0 0 0 5053 4 0 0 20 0 20 0 236921455 19521036288 90938 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0

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

/proc/meminfo: memFree=106408272/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3281.43 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 102065 0 0 0 327993 150 0 0 20 0 20 0 236921452 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546408 5537 1 0 559257 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3269.14 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 50142 0 0 0 326871 43 0 0 20 0 20 0 236921455 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=2185632 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=2185632 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1677 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=2185632 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3281.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/338 151757
/proc/meminfo: memFree=106407696/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3341.45 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 102656 0 0 0 333993 152 0 0 20 0 20 0 236921452 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546408 5537 1 0 559257 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3328.8 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 50214 0 0 0 332836 44 0 0 20 0 20 0 236921455 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=2185632 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=17364 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1720 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3341.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185632 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/338 151759
/proc/meminfo: memFree=106341476/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3401.29 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 103026 0 0 0 339975 154 0 0 20 0 20 0 236921452 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546408 5537 1 0 559257 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3388.63 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 50579 0 0 0 338818 45 0 0 20 0 20 0 236921455 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=280 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=2185632 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1720 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=2185632 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546408 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3401.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2185632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/338 151761
/proc/meminfo: memFree=106166580/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2187680 CPUtime=3462.03 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 109668 0 0 0 346045 158 0 0 20 0 20 0 236921452 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546920 5537 1 0 559758 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=2185632 CPUtime=3448.28 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 55386 0 0 0 344781 47 0 0 20 0 20 0 236921455 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1796 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3462.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/338 151763
/proc/meminfo: memFree=105840068/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2187680 CPUtime=3521.9 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 110489 0 0 0 352030 160 0 0 20 0 20 0 236921452 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546920 5537 1 0 559758 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=14720 CPUtime=3508.12 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 56080 0 0 0 350765 47 0 0 20 0 20 0 236921455 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1902 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3521.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.81 4.29 4.13 5/339 151772
/proc/meminfo: memFree=105477448/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2187680 CPUtime=3581.77 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 110769 0 0 0 358014 163 0 0 20 0 20 0 236921452 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546920 5537 1 0 559758 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=3328 CPUtime=3567.96 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 56352 0 0 0 356748 48 0 0 20 0 20 0 236921455 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546920 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3581.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.5 s]
/proc/loadavg: 4.93 4.34 4.15 5/317 152009
/proc/meminfo: memFree=120851472/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2187808 CPUtime=3600.09 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 111376 0 0 0 359843 166 0 0 20 0 20 0 236921452 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546952 5537 1 0 559758 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=3328 CPUtime=3585.94 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 56526 0 0 0 358543 51 0 0 20 0 20 0 236921455 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.55 s, system=1.67957 s

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

[startup+3600.5 s]
/proc/loadavg: 4.93 4.34 4.15 5/317 152009
/proc/meminfo: memFree=120851472/131250000 swapFree=33010672/33010684
[pid=151504] ppid=151498 vsize=19063512 memory=2187808 CPUtime=3600.09 cores=4,6
/proc/151504/stat : 151504 (java) S 151498 151504 151447 0 -1 4194304 111376 0 0 0 359843 166 0 0 20 0 20 0 236921452 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
/proc/151504/statm: 4765878 546952 5537 1 0 559758 0
[pid=151504/tid=151518] ppid=151498 vsize=19063512 memory=3328 CPUtime=3585.94 cores=4,6
/proc/151504/task/151518/stat : 151518 (java) R 151498 151504 151447 0 -1 4194368 56526 0 0 0 358543 51 0 0 20 0 20 0 236921455 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151550] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151550/stat : 151550 (Finalizer) S 151498 151504 151447 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151571] ppid=151498 vsize=19063512 memory=27392 CPUtime=0 cores=4,6
/proc/151504/task/151571/stat : 151571 (Common-Cleaner) S 151498 151504 151447 0 -1 4194368 1903 0 0 0 0 0 0 0 20 0 20 0 236921457 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
[pid=151504/tid=151589] ppid=151498 vsize=19063512 memory=2187680 CPUtime=0 cores=4,6
/proc/151504/task/151589/stat : 151589 (Timer-0) S 151498 151504 151447 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236921478 19521036288 546952 18446744073709551615 94438205652992 94438205656688 140736234856000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94438205664504 94438205665296 94438222942208 140736234858879 140736234858980 140736234858980 140736234864584 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2187808 KiB

Child status: 143

Real time (s): 3600.6
CPU time (s): 3600.23
CPU user time (s): 3598.55
CPU system time (s): 1.67957
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2187808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.67957
maximum resident set size= 2188704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105401
involuntary context switches= 4535


# summary of solver processes directly reported to runsolver:
#   pid: 151504
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.55
#   total CPU system time (s): 1.67957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91869 second user time and 17.1373 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-22 21:27:08
IDJOB=4541886
IDBENCH=163529
IDSOLVER=3363
FILE ID=nodeC026/4541886-1753212428
RUNJOBID= nodeC026-1753212428-151458
SLURM_JOB_ID= 9687803
Free space on /tmp= 433028 MiB

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

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

MD5SUM BENCH= b6349d7dce380ae2e08847675885e6d3
RANDOM SEED=497346949

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124800672 kB
MemAvailable:   129539768 kB
Buffers:            2128 kB
Cached:          5364744 kB
SwapCached:            4 kB
Active:          1213724 kB
Inactive:        4222600 kB
Active(anon):      90396 kB
Inactive(anon):     5344 kB
Active(file):    1123328 kB
Inactive(file):  4217256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1828 kB
Writeback:            12 kB
AnonPages:         72880 kB
Mapped:           109596 kB
Shmem:             26268 kB
KReclaimable:     459312 kB
Slab:             563160 kB
SReclaimable:     459312 kB
SUnreclaim:       103848 kB
KernelStack:        3988 kB
PageTables:         2968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     342672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432952 MiB
End job on nodeC026 at 2025-07-22 22:27:09