Trace number 4516759

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.29 3533.89

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
MD5SUMfa288505787d5078657a2c980732ee18
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.870433
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14001
Total number of constraints14000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1692
Number of constraints which are nor clauses,nor cardinality constraints12308
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.20	c version PB25.v20250606
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.12/0.22	c java.vm.vendor	Oracle Corporation
0.12/0.22	c sun.arch.data.model	64
0.12/0.22	c java.version		22.0.1
0.12/0.22	c os.name		Linux
0.12/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.22	c os.arch		amd64
0.12/0.23	c Free memory 		2104792832
0.12/0.23	c Max memory 		16282288128
0.12/0.23	c Total memory 		2113929216
0.29/0.24	c Number of processors 	2
0.44/0.36	c Pseudo Boolean Optimization by upper bound
0.44/0.36	c --- Begin Solver configuration ---
0.44/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.36	c Learn all clauses as in MiniSAT
0.44/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.36	c Expensive reason simplification
0.44/0.36	c Glucose 2.1 dynamic restart strategy
0.44/0.36	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.44/0.36	c timeout=2147483s
0.44/0.36	c DB Simplification allowed=false
0.44/0.36	c Listener: none
0.44/0.36	c --- End Solver configuration ---
0.44/0.36	c solving HOME/instance-4516759-1751242012.opb
0.44/0.36	c reading problem ... 
0.44/0.36	c using VERIPB proof format
0.44/0.37	c  no objective function found
2.08/1.20	c ... done. Wall clock time 0.842s.
2.08/1.20	c declared #vars     14001
2.08/1.20	c #constraints  14000
2.08/1.20	c constraints type 
2.08/1.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14000
2.08/1.20	c 14000 constraints processed.
3.66/2.06	c cleaning 2481 clauses out of 5001 with flag 21879/5001
4.64/2.53	c cleaning 4225 clauses out of 8519 with flag 49101/11000
5.24/2.87	c cleaning 5586 clauses out of 11294 with flag 82261/18000
5.84/3.17	c cleaning 6839 clauses out of 13708 with flag 126220/26000
6.38/3.45	c cleaning 7925 clauses out of 15869 with flag 172595/35000
6.91/3.71	c cleaning 8946 clauses out of 17944 with flag 220278/45000
7.13/4.00	c cleaning 9996 clauses out of 20000 with flag 273483/56002
7.79/4.33	c cleaning 10983 clauses out of 22002 with flag 334321/68000
8.39/4.72	c cleaning 12001 clauses out of 24020 with flag 400800/81001
8.88/5.10	c cleaning 12923 clauses out of 26020 with flag 467086/95002
9.53/5.63	c cleaning 14028 clauses out of 28095 with flag 548066/110000
10.04/6.19	c cleaning 15001 clauses out of 30068 with flag 638394/126001
10.64/6.69	c cleaning 15938 clauses out of 32066 with flag 727930/143000
11.30/7.27	c cleaning 17050 clauses out of 34130 with flag 825916/161002
11.99/7.98	c cleaning 18027 clauses out of 36079 with flag 927043/180001
12.60/8.58	c cleaning 19008 clauses out of 38051 with flag 1031518/200000
13.33/9.12	c cleaning 19903 clauses out of 40044 with flag 1132137/221001
14.17/9.73	c cleaning 21026 clauses out of 42140 with flag 1245234/243000
14.86/10.48	c cleaning 22007 clauses out of 44114 with flag 1361381/266000
15.61/11.39	c cleaning 23008 clauses out of 46107 with flag 1488696/290000
16.43/12.16	c cleaning 24029 clauses out of 48099 with flag 1619922/315000
17.11/12.90	c cleaning 25001 clauses out of 50070 with flag 1760394/341000
18.01/13.77	c cleaning 26012 clauses out of 52071 with flag 1908205/368002
18.98/14.58	c cleaning 26996 clauses out of 54058 with flag 2050594/396001
20.46/15.93	c cleaning 27973 clauses out of 56061 with flag 2211631/425000
21.16/16.69	c cleaning 28987 clauses out of 58089 with flag 2361819/455001
22.16/17.61	c cleaning 30027 clauses out of 60102 with flag 2521298/486001
23.68/19.15	c cleaning 31008 clauses out of 62074 with flag 2721740/518000
24.57/20.08	c cleaning 32024 clauses out of 64066 with flag 2895428/551000
25.58/21.03	c cleaning 33006 clauses out of 66042 with flag 3068392/585000
26.57/22.04	c cleaning 33961 clauses out of 68036 with flag 3247185/620000
27.57/23.10	c cleaning 35019 clauses out of 70077 with flag 3432033/656002
28.67/24.14	c cleaning 35956 clauses out of 72058 with flag 3628876/693002
29.85/25.33	c cleaning 37005 clauses out of 74100 with flag 3825490/731000
30.95/26.49	c cleaning 38040 clauses out of 76096 with flag 4027475/770001
32.07/27.57	c cleaning 39015 clauses out of 78058 with flag 4224887/810003
33.26/28.71	c cleaning 39928 clauses out of 80040 with flag 4430371/851000
34.46/29.91	c cleaning 41007 clauses out of 82114 with flag 4641697/893002
35.99/31.41	c cleaning 42027 clauses out of 84105 with flag 4862524/936000
37.19/32.68	c cleaning 43020 clauses out of 86081 with flag 5086865/980003
38.49/33.91	c cleaning 43963 clauses out of 88059 with flag 5316042/1025001
40.18/35.65	c cleaning 45025 clauses out of 90098 with flag 5573654/1071003
41.92/37.35	c cleaning 46015 clauses out of 92071 with flag 5821725/1118001
43.32/38.75	c cleaning 46989 clauses out of 94055 with flag 6066652/1166000
45.21/40.67	c cleaning 48015 clauses out of 96067 with flag 6331175/1215001
47.23/42.63	c cleaning 48995 clauses out of 98051 with flag 6623941/1265000
48.83/44.25	c cleaning 50018 clauses out of 100057 with flag 6897783/1316001
50.89/46.22	c cleaning 51001 clauses out of 102038 with flag 7179575/1368000
53.45/48.72	c cleaning 51974 clauses out of 104037 with flag 7464843/1421000
55.45/50.73	c cleaning 52994 clauses out of 106064 with flag 7760618/1475001
57.35/52.61	c cleaning 54003 clauses out of 108069 with flag 8048065/1530000
59.24/54.53	c cleaning 55026 clauses out of 110069 with flag 8344038/1586003
61.04/56.36	c cleaning 55990 clauses out of 112042 with flag 8635070/1643002
62.74/58.11	c cleaning 56996 clauses out of 114051 with flag 8940760/1701001
64.69/59.93	c cleaning 57978 clauses out of 116055 with flag 9250829/1760001
66.48/61.79	c cleaning 59005 clauses out of 118077 with flag 9576234/1820001
68.48/63.75	c cleaning 59995 clauses out of 120072 with flag 9915006/1881001
70.68/66.01	c cleaning 61005 clauses out of 122076 with flag 10245840/1943000
72.74/68.00	c cleaning 61968 clauses out of 124071 with flag 10582457/2006000
74.84/70.08	c cleaning 63026 clauses out of 126103 with flag 10916783/2070000
77.33/72.50	c cleaning 63991 clauses out of 128077 with flag 11272172/2135000
79.50/74.61	c cleaning 65030 clauses out of 130086 with flag 11624487/2201000
81.60/76.77	c cleaning 65995 clauses out of 132056 with flag 11976204/2268000
83.70/78.83	c cleaning 66968 clauses out of 134062 with flag 12332243/2336001
86.03/81.06	c cleaning 68000 clauses out of 136094 with flag 12679621/2405001
88.13/83.17	c cleaning 69004 clauses out of 138094 with flag 13040311/2475001
90.40/85.43	c cleaning 69992 clauses out of 140089 with flag 13427921/2546000
93.74/88.68	c cleaning 70991 clauses out of 142097 with flag 13840770/2618000
96.83/91.73	c cleaning 72026 clauses out of 144106 with flag 14263223/2691000
99.92/94.89	c cleaning 73020 clauses out of 146082 with flag 14671774/2765002
102.42/97.34	c cleaning 74024 clauses out of 148061 with flag 15074120/2840001
104.81/99.74	c cleaning 74974 clauses out of 150039 with flag 15458682/2916003
107.60/102.49	c cleaning 75997 clauses out of 152062 with flag 15882400/2993000
110.39/105.26	c cleaning 76932 clauses out of 154066 with flag 16292726/3071001
113.69/108.54	c cleaning 78052 clauses out of 156133 with flag 16738964/3150000
117.19/111.96	c cleaning 79031 clauses out of 158081 with flag 17178048/3230000
120.19/114.92	c cleaning 79998 clauses out of 160052 with flag 17632658/3311002
123.44/118.05	c cleaning 81009 clauses out of 162053 with flag 18064769/3393001
127.02/121.64	c cleaning 81985 clauses out of 164043 with flag 18525660/3476000
130.21/124.89	c cleaning 83005 clauses out of 166059 with flag 18993898/3560001
133.10/127.71	c cleaning 83993 clauses out of 168053 with flag 19447584/3645000
137.51/132.01	c cleaning 85007 clauses out of 170061 with flag 19893444/3731001
141.09/135.63	c cleaning 86011 clauses out of 172054 with flag 20379797/3818001
144.08/138.61	c cleaning 87005 clauses out of 174042 with flag 20858766/3906000
147.28/141.81	c cleaning 88002 clauses out of 176039 with flag 21354651/3995002
151.31/145.76	c cleaning 88998 clauses out of 178035 with flag 21832825/4085000
154.61/149.02	c cleaning 89989 clauses out of 180038 with flag 22331238/4176001
158.09/152.56	c cleaning 90996 clauses out of 182048 with flag 22827171/4268000
162.74/157.05	c cleaning 92021 clauses out of 184055 with flag 23313261/4361003
166.42/160.79	c cleaning 92981 clauses out of 186033 with flag 23809139/4455002
169.62/163.95	c cleaning 93986 clauses out of 188052 with flag 24311790/4550002
172.98/167.12	c cleaning 95002 clauses out of 190064 with flag 24814508/4646000
177.15/171.38	c cleaning 96015 clauses out of 192064 with flag 25364736/4743002
180.70/174.75	c cleaning 97000 clauses out of 194048 with flag 25876069/4841001
184.16/178.14	c cleaning 97946 clauses out of 196048 with flag 26410049/4940001
187.43/181.44	c cleaning 99039 clauses out of 198101 with flag 26929322/5040000
191.14/185.17	c cleaning 99999 clauses out of 200063 with flag 27472000/5141001
196.27/190.15	c cleaning 101021 clauses out of 202063 with flag 27997058/5243000
200.45/194.19	c cleaning 102004 clauses out of 204046 with flag 28526102/5346004
204.44/198.14	c cleaning 103000 clauses out of 206040 with flag 29094689/5450002
209.22/202.94	c cleaning 103986 clauses out of 208038 with flag 29695881/5555000
213.15/206.77	c cleaning 105001 clauses out of 210052 with flag 30257840/5661000
217.04/210.62	c cleaning 105980 clauses out of 212053 with flag 30837468/5768002
220.63/214.24	c cleaning 106964 clauses out of 214071 with flag 31413578/5876000
225.12/218.52	c cleaning 108041 clauses out of 216108 with flag 32021624/5985001
228.91/222.36	c cleaning 109016 clauses out of 218066 with flag 32616203/6095000
232.30/225.70	c cleaning 109952 clauses out of 220052 with flag 33194757/6206002
236.69/230.39	c cleaning 111020 clauses out of 222099 with flag 33806391/6318001
241.19/234.83	c cleaning 112015 clauses out of 224080 with flag 34429386/6431002
245.77/239.28	c cleaning 113009 clauses out of 226063 with flag 35048606/6545000
250.46/244.00	c cleaning 113960 clauses out of 228055 with flag 35675246/6660001
254.45/247.91	c cleaning 115027 clauses out of 230096 with flag 36284175/6776002
260.28/253.60	c cleaning 115995 clauses out of 232069 with flag 36908364/6893002
264.43/258.15	c cleaning 116993 clauses out of 234074 with flag 37564320/7011002
268.89/262.43	c cleaning 118026 clauses out of 236079 with flag 38199754/7130000
273.38/266.99	c cleaning 119009 clauses out of 238053 with flag 38838751/7250000
278.07/271.44	c cleaning 119999 clauses out of 240045 with flag 39489449/7371001
282.77/276.16	c cleaning 121012 clauses out of 242045 with flag 40137831/7493000
287.43/280.63	c cleaning 121996 clauses out of 244034 with flag 40787136/7616001
292.13/285.32	c cleaning 122960 clauses out of 246040 with flag 41456225/7740003
297.20/290.71	c cleaning 124005 clauses out of 248079 with flag 42142159/7865002
303.23/296.64	c cleaning 124991 clauses out of 250072 with flag 42823467/7991000
308.42/301.82	c cleaning 126022 clauses out of 252082 with flag 43522655/8118001
313.82/307.07	c cleaning 126989 clauses out of 254061 with flag 44216428/8246002
318.09/311.36	c cleaning 128002 clauses out of 256072 with flag 44898204/8375002
323.49/316.52	c cleaning 128986 clauses out of 258070 with flag 45598470/8505002
327.66/321.03	c cleaning 130024 clauses out of 260083 with flag 46278246/8636001
332.93/326.31	c cleaning 131014 clauses out of 262058 with flag 47005423/8768000
338.70/332.01	c cleaning 132010 clauses out of 264045 with flag 47735413/8901001
343.19/336.43	c cleaning 132958 clauses out of 266034 with flag 48446442/9035000
348.27/341.34	c cleaning 134013 clauses out of 268076 with flag 49170773/9170000
353.66/346.74	c cleaning 135004 clauses out of 270063 with flag 49904618/9306000
359.75/352.88	c cleaning 136004 clauses out of 272060 with flag 50645785/9443001
367.44/360.51	c cleaning 137002 clauses out of 274057 with flag 51439055/9581002
373.67/366.63	c cleaning 138008 clauses out of 276054 with flag 52216640/9720001
379.95/372.91	c cleaning 138961 clauses out of 278045 with flag 53023389/9860000
386.85/379.67	c cleaning 140020 clauses out of 280085 with flag 53814527/10001001
393.34/386.34	c cleaning 140984 clauses out of 282065 with flag 54626279/10143001
399.25/392.07	c cleaning 141964 clauses out of 284081 with flag 55408068/10286001
405.83/398.43	c cleaning 143049 clauses out of 286118 with flag 56172485/10430002
412.92/405.59	c cleaning 144017 clauses out of 288067 with flag 56992635/10575000
421.04/413.74	c cleaning 144974 clauses out of 290050 with flag 57831066/10721000
426.73/419.40	c cleaning 146016 clauses out of 292077 with flag 58637072/10868001
432.52/425.05	c cleaning 146992 clauses out of 294060 with flag 59457624/11016000
438.61/431.19	c cleaning 148005 clauses out of 296069 with flag 60263598/11165001
446.31/438.79	c cleaning 148999 clauses out of 298063 with flag 61084611/11315000
451.80/444.49	c cleaning 150002 clauses out of 300065 with flag 61909753/11466001
459.15/451.67	c cleaning 151001 clauses out of 302063 with flag 62749970/11618001
466.57/458.94	c cleaning 152021 clauses out of 304063 with flag 63598795/11771002
472.86/465.20	c cleaning 152956 clauses out of 306040 with flag 64453268/11925000
480.27/472.76	c cleaning 154011 clauses out of 308085 with flag 65318106/12080001
487.37/479.82	c cleaning 155017 clauses out of 310073 with flag 66199717/12236000
494.25/486.67	c cleaning 155952 clauses out of 312058 with flag 67057990/12393002
501.09/493.39	c cleaning 157017 clauses out of 314105 with flag 67924960/12551001
507.89/500.15	c cleaning 158017 clauses out of 316087 with flag 68799363/12710000
516.43/508.00	c cleaning 159020 clauses out of 318070 with flag 69734143/12870000
524.36/515.88	c cleaning 159969 clauses out of 320050 with flag 70650493/13031000
530.25/521.73	c cleaning 161020 clauses out of 322082 with flag 71518333/13193001
536.35/527.74	c cleaning 162010 clauses out of 324062 with flag 72394661/13356001
542.51/534.24	c cleaning 163014 clauses out of 326051 with flag 73279798/13520000
550.34/541.91	c cleaning 163991 clauses out of 328038 with flag 74215305/13685001
557.23/548.83	c cleaning 165000 clauses out of 330046 with flag 75114996/13851000
564.74/556.11	c cleaning 165951 clauses out of 332048 with flag 76062607/14018002
571.51/562.83	c cleaning 167015 clauses out of 334096 with flag 76990001/14186001
578.43/570.01	c cleaning 167990 clauses out of 336081 with flag 77943050/14355001
585.70/577.34	c cleaning 169014 clauses out of 338090 with flag 78894908/14525000
594.08/585.67	c cleaning 170007 clauses out of 340076 with flag 79864082/14696000
602.32/593.72	c cleaning 170983 clauses out of 342069 with flag 80805264/14868000
610.39/601.86	c cleaning 171978 clauses out of 344086 with flag 81742769/15041000
619.36/610.89	c cleaning 173036 clauses out of 346109 with flag 82715326/15215001
627.39/618.73	c cleaning 173981 clauses out of 348076 with flag 83683316/15390004
633.97/625.36	c cleaning 175032 clauses out of 350091 with flag 84647431/15566000
641.45/632.87	c cleaning 175996 clauses out of 352060 with flag 85598582/15743001
648.65/640.03	c cleaning 176953 clauses out of 354063 with flag 86577267/15921000
656.28/647.50	c cleaning 177983 clauses out of 356111 with flag 87563444/16100001
663.87/654.93	c cleaning 179016 clauses out of 358127 with flag 88559191/16280000
671.86/662.91	c cleaning 180025 clauses out of 360112 with flag 89552392/16461001
680.53/671.61	c cleaning 181017 clauses out of 362086 with flag 90586234/16643000
689.68/680.64	c cleaning 182009 clauses out of 364069 with flag 91622493/16826000
697.59/689.42	c cleaning 182978 clauses out of 366060 with flag 92650996/17010000
705.38/697.08	c cleaning 183994 clauses out of 368082 with flag 93669113/17195000
713.97/705.41	c cleaning 184978 clauses out of 370089 with flag 94725013/17381001
721.45/712.93	c cleaning 186033 clauses out of 372112 with flag 95755392/17568002
731.10/722.40	c cleaning 186993 clauses out of 374078 with flag 96811249/17756001
740.75/731.99	c cleaning 188003 clauses out of 376085 with flag 97868433/17945001
750.33/741.54	c cleaning 189015 clauses out of 378081 with flag 98958441/18135000
759.19/750.33	c cleaning 190022 clauses out of 380066 with flag 100027198/18326000
767.59/758.88	c cleaning 190999 clauses out of 382044 with flag 101138049/18518000
775.19/766.35	c cleaning 191972 clauses out of 384045 with flag 102191815/18711000
783.83/774.82	c cleaning 192981 clauses out of 386073 with flag 103264055/18905000
791.93/782.88	c cleaning 193998 clauses out of 388092 with flag 104327387/19100000
801.51/792.53	c cleaning 195008 clauses out of 390094 with flag 105443956/19296000
809.32/800.27	c cleaning 196001 clauses out of 392086 with flag 106526503/19493000
818.35/809.11	c cleaning 196992 clauses out of 394085 with flag 107664878/19691000
827.40/818.18	c cleaning 198021 clauses out of 396093 with flag 108761567/19890000
837.09/827.72	c cleaning 198955 clauses out of 398072 with flag 109892761/20090000
845.64/836.12	c cleaning 200042 clauses out of 400117 with flag 110995302/20291000
853.72/844.22	c cleaning 200935 clauses out of 402075 with flag 112094129/20493000
863.08/853.69	c cleaning 202031 clauses out of 404140 with flag 113212267/20696000
871.38/861.90	c cleaning 202989 clauses out of 406109 with flag 114332452/20900000
884.29/874.68	c cleaning 204014 clauses out of 408122 with flag 115502071/21105002
893.81/884.12	c cleaning 205038 clauses out of 410107 with flag 116657792/21311001
903.89/894.08	c cleaning 205967 clauses out of 412068 with flag 117790786/21518000
912.57/902.77	c cleaning 207034 clauses out of 414103 with flag 118954420/21726002
922.19/912.40	c cleaning 207975 clauses out of 416069 with flag 120146510/21935002
932.33/921.48	c cleaning 209037 clauses out of 418093 with flag 121301849/22145001
941.72/930.86	c cleaning 210005 clauses out of 420056 with flag 122474494/22356001
950.24/939.39	c cleaning 210990 clauses out of 422051 with flag 123628343/22568001
959.30/948.39	c cleaning 212010 clauses out of 424060 with flag 124825943/22781000
969.38/958.35	c cleaning 212978 clauses out of 426050 with flag 125994169/22995000
977.73/966.55	c cleaning 214014 clauses out of 428073 with flag 127165773/23210001
990.21/978.81	c cleaning 214975 clauses out of 430060 with flag 128410399/23426002
999.29/987.94	c cleaning 216022 clauses out of 432083 with flag 129595440/23643000
1008.06/996.61	c cleaning 217019 clauses out of 434062 with flag 130811635/23861001
1017.66/1006.28	c cleaning 217987 clauses out of 436043 with flag 132026109/24080001
1026.61/1015.08	c cleaning 218975 clauses out of 438058 with flag 133218992/24300003
1036.31/1024.65	c cleaning 219974 clauses out of 440081 with flag 134419045/24521001
1044.61/1033.06	c cleaning 221028 clauses out of 442109 with flag 135608283/24743003
1054.55/1042.96	c cleaning 221977 clauses out of 444078 with flag 136847845/24966000
1064.14/1052.44	c cleaning 223013 clauses out of 446102 with flag 138049469/25190001
1075.05/1063.30	c cleaning 224006 clauses out of 448088 with flag 139285917/25415000
1084.60/1072.70	c cleaning 225013 clauses out of 450082 with flag 140534629/25641000
1095.34/1083.32	c cleaning 225958 clauses out of 452071 with flag 141770622/25868002
1105.62/1093.79	c cleaning 227018 clauses out of 454113 with flag 143058845/26096002
1117.21/1105.24	c cleaning 228023 clauses out of 456093 with flag 144314048/26325000
1130.15/1118.04	c cleaning 229024 clauses out of 458071 with flag 145629600/26555001
1141.20/1129.20	c cleaning 229953 clauses out of 460046 with flag 146912598/26786000
1150.38/1138.20	c cleaning 231003 clauses out of 462093 with flag 148165959/27018000
1160.86/1148.52	c cleaning 232029 clauses out of 464090 with flag 149458260/27251000
1170.15/1157.96	c cleaning 233006 clauses out of 466061 with flag 150733166/27485000
1180.27/1167.96	c cleaning 233994 clauses out of 468056 with flag 152042530/27720001
1191.83/1179.38	c cleaning 235009 clauses out of 470063 with flag 153400916/27956002
1205.28/1192.79	c cleaning 236010 clauses out of 472053 with flag 154730774/28193001
1216.64/1203.98	c cleaning 237003 clauses out of 474043 with flag 156059752/28431001
1227.03/1214.11	c cleaning 238001 clauses out of 476040 with flag 157341770/28670001
1236.62/1223.66	c cleaning 238997 clauses out of 478038 with flag 158608918/28910000
1248.40/1235.43	c cleaning 240005 clauses out of 480041 with flag 159989257/29151000
1258.64/1245.60	c cleaning 240967 clauses out of 482036 with flag 161317938/29393000
1271.26/1258.19	c cleaning 241977 clauses out of 484069 with flag 162641446/29636000
1282.01/1268.74	c cleaning 243038 clauses out of 486092 with flag 163986360/29880000
1293.66/1280.36	c cleaning 244019 clauses out of 488055 with flag 165328422/30125001
1304.79/1291.35	c cleaning 244995 clauses out of 490037 with flag 166646015/30371002
1316.01/1302.46	c cleaning 245980 clauses out of 492040 with flag 168017268/30618000
1326.57/1313.02	c cleaning 246974 clauses out of 494060 with flag 169365123/30866000
1337.42/1323.81	c cleaning 248025 clauses out of 496087 with flag 170729039/31115001
1349.34/1335.64	c cleaning 248967 clauses out of 498061 with flag 172119071/31365000
1362.00/1348.30	c cleaning 249986 clauses out of 500094 with flag 173523627/31616000
1373.38/1359.61	c cleaning 251021 clauses out of 502108 with flag 174876381/31868000
1384.94/1371.25	c cleaning 252020 clauses out of 504088 with flag 176245286/32121001
1397.26/1383.47	c cleaning 252997 clauses out of 506069 with flag 177666861/32375002
1409.66/1395.74	c cleaning 254023 clauses out of 508070 with flag 179108732/32630000
1421.52/1407.55	c cleaning 254955 clauses out of 510048 with flag 180515691/32886001
1433.91/1419.62	c cleaning 256035 clauses out of 512093 with flag 181939123/33143001
1445.31/1430.92	c cleaning 256947 clauses out of 514057 with flag 183352447/33401000
1456.96/1441.38	c cleaning 258033 clauses out of 516113 with flag 184767633/33660003
1470.73/1455.05	c cleaning 258979 clauses out of 518077 with flag 186230555/33920000
1482.91/1467.22	c cleaning 260035 clauses out of 520099 with flag 187678114/34181001
1495.20/1479.34	c cleaning 260958 clauses out of 522066 with flag 189086160/34443003
1506.71/1490.61	c cleaning 262031 clauses out of 524106 with flag 190514738/34706001
1519.37/1503.24	c cleaning 263009 clauses out of 526074 with flag 191948437/34970000
1531.77/1515.54	c cleaning 264024 clauses out of 528065 with flag 193427512/35235000
1543.97/1526.61	c cleaning 264995 clauses out of 530041 with flag 194846254/35501000
1554.72/1537.37	c cleaning 266009 clauses out of 532046 with flag 196271195/35768000
1567.37/1549.93	c cleaning 266977 clauses out of 534037 with flag 197742925/36036000
1581.30/1563.00	c cleaning 268013 clauses out of 536060 with flag 199216731/36305000
1593.57/1575.11	c cleaning 268950 clauses out of 538048 with flag 200687593/36575001
1607.41/1588.17	c cleaning 270036 clauses out of 540098 with flag 202196907/36846001
1623.11/1603.38	c cleaning 271000 clauses out of 542062 with flag 203682913/37118001
1636.57/1616.82	c cleaning 272022 clauses out of 544063 with flag 205202645/37391002
1650.20/1629.45	c cleaning 272981 clauses out of 546040 with flag 206743409/37665001
1662.22/1640.31	c cleaning 274010 clauses out of 548059 with flag 208216889/37940001
1675.20/1653.36	c cleaning 274980 clauses out of 550049 with flag 209749993/38216001
1688.08/1665.23	c cleaning 276005 clauses out of 552068 with flag 211228835/38493000
1700.98/1677.19	c cleaning 277008 clauses out of 554063 with flag 212745552/38771000
1712.98/1689.10	c cleaning 278010 clauses out of 556055 with flag 214254354/39050000
1727.19/1702.18	c cleaning 278978 clauses out of 558045 with flag 215812420/39330000
1740.34/1714.14	c cleaning 279970 clauses out of 560068 with flag 217343683/39611001
1756.00/1729.77	c cleaning 280995 clauses out of 562097 with flag 218896591/39893000
1770.94/1743.88	c cleaning 282024 clauses out of 564103 with flag 220431024/40176001
1784.88/1756.78	c cleaning 283003 clauses out of 566078 with flag 222014530/40460000
1798.25/1770.18	c cleaning 284001 clauses out of 568076 with flag 223601734/40745001
1812.40/1783.24	c cleaning 285015 clauses out of 570075 with flag 225165999/41031001
1825.42/1795.23	c cleaning 285922 clauses out of 572061 with flag 226703995/41318002
1839.99/1809.89	c cleaning 287022 clauses out of 574137 with flag 228340405/41606000
1855.37/1824.15	c cleaning 288024 clauses out of 576115 with flag 229901900/41895000
1869.37/1837.29	c cleaning 289032 clauses out of 578091 with flag 231467526/42185000
1882.73/1850.57	c cleaning 289970 clauses out of 580060 with flag 233043298/42476001
1896.70/1863.67	c cleaning 291018 clauses out of 582089 with flag 234632998/42768000
1911.61/1877.55	c cleaning 292013 clauses out of 584073 with flag 236221636/43061002
1926.22/1891.18	c cleaning 292988 clauses out of 586058 with flag 237810264/43355000
1939.58/1904.48	c cleaning 294014 clauses out of 588070 with flag 239427769/43650000
1958.18/1922.14	c cleaning 294994 clauses out of 590057 with flag 241119205/43946001
1974.34/1937.18	c cleaning 296005 clauses out of 592062 with flag 242750394/44243000
1990.62/1952.36	c cleaning 297015 clauses out of 594058 with flag 244380186/44541001
2002.81/1964.47	c cleaning 297993 clauses out of 596042 with flag 245970454/44840000
2016.68/1977.36	c cleaning 299007 clauses out of 598049 with flag 247573015/45140000
2032.67/1992.43	c cleaning 299991 clauses out of 600043 with flag 249275027/45441001
2047.78/2006.42	c cleaning 301002 clauses out of 602051 with flag 250951143/45743000
2061.95/2020.61	c cleaning 302010 clauses out of 604049 with flag 252616162/46046000
2080.26/2037.81	c cleaning 302999 clauses out of 606040 with flag 254348195/46350001
2094.50/2051.00	c cleaning 303979 clauses out of 608042 with flag 255985166/46655002
2109.33/2065.61	c cleaning 305011 clauses out of 610062 with flag 257613968/46961001
2123.06/2079.38	c cleaning 305971 clauses out of 612051 with flag 259265499/47268001
2140.48/2096.75	c cleaning 306996 clauses out of 614081 with flag 260981188/47576002
2155.79/2112.03	c cleaning 308010 clauses out of 616083 with flag 262623349/47885000
2170.18/2126.36	c cleaning 308986 clauses out of 618073 with flag 264276710/48195000
2186.26/2142.36	c cleaning 310027 clauses out of 620089 with flag 265985641/48506002
2200.31/2156.27	c cleaning 310970 clauses out of 622061 with flag 267664141/48818001
2217.52/2172.20	c cleaning 312017 clauses out of 624090 with flag 269372825/49131000
2232.26/2186.95	c cleaning 313013 clauses out of 626073 with flag 271095684/49445000
2246.95/2201.50	c cleaning 313943 clauses out of 628060 with flag 272789474/49760000
2262.90/2217.32	c cleaning 315009 clauses out of 630117 with flag 274534531/50076000
2280.17/2233.45	c cleaning 315993 clauses out of 632109 with flag 276274648/50393001
2295.12/2248.34	c cleaning 317038 clauses out of 634115 with flag 277949347/50711000
2311.83/2264.88	c cleaning 318010 clauses out of 636077 with flag 279665026/51030000
2326.96/2279.49	c cleaning 318979 clauses out of 638067 with flag 281344444/51350000
2342.36/2294.05	c cleaning 320012 clauses out of 640089 with flag 283075317/51671001
2359.58/2311.20	c cleaning 321018 clauses out of 642078 with flag 284845200/51993002
2377.17/2331.86	c cleaning 322003 clauses out of 644060 with flag 286630316/52316002
2397.05/2350.32	c cleaning 323012 clauses out of 646055 with flag 288408995/52640000
2411.96/2365.47	c cleaning 324008 clauses out of 648043 with flag 290135739/52965000
2428.43/2381.84	c cleaning 324997 clauses out of 650038 with flag 291930541/53291003
2445.18/2397.38	c cleaning 325995 clauses out of 652038 with flag 293665608/53618000
2460.91/2413.01	c cleaning 326994 clauses out of 654043 with flag 295457009/53946000
2477.92/2428.60	c cleaning 328004 clauses out of 656049 with flag 297217562/54275000
2494.92/2445.71	c cleaning 328965 clauses out of 658048 with flag 298994790/54605003
2512.91/2463.68	c cleaning 329996 clauses out of 660080 with flag 300788106/54936000
2529.45/2480.14	c cleaning 331019 clauses out of 662085 with flag 302552524/55268001
2547.28/2496.88	c cleaning 331974 clauses out of 664066 with flag 304369090/55601001
2565.07/2514.78	c cleaning 333000 clauses out of 666091 with flag 306222279/55935000
2586.15/2534.69	c cleaning 334003 clauses out of 668092 with flag 308018771/56270001
2602.04/2549.38	c cleaning 335026 clauses out of 670089 with flag 309821609/56606001
2616.81/2564.01	c cleaning 336008 clauses out of 672062 with flag 311580096/56943000
2634.68/2580.63	c cleaning 337005 clauses out of 674054 with flag 313395993/57281000
2651.49/2597.49	c cleaning 337964 clauses out of 676049 with flag 315226540/57620000
2668.77/2614.63	c cleaning 338981 clauses out of 678085 with flag 317057423/57960000
2687.50/2633.34	c cleaning 339980 clauses out of 680104 with flag 318921198/58301000
2703.55/2649.22	c cleaning 341039 clauses out of 682125 with flag 320744618/58643001
2720.03/2665.64	c cleaning 342018 clauses out of 684085 with flag 322610152/58986000
2737.12/2682.57	c cleaning 342946 clauses out of 686067 with flag 324458007/59330000
2754.79/2700.17	c cleaning 344046 clauses out of 688121 with flag 326321092/59675000
2772.48/2717.74	c cleaning 345025 clauses out of 690075 with flag 328224568/60021000
2791.33/2736.88	c cleaning 346012 clauses out of 692051 with flag 330125132/60368001
2808.62/2752.97	c cleaning 346983 clauses out of 694039 with flag 331994762/60716001
2825.70/2769.95	c cleaning 348018 clauses out of 696057 with flag 333882175/61065002
2844.31/2788.48	c cleaning 349000 clauses out of 698040 with flag 335790447/61415003
2861.78/2805.75	c cleaning 349987 clauses out of 700041 with flag 337711104/61766004
2879.78/2823.65	c cleaning 350987 clauses out of 702050 with flag 339592424/62118000
2897.33/2839.73	c cleaning 352003 clauses out of 704063 with flag 341483320/62471000
2913.59/2856.03	c cleaning 353003 clauses out of 706062 with flag 343354823/62825002
2931.75/2874.24	c cleaning 353955 clauses out of 708058 with flag 345264133/63180001
2949.19/2891.51	c cleaning 355041 clauses out of 710102 with flag 347180648/63536000
2968.30/2910.57	c cleaning 356002 clauses out of 712061 with flag 349070951/63893000
2987.37/2929.44	c cleaning 356967 clauses out of 714059 with flag 350967366/64251000
3004.18/2946.19	c cleaning 358034 clauses out of 716094 with flag 352865383/64610002
3024.85/2966.71	c cleaning 359020 clauses out of 718058 with flag 354820490/64970000
3042.86/2984.54	c cleaning 360007 clauses out of 720040 with flag 356753353/65331002
3062.70/3004.21	c cleaning 360995 clauses out of 722033 with flag 358691476/65693002
3082.95/3023.16	c cleaning 361990 clauses out of 724036 with flag 360644530/66056000
3101.02/3041.29	c cleaning 362994 clauses out of 726046 with flag 362653893/66420000
3121.12/3061.23	c cleaning 363914 clauses out of 728054 with flag 364579873/66785002
3140.03/3079.96	c cleaning 365049 clauses out of 730139 with flag 366546299/67151001
3158.62/3098.45	c cleaning 366025 clauses out of 732089 with flag 368472077/67518000
3177.01/3116.63	c cleaning 366955 clauses out of 734066 with flag 370419244/67886002
3197.85/3136.29	c cleaning 367989 clauses out of 736110 with flag 372430230/68255001
3214.79/3153.13	c cleaning 369007 clauses out of 738120 with flag 374396230/68625000
3234.92/3173.13	c cleaning 370040 clauses out of 740114 with flag 376376280/68996001
3252.82/3190.93	c cleaning 371022 clauses out of 742073 with flag 378365343/69368000
3273.53/3211.58	c cleaning 372010 clauses out of 744052 with flag 380419386/69741001
3291.12/3228.92	c cleaning 373002 clauses out of 746042 with flag 382401236/70115001
3309.19/3246.97	c cleaning 373979 clauses out of 748039 with flag 384354582/70490000
3329.23/3266.80	c cleaning 375019 clauses out of 750060 with flag 386380544/70866000
3349.19/3285.46	c cleaning 375965 clauses out of 752044 with flag 388387571/71243003
3368.34/3304.51	c cleaning 377008 clauses out of 754079 with flag 390410440/71621003
3387.47/3323.50	c cleaning 378005 clauses out of 756069 with flag 392430308/72000001
3405.96/3341.94	c cleaning 379013 clauses out of 758064 with flag 394405432/72380001
3424.02/3359.83	c cleaning 379991 clauses out of 760050 with flag 396429448/72761000
3442.41/3378.18	c cleaning 381010 clauses out of 762059 with flag 398422203/73143000
3464.07/3399.91	c cleaning 381991 clauses out of 764049 with flag 400434251/73526000
3484.03/3419.75	c cleaning 382995 clauses out of 766059 with flag 402509141/73910001
3507.61/3441.90	c cleaning 384022 clauses out of 768064 with flag 404574875/74295001
3528.89/3463.04	c cleaning 385010 clauses out of 770041 with flag 406617746/74681000
3549.47/3483.49	c cleaning 385983 clauses out of 772031 with flag 408703727/75068000
3570.15/3504.03	c cleaning 387010 clauses out of 774048 with flag 410773825/75456000
3590.07/3523.96	c cleaning 387994 clauses out of 776038 with flag 412844568/75845000
3600.01/3533.73	c timeout
3600.01/3533.74	c starts		: 34441
3600.01/3533.75	c conflicts		: 76081082
3600.01/3533.75	c decisions		: 163910101
3600.01/3533.75	c propagations		: 1667408188
3600.01/3533.75	c inspects		: 40916174780
3600.01/3533.75	c shortcuts		: 0
3600.01/3533.75	c learnt literals	: 0
3600.01/3533.75	c learnt binary clauses	: 0
3600.01/3533.75	c learnt ternary clauses	: 0
3600.01/3533.75	c learnt constraints	: 76081082
3600.01/3533.75	c ignored constraints	: 0
3600.01/3533.75	c root simplifications	: 0
3600.01/3533.75	c removed literals (reason simplification)	: 105147077
3600.01/3533.75	c reason swapping (by a shorter reason)	: 0
3600.01/3533.75	c Calls to reduceDB	: 385
3600.01/3533.75	c Number of update (reduction) of LBD	: 28854691
3600.01/3533.75	c Imported unit clauses	: 0
3600.01/3533.75	c No decision after first conflict	: false
3600.01/3533.75	c number of reductions to clauses (during analyze)	: 0
3600.01/3533.75	c number of learned constraints concerned by reduction	: 0
3600.01/3533.75	c number of learning phase by resolution	: 0
3600.01/3533.75	c number of learning phase by cutting planes	: 0
3600.01/3533.75	c number of rounding to 1 operations	: 0
3600.01/3533.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3533.77	c number of reductions of the coefficients by power 2 	: 0
3600.01/3533.77	c number of right shift for reduction by power 2 	: 0
3600.01/3533.77	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3533.77	c number of ending skipping 	: 0
3600.01/3533.77	c number of internal skipping 	: 0
3600.01/3533.77	c number of derivation steps 	: 0
3600.01/3533.77	c number of skipped derivation steps 	: 0
3600.01/3533.77	c number of remaining unassigned 	: 0
3600.01/3533.77	c number of remaining assigned 	: 0
3600.01/3533.77	c number of falsified literals weakened from reason	: 0
3600.01/3533.77	c number of falsified literals weakened from conflict	: 0
3600.01/3533.77	c time for arithmetic operations	: 0
3600.01/3533.77	c minimum degree of deleted constraints	: null
3600.01/3533.77	c maximum degree of deleted constraints	: null
3600.01/3533.77	c number of deleted constraints	: 0
3600.01/3533.77	c speed (assignments/second)	: 472013.4237535329
3600.01/3533.77	c non guided choices	: 64174460
3600.17/3533.87	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 624126
3600.17/3533.87	s UNKNOWN
3600.17/3533.87	c Total wall clock time (in seconds): 3533.516

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63254 MiB free)
  memory of node 1: 64465 MiB (63396 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100071 s]*
