Trace number 4509688

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.23 3598.12

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM7056d5d7645a22d74bbe899777f3f6dc
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables387
Total number of constraints1032
Number of constraints which are clauses1032
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4509688-1751193946.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.045s.
0.13/0.18	c declared #vars     387
0.13/0.18	c #constraints  1032
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1032
0.13/0.18	c 1032 constraints processed.
0.90/0.51	c cleaning 2493 clauses out of 5000 with flag 14790/5000
1.28/0.76	c cleaning 4245 clauses out of 8507 with flag 27141/11000
1.48/0.89	c cleaning 5623 clauses out of 11263 with flag 41566/18001
1.88/1.04	c cleaning 6811 clauses out of 13640 with flag 57900/26001
2.10/1.20	c cleaning 7905 clauses out of 15829 with flag 76458/35001
2.30/1.44	c cleaning 8953 clauses out of 17924 with flag 99519/45001
2.66/1.73	c cleaning 9976 clauses out of 19970 with flag 124057/56000
2.87/1.94	c cleaning 10992 clauses out of 21994 with flag 156327/68000
3.08/2.12	c cleaning 11994 clauses out of 24002 with flag 208197/81000
3.43/2.34	c cleaning 13002 clauses out of 26008 with flag 265335/95000
3.63/2.56	c cleaning 13993 clauses out of 28006 with flag 330574/110000
3.93/2.81	c cleaning 15001 clauses out of 30013 with flag 402954/126000
4.17/3.06	c cleaning 16003 clauses out of 32013 with flag 483591/143001
4.49/3.31	c cleaning 16999 clauses out of 34010 with flag 565698/161001
4.69/3.58	c cleaning 17998 clauses out of 36010 with flag 651817/180000
4.99/3.89	c cleaning 19000 clauses out of 38013 with flag 739541/200001
5.29/4.18	c cleaning 19997 clauses out of 40012 with flag 841252/221000
5.68/4.51	c cleaning 21000 clauses out of 42015 with flag 928281/243000
6.08/4.91	c cleaning 22002 clauses out of 44015 with flag 1016877/266000
6.38/5.28	c cleaning 23002 clauses out of 46014 with flag 1127683/290001
6.78/5.65	c cleaning 23998 clauses out of 48012 with flag 1233391/315001
7.18/6.09	c cleaning 25000 clauses out of 50013 with flag 1355210/341000
7.68/6.52	c cleaning 25999 clauses out of 52014 with flag 1478612/368001
8.08/6.95	c cleaning 27003 clauses out of 54014 with flag 1608373/396000
8.58/7.46	c cleaning 28001 clauses out of 56012 with flag 1750751/425001
9.07/7.94	c cleaning 28995 clauses out of 58010 with flag 1884766/455000
9.68/8.53	c cleaning 29997 clauses out of 60016 with flag 2000956/486001
10.29/9.16	c cleaning 31001 clauses out of 62019 with flag 2111644/518001
10.88/9.78	c cleaning 31999 clauses out of 64018 with flag 2278112/551001
11.49/10.38	c cleaning 32998 clauses out of 66018 with flag 2437520/585000
12.20/11.03	c cleaning 34004 clauses out of 68020 with flag 2598735/620000
12.79/11.65	c cleaning 34999 clauses out of 70016 with flag 2772213/656000
13.39/12.26	c cleaning 36001 clauses out of 72017 with flag 2927706/693000
14.22/13.03	c cleaning 36999 clauses out of 74017 with flag 3109130/731001
14.91/13.71	c cleaning 38001 clauses out of 76017 with flag 3272650/770000
15.81/14.69	c cleaning 39000 clauses out of 78016 with flag 3412444/810000
16.61/15.48	c cleaning 40001 clauses out of 80016 with flag 3591562/851000
17.50/16.39	c cleaning 41000 clauses out of 82016 with flag 3795344/893001
18.40/17.25	c cleaning 42002 clauses out of 84015 with flag 4009652/936000
19.33/18.17	c cleaning 42993 clauses out of 86014 with flag 4232714/980001
20.23/19.05	c cleaning 43997 clauses out of 88020 with flag 4465059/1025000
21.12/19.99	c cleaning 45005 clauses out of 90023 with flag 4683188/1071000
22.23/21.01	c cleaning 46004 clauses out of 92020 with flag 4915652/1118002
23.22/22.02	c cleaning 46995 clauses out of 94014 with flag 5150667/1166000
24.36/23.15	c cleaning 48002 clauses out of 96020 with flag 5393070/1215001
25.45/24.21	c cleaning 48995 clauses out of 98017 with flag 5639990/1265000
26.45/25.26	c cleaning 50002 clauses out of 100022 with flag 5883262/1316000
27.55/26.38	c cleaning 51004 clauses out of 102021 with flag 6135800/1368001
28.74/27.58	c cleaning 51999 clauses out of 104017 with flag 6387981/1421001
29.98/28.71	c cleaning 52996 clauses out of 106018 with flag 6636780/1475001
31.18/29.91	c cleaning 54004 clauses out of 108021 with flag 6896546/1530000
32.38/31.16	c cleaning 55001 clauses out of 110020 with flag 7165071/1586003
33.57/32.37	c cleaning 56000 clauses out of 112017 with flag 7430567/1643001
34.97/33.72	c cleaning 57000 clauses out of 114016 with flag 7695669/1701000
36.40/35.17	c cleaning 58000 clauses out of 116016 with flag 7972620/1760000
37.69/36.46	c cleaning 58995 clauses out of 118016 with flag 8241693/1820000
39.29/38.10	c cleaning 60002 clauses out of 120021 with flag 8520596/1881000
40.88/39.64	c cleaning 61006 clauses out of 122021 with flag 8828111/1943002
42.51/41.24	c cleaning 61995 clauses out of 124014 with flag 9147967/2006001
44.20/42.96	c cleaning 62996 clauses out of 126018 with flag 9528657/2070000
45.90/44.65	c cleaning 64001 clauses out of 128022 with flag 9852157/2135000
47.63/46.32	c cleaning 64999 clauses out of 130022 with flag 10173943/2201001
49.34/48.08	c cleaning 66004 clauses out of 132022 with flag 10501834/2268000
51.03/49.78	c cleaning 67004 clauses out of 134019 with flag 10841359/2336001
52.82/51.58	c cleaning 68000 clauses out of 136015 with flag 11188198/2405001
54.75/53.47	c cleaning 68997 clauses out of 138015 with flag 11534183/2475001
56.64/55.32	c cleaning 70000 clauses out of 140017 with flag 11884604/2546000
58.54/57.28	c cleaning 71001 clauses out of 142018 with flag 12249749/2618001
60.38/59.05	c cleaning 72001 clauses out of 144016 with flag 12613436/2691000
62.17/60.86	c cleaning 72998 clauses out of 146016 with flag 12980144/2765001
63.96/62.69	c cleaning 74001 clauses out of 148017 with flag 13364529/2840000
65.98/64.63	c cleaning 74997 clauses out of 150016 with flag 13738458/2916000
68.08/66.70	c cleaning 76000 clauses out of 152019 with flag 14109623/2993000
70.07/68.78	c cleaning 76998 clauses out of 154019 with flag 14496352/3071000
72.16/70.82	c cleaning 78009 clauses out of 156021 with flag 14877905/3150000
74.29/73.00	c cleaning 78996 clauses out of 158012 with flag 15273786/3230000
76.49/75.13	c cleaning 79999 clauses out of 160017 with flag 15672567/3311001
78.69/77.34	c cleaning 80998 clauses out of 162017 with flag 16082321/3393000
80.79/79.40	c cleaning 81997 clauses out of 164019 with flag 16505604/3476000
83.58/82.21	c cleaning 82999 clauses out of 166022 with flag 16943825/3560000
86.32/84.91	c cleaning 84000 clauses out of 168023 with flag 17383360/3645000
89.21/87.81	c cleaning 85004 clauses out of 170024 with flag 17840856/3731001
91.51/90.13	c cleaning 86002 clauses out of 172019 with flag 18284507/3818000
93.80/92.44	c cleaning 87000 clauses out of 174017 with flag 18735433/3906000
96.50/95.17	c cleaning 87999 clauses out of 176018 with flag 19191573/3995001
99.23/97.86	c cleaning 89000 clauses out of 178018 with flag 19633026/4085000
101.82/100.44	c cleaning 89998 clauses out of 180018 with flag 20099099/4176000
104.52/103.15	c cleaning 90999 clauses out of 182020 with flag 20578290/4268000
107.11/105.76	c cleaning 92006 clauses out of 184022 with flag 21043145/4361001
109.61/108.29	c cleaning 93002 clauses out of 186016 with flag 21510290/4455001
112.35/110.97	c cleaning 93997 clauses out of 188013 with flag 21980794/4550000
115.15/113.77	c cleaning 95001 clauses out of 190017 with flag 22463344/4646001
118.34/116.99	c cleaning 95995 clauses out of 192016 with flag 22950192/4743001
121.34/119.93	c cleaning 97003 clauses out of 194020 with flag 23457384/4841000
124.23/122.81	c cleaning 98000 clauses out of 196017 with flag 23946021/4940000
127.39/125.91	c cleaning 98998 clauses out of 198017 with flag 24436053/5040000
130.38/128.93	c cleaning 100003 clauses out of 200019 with flag 24942565/5141000
133.38/131.92	c cleaning 100996 clauses out of 202016 with flag 25450964/5243000
136.67/135.25	c cleaning 102002 clauses out of 204021 with flag 25976272/5346001
139.66/138.24	c cleaning 103000 clauses out of 206018 with flag 26485757/5450000
142.95/141.52	c cleaning 104000 clauses out of 208018 with flag 26999576/5555000
145.96/144.54	c cleaning 105000 clauses out of 210019 with flag 27526337/5661001
149.02/147.53	c cleaning 106001 clauses out of 212019 with flag 28054300/5768001
151.81/150.38	c cleaning 107002 clauses out of 214018 with flag 28569840/5876001
155.00/153.56	c cleaning 108001 clauses out of 216016 with flag 29095061/5985001
157.89/156.46	c cleaning 108996 clauses out of 218015 with flag 29635255/6095001
161.19/159.78	c cleaning 110000 clauses out of 220019 with flag 30172454/6206001
164.38/162.91	c cleaning 110999 clauses out of 222019 with flag 30732883/6318001
167.67/166.25	c cleaning 111999 clauses out of 224020 with flag 31306315/6431001
171.90/170.43	c cleaning 113005 clauses out of 226021 with flag 31877691/6545001
175.70/174.22	c cleaning 113999 clauses out of 228016 with flag 32442280/6660001
180.98/179.57	c cleaning 114993 clauses out of 230016 with flag 33021604/6776000
185.27/183.89	c cleaning 116003 clauses out of 232023 with flag 33593181/6893000
189.27/187.89	c cleaning 117001 clauses out of 234020 with flag 34142955/7011000
193.16/191.71	c cleaning 118002 clauses out of 236020 with flag 34712074/7130001
197.35/195.93	c cleaning 119001 clauses out of 238018 with flag 35302417/7250001
201.35/199.84	c cleaning 120000 clauses out of 240016 with flag 35909598/7371000
205.24/203.71	c cleaning 121002 clauses out of 242017 with flag 36502896/7493001
209.54/208.07	c cleaning 122000 clauses out of 244016 with flag 37112691/7616002
213.42/211.92	c cleaning 122996 clauses out of 246015 with flag 37709972/7740001
217.02/215.51	c cleaning 124001 clauses out of 248018 with flag 38310148/7865000
220.92/219.41	c cleaning 124999 clauses out of 250018 with flag 38923671/7991001
225.21/223.78	c cleaning 125999 clauses out of 252018 with flag 39566625/8118000
229.35/227.83	c cleaning 126997 clauses out of 254019 with flag 40198273/8246000
233.65/232.18	c cleaning 128005 clauses out of 256022 with flag 40796528/8375000
237.64/236.16	c cleaning 128999 clauses out of 258017 with flag 41392438/8505000
241.92/240.47	c cleaning 130004 clauses out of 260019 with flag 42029232/8636001
246.41/244.97	c cleaning 131003 clauses out of 262014 with flag 42684690/8768000
251.00/249.57	c cleaning 131998 clauses out of 264012 with flag 43331082/8901001
255.50/254.02	c cleaning 132997 clauses out of 266014 with flag 43983878/9035001
260.15/258.64	c cleaning 133998 clauses out of 268017 with flag 44628724/9170001
264.65/263.17	c cleaning 135005 clauses out of 270019 with flag 45318295/9306001
269.03/267.55	c cleaning 135998 clauses out of 272013 with flag 46016512/9443000
273.82/272.32	c cleaning 137001 clauses out of 274016 with flag 46712350/9581001
278.63/277.18	c cleaning 137999 clauses out of 276015 with flag 47398802/9720001
283.21/281.76	c cleaning 138996 clauses out of 278015 with flag 48090250/9860000
288.30/286.86	c cleaning 140001 clauses out of 280019 with flag 48806689/10001000
293.59/292.14	c cleaning 140996 clauses out of 282018 with flag 49503813/10143000
298.67/297.20	c cleaning 142002 clauses out of 284024 with flag 50207492/10286002
303.57/302.18	c cleaning 143003 clauses out of 286021 with flag 50922069/10430001
308.95/307.58	c cleaning 143997 clauses out of 288018 with flag 51646739/10575001
314.34/313.00	c cleaning 145001 clauses out of 290021 with flag 52382484/10721001
319.33/317.94	c cleaning 145999 clauses out of 292019 with flag 53135073/10868000
324.72/323.32	c cleaning 147005 clauses out of 294021 with flag 53901771/11016001
329.91/328.52	c cleaning 147998 clauses out of 296015 with flag 54702173/11165000
337.26/335.44	c cleaning 148999 clauses out of 298017 with flag 55518934/11315000
342.75/340.98	c cleaning 150001 clauses out of 300019 with flag 56286460/11466001
348.53/346.77	c cleaning 150998 clauses out of 302018 with flag 57065245/11618001
354.72/352.90	c cleaning 152003 clauses out of 304020 with flag 57814753/11771001
361.00/359.22	c cleaning 152998 clauses out of 306016 with flag 58530669/11925000
366.81/365.04	c cleaning 153999 clauses out of 308018 with flag 59306736/12080000
372.69/370.99	c cleaning 155002 clauses out of 310019 with flag 60085205/12236000
385.16/383.48	c cleaning 156003 clauses out of 312018 with flag 60935305/12393001
397.42/395.63	c cleaning 156996 clauses out of 314015 with flag 61730916/12551001
403.91/402.11	c cleaning 157997 clauses out of 316018 with flag 62538284/12710000
409.69/407.92	c cleaning 159000 clauses out of 318022 with flag 63328620/12870001
415.29/413.51	c cleaning 160000 clauses out of 320021 with flag 64104400/13031000
421.57/419.88	c cleaning 161002 clauses out of 322021 with flag 64899614/13193000
427.36/425.64	c cleaning 162002 clauses out of 324019 with flag 65694283/13356000
433.55/431.80	c cleaning 163009 clauses out of 326018 with flag 66512489/13520001
440.38/438.58	c cleaning 164004 clauses out of 328008 with flag 67336026/13685000
446.87/445.03	c cleaning 164995 clauses out of 330004 with flag 68162425/13851000
453.25/451.43	c cleaning 165998 clauses out of 332009 with flag 68996126/14018000
459.14/457.32	c cleaning 166994 clauses out of 334011 with flag 69782006/14186000
467.42/465.64	c cleaning 168003 clauses out of 336017 with flag 70493994/14355000
475.61/473.81	c cleaning 168997 clauses out of 338015 with flag 71230843/14525001
484.59/482.81	c cleaning 170001 clauses out of 340018 with flag 71987423/14696001
494.67/492.80	c cleaning 170999 clauses out of 342017 with flag 72752776/14868001
500.96/499.18	c cleaning 172001 clauses out of 344018 with flag 73568825/15041001
516.13/514.33	c cleaning 173006 clauses out of 346016 with flag 74443504/15215000
523.61/521.80	c cleaning 174000 clauses out of 348010 with flag 75286314/15390000
530.40/528.63	c cleaning 174998 clauses out of 350011 with flag 76148348/15566001
537.19/535.43	c cleaning 175991 clauses out of 352013 with flag 77042692/15743001
544.87/543.14	c cleaning 177005 clauses out of 354022 with flag 77976786/15921001
551.87/550.02	c cleaning 177996 clauses out of 356016 with flag 78874323/16100000
559.14/557.30	c cleaning 179005 clauses out of 358020 with flag 79798271/16280000
565.94/564.17	c cleaning 179999 clauses out of 360016 with flag 80713610/16461001
573.02/571.26	c cleaning 181001 clauses out of 362016 with flag 81635311/16643000
580.40/578.63	c cleaning 181998 clauses out of 364015 with flag 82576459/16826000
587.67/585.85	c cleaning 183005 clauses out of 366017 with flag 83503819/17010000
595.65/593.84	c cleaning 183999 clauses out of 368013 with flag 84409256/17195001
604.04/602.20	c cleaning 184997 clauses out of 370013 with flag 85299963/17381000
612.42/610.63	c cleaning 186000 clauses out of 372016 with flag 86129760/17568000
620.91/619.16	c cleaning 186998 clauses out of 374016 with flag 87056226/17756000
628.99/627.21	c cleaning 187998 clauses out of 376019 with flag 88034196/17945001
637.47/635.74	c cleaning 189002 clauses out of 378021 with flag 88959869/18135001
645.66/643.81	c cleaning 189998 clauses out of 380018 with flag 89891649/18326000
653.34/651.52	c cleaning 191003 clauses out of 382021 with flag 90878088/18518001
661.52/659.70	c cleaning 191999 clauses out of 384018 with flag 91815344/18711001
669.29/667.55	c cleaning 193003 clauses out of 386018 with flag 92802900/18905000
676.88/675.13	c cleaning 194002 clauses out of 388015 with flag 93805149/19100000
685.45/683.78	c cleaning 194999 clauses out of 390014 with flag 94750360/19296001
694.13/692.43	c cleaning 196002 clauses out of 392015 with flag 95711694/19493001
703.28/701.54	c cleaning 197000 clauses out of 394013 with flag 96653184/19691001
711.06/709.38	c cleaning 198002 clauses out of 396012 with flag 97601653/19890000
719.34/717.61	c cleaning 198995 clauses out of 398010 with flag 98586261/20090000
728.22/726.54	c cleaning 200001 clauses out of 400016 with flag 99542045/20291001
736.39/734.79	c cleaning 201000 clauses out of 402015 with flag 100553150/20493001
744.08/742.43	c cleaning 201996 clauses out of 404014 with flag 101553671/20696000
752.86/751.21	c cleaning 203003 clauses out of 406019 with flag 102571275/20900001
761.93/759.81	c cleaning 203993 clauses out of 408016 with flag 103588183/21105001
771.81/769.70	c cleaning 205007 clauses out of 410023 with flag 104625341/21311001
779.59/777.55	c cleaning 206000 clauses out of 412015 with flag 105676993/21518000
788.28/786.25	c cleaning 207000 clauses out of 414016 with flag 106731472/21726001
796.36/794.32	c cleaning 208003 clauses out of 416016 with flag 107812196/21935001
805.15/803.18	c cleaning 208997 clauses out of 418013 with flag 108896023/22145001
815.88/813.85	c cleaning 210002 clauses out of 420015 with flag 109932210/22356000
824.47/822.40	c cleaning 210999 clauses out of 422013 with flag 110956386/22568000
835.44/833.41	c cleaning 211999 clauses out of 424014 with flag 112075715/22781000
849.13/847.15	c cleaning 212999 clauses out of 426015 with flag 113201663/22995000
861.19/859.21	c cleaning 213997 clauses out of 428016 with flag 114332729/23210000
873.07/871.18	c cleaning 215001 clauses out of 430020 with flag 115466681/23426001
887.24/885.37	c cleaning 215993 clauses out of 432019 with flag 116608200/23643001
896.42/894.57	c cleaning 217009 clauses out of 434026 with flag 117732421/23861001
907.38/905.31	c cleaning 218002 clauses out of 436016 with flag 118786870/24080000
918.76/916.77	c cleaning 219008 clauses out of 438016 with flag 119884418/24300002
929.43/927.40	c cleaning 219995 clauses out of 440006 with flag 121003027/24521000
939.61/937.69	c cleaning 220998 clauses out of 442011 with flag 122095128/24743000
951.88/949.94	c cleaning 222000 clauses out of 444013 with flag 123199073/24966000
961.86/959.93	c cleaning 222997 clauses out of 446013 with flag 124302740/25190000
973.05/971.12	c cleaning 223999 clauses out of 448016 with flag 125413000/25415000
984.52/982.61	c cleaning 224998 clauses out of 450018 with flag 126496480/25641001
995.22/993.28	c cleaning 226003 clauses out of 452019 with flag 127580789/25868000
1005.59/1003.64	c cleaning 227001 clauses out of 454017 with flag 128717288/26096001
1016.08/1014.13	c cleaning 228002 clauses out of 456016 with flag 129877394/26325001
1027.85/1025.95	c cleaning 228998 clauses out of 458013 with flag 131028998/26555000
1039.03/1037.13	c cleaning 229996 clauses out of 460016 with flag 132150361/26786001
1048.81/1046.99	c cleaning 231000 clauses out of 462020 with flag 133349918/27018001
1059.48/1057.65	c cleaning 232004 clauses out of 464020 with flag 134524134/27251001
1070.06/1068.21	c cleaning 233002 clauses out of 466015 with flag 135659187/27485000
1081.70/1079.85	c cleaning 233997 clauses out of 468014 with flag 136828062/27720001
1097.88/1096.06	c cleaning 235001 clauses out of 470016 with flag 138004520/27956000
1108.65/1106.80	c cleaning 236000 clauses out of 472015 with flag 139213866/28193000
1119.32/1117.55	c cleaning 237001 clauses out of 474015 with flag 140424142/28431000
1130.31/1128.53	c cleaning 237998 clauses out of 476015 with flag 141625273/28670001
1140.58/1138.83	c cleaning 239000 clauses out of 478016 with flag 142813663/28910000
1151.85/1150.01	c cleaning 240000 clauses out of 480017 with flag 144049835/29151001
1166.02/1164.27	c cleaning 241000 clauses out of 482017 with flag 145227328/29393001
1176.81/1175.05	c cleaning 241998 clauses out of 484017 with flag 146439542/29636001
1188.18/1186.44	c cleaning 243001 clauses out of 486018 with flag 147664181/29880000
1199.35/1197.62	c cleaning 244003 clauses out of 488018 with flag 148889447/30125001
1211.12/1209.49	c cleaning 244999 clauses out of 490015 with flag 150125174/30371001
1222.51/1220.83	c cleaning 246002 clauses out of 492016 with flag 151336202/30618001
1234.98/1233.26	c cleaning 246997 clauses out of 494013 with flag 152597700/30866000
1248.54/1246.81	c cleaning 247998 clauses out of 496017 with flag 153838915/31115001
1260.12/1258.47	c cleaning 248999 clauses out of 498018 with flag 155105374/31365000
1271.40/1269.71	c cleaning 250003 clauses out of 500020 with flag 156352700/31616001
1283.78/1282.15	c cleaning 250998 clauses out of 502017 with flag 157594676/31868001
1296.15/1294.56	c cleaning 252007 clauses out of 504019 with flag 158873365/32121001
1307.73/1306.11	c cleaning 252999 clauses out of 506011 with flag 160094664/32375000
1321.07/1319.44	c cleaning 253997 clauses out of 508012 with flag 161373155/32630000
1335.54/1333.93	c cleaning 254998 clauses out of 510016 with flag 162654170/32886001
1349.21/1347.69	c cleaning 255999 clauses out of 512017 with flag 163921773/33143000
1361.78/1360.20	c cleaning 256996 clauses out of 514018 with flag 165156885/33401000
1377.45/1375.96	c cleaning 258004 clauses out of 516023 with flag 166275202/33660001
1396.92/1395.43	c cleaning 258997 clauses out of 518019 with flag 167465701/33920001
1421.68/1419.44	c cleaning 259998 clauses out of 520021 with flag 168660495/34181000
1442.14/1439.92	c cleaning 260999 clauses out of 522024 with flag 169865572/34443001
1454.91/1452.71	c cleaning 262004 clauses out of 524025 with flag 171128062/34706001
1468.69/1466.59	c cleaning 263004 clauses out of 526021 with flag 172508180/34970001
1483.05/1480.85	c cleaning 264001 clauses out of 528017 with flag 173812496/35235001
1495.92/1493.71	c cleaning 265002 clauses out of 530017 with flag 175133062/35501002
1509.98/1507.88	c cleaning 265996 clauses out of 532014 with flag 176407796/35768001
1522.84/1520.70	c cleaning 267001 clauses out of 534017 with flag 177742384/36036000
1537.22/1535.13	c cleaning 268002 clauses out of 536017 with flag 179041150/36305001
1553.98/1551.85	c cleaning 269003 clauses out of 538015 with flag 180355291/36575001
1566.65/1564.55	c cleaning 269996 clauses out of 540012 with flag 181712788/36846001
1579.03/1576.95	c cleaning 270997 clauses out of 542016 with flag 183040621/37118001
1594.00/1591.92	c cleaning 272001 clauses out of 544018 with flag 184404360/37391000
1607.67/1605.61	c cleaning 273004 clauses out of 546018 with flag 185781232/37665001
1622.53/1620.59	c cleaning 274004 clauses out of 548013 with flag 187178890/37940000
1636.88/1634.81	c cleaning 274999 clauses out of 550010 with flag 188504986/38216001
1653.24/1651.22	c cleaning 276000 clauses out of 552011 with flag 189844957/38493001
1666.91/1664.94	c cleaning 276994 clauses out of 554010 with flag 191215511/38771000
1679.69/1677.76	c cleaning 278000 clauses out of 556017 with flag 192539090/39050001
1693.16/1691.28	c cleaning 278999 clauses out of 558017 with flag 193930656/39330001
1708.63/1706.71	c cleaning 280001 clauses out of 560018 with flag 195359344/39611001
1721.10/1719.12	c cleaning 281004 clauses out of 562017 with flag 196774784/39893001
1736.08/1734.18	c cleaning 281994 clauses out of 564012 with flag 198123807/40176000
1749.74/1747.88	c cleaning 282998 clauses out of 566019 with flag 199534188/40460001
1764.51/1762.65	c cleaning 284001 clauses out of 568020 with flag 200925853/40745000
1780.67/1778.89	c cleaning 285005 clauses out of 570020 with flag 202367870/41031001
1797.74/1795.91	c cleaning 285999 clauses out of 572014 with flag 203680517/41318000
1811.89/1810.01	c cleaning 287001 clauses out of 574015 with flag 205045469/41606000
1826.45/1824.61	c cleaning 288001 clauses out of 576015 with flag 206428149/41895001
1845.12/1843.32	c cleaning 289002 clauses out of 578014 with flag 207762943/42185001
1859.49/1857.74	c cleaning 289998 clauses out of 580011 with flag 209131149/42476000
1884.13/1882.48	c cleaning 290995 clauses out of 582013 with flag 210710933/42768000
1898.11/1896.45	c cleaning 292002 clauses out of 584020 with flag 212204550/43061002
1913.58/1911.89	c cleaning 293001 clauses out of 586017 with flag 213756650/43355001
1927.15/1925.45	c cleaning 293997 clauses out of 588015 with flag 215288464/43650000
1942.61/1941.00	c cleaning 295005 clauses out of 590019 with flag 216764910/43946001
1957.49/1955.87	c cleaning 296004 clauses out of 592015 with flag 218171740/44243002
1971.66/1970.09	c cleaning 296998 clauses out of 594009 with flag 219647424/44541000
1986.32/1984.22	c cleaning 297996 clauses out of 596011 with flag 221141468/44840000
2004.08/2002.05	c cleaning 299001 clauses out of 598015 with flag 222623726/45140000
2021.84/2019.85	c cleaning 300002 clauses out of 600014 with flag 224056221/45441000
2037.22/2035.27	c cleaning 300997 clauses out of 602012 with flag 225547090/45743000
2055.48/2053.53	c cleaning 301997 clauses out of 604015 with flag 227061488/46046000
2071.61/2069.63	c cleaning 303002 clauses out of 606018 with flag 228561244/46350000
2089.57/2087.69	c cleaning 304004 clauses out of 608017 with flag 230022653/46655001
2108.64/2106.77	c cleaning 305000 clauses out of 610012 with flag 231491450/46961000
2127.68/2125.80	c cleaning 305998 clauses out of 612013 with flag 232959801/47268001
2145.94/2144.18	c cleaning 306996 clauses out of 614014 with flag 234468249/47576000
2163.19/2161.42	c cleaning 308004 clauses out of 616020 with flag 236040726/47885002
2182.34/2180.66	c cleaning 308995 clauses out of 618015 with flag 237747586/48195001
2200.34/2198.58	c cleaning 310001 clauses out of 620019 with flag 239343410/48506000
2229.56/2227.85	c cleaning 310997 clauses out of 622018 with flag 240964135/48818000
2244.72/2243.05	c cleaning 312004 clauses out of 624022 with flag 242572144/49131001
2266.77/2265.19	c cleaning 312995 clauses out of 626018 with flag 244412676/49445001
2290.90/2289.35	c cleaning 314001 clauses out of 628022 with flag 246258123/49760000
2307.36/2305.82	c cleaning 315003 clauses out of 630022 with flag 247756067/50076001
2325.15/2323.43	c cleaning 316005 clauses out of 632019 with flag 249390202/50393001
2342.91/2341.27	c cleaning 317002 clauses out of 634013 with flag 250963182/50711000
2361.28/2359.68	c cleaning 318000 clauses out of 636012 with flag 252624942/51030001
2377.94/2376.33	c cleaning 318998 clauses out of 638012 with flag 254165870/51350001
2399.00/2397.49	c cleaning 319998 clauses out of 640014 with flag 255693713/51671001
2416.06/2414.50	c cleaning 321004 clauses out of 642015 with flag 257272729/51993000
2450.16/2448.28	c cleaning 322000 clauses out of 644012 with flag 258909538/52316001
2470.32/2468.41	c cleaning 322996 clauses out of 646011 with flag 260599822/52640000
2501.65/2499.86	c cleaning 324001 clauses out of 648015 with flag 262278125/52965000
2526.71/2524.94	c cleaning 325000 clauses out of 650014 with flag 263999956/53291000
2545.06/2543.37	c cleaning 325998 clauses out of 652015 with flag 265564700/53618001
2565.33/2563.41	c cleaning 327004 clauses out of 654016 with flag 267124295/53946000
2587.18/2585.35	c cleaning 327994 clauses out of 656013 with flag 268590798/54275001
2608.04/2606.20	c cleaning 328997 clauses out of 658018 with flag 270294234/54605000
2631.60/2629.82	c cleaning 330006 clauses out of 660021 with flag 271932524/54936000
2650.26/2648.47	c cleaning 331001 clauses out of 662016 with flag 273516249/55268001
2667.12/2665.33	c cleaning 331999 clauses out of 664015 with flag 275225725/55601001
2689.79/2688.09	c cleaning 333002 clauses out of 666018 with flag 276996392/55935003
2711.03/2709.38	c cleaning 333999 clauses out of 668014 with flag 278595582/56270001
2730.69/2728.91	c cleaning 334995 clauses out of 670014 with flag 280199416/56606000
2753.54/2751.89	c cleaning 336000 clauses out of 672020 with flag 281785866/56943001
2772.40/2770.76	c cleaning 337004 clauses out of 674019 with flag 283437711/57281000
2792.66/2791.10	c cleaning 338000 clauses out of 676015 with flag 285035247/57620000
2816.91/2815.22	c cleaning 339001 clauses out of 678015 with flag 286793277/57960000
2847.94/2846.33	c cleaning 339997 clauses out of 680014 with flag 288554197/58301000
2879.59/2878.03	c cleaning 340998 clauses out of 682017 with flag 290264559/58643000
2903.71/2901.27	c cleaning 342001 clauses out of 684020 with flag 292005028/58986001
2923.97/2921.51	c cleaning 343000 clauses out of 686018 with flag 293697964/59330000
2949.70/2947.21	c cleaning 343999 clauses out of 688018 with flag 295344059/59675000
2969.25/2966.82	c cleaning 345001 clauses out of 690020 with flag 297015851/60021001
2990.91/2988.50	c cleaning 346000 clauses out of 692018 with flag 298769291/60368000
3012.65/3010.28	c cleaning 346997 clauses out of 694018 with flag 300423450/60716000
3034.91/3032.57	c cleaning 348004 clauses out of 696021 with flag 302163553/61065000
3056.67/3054.39	c cleaning 349000 clauses out of 698017 with flag 303782829/61415000
3076.03/3073.74	c cleaning 350002 clauses out of 700018 with flag 305459022/61766001
3096.38/3094.01	c cleaning 351004 clauses out of 702015 with flag 307205089/62118000
3118.64/3116.34	c cleaning 351996 clauses out of 704012 with flag 308950769/62471001
3137.69/3135.46	c cleaning 352997 clauses out of 706016 with flag 310731488/62825001
3157.05/3154.82	c cleaning 354002 clauses out of 708018 with flag 312471131/63180000
3179.58/3177.32	c cleaning 355000 clauses out of 710017 with flag 314248683/63536001
3201.44/3199.23	c cleaning 356003 clauses out of 712017 with flag 315961082/63893001
3221.89/3219.74	c cleaning 357002 clauses out of 714014 with flag 317679663/64251001
3243.16/3241.07	c cleaning 357997 clauses out of 716013 with flag 319392286/64610002
3263.16/3261.10	c cleaning 358996 clauses out of 718014 with flag 321204285/64970000
3283.12/3281.03	c cleaning 360003 clauses out of 720019 with flag 322975496/65331001
3302.98/3300.93	c cleaning 361001 clauses out of 722015 with flag 324698052/65693000
3324.43/3322.45	c cleaning 361999 clauses out of 724014 with flag 326483874/66056000
3352.50/3350.58	c cleaning 363001 clauses out of 726015 with flag 328384631/66420000
3374.26/3372.31	c cleaning 363999 clauses out of 728015 with flag 330200643/66785001
3394.61/3392.70	c cleaning 364999 clauses out of 730015 with flag 331911913/67151000
3415.58/3413.71	c cleaning 366000 clauses out of 732017 with flag 333786802/67518001
3439.19/3436.80	c cleaning 366999 clauses out of 734016 with flag 335665908/67886000
3466.54/3464.20	c cleaning 367999 clauses out of 736018 with flag 337593455/68255001
3488.69/3486.40	c cleaning 369002 clauses out of 738019 with flag 339387800/68625001
3514.28/3512.02	c cleaning 370003 clauses out of 740017 with flag 341175386/68996001
3537.41/3535.22	c cleaning 370997 clauses out of 742014 with flag 343019226/69368001
3560.65/3558.52	c cleaning 372001 clauses out of 744017 with flag 344825729/69741001
3590.68/3588.62	c cleaning 373003 clauses out of 746016 with flag 346804375/70115001
3600.05/3598.02	c timeout
3600.05/3598.03	c starts		: 159022
3600.05/3598.03	c conflicts		: 70376255
3600.05/3598.03	c decisions		: 99946571
3600.05/3598.03	c propagations		: 684055899
3600.05/3598.03	c inspects		: 36501630253
3600.05/3598.03	c shortcuts		: 0
3600.05/3598.03	c learnt literals	: 0
3600.05/3598.03	c learnt binary clauses	: 0
3600.05/3598.03	c learnt ternary clauses	: 0
3600.05/3598.03	c learnt constraints	: 70376255
3600.05/3598.03	c ignored constraints	: 0
3600.05/3598.03	c root simplifications	: 0
3600.05/3598.03	c removed literals (reason simplification)	: 30687013
3600.05/3598.03	c reason swapping (by a shorter reason)	: 0
3600.05/3598.03	c Calls to reduceDB	: 370
3600.05/3598.03	c Number of update (reduction) of LBD	: 8538918
3600.05/3598.03	c Imported unit clauses	: 0
3600.05/3598.03	c No decision after first conflict	: false
3600.05/3598.03	c number of reductions to clauses (during analyze)	: 0
3600.05/3598.03	c number of learned constraints concerned by reduction	: 0
3600.05/3598.03	c number of learning phase by resolution	: 0
3600.05/3598.03	c number of learning phase by cutting planes	: 0
3600.05/3598.03	c number of rounding to 1 operations	: 0
3600.05/3598.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3598.03	c number of reductions of the coefficients by power 2 	: 0
3600.05/3598.03	c number of right shift for reduction by power 2 	: 0
3600.05/3598.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3598.03	c number of ending skipping 	: 0
3600.05/3598.03	c number of internal skipping 	: 0
3600.05/3598.03	c number of derivation steps 	: 0
3600.05/3598.03	c number of skipped derivation steps 	: 0
3600.05/3598.03	c number of remaining unassigned 	: 0
3600.05/3598.03	c number of remaining assigned 	: 0
3600.05/3598.03	c number of falsified literals weakened from reason	: 0
3600.05/3598.03	c number of falsified literals weakened from conflict	: 0
3600.05/3598.03	c time for arithmetic operations	: 0
3600.05/3598.03	c minimum degree of deleted constraints	: null
3600.05/3598.03	c maximum degree of deleted constraints	: null
3600.05/3598.03	c number of deleted constraints	: 0
3600.05/3598.03	c speed (assignments/second)	: 190128.9711194346
3600.05/3598.03	c non guided choices	: 255677
3600.05/3598.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 634267
3600.05/3598.10	s UNKNOWN
3600.05/3598.10	c Total wall clock time (in seconds): 3597.971

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62375 MiB free)
  memory of node 1: 64465 MiB (61197 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509688-1751193946/watcher-4509688-1751193946 -o /tmp/evaluation-result-4509688-1751193946/solver-4509688-1751193946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24634 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509688-1751193946.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=25024, runsolver pid=25021

[startup+0.100059 s]*
/proc/loadavg: 2.92 1.89 2.61 4/320 25043
/proc/meminfo: memFree=126538348/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=18930384 memory=57760 CPUtime=0.13 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 6574 0 0 0 11 2 0 0 20 0 18 0 35069185 19384713216 14440 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4732596 14440 5338 1 0 547619 0
[pid=25024/tid=25026] ppid=25021 vsize=18930384 memory=4026532124 CPUtime=0.08 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 5072 0 0 0 7 1 0 0 20 0 18 0 35069186 19384713216 14440 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=18930384 memory=13929 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35069188 19384713216 14440 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=18930384 memory=56286469424100 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 35069189 19384713216 14440 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57760 KiB

[startup+0.205755 s]*
/proc/loadavg: 2.92 1.89 2.61 6/322 25049
/proc/meminfo: memFree=126538652/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=18996948 memory=62076 CPUtime=0.32 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 7098 0 0 0 30 2 0 0 20 0 19 0 35069185 19452874752 15519 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4749237 15519 5402 1 0 548237 0
[pid=25024/tid=25026] ppid=25021 vsize=18996948 memory=3472328300254199928 CPUtime=0.17 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 5296 0 0 0 16 1 0 0 20 0 19 0 35069186 19452874752 15519 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=18996948 memory=237112656212 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069188 19452874752 15519 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=18996948 memory=57385981078853 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069189 19452874752 15519 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069204 19452874752 15519 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62076 KiB

[startup+0.305664 s]*
/proc/loadavg: 2.92 1.89 2.61 5/321 25055
/proc/meminfo: memFree=126537480/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=18996948 memory=70096 CPUtime=0.51 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 9548 0 0 0 49 2 0 0 20 0 19 0 35069185 19452874752 17524 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4749237 17524 5402 1 0 549696 0
[pid=25024/tid=25026] ppid=25021 vsize=18996948 memory=-6000919502821943149 CPUtime=0.26 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 5308 0 0 0 25 1 0 0 20 0 19 0 35069186 19452874752 17524 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069188 19452874752 17524 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069189 19452874752 17524 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069204 19452874752 17524 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70096 KiB

[startup+0.700225 s]
/proc/loadavg: 2.92 1.89 2.61 6/322 25075
/proc/meminfo: memFree=126530444/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=18996948 memory=84208 CPUtime=1.28 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 12409 0 0 0 124 4 0 0 20 0 19 0 35069185 19452874752 21052 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4749237 21052 5434 1 0 551536 0
[pid=25024/tid=25026] ppid=25021 vsize=18996948 memory=17152 CPUtime=0.62 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 5353 0 0 0 61 1 0 0 20 0 19 0 35069186 19452874752 21052 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069188 19452874752 21052 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069189 19452874752 21052 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069204 19452874752 21052 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84208 KiB

[startup+1.5002 s]
/proc/loadavg: 2.92 1.89 2.61 7/342 25098
/proc/meminfo: memFree=126482932/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=18996948 memory=100464 CPUtime=2.4 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 13759 0 0 0 236 4 0 0 20 0 19 0 35069185 19452874752 25116 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4749237 25116 5434 1 0 551937 0
[pid=25024/tid=25026] ppid=25021 vsize=18996948 memory=0 CPUtime=1.42 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 5662 0 0 0 140 2 0 0 20 0 19 0 35069186 19452874752 25116 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069188 19452874752 25116 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069189 19452874752 25116 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069204 19452874752 25116 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100464 KiB

[startup+3.10593 s]
/proc/loadavg: 2.92 1.89 2.61 5/342 25098
/proc/meminfo: memFree=126356164/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=18996948 memory=137600 CPUtime=4.29 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 17661 0 0 0 424 5 0 0 20 0 19 0 35069185 19452874752 34400 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4749237 34400 5434 1 0 551942 0
[pid=25024/tid=25026] ppid=25021 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 5971 0 0 0 300 2 0 0 20 0 19 0 35069186 19452874752 34400 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35069188 19452874752 34400 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=18996948 memory=-6000919502821943149 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 35069189 19452874752 34400 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35069204 19452874752 34400 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137600 KiB

[startup+6.30018 s]
/proc/loadavg: 3.00 1.92 2.62 5/343 25099
/proc/meminfo: memFree=126303132/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=172716 CPUtime=7.48 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 18612 0 0 0 743 5 0 0 20 0 20 0 35069185 19521036288 43179 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 43179 5466 1 0 552231 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 6002 0 0 0 617 2 0 0 20 0 20 0 35069186 19521036288 43179 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 43179 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 43179 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 43179 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172716 KiB

[startup+12.7002 s]
/proc/loadavg: 3.08 1.96 2.63 5/343 25099
/proc/meminfo: memFree=126213052/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=179048 CPUtime=13.89 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 20493 0 0 0 1383 6 0 0 20 0 20 0 35069185 19521036288 44762 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 44762 5498 1 0 552231 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=3200 CPUtime=12.57 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 7040 0 0 0 1254 3 0 0 20 0 20 0 35069186 19521036288 44762 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 44762 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 44762 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 44762 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179048 KiB

[startup+25.5002 s]
/proc/loadavg: 3.29 2.06 2.65 5/344 25100
/proc/meminfo: memFree=125922064/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=286032 CPUtime=26.75 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 22704 0 0 0 2667 8 0 0 20 0 20 0 35069185 19521036288 71508 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 71508 5498 1 0 552231 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=14720 CPUtime=25.24 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 7580 0 0 0 2521 3 0 0 20 0 20 0 35069186 19521036288 71508 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=286032 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 71508 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=242888 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 71508 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=172716 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 71508 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 26.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 286032 KiB

[startup+51.1057 s]
/proc/loadavg: 3.60 2.23 2.69 5/344 25101
/proc/meminfo: memFree=125511740/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=427372 CPUtime=52.43 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 22884 0 0 0 5232 11 0 0 20 0 20 0 35069185 19521036288 106843 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 106843 5498 1 0 552231 0

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

/proc/meminfo: memFree=117025688/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3224.49 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 101826 0 1 0 322337 112 0 0 20 0 20 0 35069185 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 483789 5530 1 0 497261 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3209.15 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 46876 0 0 0 320897 18 0 0 20 0 20 0 35069186 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1068 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3224.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.16 4.10 5/340 25399
/proc/meminfo: memFree=117028248/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3284.42 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 102550 0 1 0 328329 113 0 0 20 0 20 0 35069185 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 483789 5530 1 0 497261 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=1920 CPUtime=3268.95 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 47053 0 0 0 326877 18 0 0 20 0 20 0 35069186 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1068 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3284.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935156 KiB

[startup+3342.3 s]
/proc/loadavg: 4.44 4.25 4.13 5/339 25401
/proc/meminfo: memFree=117028148/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3344.31 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 103280 0 1 0 334318 113 0 0 20 0 20 0 35069185 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 483789 5530 1 0 497261 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=14720 CPUtime=3328.74 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 47538 0 0 0 332856 18 0 0 20 0 20 0 35069186 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=10112 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1068 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3344.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935156 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.22 4.13 5/339 25403
/proc/meminfo: memFree=117028052/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3404.19 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 104237 0 1 0 340305 114 0 0 20 0 20 0 35069185 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 483789 5530 1 0 497261 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=14720 CPUtime=3388.59 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 48394 0 0 0 338841 18 0 0 20 0 20 0 35069186 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1137 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3404.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/340 25406
/proc/meminfo: memFree=117027956/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3464.64 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 108927 0 1 0 346347 117 0 0 20 0 20 0 35069185 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 483789 5530 1 0 497261 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3448.33 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 50632 0 0 0 344815 18 0 0 20 0 20 0 35069186 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1158 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=1935156 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 483789 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3464.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/340 25411
/proc/meminfo: memFree=116991200/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1936180 CPUtime=3524.54 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 110806 0 1 0 352336 118 0 0 20 0 20 0 35069185 19521036288 484045 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 484045 5530 1 0 497520 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=1935156 CPUtime=3508.03 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 51225 0 0 0 350784 19 0 0 20 0 20 0 35069186 19521036288 484045 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=1936052 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 484045 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=1936052 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1278 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 484045 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=-6000919502821943149 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 484045 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3524.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1936180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/340 25479
/proc/meminfo: memFree=121900448/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1936308 CPUtime=3584.39 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 110892 0 1 0 358320 119 0 0 20 0 20 0 35069185 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 484077 5530 1 0 497563 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=1936308 CPUtime=3567.86 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 51281 0 0 0 356767 19 0 0 20 0 20 0 35069186 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=17152 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1278 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=1936308 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3584.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1936308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598 s]*
/proc/loadavg: 4.14 4.18 4.12 5/341 25486
/proc/meminfo: memFree=121871396/131249992 swapFree=33010672/33010684
[pid=25024] ppid=25021 vsize=19063512 memory=1936308 CPUtime=3600.05 cores=1,3
/proc/25024/stat : 25024 (java) S 25021 25024 24622 0 -1 4194304 110917 0 1 0 359886 119 0 0 20 0 20 0 35069185 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
/proc/25024/statm: 4765878 484077 5530 1 0 497569 0
[pid=25024/tid=25026] ppid=25021 vsize=19063512 memory=-6000919485591480173 CPUtime=3583.52 cores=1,3
/proc/25024/task/25026/stat : 25026 (java) R 25021 25024 24622 0 -1 4194368 51299 0 0 0 358333 19 0 0 20 0 20 0 35069186 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25035] ppid=25021 vsize=19063512 memory=4640489191734006113 CPUtime=0 cores=1,3
/proc/25024/task/25035/stat : 25035 (Finalizer) S 25021 25024 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35069188 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25042] ppid=25021 vsize=19063512 memory=7516902779333797204 CPUtime=0 cores=1,3
/proc/25024/task/25042/stat : 25042 (Common-Cleaner) S 25021 25024 24622 0 -1 4194368 1278 0 0 0 0 0 0 0 20 0 20 0 35069189 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
[pid=25024/tid=25049] ppid=25021 vsize=19063512 memory=5793670249620788332 CPUtime=0 cores=1,3
/proc/25024/task/25049/stat : 25049 (Timer-0) S 25021 25024 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35069204 19521036288 484077 18446744073709551615 94901268037632 94901268041328 140735496579552 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94901268049144 94901268049936 94901285634048 140735496583553 140735496583654 140735496583654 140735496589256 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1936308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.02 s, system=1.20876 s

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