/proc/loadavg: 0.97 1.45 1.89 10/320 33544
/proc/meminfo: memFree=129634252/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=18930384 memory=48420 CPUtime=0.12 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 5818 0 0 0 9 3 0 0 20 0 18 0 39880626 19384713216 12105 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4732596 12105 5277 1 0 547027 0
[pid=33472/tid=33488] ppid=33460 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 4614 0 0 0 5 2 0 0 20 0 18 0 39880629 19384713216 12137 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=18930384 memory=2622 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880634 19384713216 12137 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=18930384 memory=55195547730935 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39880635 19384713216 12137 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48420 KiB

[startup+0.221174 s]*
/proc/loadavg: 0.97 1.45 1.89 9/321 33545
/proc/meminfo: memFree=129612164/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=18930384 memory=52600 CPUtime=0.29 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 6312 0 0 0 25 4 0 0 20 0 18 0 39880626 19384713216 13150 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4732596 13150 5341 1 0 547421 0
[pid=33472/tid=33488] ppid=33460 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 4989 0 0 0 15 3 0 0 20 0 18 0 39880629 19384713216 13150 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=18930384 memory=2622 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880634 19384713216 13150 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=18930384 memory=55195547730935 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39880635 19384713216 13182 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52600 KiB

[startup+0.316422 s]*
/proc/loadavg: 0.97 1.45 1.89 9/321 33545
/proc/meminfo: memFree=129589984/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=18930384 memory=58264 CPUtime=0.44 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 6697 0 0 0 39 5 0 0 20 0 18 0 39880626 19384713216 14566 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4732596 14566 5373 1 0 547720 0
[pid=33472/tid=33488] ppid=33460 vsize=18930384 memory=-6000919485574703468 CPUtime=0.26 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 5148 0 0 0 23 3 0 0 20 0 18 0 39880629 19384713216 14598 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39880634 19384713216 14598 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39880635 19384713216 14598 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58264 KiB

[startup+0.700425 s]
/proc/loadavg: 0.97 1.45 1.89 13/323 33547
/proc/meminfo: memFree=129480996/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=18996948 memory=188492 CPUtime=1.13 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 8545 0 0 0 101 12 0 0 20 0 19 0 39880626 19452874752 47123 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4749237 47123 5469 1 0 549069 0
[pid=33472/tid=33488] ppid=33460 vsize=18996948 memory=18048 CPUtime=0.57 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 5333 0 0 0 49 8 0 0 20 0 19 0 39880629 19452874752 47123 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=18996948 memory=11008 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39880634 19452874752 47123 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39880635 19452874752 47123 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 188492 KiB

[startup+1.50028 s]
/proc/loadavg: 0.97 1.45 1.89 10/326 33550
/proc/meminfo: memFree=128799812/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=806744 CPUtime=2.66 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 15689 0 0 0 232 34 0 0 20 0 20 0 39880626 19521036288 201686 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 201686 5469 1 0 553558 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=3328 CPUtime=1.24 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 5770 0 0 0 96 28 0 0 20 0 20 0 39880629 19521036288 201686 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 201686 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 201686 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 806744 KiB

[startup+3.10529 s]
/proc/loadavg: 0.97 1.45 1.89 7/329 33553
/proc/meminfo: memFree=128117292/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=976484 CPUtime=5.84 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 17383 0 0 0 545 39 0 0 20 0 20 0 39880626 19521036288 244121 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 244121 5469 1 0 554760 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=11008 CPUtime=2.77 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 6033 0 0 0 245 32 0 0 20 0 20 0 39880629 19521036288 244121 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 244121 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 244121 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 244121 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 976484 KiB