Child status: 143

Real time (s): 3598.12
CPU time (s): 3600.23
CPU user time (s): 3599.02
CPU system time (s): 1.20876
CPU usage (%): 100.059
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2164424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.20876
maximum resident set size= 2164424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113166
page faults= 1
swaps= 0
block input operations= 992
block output operations= 15160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106185
involuntary context switches= 3107


# summary of solver processes directly reported to runsolver:
#   pid: 25024
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3599.02
#   total CPU system time (s): 1.20876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31704 second user time and 16.7659 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 12:45:46
IDJOB=4509688
IDBENCH=158768
IDSOLVER=3363
FILE ID=nodeC035/4509688-1751193946
RUNJOBID= nodeC035-1751193887-24634
SLURM_JOB_ID= 9587593
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509688-1751193946/watcher-4509688-1751193946 -o /tmp/evaluation-result-4509688-1751193946/solver-4509688-1751193946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24634 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509688-1751193946.opb

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

MD5SUM BENCH= 7056d5d7645a22d74bbe899777f3f6dc
RANDOM SEED=1007659703

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126537100 kB
MemAvailable:   128990608 kB
Buffers:            2352 kB
Cached:          3248008 kB
SwapCached:            8 kB
Active:          1091536 kB
Inactive:        2963812 kB
Active(anon):     817008 kB
Inactive(anon):     6036 kB
Active(file):     274528 kB
Inactive(file):  2957776 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2084 kB
Writeback:             8 kB
AnonPages:        807936 kB
Mapped:           122576 kB
Shmem:             18056 kB
KReclaimable:     120884 kB
Slab:             207836 kB
SReclaimable:     120884 kB
SUnreclaim:        86952 kB
KernelStack:        4912 kB
PageTables:         5020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4818920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151128 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    661504 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC035 at 2025-06-29 13:45:45