[startup+6.30045 s]
/proc/loadavg: 1.37 1.53 1.91 6/329 33553
/proc/meminfo: memFree=127254676/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=1194364 CPUtime=10.31 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 24013 0 0 0 984 47 0 0 20 0 20 0 39880626 19521036288 298591 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 298591 5501 1 0 554782 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 7007 0 0 0 556 39 0 0 20 0 20 0 39880629 19521036288 298591 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=7232851792674513767 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 298591 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 298591 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=-6000919507049539948 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 298591 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 10.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1194364 KiB

[startup+12.7004 s]
/proc/loadavg: 1.58 1.57 1.92 5/330 33554
/proc/meminfo: memFree=126302068/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=1325676 CPUtime=17.01 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 25893 0 0 0 1646 55 0 0 20 0 20 0 39880626 19521036288 331419 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 331419 5501 1 0 554782 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=14352 CPUtime=12.12 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 7711 0 0 0 1166 46 0 0 20 0 20 0 39880629 19521036288 331419 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 331419 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=1325676 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 331419 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 331419 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 17.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325676 KiB

[startup+25.5005 s]
/proc/loadavg: 2.19 1.71 1.96 5/329 33555
/proc/meminfo: memFree=123555256/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=1964416 CPUtime=30.06 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 33013 0 0 0 2926 80 0 0 20 0 20 0 39880626 19521036288 491104 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 491104 5501 1 0 949575 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=1325676 CPUtime=24.63 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 9158 0 0 0 2396 67 0 0 20 0 20 0 39880629 19521036288 491104 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 491104 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=1761664 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 491104 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=14352 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 491104 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 30.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1964416 KiB

[startup+51.1132 s]
/proc/loadavg: 2.81 1.89 2.02 5/332 33558
/proc/meminfo: memFree=121511376/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2556584 CPUtime=55.86 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 35336 0 0 0 5474 112 0 0 20 0 20 0 39880626 19521036288 639146 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639146 5501 1 0 949577 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=2476612 CPUtime=49.66 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 10365 0 0 0 4873 93 0 0 20 0 20 0 39880629 19521036288 639146 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=18048 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639146 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 38 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639146 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639146 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0

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

[startup+3222.3 s]
/proc/loadavg: 4.22 4.23 4.23 5/332 33718
/proc/meminfo: memFree=89909352/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2557788 CPUtime=3284.43 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 186208 0 0 0 326506 1937 0 0 20 0 20 0 39880626 19521036288 639447 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639447 5501 1 0 649742 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=2557788 CPUtime=3152.2 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 107089 0 0 0 313562 1658 0 0 20 0 20 0 39880629 19521036288 639447 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639447 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=3104 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1550 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639447 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=2557788 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639447 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3284.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2557788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.23 4.23 6/334 33737
/proc/meminfo: memFree=89390356/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2558044 CPUtime=3346.09 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 193591 0 0 0 332640 1969 0 0 20 0 20 0 39880626 19521036288 639511 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639511 5501 1 0 649828 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=-6000919507049539948 CPUtime=3211.08 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 112297 0 0 0 319423 1685 0 0 20 0 20 0 39880629 19521036288 639511 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=2557788 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639511 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1592 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639511 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=2557788 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639511 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3346.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.26 4.24 5/333 33739
/proc/meminfo: memFree=88832992/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2558172 CPUtime=3406.36 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 193678 0 0 0 338636 2000 0 0 20 0 20 0 39880626 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639543 5501 1 0 649828 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=23520 CPUtime=3270.12 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 112329 0 0 0 325299 1713 0 0 20 0 20 0 39880629 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=2558044 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=2558044 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1593 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=2558172 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3406.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.26 4.24 5/333 33741
/proc/meminfo: memFree=88314496/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2558172 CPUtime=3466.47 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 194033 0 0 0 344618 2029 0 0 20 0 20 0 39880626 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639543 5501 1 0 649828 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=2558044 CPUtime=3328.98 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 112674 0 0 0 331160 1738 0 0 20 0 20 0 39880629 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=2558172 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1593 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=14352 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639543 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3466.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.27 4.25 5/333 33742
/proc/meminfo: memFree=88823432/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2558556 CPUtime=3528.17 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 196966 0 0 0 350757 2060 0 0 20 0 20 0 39880626 19521036288 639639 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639639 5501 1 0 649898 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=2558044 CPUtime=3387.55 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 114889 0 0 0 336990 1765 0 0 20 0 20 0 39880629 19521036288 639639 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=2558172 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639639 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=14352 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1593 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639639 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639639 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3528.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.26 4.25 5/334 33745
/proc/meminfo: memFree=88606924/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2558684 CPUtime=3588.47 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 199024 0 0 0 356755 2092 0 0 20 0 20 0 39880626 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639671 5501 1 0 649898 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=11008 CPUtime=3446.42 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 116522 0 0 0 342847 1795 0 0 20 0 20 0 39880629 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=2558684 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=2558684 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=11008 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3533.7 s]
/proc/loadavg: 4.28 4.27 4.25 5/334 33746
/proc/meminfo: memFree=88319672/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19063512 memory=2558684 CPUtime=3600.01 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 199546 0 0 0 357902 2099 0 0 20 0 20 0 39880626 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4765878 639671 5501 1 0 649898 0
[pid=33472/tid=33488] ppid=33460 vsize=19063512 memory=281202246366192 CPUtime=3457.64 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 116677 0 0 0 343963 1801 0 0 20 0 20 0 39880629 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19063512 memory=2558684 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39880634 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19063512 memory=14352 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 39880635 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33551] ppid=33460 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/33472/task/33551/stat : 33551 (Timer-0) S 33460 33472 33405 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39880748 19521036288 639671 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2558684 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.26 s, system=21.0324 s

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

[startup+3533.8 s]
/proc/loadavg: 4.28 4.27 4.25 5/334 33746
/proc/meminfo: memFree=88319672/131382116 swapFree=33010684/33010684
[pid=33472] ppid=33460 vsize=19263204 memory=2559580 CPUtime=3600.17 cores=0,2
/proc/33472/stat : 33472 (java) S 33460 33472 33405 0 -1 4194304 201986 0 0 0 357916 2101 0 0 20 0 21 0 39880626 19725520896 639895 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
/proc/33472/statm: 4815801 639895 5533 1 0 650831 0
[pid=33472/tid=33488] ppid=33460 vsize=19263204 memory=3104 CPUtime=3457.69 cores=0,2
/proc/33472/task/33488/stat : 33488 (java) R 33460 33472 33405 0 -1 4194368 116945 0 0 0 343966 1803 0 0 20 0 21 0 39880629 19725520896 639895 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33527] ppid=33460 vsize=19263204 memory=3328 CPUtime=0 cores=0,2
/proc/33472/task/33527/stat : 33527 (Finalizer) S 33460 33472 33405 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39880634 19725520896 639895 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
[pid=33472/tid=33536] ppid=33460 vsize=19263204 memory=4764 CPUtime=0 cores=0,2
/proc/33472/task/33536/stat : 33536 (Common-Cleaner) S 33460 33472 33405 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 21 0 39880635 19725520896 639895 18446744073709551615 94812135854080 94812135857776 140726042519888 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94812135865592 94812135866384 94812136136704 140726042528048 140726042528230 140726042528230 140726042533832 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2559580 KiB

Child status: 143

Real time (s): 3533.89
CPU time (s): 3600.29
CPU user time (s): 3579.26
CPU system time (s): 21.0324
CPU usage (%): 101.879
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3773116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.26
system time used= 21.0324
maximum resident set size= 3773116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30839576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129596
involuntary context switches= 16823


# summary of solver processes directly reported to runsolver:
#   pid: 33472
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3579.26
#   total CPU system time (s): 21.0324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5668 second user time and 38.6723 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 02:06:52
IDJOB=4516759
IDBENCH=175756
IDSOLVER=3364
FILE ID=nodeC010/4516759-1751242012
RUNJOBID= nodeC010-1751242012-33417
SLURM_JOB_ID= 9587733
Free space on /tmp= 432692 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516759-1751242012/watcher-4516759-1751242012 -o /tmp/evaluation-result-4516759-1751242012/solver-4516759-1751242012 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751242012-33417 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516759-1751242012 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516759-1751242012.opb

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

MD5SUM BENCH= fa288505787d5078657a2c980732ee18
RANDOM SEED=242914678

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129695092 kB
MemAvailable:   129941952 kB
Buffers:            3280 kB
Cached:          1056240 kB
SwapCached:            0 kB
Active:           357568 kB
Inactive:         763752 kB
Active(anon):      79760 kB
Inactive(anon):        0 kB
Active(file):     277808 kB
Inactive(file):   763752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3868 kB
Writeback:             0 kB
AnonPages:         64920 kB
Mapped:           103552 kB
Shmem:             17960 kB
KReclaimable:      89856 kB
Slab:             171932 kB
SReclaimable:      89856 kB
SUnreclaim:        82076 kB
KernelStack:        3812 kB
PageTables:         2536 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     333008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432688 MiB
End job on nodeC010 at 2025-06-30 03:05:46